Related papers: Holonomic \'etale sheaves are constructible
We construct a new family of infinite-dimensional quasi-graded Lie algebras on hyperelliptic curves. We show that constructed algebras possess infinite number of invariant functions and admit a decomposition into the direct sum of two…
The exodromy correspondence of Barwick, Glasman, and Haine computes constructible sheaves of spaces on a scheme $X$ as an $\infty$-category of continuous functors from the profinite category $\operatorname{Gal}(X)$. Viewing…
We give an explicit construction of the stack of microlocal perverse sheaves on the projective cotangent bundle of a complex manifold. Microlocal perverse sheaves will be represented as complexes of analytic ind-sheaves which have recently…
We investigate the positivity and extension of invertible sheaves on group homogeneous spaces over coherent bases. Bypassing the failure of standard limit arguments and the classical Weil--Cartier correspondence, we develop a valuative…
A constructible sheaf corresponding to Gel'fand Zelevinski hypergeometric functions on a torus is called hypergeometric sheaf. We consider Hodge and Tate conjectrue for hypergeomtric sheaves. Hodge conjecture is formulated in terms of…
We study the compatibility with proper push-forward of the characteristic cycles of a constructible complex on a smooth variety over a perfect field.
We describe the Tate resolution of a coherent sheaf or complex of coherent sheaves on a product of projective spaces. Such a resolution makes explicit all the cohomology of all twists of the sheaf, including, for example, the multigraded…
In this expository article, we follow the work of Langer to prove the boundedness of the moduli space of semistable torsion-free sheaves over a projective variety, in any characteristic.
We prove that various morphisms related to the six Grothendieck operations on sheaves become isomorphisms when restricted to (weakly) constructible sheaves. To this end, we first study some properties of weakly cohomologically constructible…
We generalise Kahn, Miyazaki, Saito, Yamazaki's theory of modulus pairs to pairs $(X, D)$ consisting of a qcqs scheme $X$ equipped with an effective Cartier divisor $D$ representing a ramification bound. We develop theories of sheaves on…
To a smooth and proper morphism $\mathcal{X}\to U$ with quasicompact semiseparated target we associate a sheaf in the \'etale topology, which takes an affine $U$-scheme $V$ to the set of $V$-linear semiorthogonal decompositions (of fixed…
Let $\clX$ a projective stack over an algebraically closed field $k$ of characteristic 0. Let $\clE$ be a generating sheaf over $\clX$ and $\clO_X(1)$ a polarization of its coarse moduli space $X$. We define a notion of pair which is the…
Given a morphism $f: X \rightarrow S$ of complex algebraic varieties and a constructible sheaf $\mathcal{G}$ on $X$, we compute the local monodromy of $Rf_*(\mathcal{G})$ and $Rf_!(\mathcal{G})$ in terms of the local monodromy of…
This paper introduces an abelian category of logarithmic coherent sheaves that arranges coherent sheaves across all expansions and root stacks of a simple normal crossing degeneration. Formally, logarithmic coherent sheaves are coherent…
We prove a twist formula for the epsilon factor of a constructible sheaf on a projective smooth variety over a finite field in terms of characteristic class of the sheaf. This formula is a modified version of the formula conjectured by Kato…
We consider coherent and cohesive sheaves of $\cO$--modules over open sets $\Omega\subset\bC^n$. We prove that coherent sheaves, and certain other sheaves derived from them, are cohesive; and conversely, certain sheaves derived from…
Labourie and the author independently showed that a convex real projective structure on an oriented surface of genus at least 2 is equivalent to a conformal structure plus a holomorphic cubic differential U. We analyze the behavior of the…
Holonomy groups and holonomy algebras for connections on locally free sheaves over supermanifolds are introduced. A one-to-one correspondence between parallel sections and holonomy-invariant vectors, and a one-to-one correspondence between…
We provide a toolbox of extension, gluing, and assembly techniques for factorization algebras. Using these tools, we fill various gaps in the literature on factorization algebras on stratified manifolds, the main one being that…
We construct a notion of derived completion which applies to homomorphisms of commutative S-algebras. We study the relationship of the construction with other constructions of completions, and prove various invariance properties. The…