Let $M$ be a hyperkaehler manifold, and $F$ a torsion-free and reflexive coherent sheaf on $M$. Assume that $F$ (outside of its singularities) admits a connection with a curvature which is invariant under the standard SU(2)-action on 2-forms. If the curvature is square-integrable, then $F$ is stable and its singularities are hyperkaehler subvarieties in $M$. Such sheaves (called hyperholomorphic sheaves) are well understood. In the present paper, we study sheaves admitting a connection with SU(2)-invariant curvature which is not necessarily square-integrable. This situation arises often, for instance, when one deals with higher direct images of holomorphic bundles. We show that such sheaves are stable.
Let M be a K3 surface or an even-dimensional compact torus. We show that the category of coherent sheaves on M is independent from the choice of the complex structure, if this complex structure is generic.
Given a smooth projective toric variety $X_Σ$ of complex dimension $n$, Fang-Liu-Treumann-Zaslow \cite{FLTZ} showed that there is a quasi-embedding of the differential graded (dg) derived category of coherent sheaves $Coh(X_Σ)$ into the dg derived category of constructible sheaves on a torus $Sh(T^n, Λ_Σ)$. Recently, Kuwagaki \cite{Ku2} proved that the quasi-embedding is a quasi-equivalence, and generalized the result to toric stacks. Here we give a different proof in the smooth projective case, using non-characteristic deformation of sheaves to find twisted polytope sheaves that co-represent …
In this paper we give a complete algebro-geometric characterization of analytic tangent cones of admissible Hermitian-Yang-Mills connections over any reflexive sheaves.
This is a large audience version of our previous work (see math.AG/0301146) in which we prove the existence of an (exact) equivalence between the category of coherent analytic sheaves and the category of $\bar{\partial}$-coherent sheaves. We also include here the complete proof of our main Theorem.
We develop the theory of ind-coherent sheaves on schemes and stacks. The category of ind-coherent sheaves is closely related, but inequivalent, to the category of quasi-coherent sheaves, and the difference becomes crucial for the formulation of the categorical Geometric Langlands Correspondence.
We establish a criterion for sheaves on an adically complete DG scheme to be coherent. We deduce a description of coherent sheaves on an adically complete lci singularity in terms of modules for a DG Lie algebra.
We consider coherent and cohesive sheaves of $\cO$--modules over open sets $Ω\subset\bC^n$. We prove that coherent sheaves, and certain other sheaves derived from them, are cohesive; and conversely, certain sheaves derived from cohesive sheaves are coherent. An important tool in all this, also proved here, is that the sheaf of Banach space valued holomorphic germs is flat.
We study perverse coherent sheaves on the resolution of rational double points. As examples, we consider rational double points on 2-dimensional moduli spaces of stable sheaves on K3 and elliptic surfaces. Then we show that perverse coherent sheaves appears in the theory of Fourier-Mukai transforms. As an application, we generalize the Fourier-Mukai duality for K3 surfaces to our situation.
We determine versal non-commutative deformations of some simple collections in the categories of perverse coherent sheaves arising from tilting generators for projective morphisms.
In this paper we provide some stability criteria for systems of linear subspaces of $V \otimes W$ and for systems of quotient coherent sheaves, using, respectively, the Hilbert-Mumford numerical criterion and moment map. Along the way, we generalize the Gelfand-MacPherson correspondence [11] from point sets to sets of linear subspaces (of various dimensions). And, as an application, we provide some examples of $G$-ample cones without any top chambers. The results of this paper are based upon and/or generalize some earlier works of Klyachko [18], Totaro [28], Gelfand-MacPherson [11], Kapranov […
We prove formulae for the motives of stacks of coherent sheaves of fixed rank and degree over a smooth projective curve in Voevodsky's triangulated category of mixed motives with rational coefficients.
In this note, we show that the canonical orientation data on the quiver hearts are compatible under the autoequivalence $\_\otimesπ^*O(1)$, and hence glue to give an orientation data for the stack of coherent sheaves on local P2.
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.
A new section on projections of coherent sheaves from a projective space to a lower-dimensional projective space has been added. Also some of the notation has been altered to bring it into line with the joint paper with Eisenbud and Schreyer.
Inspired by symplectic geometry and a microlocal characterizations of perverse (constructible) sheaves we consider an alternative definition of perverse coherent sheaves. We show that a coherent sheaf is perverse if and only if $RΓ_Z(\mathcal{F})$ is concentrated in degree 0 for special subvarieties Z of X. These subvarieties Z are analogs of Lagrangians in the symplectic case.
We give a remark on the wall crossing behavior of perverse coherent sheaves on a blow-up and stability condition constructed by Toda. We also explain the wall crossing of twisted stability in terms of stability condition.
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 define the derived category of quasi--coherent modules for certain Artin stacks as the homotopy category of two Quillen monoidal model structures on the corresponding category of unbounded complexes of quasi--coherent modules.
Let X be e quasi-compact and semi-separated scheme. If every at quasi- coherent sheaf has finite cotorsion dimension, we prove that X is n-perfect for some n > 0. If X is coherent and n-perfect(not necessarily of finite krull dimension), we prove that every at quasi-coherent sheaf has finite pure injective dimension. Also, we show that there is an equivalence K(PinfX)---> D(FlatX) of homotopy categories, whenever K(PinfX) is the homotopy category of pure injective at quasi-coherent sheaves and D(FlatX) is the pure derived category of at quasi-coherent sheaves.
We study filtration of quasi--coherent sheaves. We prove a version of Kaplansky Theorem for quasi--coherent sheaves, by using Drinfeld's notion of almost projective module and the Hill Lemma. We also show a Lazard-like theorem for flat quasi-coherent sheaves for quasi-compact and semi-separated schemes which satisfy the resolution property.
In this paper, Gotzmann's Regularity Theorem is established for globally generated coherent sheaves on projective space. This is used to extend Gotzmann's explicit construction to the Quot scheme. The Gotzmann representation is applied to bound the second Chern class of a rank 2 globally generated coherent sheaf in terms of the first Chern class.
We survey recent developments on Donaldson-Thomas theory, Bridgeland stability conditions and wall-crossing formula. We emphasize the importance of the counting theory of Bridgeland semistable objects in the derived category of coherent sheaves to find a hidden property of the generating series of Donaldson-Thomas invariants.
We review the theory of non-commutative deformations of sheaves and describe a versal deformation by using an A-infinity algebra and the change of differentials of an injective resolution. We give some explicit non-trivial examples.
The notions of consistent pairs and consistent chains of t-structures are introduced. A theorem that two consistent chains of t-structures generate a distributive lattice is proven. The technique developed is then applied to the pairs of chains obtained from the standard t-structure on the derived category of coherent sheaves and the dual t-structure by means of the shift functor. This yields a family of t-structures whose hearts are known as perverse coherent sheaves.
A construction of braid group actions on coherent sheaves using mixed Hodge modules and some well known constructions from geometric representation theory is given.
In these notes, an introduction to derived categories and derived functors is given. The main focus is the bounded derived category of coherent sheaves on a smooth projective variety.
In this article, we construct Chern classes in rational Deligne cohomology for coherent sheaves on a smooth complex compact manifold. We prove that these classes verify the functoriality property under pullbacks, the Whitney formula and the Grothendieck-Riemann-Roch theorem for projective morphisms between smooth complex compact manifolds.
We introduce and study configuration schemes, which are obtained by ``glueing'' usual schemes along closed embeddings. The category of coherent sheaves on a configuration scheme is investigated. Smooth configuration schemes provide alternative ``resolutions of singularities'' of usual singular schemes. We consider in detail the case when the singular scheme is a union of hyperplanes in a projective space.
We give a generalization of Gabriel's Theorem on coherent sheaves to the case of coherent twisted sheaves on a smooth variety X over a field k. We show that the category Coh(X,α) determines the scheme structure of X for αin the Brauer group of X, and that any equivalence between Coh(X,α) and Coh(Y,β) induces an isomorphism between X and Y. In conclusion we prove the saturatedness of D^b(X,α).
Orlov's famous representability theorem asserts that any fully faithful exact functor between the bounded derived categories of coherent sheaves on smooth projective varieties is a Fourier-Mukai functor. In this paper we show that this result is false without the full faithfulness hypothesis.
Rheinische Friedrich-Wilhelms-Universität Bonn（波恩莱茵弗里德里希·威廉大学）；Technische Universität München（慕尼黑工业大学）；Max Planck Institute for Mathematics（马克斯·普朗克数学研究所）
In this paper we prove first a general theorem on semiorthogonal decompositions in derived categories of coherent sheaves for flat families over a smooth base. Based on the results of math.AG/0510670, we then show that the derived categories of coherent sheaves on flag varieties of classical type are generated by complete exceptional collections. Finally, we find complete exceptional collections in the derived categories of some homogeneous spaces of the symplectic groups of small rank.
Let X be a quasi-compact and quasi-separated (not necessarily semiseparated) scheme. The category QcoX of all quasi-coherent sheaves of OX-modules has several diferent pure derived categories. Recently, categorical pure derived categories of X have been studied in more details. In this work, we focus on the geometrical purity and find replacements for geometrical pure derived categories of X.
We construct a twist-closed enhancement of the category ${\mathcal D}^b_{\rm coh}(X)$, the bounded derived category of complexes of ${\mathcal O}_X$-modules with coherent cohomology, by means of the DG-category of $\bar\partial$-superconnections. Then we apply the techniques of $\bar\partial$-superconnections to define Chern classes and Bott-Chern classes of objects in the category, in particular, of coherent sheaves.
We consider non-commutative deformations of sheaves on algebraic varieties. We develop some tools to determine parameter algebras of versal non-commutative deformations for partial simple collections and the structure sheaves of smooth rational curves. We apply them to universal flopping contractions of length 2 and higher. We confirm Donovan-Wemyss conjecture in the case of deformations of Laufer's flops.
In this paper, we study the geometric invariant theory on algebraic spaces, and construct te moduli spaces of $\mathcal{H}$-semistable sheaves on projective Deligne-Mumford stacks over algebraic spaces $S$. We prove that this moduli space is projective over $S$ as an algebraic space.
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$.
Let T be a compact complex torus, dim T>2. We show that the category of coherent sheaves on T is independent of the choice of the complex structure, if this complex structure is generic. The proof is independent of math.AG/0205210, where the same result was proven for K3 surfaces and even-dimensional tori.
We give the full answer to the question: on which curves the category of coherent sheaves $\Coh_{X}$ is tame. The answer is: these are just the curves from the list of Drozd-Greuel. Moreover, in this case the derived category $D^{-}(\Coh_{X})$ is also tame. We give an explicit description of the objects of this category as well as of the categories $D^{b}(\Coh_{X})$, $\Coh_{X}$. Among the coherent sheaves we describe the vector bundles, torsion-free sheaves, mixed sheaves and skyscraper sheaves.
In characteristic zero, Bezrukavnikov has shown that the category of perverse coherent sheaves on the nilpotent cone of a simply connected semisimple algebraic group is quasi-hereditary, and that it is derived-equivalent to the category of (ordinary) coherent sheaves. We prove that graded versions of these results also hold in good positive characteristic.
We define and study infinite root stacks of fine and saturated logarithmic schemes, a limit version of the root stacks introduced by Niels Borne and the second author. We show in particular that the infinite root stack determines the logarithmic structure, and recovers the Kummer-flat topos of the logarithmic scheme. We also extend the correspondence between parabolic sheaves and quasi-coherent sheaves on root stacks to this new setting.
We show that the cohomology table of any coherent sheaf on projective space is a convergent--but possibly infinite--sum of positive real multiples of the cohomology tables of what we call supernatural sheaves.
We discuss derived categories of coherent sheaves on algebraic varieties. We focus on the case of non-singular Calabi-Yau varieties and consider two unsolved problems: proving that birational varieties have equivalent derived categories, and computing the group of derived autoequivalences. We also introduce the space of stability conditions on a triangulated category and explain its relevance to these two problems.
The theory of integral, or Fourier-Mukai, transforms between derived categories of sheaves is a well established tool in noncommutative algebraic geometry. General "representation theorems" identify all reasonable linear functors between categories of perfect complexes (or their "large" version, quasi-coherent sheaves) on schemes and stacks over some fixed base with integral kernels in the form of sheaves (of the same nature) on the fiber product. However, for many applications in mirror symmetry and geometric representation theory one is interested instead in the bounded derived category of c…
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 prove a theorem on how a conclusion on homological dimension of a family of coherent sheaves over a scheme can be done from homological dimension of the restriction of this family to the reduction of the base.
We give a description of certain categories of equivariant coherent sheaves on Grothendieck's resolution in terms of the categorical affine Hecke algebra of Soergel. As an application, we deduce a relationship of these coherent sheaf categories to the categories of perverse sheaves considered in the work of Bezrukavnikov-Yun, generalizing results of Arkhipov-Bezrukavnikov. In addition, we deduce that the weak braid group action on sheaves of Riche and Bezrukavnikov-Riche can be upgraded to a strict braid group action.
We study the full set of solutions to the ADHM equation as an affine algebraic set, the ADHM variety. We gather the points of the ADHM variety into subvarieties according to the dimension of the stabilizing subspace. We compute dimension, and analyze singularity and reducibility of all of these varieties. We also connect representations of the ADHM quiver to coherent perverse sheaves on $\mathbb{P}^2$ in the sense of Kashiwara.
We construct geometric categorical Lie algebra actions on the derived category of coherent sheaves on Nakajima quiver varieties. These actions categorify Nakajima's construction of Kac-Moody algebra representations on the K-theory of quiver varieties. We define an induced affine braid group action on these derived categories.
