Related papers: Sheaves on subanalytic sites

We introduce a new row insertion algorithm on decreasing tableaux and increasing tableaux, generalizing Edelman-Greene (EG) row insertion. Our row insertion algorithm is a nontrivial variation of Hecke column insertion which generalizes EG…

We introduce new foundations for relative topos theory based on stacks. One of the central results in our theory is an adjunction between the category of toposes over the topos of sheaves on a given site $({\mathcal{C}}, J)$ and that of…

We view the inertia construction of algebraic stacks as an operator on the Grothendieck groups of various categories of algebraic stacks. We show that the inertia operator is locally finite and diagonalizable. This is proved for the…

The Grothendieck construction is a fundamental link between indexed categories and opfibrations. This work is a detailed study of the Grothendieck construction over a small tight bipermutative category in the context of Cat-enriched…

I introduce a class of diagrams in a Grothendieck site called "atlases" which can be used to study hyperdescent, and show that hypersheaves take atlases to limits using an indexed `nerve' construction that produces hypercovers from atlases.…

The aim of this paper is to define a new operator by using the generalized Struve functions. By using this operator we define a subclass of analytic functions. We discuss some properties of this class such as inclusion problems, radius…

The goal of this paper is to refine some aspects of the cohomological study of Bruhat-Tits subgroups. It aims to complement the work done in the 1987 article. As an application, we obtain a result "\`a la Grothendieck-Serre" for Bruhat-Tits…

Let $k$ be a field of characteristic $p>0$ not necessarily perfect. Using Berthelot's theory of arithmetic $\mathcal{D}$-modules, we construct a $p$-adic formalism of Grothendieck's six operations for realizable $k$-schemes of finite type.

The aim of this paper is to develop a theory of microdifferential operators for arithmetic $\mathscr{D}$-modules. We first define the sheaves of microdifferential operators of arbitrary levels on arbitrary smooth formal schemes. A…

Elmendorf's Theorem states that the category of continuous actions of a topological group is a Grothendieck topos in the sense that it is equivalent to a category of sheaves on a site. This paper offers a 2-dimensional generalization by…

We study monoidal categories that enjoy a certain weakening of the rigidity property, namely, the existence of a dualizing object in the sense of Grothendieck and Verdier. We call them Grothendieck-Verdier categories. Notable examples…

In this paper we treat Grothendieck Duality for noetherian rings via rigid dualizing complexes. In particular, we prove that every ring, essentially finite type over a regular base ring, has a unique rigid dualizing complex. The rigid…

In the first section we study a functor of Bezrukavnikov, Finkelberg and Ostrik defined on character sheaves; we compute it in a Grothendieck group taking weights into account. In the second section we enlarge the class of character sheaves…

Topos theory occupies a singular place in contemporary mathematics: born from Grothendieck's algebraic geometry, it has emerged as a unifying language for geometry, topology, algebra, and logic. This book offers a progressive introduction…

Schwartz functions, or measures, are defined on any smooth semi-algebraic ("Nash") manifold, and are known to form a cosheaf for the semi-algebraic restricted topology. We extend this definition to smooth semi-algebraic stacks, which are…

Using the localization property, we construct a triangulated category of motives over quasi-projective T-schemes for any coefficient where T is a noetherian separated scheme, and we prove the Grothendieck six operations formalism. We also…

We study a noncommutative version of the infinitesimal site of Grothendieck. A theorem of Grothendieck establishes that the cohomology of the structure sheaf on the infinitesimal topology of a scheme of characteristic zero is de Rham…

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,…

The center $Z(\mathcal{A})$ of an abelian category $\mathcal{A}$ is the endomorphism ring of the identity functor on that category. A localizing subcategory of a Grothendieck category $\mathcal{C}$ is said to be stable if it is stable under…

Reeb spaces of smooth functions are fundamental and strong tools in understanding manifolds via smooth functions with mild critical points. They are defined as the natural spaces of all connected components of level sets. They are also…