Related papers: Holonomic \'etale sheaves are constructible
Via the transverse Hilbert scheme construction, we associate a holomorphic completely integrable system to a surface $S$ endowed with a holomorphic symplectic form $\omega$ and a projection onto $\mathbb{C}$. We provide a full…
We study the basic properties of Higgs sheaves over compact K\"ahler manifolds and we establish some results concerning the notion of semistability; in particular, we show that any extension of semistable Higgs sheaves with equal slopes is…
We prove two theorems on cohomologically complete complexes. These theorems are inspired by, and yield an alternative proof of, a recent theorem of P. Schenzel on complete modules.
Interpreting the syzygy theorem for tame modules over posets in the setting of derived categories of subanalytically constructible sheaves proves two conjectures due to Kashiwara and Schapira concerning the existence of stratifications of…
We generalise the techniques of semistable reduction for flat families of sheaves to the setting of the derived category $D^b(X)$ of coherent sheaves on a smooth projective three-fold $X$. Then we construct the moduli of PT-semistable…
In the first part of the paper Beilinson's theorem on the bounded derived category of coherent sheaves on P^n is extended to weighted projective spaces in a rather explicit form. To this purpose the usual category of coherent sheaves is…
Using an existence criterion for good moduli spaces of Artin stacks by Alper-Fedorchuk-Smyth we construct a proper moduli space of rank two sheaves with fixed Chern classes on a given complex projective manifold that are…
We present a detailed introduction of the theory of constructible sheaf complexes in the complex algebraic and analytic setting. All concepts are illustrated by many interesting examples and relevant applications, while some important…
By a theorem of Chevalley the image of a morphism of varieties is a constructible set. The algebraic version of this fact is usually stated as a result on "extension of specializations" or "lifting of prime ideals". We present a difference…
The probability content of a convex polyhedron with a multivariate normal distribution can be regarded as a real analytic function. We give a system of linear partial differential equations with polynomial coefficients for the function and…
It is shown the construction of a module structure [2] with universe over a set of a particular kind of mathematical proofs, the base ring of this module will be built on a maximal consistent extension of a set of propositions, this…
We study the process of $\ell$-adic completion of motivic sheaves. We observe that, in equal characteristic, when restricted to constructible objets, it is compatible with the six operations. This implies that one can reconstruct…
We study the \'etale sheafification of algebraic K-theory, called \'etale K-theory. Our main results show that \'etale K-theory is very close to a noncommutative invariant called Selmer K-theory, which is defined at the level of categories.…
We introduce a notion of compatibility for families $(\mathcal{F}_{\ell})_{\ell}$ of bounded constructible $\ell$-adic complexes of \'etale sheaves on schemes. For schemes of finite type over a field, this notion is preserved by the usual…
We obtain a linear algebra data presentation of the category of constructible with respect to perverse triangulation sheaves on a finite simplicial complex. We also establish Koszul duality between the above mentioned category and the…
In arXiv:math/0311139, as evidence for his conjecture in birational log geometry, Kawamata constructed a family of derived equivalences between toric orbifolds. In arXiv:0911.4711, we showed that the derived category of a toric orbifold is…
The goal of this paper is to generalize several basic results from the theory of $\cal{D}$-modules to the representation theory of rational Cherednik algebras. We relate characterizations of holonomic modules in terms of singular support…
We introduce a notion of stability for sheaves with respect to several polarisations that generalises the usual notion of Gieseker-stability. We prove, under a boundedness assumption, which we show to hold on threefolds or for rank two…
We establish a criterion for sheaves on an adically complete DG scheme to be coherent. We deduce a description of coherent sheaves on an adically complete lci singularity in terms of modules for a DG Lie algebra.
We present an explicit expression of the cohomology complex of a constructible sheaf of abelian groups on the small \'etale site of an irreducible curve over an algebraically closed field, when the torsion of the sheaf is invertible in the…