Related papers: Holonomic \'etale sheaves are constructible

In this paper we introduce constructible analogs of the discrete complexity classes $\mathbf{VP}$ and $\mathbf{VNP}$ of sequences of functions. The functions in the new definitions are constructible functions on $\mathbb{R}^n$ or…

We develop a theory of sheaves and cohomology on the category of proper modulus pairs. This complements [KMSY21], where a theory of sheaves and cohomology on the category of non-proper modulus pairs has been developed.

Given a normal projective irreducible stack $\mathscr X$ over an algebraically closed field of characteristic zero we consider framed sheaves on $\mathscr X$, i.e., pairs $(\mathcal E,\phi_{\mathcal E})$, where $\mathcal E$ is a coherent…

We prove a general form of the statement that the cohomology of a quotient stack can be computed by the Borel construction. It also applies to the lisse extensions of generalized cohomology theories like motivic cohomology and algebraic…

In this text, we illustrate the use of local methods in the theory of (irregular) holonomic D-modules. I. (The Euler characteristic of the de~Rham complex) We show the invariance of the global or local Euler characteristic of the de~Rham…

If a Quillen model category can be specified using a certain logical syntax (intuitively, ``is algebraic/combinatorial enough''), so that it can be defined in any category of sheaves, then the satisfaction of Quillen's axioms over any site…

In this paper, we propose a definition of the moduli stack of stable relative ideal sheaves, and prove that it is a separated and proper Deligne-Mumford stack. It is the first part of the project of relative Donaldson-Thomas theory of ideal…

Let $\mathfrak{X}$ be a formal smooth curve over a complete discrete valuation ring $\mathcal{V}$ of mixed characteristic $(0 , p)$. Let $\widehat{\mathcal{D}}^{(0)}_{\mathfrak{X}, \mathbb{Q}}$ be the sheaf of crystalline differential…

We introduce an axiomatization of Grothendieck sites with additional structure, and we describe sheaves that reconstruct groupoids which are internal to the site structure. This setting applies to various concrete situations, where a Nash…

We expand the toolbox of (co)homological methods in computational topology by applying the concept of persistence to sheaf cohomology. Since sheaves (of modules) combine topological information with algebraic information, they allow for…

In this Phd. thesis, a structural analysis of construction schemes is developed. The importance of this study will be justified by constructing several distinct combinatorial objects which have been of great interest in mathematics. We then…

For a smooth proper scheme over a local field of mixed characteristics which has semistable reduction we define the category of its semistable etale sheaves and under certain hypothesis we prove the appropriate semistable comparison…

Over qcqs finite-dimensional schemes, we prove that \'etale motives of geometric origin can be characterised by a constructibility property which is purely categorical, giving a full answer to the question "Do all constructible \'etale…

We develop some aspects of the homological algebra of persistence modules, in both the one-parameter and multi-parameter settings, considered as either sheaves or graded modules. The two theories are different. We consider the graded module…

Here we construct spaces of coinvariants for Heisenberg vertex algebras on abelian varieties and show that these globalize to twisted $\mathscr{D}$-modules on the moduli space of abelian varieties. Remarkably, we recover the standard…

The purpose of these lectures is to introduce the notion of a Stokes-perverse sheaf as a receptacle for the Riemann-Hilbert correspondence for holonomic D-modules. They develop the original idea of P. Deligne in dimension one, and make it…

We obtain several results concerning the concept of isotypic structures. Namely we prove that any field of finite transcendence degree over a prime subfield is defined by types; then we construct isotypic but not isomorphic structures with…

We use Kiehl-Verdier's and Houzel's finiteness theorems in the setting of local analytic geometry, and the Whitney-Thom theory of stratified spaces, to prove that fibrewise constructible complex of sheaves have coherent direct images. We…

Let $X$ be a complex manifold. In "Microlocal study of Ind-sheaves I: microsupport and regularity", M. Kashiwara e P. Schapira made the conjecture that a holonomic D-module $\shm$ is regular holonomic if and only if…

We develop a new method for analyzing moduli problems related to the stack of pure coherent sheaves on a polarized family of projective schemes. It is an infinite-dimensional analogue of geometric invariant theory. We apply this to two…