Related papers: Constructible sheaves are holonomic

We give bounds for the cohomology of constructible sheaves on the moduli stacks M_{g,n} over the complex field. This enables us recover Harer's bound for the virtual cohomological dimension of the associated mapping class groups as well the…

We determine the generators of the autoequivalence group of the derived category of coherent sheaves on a bielliptic surface over an algebraically closed field of arbitrary characteristic. As a consequence, we prove that any algebraic…

Let $A$ be a diagonal linear operator on $\C^n$, with all eigenvalues satisfying $0<|\alpha_i|<1$, and $M = (\C^n\backslash 0)/<A>$ the corresponding Hopf manifold. We show that any stable holomorphic bundle on $M$ can be lifted to a…

We define the singular support of an $\ell$-adic sheaf on a smooth variety over any field. To do this, we combine Beilinson's construction of the singular support for torsion \'etale sheaves with Hansen and Scholze's theory of universal…

We develop the notion of singular support of a coherent sheaf on a quasi-smooth DG scheme or stack and use it to formulate the Geometric Langlands Conjecture.

We show that for a surjective, separable morphism f of smooth projective varieties over an algebraically closed field of positive characteristic such that $f_* \mathcal{O}_X = \mathcal{O}_Y$ subadditivity of Kodaira dimension holds,…

We prove that the bounded derived category of coherent sheaves on a smooth projective complex variety reconstructs the isomorphism classes of fibrations onto smooth projective curves of genus $g\geq 2$. Moreover, in dimension at most four,…

We present a result which can be used for stratifications with conical singularities to deduce that a perverse sheaf (in particular, an intersection homology sheaf) has reducible characteristic variety, given a hypothesis on the monodromy…

We define the characteristic cycle of an etale sheaf as a cycle on the cotangent bundle of a smooth variety in positive characteristic using the singular support recently defined by Beilinson. We prove a formula a la Milnor for the total…

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…

Let $X$ be a quasiprojective scheme. In this expository note we collect a series of useful structural results on the stack $\mathscr{C}oh^n(X)$ parametrising $0$-dimensional coherent sheaves of length $n$ over $X$. For instance, we discuss…

Let $X$ be a smooth variety over a finite field $\mathbb{F}_q$. Let $\ell$ be a rational prime number invertible in $\mathbb{F}_q$. For an $\ell$-adic sheaf $\mathcal{F}$ on $X$, we construct a cycle supported on the singular support of…

Let $X$ be a smooth projective variety with a nef anticanonical divisor over an algebraically closed field of characteristic $p>0$. In this paper, we establish a precise structure of $X$ under the condition that $a_X: X \to {\rm Alb}(X)$ is…

We define the characteristic cycle of a constructible sheaf on a smooth surface in the cotangent bundle. We prove that the intersection number with the 0-section equals the Euler number and that the total dimension of vanishing cycles at an…

Let X be a smooth projective connected curve over an algebraically closed field k of positive characteristic. Let G be a reductive group over k, \gamma be a dominant coweight for G, and E be an \ell-adic \check{G}-local system on X, where…

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…

In math.RT/0201073 we constructed an equivalence between the derived category of equivariant coherent sheaves on the cotangent bundle to the flag variety of a simple algebraic group and a (quotient of) the category of constructible sheaves…

We say that a complex analytic space, $X$, is an intersection cohomology manifold if and only if the shifted constant sheaf on $X$ is isomorphic to intersection cohomology; this is quickly seen to be equivalent to $X$ being a homology…

We show that certain semistable sheaves on the projective plane with linear Hilbert polynomial are cokernels of semistable morphisms of decomposable sheaves.We exhibit certain locally closed subvarieties of moduli spaces of semistable…

Dosi and, quite recently, the author showed that, on the character space of a nilpotent Lie algebra, there exists a sheaf of Fr\'echet--Arens--Michael algebras (of noncommutative holomorphic functions in the complex case and of…