Related papers: Sheaves of metric structures
It is well-known that point-set topology (without additional structure) lacks the capacity to generalize the analytic concepts of completeness, boundedness, and other typically-metric properties. The ability of metric spaces to capture this…
We consider an algebraic variety X together with the choice of a subvariety Z. We show that any coherent sheaf on X can be constructed out of a coherent sheaf on the formal neighborhood of Z, a coherent sheaf on the complement of Z, and an…
We study the basic properties of Higgs sheaves over compact K\"ahler manifolds and we establish some results concerning the notion of semistability; in particular, we show that any extension of semistable Higgs sheaves with equal slopes is…
We revisit sheaves on locales by placing them in the context of the theory of quantale modules. The local homeomorphisms $p:X\to B$ are identified with the Hilbert $B$-modules that are equipped with a natural notion of basis. The…
A metric phylogenetic tree relating a collection of taxa induces weighted rooted triples and weighted quartets for all subsets of three and four taxa, respectively. New intertaxon distances are defined that can be calculated from these…
Associated to any finite metric space are a large number of objects and quantities which provide some degree of structural or geometric information about the space. In this paper we show that in the setting of subsets of weighted Hamming…
Let R be a commutative ring with identity and Specs(M) denote the set all second submodules of an R-module M. In this paper, we construct and study a sheaf of modules, denoted by O(N; M), on Specs(M) equipped with the dual Zariski topology…
In this paper, we describe a general theory of "spaces with structure sheaves." Specializations of this theory include the classical theory of schemes, the theory of Deligne-Mumford stacks, and their derived generalizations.
In this article, we introduce the concept of lexicographic metric space and, after discussing some basic properties of these metric spaces, such as completeness, boundedness, compactness and separability, we obtain a formula for the metric…
This paper provides an overview of the applications of sheaf theory in deep learning, data science, and computer science in general. The primary text of this work serves as a friendly introduction to applied and computational sheaf theory…
To a smooth and proper morphism $\mathcal{X}\to U$ with quasicompact semiseparated target we associate a sheaf in the \'etale topology, which takes an affine $U$-scheme $V$ to the set of $V$-linear semiorthogonal decompositions (of fixed…
We introduce a notion of a sheaf of vector spaces on a graph, and develop the foundations of homology theories for such sheaves. One sheaf invariant, its "maximum excess," has a number of remarkable properties. It has a simple definition,…
We define and investigate a sheaf of modules on the prime spectra of modules and it is shown that there is an isomorphism between the sections of this sheaf and the ideal transform module.
A theory of graded manifolds can be viewed as a generalization of differential geometry of smooth manifolds. It allows one to work with functions which locally depend not only on ordinary real variables, but also on $\mathbb{Z}$-graded…
Based on entropy and symmetrical uncertainty (SU), we define a metric for categorical random variables and show that this metric can be promoted into an appropriate quotient space of categorical random variables. Moreover, we also show that…
We generalise sheaf models of intuitionistic logic to univalent type theory over a small category with a Grothendieck topology. We use in a crucial way that we have constructive models of univalence, that can then be relativized to any…
We define a sheaf of abelian groups whose cohomology is represented by the cotangent complex. We show how obstructions to some standard deformation problems arise as the classes of torsors under and gerbes banded by this sheaf.
We use the classical Ax-Kochen-Ershov analysis of the model theory of Henselian fields to bring out some model-theoretical aspects of the structure sheaf of the spectrum of Z^ and the ring of finite ad\`eles over Q. We show that various…
We extend the theory of fields/distributions developed the paper "A Feigin-Frenkel theorem with n singularities" to a general base scheme. In order to do so we introduce suitable notions of topological sheaves on schemes and study their…
We introduce the notion of (co-)filtered sheaves on quotients of moment graphs by a group action. We then introduce a (co-)filtered version of the canonical sheaves of Braden and MacPherson and show that their global sections are the…