Let $K$ be a $C_1$-field of any characteristic and $X$ a projective variety over $K$. In this article we prove that for a finite Galois extension $L$ of $K$, a simple sheaf with covering datum on $X \times_K L$ descends to a simple sheaf on $X$. As a consequence, we show that there is a $1-1$ correspondence between the set of geometrically stable sheaves on $X$ with fixed Hibert polynomial $P$ and the set of $K$-rational points of the corresponding moduli space.
For a regular noetherian scheme $X$ with a divisor with strict normal crossings $D$ we prove that coherent sheaves satisfy descent w.r.t. the 'covering' consisting of the open parts in the various completions of $X$ along the components of $D$ and their intersections.
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 $G$-equivariant coherent sheaves on $X$ to descend to a good quotient $X//G$. This gives a description of the coherent derived category of $X//G$ as an admissible subcategory of the equivariant derived category of $X$.
We give a homotopy theoretic characterization of sheaves on a stack and, more generally, a presheaf of groupoids on an arbitary small site C. We use this to prove homotopy invariance and generalized descent statements for categories of sheaves and quasi-coherent sheaves. As a corollary we obtain an alternate proof of a generalized change of rings theorem of Hovey.
We consider categories of posets with $\mathfrak{C}$-valued structure sheaves for any category $\mathfrak{C}$ and see how they possess poset-indexed lax colimits that are both easy to describe and "weakly equivalent" to their ordinary colimits in a certain sense. We employ this construction to study descent problems on schematic spaces -- a particular scheme-like kind of ringed poset -- , proving a general Seifert-Van Kampen Theorem for their étale fundamental group that recovers and generalizes the homonym result for schemes to the topology of flat monomorphisms. The techniques are general en…
In this paper a method of constructing a semiorthogonal decomposition of the derived category of $G$-equivariant sheaves on a variety $X$ is described, provided that the derived category of sheaves on $X$ admits a semiorthogonal decomposition, whose components are preserved by the action of the group $G$ on $X$. Using this method, semiorthogonal decompositions of equivariant derived categories were obtained for projective bundles and for blow-ups with a smooth center, and also for varieties with a full exceptional collection, preserved by the action of the group. As a main technical instrument…
This paper continues our study of the sheaf associated to Kähler differentials in the cdh-topology and its cousins, in positive characteristic, without assuming resolution of singularities. The picture for the sheaves themselves is now fairly complete. We give a calculation $\mathcal{O}_{cdh}(X) \cong \mathcal{O}(X^{sn})$ in terms of the seminormalisation. We observe that the category of representable cdh-sheaves is equivalent to the category of seminormal varieties. We conclude by proposing some possible connections to Berkovich spaces, and $F$-singularities in the last section. The tools dev…
We consider an algebraic variety X together with the choice of a subvariety Z. We show that any coherent sheaf on X can be constructed out of a coherent sheaf on the formal neighborhood of Z, a coherent sheaf on the complement of Z, and an isomorphism between certain representative images of these two sheaves in the category of coherent sheaves on a Berkovich analytic space W which we define.
We determine versal non-commutative deformations of some simple collections in the categories of perverse coherent sheaves arising from tilting generators for projective morphisms.
We prove the existence of fine moduli spaces of simple coherent sheaves on families of irreducible curves. Our proof is based on the existence of a universal upper bound of the Castelnuovo-Mumford regularity of such sheaves, which we provide.
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 satisfying descent with respect to all hypercovers. We also describe cofibrant and fibrant replacement functors with pleasant properties.
In this paper, we define $m$-tail reflexive sheaves as reflexive sheaves on projective spaces with the simplest possible cohomology. We prove that the rank of any $m$-tail reflexive sheaf $\mathcal{E}$ on $\mathcal{P}^n$ is greater or equal to $ nm-m$. We completely describe $m$-tail reflexive sheaves on $\mathcal{P}^n$ of minimal rank and we construct huge families of $m$-tail reflexive sheaves of higher rank.
Two major results in the theory of l-adic mixed constructible sheaves are the purity theorem (every simple perverse sheaf is pure) and the decomposition theorem (every pure object in the derived category is a direct sum of shifts of simple perverse sheaves). In this paper, we prove analogues of these results for coherent sheaves. Specificially, we work with staggered sheaves, which form the heart of a certain t-structure on the derived category of equivariant coherent sheaves. We prove, under some reasonable hypotheses, that every simple staggered sheaf is pure, and that every pure complex of …
We give a new simple proof of boundedness of the family of semistable sheaves with fixed numerical invariants on a fixed smooth projective variety. In characteristic zero our method gives a quick proof of Bogomolov's inequality for semistable sheaves on a smooth projective variety of any dimension $\ge 2$ without using any restriction theorems.
Let X be a complex space and F a coherent O_X-module. A F-(co)framed} sheaf on X is a pair (E,f) with a coherent O_X-module E and a morphism of coherent sheaves f : F -> E (resp. f : E -> F). Two such pairs (E,f) and (E',f') are said to be isomorphic if there exists an isomorphism of sheaves g : E -> E' such that gof = f' (resp. f'og = f). A pair (E,f) is called simple if its only automorphism is the identity on E. In this note we prove a representability theorem in a relative framework, which implies in particular that there is a moduli space of simple F-(co)framed sheaves on a given compact …
The first author recently introduced a "nearby cycles formalism" in the framework of chain complexes of parity sheaves. In this paper, we compute this functor in two related settings: (i) affine space, stratified by the action of a torus, and (ii) the global Schubert variety associated to the first fundamental coweight of the group $PGL_n$. The latter is a parity-sheaf analogue of Gaitsgory's central sheaf construction.
We show how natural functors from the category of coherent sheaves on a projective scheme to categories of Kronecker modules can be used to construct moduli spaces of semistable sheaves. This construction simplifies or clarifies technical aspects of existing constructions and yields new simpler definitions of theta functions, about which more complete results can be proved.
Let X be a projective irreducible smooth algebraic variety. A "fine moduli space" of sheaves on X is a family F of coherent sheaves on X parametrized by an integral variety M such that : F is flat on M; for all distinct points x, y of M the sheaves F_x, F_y on X are not isomorphic and F is a complete deformation of F_x; F has an obvious local universal property. We define also a "fine moduli space defined locally", where F is replaced by a family (F_i), where F_i is defined on an open subset U_i of M, the U_i covering M. This paper is devoted to the study of such fine moduli spaces. We first g…
A basic question for any property of quasi--coherent sheaves on a scheme $X$ is whether the property is local, that is, it can be defined using any open affine covering of $X$. Locality follows from the descent of the corresponding module property: for (infinite dimensional) vector bundles and Drinfeld vector bundles, it was proved by Kaplansky's technique of dévissage already in \cite[II.\S3]{RG}. Since vector bundles coincide with $\aleph_0$-restricted Drinfeld vector bundles, a question arose in \cite{EGPT} of whether locality holds for $κ$-restricted Drinfeld vector bundles for each infini…
In this paper we study the dg-category of twisted perfect complexes on a ringed space with soft structure sheaf. We prove that this dg-category is quasi-equivalent to the dg-category of complexes of vector bundles on that space. This result could be considered as a dg-enhancement of the classic result on soft sheaves in SGA6.
We generalise Simpson's nonabelian Hodge correspondence to the context of projective varieties with klt singularities. The proof relies on a descent theorem for numerically flat vector bundles along birational morphisms. In its simplest form, this theorem asserts that given any klt variety X and any resolution of singularities, then any vector bundle on the resolution that appears to come from X numerically, does indeed come from X. Furthermore and of independent interest, a new restriction theorem for semistable Higgs sheaves defined on the smooth locus of a normal, projective variety is esta…
The purpose of this article is to set foundations for decomposition numbers of perverse sheaves, to give some methods to calculate them in simple cases, and to compute them concretely in two situations: for a simple (Kleinian) surface singularity, and for the closure of the minimal non-trivial orbit in a simple Lie algebra. This work has applications to modular representation theory, for Weyl groups using the nilpotent cone of the corresponding semisimple Lie algebra, and for reductive algebraic group schemes using the affine Grassmannian of the Langlands dual group.
The convolution powers of a perverse sheaf on an abelian variety define an interesting family of branched local systems whose geometry is still poorly understood. We show that the generating series for their generic rank is a rational function of a very simple shape and that a similar result holds for the symmetric convolution powers. We also give formulae for other Schur functors in terms of characteristic classes on the dual abelian variety, and as an example we discuss the case of Prym-Tjurin varieties.
We give a new proof of the Mordell-Lang conjecture in positive characteristic, in the situation where the variety under scrutiny is a smooth subvariety of an abelian variety. Our proof is based on the theory of semistable sheaves in positive characteristic, in particular on Langer's theorem that the Harder-Narasimhan filtration of sheaves becomes strongly semistable after a finite number of iterations of Frobenius pull-backs. The interest of this proof is that it provides simple effective bounds (depending on the degree of the canonical line bundle) for the degree of the isotrivial finite cove…
Let X be a projective complex K3 surface. Beauville and Voisin singled out a 0-cycle c_X on X of degree 1: it is represented by any point lying on a rational curve in X. Huybrechts proved that the second Chern class of a rigid simple vector-bundle on X is a multiple of the Beauville-Voisin class c_X if certain hypotheses hold and he conjectured that the additional hypotheses are unnecessary. We believe that the following generalization of Huybrechts' conjecture holds. Let M and N be moduli spaces of stable pure sheaves on X (with fixed cohomological Chern characters) and suppose that they have…
We show that the dualizing sheaves of reduced simple normal crossings pairs have a canonical weight filtration in a compatible way with the one on the corresponding mixed Hodge modules by calculating the extension classes between the dualizing sheaves of smooth varieties. Using the weight spectral sequence of mixed Hodge modules, we then reduce the semi-positivity theorem for the higher direct images of dualizing sheaves to the smooth case where the assertion is well known. This may be used to simplify some constructions in a recent paper of Y. Kawamata. We also give a simple proof of the semi…
Faltings' approach in $p$-adic Hodge theory can be schematically divided into two main steps: firstly, a local reduction of the computation of the $p$-adic étale cohomology of a smooth variety over a $p$-adic local field to a Galois cohomology computation and then, the establishment of a link between the latter and differential forms. These relations are organized through Faltings ringed topos whose definition relies on the choice of an integral model of the variety, and whose good properties depend on the (logarithmic) smoothness of this model. Scholze's generalization for rigid analytic vari…
Kostant constructed a section from the adjoint quotient morphism of a simple Lie algebra to the open set of regular elements, and Steinberg constructed such a section for the adjoint quotient of a simply connected and simple algebraic group. In this paper, we show that all sections of the adjoint quotient are conjugate via a morphism from the adjoint quotient to the group. In particular, the sections constructed via the parabolic construction are conjugate either to the Kostant section or to the Steinberg section. The method of proof consists in studying automorphism sheaves of certain princip…
We prove that the perfect loop functor $LX$ of a quasi-projective scheme $X$ over a local non-archimedean field $k$ satisfies arc-descent, strengthening a result of Drinfeld. Then we prove that for an unramified reductive group $G$, the map $LG \rightarrow L(G/B)$ is a $v$-surjection. This gives a mixed characteristic version (for $v$-topology) of an equal characteristic result (in étale topology) of Bouthier--Česnavičius. In the second part of the article, we use the above results to introduce a well-behaved notion of Deligne--Lusztig spaces $X_w(b)$ attached to unramified $p$-adic reductive …
The purpose of this paper is to introduce and study certain irreducible perverse l-adic sheaves on a reductive group G over a finite field (we call them gamma-sheaves). One can construct such a sheaf starting with (almost) every finite-dimensional representation of the Langlands dual group. We present conjecture connecting the above sheaves with generalized gamma-functions introduced in our previous paper. We also conjecture that the convolution functor with the above sheaves enjoys certain nice properties (in particular, we compute the convolution of a gamma-sheaf with a character sheaf). We …
Let $k$ be an algebraically closed field of characteristic $p>0$ and let $\ell$ be another prime number. O. Gabber and F. Loeser proved that for any algebraic torus $T$ over $k$ and any perverse $\ell$-adic sheaf $\calF$ on $T$ the Euler characteristic $χ(\calF)$ is non-negative. We conjecture that the same result holds for any perverse sheaf $\calF$ on a reductive group $G$ over $k$ which is equivariant with respect to the adjoint action. We prove the conjecture when $\calF$ is obtained by Goresky-MacPherson extension from the set of regular semi-simple elements in $G$. From this we deduce th…
We look at homotopy-coherent diagrams of spaces (after Segal, Leitch, Vogt, Mather, Cordier) over a Grothendieck site; we call these ``flexible presheaves''. After some preliminary materiel, we define the ``flexible sheaf'' condition. This descent condition (known to Thomason) is the same as what Jardine called being ``flasque'' with respect to the presheaves representable by objects in the site; and it is more recently known as the condition of being an $n$-stack. We construct the flexible sheaf associated to a flexible presheaf in the $n$-truncated case, as an application of a certain natura…
The goal of this paper is to prove: if certain 'standard' conjectures on motives over algebraically closed fields hold, then over any 'reasonable' $S$ there exists a motivic $t$-structure for the category of Voevodsky's $S$-motives (as constructed by Cisinski and Deglise). If $S$ is 'very reasonable' (for example, of finite type over a field) then the heart of this $t$-structure (the category of mixed motivic sheaves over $S$) is endowed with a weight filtration with semi-simple factors. We also prove a certain 'motivic decomposition theorem' (assuming the conjectures mentioned) and characteri…
These notes provide a description of the abelian categories that arise as categories of coherent sheaves on weighted projective lines. Two different approaches are presented: one is based on a list of axioms and the other yields a description in terms of expansions of abelian categories. A weighted projective line is obtained from a projective line by inserting finitely many weights. So we describe the category of coherent sheaves on a projective line in some detail, and the insertion of weights amounts to adding simple objects. We call this process `expansion' and treat it axiomatically. Thus…
Let X be a scheme, and let G be an affine group scheme acting on X. Under reasonable hypotheses on X and G, we construct a t-structure on the derived category of G-equivariant coherent sheaves that in many ways resembles the perverse coherent t-structure, but which incorporates additional information from the G-action. Under certain circumstances, this t-structure, called the "staggered t-structure," has an artinian heart, and its simple objects are particularly easy to describe. We also exhibit two small examples in which the staggered t-structure is better-behaved than the perverse coherent …
A reduced divisor on a nonsingular variety defines the sheaf of logarithmic 1-forms. We introduce a certain coherent sheaf whose double dual coincides with this sheaf. It has some nice properties, for example, the residue exact sequence still holds even when the divisor is singular, and also it has a simple locally free resolution. We specialize to the case when the divisor is an arrangement of hyperplanes in projective space, and relate the properties of stability of the sheaf with the combinatorics of the arrangement. We also extend a Torelli type theorem to non generic arrangements which al…
Using depth of coherent sheaves on noetherian algebraic stacks, we construct non-Azumaya maximal orders in unramified central simple algebras over schemes of dimension at least $3$.
Let $G$ be an almost simple simply connected complex Lie group, and let $G/U_-$ be its base affine space. In this paper we formulate a conjecture, which provides a new geometric interpretation of the Macdonald polynomials associated to $G$ via perverse coherent sheaves on the scheme of formal arcs in the affinization of $G/U_-$. We prove our conjecture for $G=SL(N)$ using the so called Laumon resolution of the space of quasi-maps (using this resolution one can reformulate the statement so that only "usual" (not perverse) coherent sheaves are used). In the course of the proof we also give a $K$…
Let $G$ be a split connected reductive group over a finite field of characteristic $p > 2$ such that $G_\text{der}$ is absolutely almost simple. We give a geometric construction of perverse $\mathbb{F}_p$-sheaves on the Iwahori affine flag variety of $G$ which are central with respect to the convolution product. We deduce an explicit formula for an isomorphism from the spherical mod $p$ Hecke algebra to the center of the Iwahori mod $p$ Hecke algebra. We also give a formula for the central integral Bernstein elements in the Iwahori mod $p$ Hecke algebra. To accomplish these goals we construct …
Let $Q$ be a finite quiver without loops and $\mathcal{Q}_α$ be the Lusztig category for any dimension vector $α$. The purpose of this paper is to prove that all Frobenius eigenvalues of the $i$-th cohomology $\mathcal{H}^i(\mathcal{L})|_x$ for a simple perverse sheaf $\mathcal{L}\in \mathcal{Q}_α$ and $x\in \mathbb{E}_α^{F^n}=\mathbb{E}_α(\mathbb{F}_{q^n})$ are equal to $(\sqrt{q^n})^{i}$ as a conjecture given by Schiffmann (\cite{Schiffmann2}). As an application, we prove the existence of a class of Hall polynomials.
