相关论文: Sheaves on subanalytic sites

This paper provides a preparatory introduction to sheaves and topoi, written as a conceptual continuation of the author's earlier introduction to torsors and as preparatory background for the author's arXiv paper \emph{Grothendieck…

The immensely fruitful concept of Grothendieck topology or covering issued from the efforts of algebraic geometers to study "sheaf-like" objects defined on categories more general than the lattice of open sets on a topological space. In the…

We describe a Grothendieck construction for non-symmetric operads with values in categories, and hence in groupoids and posets. The construction produces a 2-category which is operadically fibered over the category D of finite non-empty…

This article develops a new theoretical basis for decomposing signals that are formed by the linear superposition of a finite number of modes. Each mode depends nonlinearly upon several parameters; we seek both these parameters and the…

Grothendieck local residue is considered in the context of symbolic computation. Based on the theory of holonomic D-modules, an effective method is proposed for computing Grothendieck local residues. The key is the notion of Noether…

In this paper, we introduce a new definition of sheaves on semicartesian quantales, providing first examples and categorical properties. We note that our sheaves are similar to the standard definition of a sheaf on a locale, however, we…

This is an introduction to the notion of local subgroupoid introduced by the author and R. Brown. It can also serve as an introduction to an application of sheaf theory, and so could be useful to beginners in that theory. The main results…

Given a finite subgroup G of SL(2,C) we define an additive 2-category H^G whose Grothendieck group is isomorphic to an integral form of the Heisenberg algebra. We construct an action of H^G on derived categories of coherent sheaves on…

We propose a suitable substitute for the classical Grothendieck ring of an algebraically closed field, in which any quasi-projective scheme is represented, while maintaining its non-reduced structure. This yields a more subtle invariant,…

In order to study certain algebraic objects, and notably algebraic groups, Serre introduced the notion on invariants, in particular cohomological invariants. The construction of non-trivial cohomological invariants of algebraic groups is an…

We study various characterizations of higher sites over a given $\infty$-category $\mathcal{C}$ which are conceptually in line with their classical ordinary categorical counterparts, and extract some new results about $\infty$-topos theory…

Gerstenhaber and Schack ([GS]) developed a deformation theory of presheaves of algebras on small categories. We translate their cohomological description to sheaf cohomology. More precisely, we describe the deformation space of (admissible)…

We define a theory of etale motives over a noetherian scheme. This provides a system of categories of complexes of motivic sheaves with integral coefficients which is closed under the six operations of Grothendieck. The rational part of…

In this paper we develop the theory of perverse sheaves on Artin stacks continuing the study in "The six operations for sheaves on Artin stacks I: Finite Coefficients" and "The six operations for sheaves on Artin stacks II: Adic…

In this article, we study the cohomology of some analytic sheaves on the complementary in the projective space of a suitable infinite collection of hyperplane like the Drinfel'd symetric space. In particular, the sheaf of invertible…

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 investigate infinite-level Shimura varieties within the framework of analytic stacks of Clausen-Scholze, developing their smooth, completed, locally analytic, and de Rham realizations. We formulate a Grothendieck-Messing-Hodge-Tate…

We develop techniques for defining and working with virtual fundamental cycles on moduli spaces of pseudo-holomorphic curves which are not necessarily cut out transversally. Such techniques have the potential for applications as foundations…

The Grothendieck construction is a classical correspondence between diagrams of categories and coCartesian fibrations over the indexing category. In this paper we consider the analogous correspondence in the setting of model categories. As…

We prove the analog of the Morel-Voevodsky localization theorem over complex analytic stacks, which is used in arXiv:2511.09371 to establish a 6-functor formalism of complex analytic motivic homotopy theory and produce an analytification…