Related papers: Constructible sheaves are holonomic

For any smooth projective variety $X$ of dimension $n$ over an algebraically closed field $k$ of characteristic $p>0$ with $\mu(\Omega^1_X)>0$. If ${\rm T}^{\ell}(\Omega^1_X)$ ($0<\ell<n(p-1)$) are semi-stable, then the sheaf $B^1_X$ of…

Given a quasi-projective scheme M over complex numbers equipped with a perfect obstruction theory and a morphism to a nonsingular quasi-projective variety B, we show it is possible to find an affine bundle M'/ M that admits a perfect…

Sheaves on non-reduced curves can appear in moduli space of 1-dimensional semistable sheaves over a surface, and moduli space of Higgs bundles as well. We estimate the dimension of the stack $\mathbf{M}_{X}(nC,\chi)$ of pure sheaves…

We consider a partially hyperbolic C1-diffeomorphism f on a smooth compact manifold M with a uniformly compact f-invariant center foliation. We show that if the unstable bundle is one-dimensional and oriented, then the holonomy of the…

Given an open-closed decomposition of the stratifying poset, we construct a new semi-orthogonal decomposition of the $\infty$-category of constructible sheaves on a stratified space admitting an exit-path $\infty$-category. From this we…

A classic result states that on any locally contractible and paracompact topological space, singular cohomology and sheaf cohomology are isomorphic. A result by Ramanan claims that the paracompactness assumption may be removed, but…

Let X be a flexible variety of F be an isomorphism of closed one-dimensional subschemes of $X$. We develop criteria which guarantee that F extends to au automorphism of X.

We give the description of the t-structure on the derived category of regular holonomic D-modules corresponding to the trivial t-structure on the derived category of constructible sheaves via Riemann-Hilbert correspondence. We give also the…

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

In this note we study the local projective model structure on presheaves of complexes on a site, i.e. we describe its classes of cofibrations, fibrations and weak equivalences. In particular, we prove that the fibrant objects are those…

We show that every flat quasi-coherent sheaf on a quasi-compact quasi-separated scheme is a directed colimit of locally countably presentable flat quasi-coherent sheaves. More generally, the same assertion holds for any countably…

Fix a scheme $X$ over a field of characteristic zero that is equipped with an action of a reductive algebraic group $G$. We give necessary and sufficient conditions for a $G$-equivariant coherent sheaf on $X$ or a bounded-above complex of…

We define reflexive sheaves on a singular quadric Q that generalize the spinor bundles on smooth quadrics, using matrix factorizations of the equation of Q. We study the first properties of these spinor sheaves, give a Horrocks-type…

We show that nef cycle classes on smooth complete spherical varieties are effective, and the products of nef cycle classes are also nef. Let X be a smooth projective spherical variety such that its effective cycle classes of codimension k…

We give an example of geometric construction (via Hecke correspondences) of certain representations of the affine Lie algebra $\hat{gl}_n$. The construction is similar to the one of [FK] for the Lie algebra $sl_n$. Given a surface with a…

Let $\frak g$ be a reductive Lie algebra over an algebraically closed field of characteristic 0 and $\frak k$ be a reductive in $\frak g$-subalgebra. Let $M$ be a finitely generated (possibly, infinite-dimensional) $\frak g$-module. We say…

Bakker, Brunebarbe, Tsimerman showed in \cite{bakker2022minimal} that the definable structure sheaf $\mathcal{O}_{\mathbb{C}^n}$ of $\mathbb{C}^n$ is a coherent $\mathcal{O}_{\mathbb{C}^n}$-module as a sheaf on the site…

Let T be a compact torus and X a nice compact T-space (say a manifold or variety). We introduce a functor assigning to X a "GKM-sheaf" F_X over a "GKM-hypergraph" G_X. Under the condition that X is equivariantly formal, the ring of global…

We show that for any smooth Hausdorff manifolds M and N, which are not necessarily second countable, paracompact or connected, any isomorphism from the algebra of smooth (real or complex) functions on N to the algebra of smooth functions on…

Given a (singular, codimension 1) holomorphic foliation F on a complex projective manifold X, we study the group PsAut(X, F) of pseudo-automorphisms of X which preserve F ; more precisely, we seek sufficient conditions for a finite index…