Related papers: Holonomic \'etale sheaves are constructible

In this short note we improve a dimension formula of Takeuchi for the dimension of the hyperfunction solutions of some holonomic D-modules. Besides the constructibility result and local index formula of Kashiwara for the holomorphic…

For a smooth morphism $f: X \longrightarrow \Sigma$ of real analytic manifolds and an $\mathbb{R}$-constructible sheaf $F$ on $X$ satisfying some condition, we define a family of Lagrangian cycles parameterized by $\Sigma$ that we call the…

We use the measurable Hall's theorem due to Cie\'sla and Sabok to prove that (i) if two measurable sets $A,B \subset \mathbb{R}^d$ of the same measure are bounded remainder sets with respect to a given irrational $d$-dimensional vector…

We construct the derived scheme of stable sheaves on a smooth projective variety via derived moduli of finite graded modules over a graded ring. We do this by dividing the derived scheme of actions of Ciocan-Fontanine and Kapranov by a…

Given an effective Cartier divisor D with simple normal crossing support on a smooth and proper scheme X over a perfect field of positive characteristic p, there is a natural notion of de Rham-Witt sheaves on X with zeros along D. We show…

We give a formalism of arithmetic mixed sheaves including the case of arithmetic mixed Hodge structures, and show the nonvanishing of certain higher extension groups, and also the nontriviality of the second Abel-Jacobi map for zero cycles…

Let X be an algebraic variety with an action of an algebraic group G. Suppose X has a full exceptional collection of sheaves, and these sheaves are invariant under the action of the group. We construct a semiorthogonal decomposition of…

We study the growth of representations of the Lie algebra of vector fields on the affine space that admit a compatible action of the polynomial algebra. We establish the Bernstein inequality for these representations, enabling us to focus…

R. Zimmer proved that, on a compact manifold, a foliation with a dense leaf, a suitable leafwise Riemannian symmetric metric and a transverse Lie structure has arithmetic holonomy group. In this work we improve such result for totally…

We give a moduli-theoretic treatment of the existence and properties of moduli spaces of semistable quiver representations, avoiding methods from geometric invariant theory. Using the existence criteria of Alper--Halpern-Leistner--Heinloth,…

In this note, we consider the problem of constructing an enlargement of the category of Betti sheaves that supports an ``exponential local system'' on $\mathbb R$, and a Fourier equivalence defined on all sheaves. We show that there is a…

Cohomology of a compatible family of Lie algebroids defined on a family of transverse manifolds is defined. A sheaf of differential forms on a compatible family of Lie algebroids defined over regular open subsets of a simplicial complex is…

We construct a model structure on simplicial profinite sets such that the homotopy groups carry a natural profinite structure. This yields a rigid profinite completion functor for spaces and pro-spaces. One motivation is the \'etale…

Consider a complex symplectic manifold $X$ and the algebroid $W_X$ of quantization-deformation. For two regular holonomic modules $L_i$ ($i=0,1$) supported by smooth Lagrangian manifolds, we prove that the complex $Rhom_{W_X}(L_1,L_0)$ is…

We show that the triangulated category of bounded constructible complexes on an algebraic variety X over an algebraically closed field is equivalent to the bounded derived category of the abelian category of constructible sheaves on X,…

The goal of this paper is to construct a category of motivic "sheaves" on an algebraic variety defined over a subfield of C, using Nori's method. This categoryis abelian and it possesses faithful exact realization functors to the…

In this paper, we establish a "pseudo-effective" version of the holonomy principle for compact K\"{a}hler manifolds with nonnegative holomorphic sectional curvature. As applications, we prove that if a compact complex manifold $M$ admits a…

This thesis develops the theory of sheaves and cosheaves with an eye towards applications in science and engineering. To provide a theory that is computable, we focus on a combinatorial version of sheaves and cosheaves called cellular…

A reduced divisor on a nonsingular variety defines the sheaf of logarithmic 1-forms. We introduce a certain coherent sheaf whose double dual coincides with this sheaf. It has some nice properties, for example, the residue exact sequence…

It is proved that on nilmanifolds with abelian complex structure, there exists a canonically constructed non-trivial holomorphic Poisson structure. We identify the necessary and sufficient condition for its associated cohomology to be…