Related papers: Sheaf Theory for \'Etale Geometric Stacks
In this text, we outline a theory of schemes associated with a site, which generalizes a variety of geometries, such as manifolds, schemes, analytic spaces, simplicial complexes, and more. We present an abstract process of gluing model…
We give a detailed proof that locally Noetherian moduli stacks of sections carry canonical obstruction theories. As part of the argument we construct a dualizing sheaf and trace map, in the lisse-etale topology, for families of tame twisted…
We present a sheaf-theoretic construction of shape space -- the space of all shapes. We do this by describing a homotopy sheaf on the poset category of constructible sets, where each set is mapped to its Persistent Homology Transform (PHT).…
Any scheme has its associated little and big Zariski toposes. These toposes support an internal mathematical language which closely resembles the usual formal language of mathematics, but is "local on the base scheme": For example, from the…
We study (pre-)sheaves in bicategories on geometric categories: smooth manifolds, manifolds with a Lie group action and Lie groupoids. We present three main results: we describe equivariant descent, we generalize the plus construction to…
This paper is mainly about an early result that the orbifold stack is globally representable via some $ \infty $-categorical techniques.
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.
We introduce an original notion of extra-fine sheaf on a topological space, and a variant (hyper-extra-fine) for which \v{C}ech cohomology in strictly positive degree vanishes. We provide a characterization of such sheaves when the…
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…
We study sheaves of Lie-Rinehart algebras over locally ringed spaces. We introduce morphisms and comorphisms of such sheaves and prove factorization theorems for each kind of morphism. Using this notion of morphism, we obtain (higher)…
We develop a discrete gauge-theoretic framework for superposition in large language models (LLMs) that replaces the single-global-dictionary premise with a sheaf-theoretic atlas of local semantic charts. Contexts are clustered into a…
The first goal of this paper is to provide an abstract framework in which to formulate and study local duality in various algebraic and topological contexts. For any stable $\infty$-category $\mathcal{C}$ together with a collection of…
Although contemporary model theory has been called "algebraic geometry minus fields", the formal methods of the two fields are radically different. This dissertation aims to shrink that gap by presenting a theory of logical schemes,…
Algorithmicists are well-aware that fast dynamic programming algorithms are very often the correct choice when computing on compositional (or even recursive) graphs. Here we initiate the study of how to generalize this folklore intuition to…
On a smooth algebraic variety over $\mathbb{C}$, we build the tempered subanalytic and Stein tempered subanalytic sites. We construct the sheaf of holomorphic functions tempered at infinity over these sites and study their relations with…
Let X be a smooth projective variety over C. We find the natural notion of semistable orthogonal bundle and construct the moduli space, which we compactify by considering also orthogonal sheaves, i.e. pairs (E,\phi), where E is a torsion…
It is well known that the category of quasi-coherent sheaves on a gerbe banded by a diagonalizable group decomposes according to the characters of the group. We establish the corresponding decomposition of the unbounded derived category of…
We present an alternate proof of Giraud's Theorem based on the fact that given the conditions on a category E for being a topos, its objects are sheaves by construction. Generalizing sets to R-modules for R a commutative ring, we prove that…
The goal of this paper is to explain when basechange theorems for sheaves of spaces imply basechange for sheaves with coefficients in other presentable $\infty$-categories. We accomplish this by analyzing when the tensor product of…
The article is devoted to a comparison of the \v{C}ech cohomology with the coefficients in a presheaf of Abelian groups and the topos cohomology of the sheaf generated by this presheaf for a poset with the Aleksandrov topology. The article…