Related papers: Intermediate extensions of perverse constructible …

Let K be the function field of a connected regular scheme S of dimension 1, and let f : X -> Y be a finite cover of projective smooth and geometrically connected curves over K with g(X) greater or equal to 2. Suppose that f can be extended…

We show that for any constructible sheaf F on a smooth algebraic variety X over a field of arbitrary characteristic its singular support SS(F) is equidimensional of dimension dim X. Here SS(F) is the minimal closed subset of the cotangent…

It is usually not straightforward to work with the category of perverse sheaves on a variety using only its definition as a heart of a $t$-structure. In this paper, the category of perverse sheaves on a smooth toric variety with its orbit…

Principal affine open subsets in affine schemes are an important tool in the foundations of algebraic geometry. Given a commutative ring $R$, $\,R$-modules built from the rings of functions on principal affine open subschemes in…

We consider the category of perverse sheaves on a complex vector space smooth with respect to a stratification given by an arrangement of hyperplanes with real equations. As shown in an earlier wotk of two of the authors, this category can…

We introduce irregular constructible sheaves, which are $\mathbb{C}$-constructible with coefficients in a finite version of Novikov ring $\Lambda$ and special gradings. We show that the bounded derived category of cohomologically irregular…

We show that the space spanned by the class of simple perverse sheaves in [Zh08] without localization is isomorphic to the tensor product of a Verma module with a tensor product of irreducible integrable modules of the quantum enveloping…

Let f: V --> U be a smooth non-isotrivial family of canonically polarized n-dimensional complex manifolds, where U is the complement of a normal crossing divisor S in a projective manifold Y. We show that some symmetric product of the sheaf…

We present a geometric construction of push-forward maps along projective morphisms for cohomology theories representable in the stable motivic homotopy category assuming that the element corresponding to the stable Hopf map is inverted in…

The aim of this paper is twofold: First we give an explicit construction of the infinitesimal deformations of the category Coh(X) of coherent sheaves on a smooth projective variety X. Secondly we show that any Fourier-Mukai transform…

We interpret some results of persistent homology and barcodes (in any dimension) with the language of microlocal sheaf theory. For that purpose we study the derived category of sheaves on a real finite-dimensional vector space V. By using…

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 introduce, on a topological space X, a class of stacks of abelian categories we call "stacks of type P." This class of stacks includes the stack of perverse sheaves (of any perversity, constructible with respect to a fixed…

Given a projective morphism $f:X\to Y$ from a complex space to a complex manifold, we prove the Griffiths semi-positivity and minimal extension property of the direct image sheaf $f_\ast(\mathscr{F})$. Here, $\mathscr{F}$ is a coherent…

We show that for quasi-compact quasi-separated schemes of finite dimension, the constructibility condition in real \'etale cohomology agrees with a notion of constructibility arising naturally from topology. As application we prove that the…

Let $H$ be an ample line bundle on a non-singular projective surface $X$, and $M(H)$ the coarse moduli scheme of rank-two $H$-semistable sheaves with fixed Chern classes on $X$. We show that if $H$ changes and passes through walls to get…

In this article we give a sufficient condition for a morphism $\varphi$ from a smooth variety $X$ to projective space, finite onto a smooth image, to be deformed to an embedding. This result puts some theorems on deformation of morphisms of…

We show that, for a pseudo-proper smooth noetherian formal scheme $\mathfrak{X}$ over a positive characteristic $p$ field, its truncated De Rham complex up to the characteristic $p$ is decomposable. Moreover, if the dimension of…

We give cases in which nearby cycles commutes with pushforward from sheaves on the moduli stack of shtukas to a product of curves over a finite field. The proof systematically uses the property that taking nearby cycles of Satake sheaves on…

We prove that under semismall smooth flops, smooth projective varieties have (non-canonically) isomorphic Chow motives with coefficients in any noetherian local ring $\Lambda$ by comparing the pushforward of the constant intersection…