In this work more questions arise than answers given, for which of course we do not apologize.
The core of this paper is concerned with the construction of a ``constant'' t-structure on the bounded derived category of coherent sheaves $D(X\times S)$, with $X$ and $S$ smooth varieties, given a nondegenerate t-structure on $D(X)$ with noetherian heart.
While we believe this construction and the methods involved should be generally useful in studying derived categories, we present here but one application: we prove a valuative criterion for separation and properness for the collection P(1) of stable objects of phase 1 under a numerical, locally finite and noetherian Bridgeland-Douglas stability condition $(Z,\cP)$ on $D(X)$, where $X$ is a smooth projective variety.
As an immediate result, the number of long-exact sequences in the first named author's output is no longer an embarrassment.
We give an intrinsic characterization of Cox sheaves on Krull schemes in terms of their valuative algebraic properties. We also provide a geometric characterization of their graded relative spectra in terms of good quotients of graded schemes, extending the work of Arzhantsev, Derenthal, Hausen and Laface on relative spectra of Cox sheaves on normal varieties. Moreover, we obtain an irredundant characterization of Cox rings which in turn produces a normality criterion for certain graded rings.
We extend Langton's valuative criterion for families of coherent algebraic sheaves to a complex analytic set-up. As a consequence we derive a set of sufficient conditions for the compactness of a moduli space of semistable sheaves over a compact complex manifold. This applies also to some cases appearing in complex projective geometry not covered by previous results.
We will generalize the projective model structure in the category of unbounded complexes of modules over a commutative ring to the category of unbounded complexes of quasi-coherent sheaves over the projective line. Concretely we will define a locally projective model structure in the category of complexes of quasi-coherent sheaves on the projective line. In this model structure the cofibrant objects are the dg-locally projective complexes. We also describe the fibrations of this model structure and show that the model structure is monoidal. We point out that this model structure is necessarily…
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$.
For an abelian or a projective K3 surface $X$ over an algebraically closed field $k$, consider the moduli space $\splcpx_{X/k}\uet$ of the objects $E$ in $D^b(\mathrm{Coh}(X))$ satisfying $\Ext^{-1}_X(E,E)=0$ and $\Hom(E,E)\cong k$. Then we can prove that $\splcpx_{X/k}\uet$ is smooth and has a symplectic structure.
We prove a purely local form of a result of Saito and Yatagawa. They proved that the characteristic cycle of a constructible étale sheaf is determined by wild ramification of the sheaf along the boundary of a compactification. But they had to consider ramification at all the points of the compactification. We give a pointwise result, that is, we prove that the characteristic cycle of a constructible étale sheaf around a point is determined by wild ramification at the point. The key ingredient is to prove that wild ramification of the stalk of the nearby cycle complex of a constructible étale s…
We obtain a linear algebra data presentation of the category of constructible with respect to perverse triangulation sheaves on a finite simplicial complex. We also establish Koszul duality between the above mentioned category and the category of perverse sheaves constructible with respect to the triangulation
We study a collection of stability conditions (in the sense of Schmitt) for complexes of sheaves over a smooth complex projective variety indexed by a positive rational parameter. We show that the Harder-Narasimhan filtration of a complex for small values of this parameter encodes the Harder-Narasimhan filtrations of the cohomology sheaves of this complex. Finally we relate a stratification into locally closed subschemes of a parameter space for complexes associated to these stability parameters with the stratification by Harder-Narasimhan types.
We define a tricategory T of length 3 complexes of abelian sheaves, whose hom-bigroupoids consist of weak morphisms of such complexes. We also define a 3-category 2PIC(S) of Picard 2-stacks, whose hom-2-groupoids consist of additive 2-functors. We prove that these categories are triequivalent as tricategories. As a consequence we obtain a generalization of Deligne's analogous result about Picard stacks in SGA4, Exp. XVIII.
We systematically develop Bridgeland's and Bridgeland-Maciocia's techniques for studying elliptic fibrations, and identify criteria that ensure 2-term complexes are mapped to torsion-free sheaves under a Fourier-Mukai transform. As an application, we construct an open immersion from a moduli of stable complexes to a moduli of Gieseker stable sheaves on elliptic threefolds. As another application, we give various 1-1 correspondences between fiberwise semistable torsion-free sheaves and codimension-1 sheaves on Weierstrass surfaces.
In this paper, we try to realize the unbounded derived category of an abelian category as the homotopy category of a Quillen model structure on the category of unbounded chain complexes. We construct such a model structure based on injective resolutions for an arbitrary Grothendieck category, as has apparently also been done by Morel. In particular, this works for sheaves on a ringed space, and for quasi-coherent sheaves on a quasi-compact, quasi-separated scheme. However, this injective model structure is not well suited to studying the derived tensor product, so we investigate other model st…
We introduce exponential complexes of sheaves on manifolds. They are resolutions of the (Tate twisted) constant sheaves of the rational numbers, generalising the short exact exponential sequence. There are canonical maps from the exponential complexes to the de Rham complex. Using this, we introduce new complexes calculating the rational Deligne cohomology. We call them exponential Deligne complexes. Their advantage is that, at least at the generic point of a complex variety, one can define Beilinson's regulator map to the rational Deligne cohomology on the level of complexes. Namely, we defin…
We present a novel notion of stable objects in the derived category of coherent sheaves on a smooth projective variety. As one application we compactify a moduli space of stable bundles using genuine complexes.
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.
A quasi-coherent ringed scheme is a pair (X,A), where X is a scheme, and A is a noncommutative quasi-coherent O_X-ring. We introduce dualizing complexes over quasi-coherent ringed schemes and study their properties. For a separated differential quasi-coherent ringed scheme of finite type over a field, we prove existence and uniqueness of a rigid dualizing complex. In the proof we use the theory of perverse coherent sheaves in order to glue local pieces of the rigid dualizing complex into a global complex.
We present a novel notion of stable objects in a triangulated category. This Postnikov-stability is preserved by equivalences. We show that for the derived category of a projective variety this notion includes the case of semistable sheaves. As one application we compactify a moduli space of stable bundles using genuine complexes via Fourier-Mukai transforms.
Via the BGG correspondence a simplicial complex Delta on [n] is transformed into a complex of coherent sheaves on P^n-1. We show that this complex reduces to a coherent sheaf F exactly when the Alexander dual Delta^* is Cohen-Macaulay. We then determine when both Delta and Delta^* are Cohen-Macaulay. This corresponds to F being a locally Cohen-Macaulay sheaf. Lastly we conjecture for which range of invariants of such Delta it must be a cone.
We prove that the Fano variety of lines of a generic cubic fourfold containing a plane is isomorphic to a moduli space of twisted stable complexes on a K3 surface. On the other hand, we show that the Fano varieties are always birational to moduli spaces of twisted stable coherent sheaves on a K3 surface. The moduli spaces of complexes and of sheaves are related by wall-crossing in the derived category of twisted sheaves on the corresponding K3 surface.
We develop a theory of unbounded derived categories of quasi-coherent sheaves on algebraic stacks. In particular, we show that these categories are compactly generated by perfect complexes for stacks that either have finite stabilizers or are local quotient stacks. We also extend Toën and Antieau--Gepner's results on derived Azumaya algebras and compact generation of sheaves on linear categories from derived schemes to derived Deligne--Mumford stacks. These are all consequences of our main theorem: compact generation of a presheaf of triangulated categories on an algebraic stack is local for t…
We define a notion of total acyclicity for complexes of flat quasi-coherent sheaves over a semi-separated noetherian scheme, generalising complete flat resolutions over a ring. By studying these complexes as objects of the pure derived category of flat sheaves we extend several results about totally acyclic complexes of projective modules to schemes; for example, we prove that a scheme is Gorenstein if and only if every acyclic complex of flat sheaves is totally acyclic. Our formalism also removes the need for a dualising complex in several known results for rings, including Jorgensen's proof …
Given a proper morphism X -> S, we show that a large class of objects in the derived category of X naturally form an Artin stack locally of finite presentation over S. This class includes S-flat coherent sheaves and, more generally, contains the collection of all S-flat objects which can appear in the heart of a reasonable sheaf of t-structures on X. In this sense, this is the Mother of all Moduli Spaces (of sheaves). The proof proceeds by studying the finite presentation properties, deformation theory, and Grothendieck existence theorem for objects in the derived category, and then applying A…
We give a new proof of the following theorem: moduli spaces of stable complexes on a complex projective K3 surface, with primitive Mukai vector and with respect to a generic Bridgeland stability condition, are hyperkähler varieties of $\mathrm{K3}^{[n]}$-type of expected dimension. We use derived equivalences, deformations and wall-crossing for Bridgeland stability to reduce to the case of the Hilbert scheme of points.
The main goal of this paper is to define the so-called Chow weight structure for the category of Beilinson motives over any 'reasonable' base scheme $S$ (this is the version of Voevodsky's motives over $S$ defined by Cisinski and Deglise). We also study the functoriality properties of the Chow weight structure (they are very similar to the well-known functoriality of weights for mixed complexes of sheaves). As shown in a preceding paper, the Chow weight structure automatically yields an exact conservative weight complex functor (with values in $K^b(Chow(S))$). Here $Chow(S)$ is the heart of th…
B. Kim and the first author proved a result comparing the virtual fundamental classes of the moduli spaces of stable quasimaps and stable LG-quasimaps by studying localized Chern characters for 2-periodic complexes. In this paper, we study a K-theoretic analogue of the localized Chern character map and show that for a Koszul 2-periodic complex it coincides with the cosection localized Gysin map by Y.-H. Kiem and J. Li. As an application we compare the virtual structure sheaves of the moduli space of stable quasimaps and stable LG-quasimaps.
In this survey article we describe moduli spaces of simple, stable, and semistable sheaves on K3 surfaces, following the work of Mukai, O'Grady, Huybrechts, Yoshioka, and others. We also describe some recent developments, including applications to the study of Chow rings of K3 surfaces, determination of the ample and nef cones of irreducible holomorphic symplectic manifolds, and moduli spaces of Bridgeland stable complexes of sheaves.
The moduli spaces of stable sheaves on projective schemes admit certain gluing data of Kapranov's NC structures, which we call quasi NC structures. The formal completion of the quasi NC structure at a closed point coincides with the pro-representable hull of the non-commutative deformation functor of the corresponding sheaf. In this paper, we show the existence of smooth non-commutative dg-resolutions of the above quasi NC structures, and call them quasi NCDG structures. When there are no higher obstruction spaces, the quasi NCDG structures define the notion of NC virtual structure sheaves, th…
This note describes moduli spaces of complexes in the derived category of a Veronese double cone $Y$. Focusing on objects with the same class $κ_1$ as ideal sheaves of lines, we describe the moduli space of Gieseker stable sheaves and show that it has two components. Then, we study the moduli space of stable complexes in the Kuznetsov component of $Y$ of the same class, which also has two components. One parametrizes ideal sheaves of lines and it appears in both moduli spaces. The other components are not directly related by a wall-crossing: we show this by describing an intermediate moduli sp…
We study local theory of moduli schemes using the framework of the Ran space. With the help of the study of sheaves and complexes over the Ran space by Beilinson and Drinfeld in their theory of chiral algebras, we revisit Ran's works on the Jacobi complexes (the Chevalley complexes for sheaves of Lie algebras on the Ran space), the universal deformation rings of moduli problems, the higher Kodaira-Spencer maps, and construction of Hitchin-type flat connections. We give rigorous treatments in the algebraic setting, which seems to be new.
We show that the characteristic cycle of the exterior product of constructible complexes is the exterior product of the characteristic cycles of factors. This implies the compatibility of characteristic cycles with smooth pull-back which is a first step in the proof of the index formula.
For a semi-separated noetherian scheme, we show that the category of cotorsion Gorenstein flat quasi-coherent sheaves is Frobenius and a natural non-affine analogue of the category of Gorenstein projective modules over a noetherian ring. We show that this coheres perfectly with the work of Murfet and Salarian that identifies the pure derived category of F-totally acyclic complexes of flat quasi-coherent sheaves as the natural non-affine analogue of the homotopy category of totally acyclic complexes of projective modules.
Let $\mathbb{X}$ be a semiseparated Noetherian scheme with a dualizing complex $D$. We lift some well-known triangulated equivalences associated with Grothendieck duality to Quillen equivalences of model categories. In the process we are able to show that the Gorenstein flat model structure, on the category of quasi-coherent sheaves on $\mathbb{X}$, is Quillen equivalent to the Gorenstein injective model structure. Also noteworthy is that we extend the recollement of Krause to hold without the Noetherian condition. Using a set of flat generators, it holds for any quasi-compact semiseparated sc…
Recently, the Riemann-Hilbert correspondence was generalized in the context of general holonomic D-modules by A. D'Agnolo and M. Kashiwara. Namely, they proved that their enhanced de Rham functor gives a fully faithfully embedding of the derived category of cohomologically holonomic complexes of D-modules into the derived category of complexes of real constructible enhanced ind-sheaves. In this paper, we study a condition when a complex of real constructible enhanced ind-sheaves $K$ is induced by a cohomologically holonomic complex of D-modules. We characterize such $K$ in terms of the restric…
We define complexes of vector bundles on products of moduli spaces of framed rank r torsion-free sheaves on the complex projective plane. The top non-vanishing Chern classes of the cohomology of these complexes yield actions of the r-colored Heisenberg and Clifford algebras on the equivariant cohomology of the moduli spaces. In this way we obtain a geometric realization of the boson-fermion correspondence and related vertex operators.
This is a survey of author's results on weight structures and Voevodsky's motives. Weight structures are natural counterparts of t-structures (for triangulated categories) introduced by the author. They allow to construct weight complexes, weight filtrations, and weight spectral sequences for various cohomology theories. Partial cases of the latter are: 'classical' weight spectral sequences (for singular and etale cohomology), coniveau spectral sequences, and Atiyah-Hirzebruch spectral sequences. All of those are mentioned in the current paper. The details, proofs, and several more results cou…
We give a generalization, in the context of sheaves, of a classical result of Grothendieck concerning the integrability of connections of type $(0,1)$ over a ${\cal C}^{\infty}$ vector bundle over a complex manifold. We introduce the notion of $\bar{\partial}$-coherent sheaf, which is a ${\cal C}^{\infty}$ notion, and we prove the existence of an (exact) equivalence between the category of coherent analytic sheaves and the category of $\bar{\partial}$-coherent sheaves. The principal difficulty of the proof is the solution of a quasi-linear differential equation with standard $\bar{\partial}$ a…
Almost perfect obstruction theories were introduced in an earlier paper by the authors as the appropriate notion in order to define virtual structure sheaves and $K$-theoretic invariants for many moduli stacks of interest, including $K$-theoretic Donaldson-Thomas invariants of sheaves and complexes on Calabi-Yau threefolds. The construction of virtual structure sheaves is based on the $K$-theory and Gysin maps of sheaf stacks. In this paper, we generalize the virtual torus localization and cosection localization formulas and their combination to the setting of almost perfect obstruction theory…
We prove that a topological space is aspherical if and only if it satisfies Bökstedt-Neeman Theorem, i.e., the derived category of complexes of locally constant sheaves is equivalent to the derived category of complexes of sheaves with locally constant cohomology.
The paper contains general results on the uniqueness of a DG enhancement for triangulated categories. As a consequence we obtain such uniqueness for the unbounded categories of quasi-coherent sheaves, for the triangulated categories of perfect complexes, and for the bounded derived categories of coherent sheaves on quasi-projective schemes. If a scheme is projective then we also prove a strong uniqueness for the triangulated category of perfect complexes and for the bounded derived categories of coherent sheaves. These results directly imply that fully faithful functors from the bounded derive…
On a smooth projective threefold, we construct an essentially surjective functor $\mathcal{F}$ from a category of two-term complexes to a category of quotients of coherent sheaves, and describe the fibers of this functor. Under a coprime assumption on rank and degree, the domain of $\mathcal{F}$ coincides with the category of higher-rank PT stable objects, which appear on one side of Toda's higher-rank DT/PT correspondence formula. The codomain of $\mathcal{F}$ is the category of objects that appear on one side of another correspondence formula by Gholampour-Kool, between the generating series…
We give a universal approach to the deformation-obstruction theory of objects of the derived category of coherent sheaves over a smooth projective family. We recover and generalise the obstruction class of Lowen and Lieblich, and prove that it is a product of Atiyah and Kodaira--Spencer classes. This allows us to obtain deformation-invariant virtual cycles on moduli spaces of objects of the derived category on threefolds.
Let X be a C-infinity manifold. We construct a microlocalization functor $μ_X$ from the derived category of bounded complexes of ind-sheaves on X to the one on the cotangent bundle of X. This functor generalizes the classical theory of microlocalization.
A semiorthogonal decomposition for the bounded derived category (the category of perfect complexes in a non smooth case) of coherent sheaves on a Brauer Severi scheme is given. It relies on bounded derived categories (categories of perfect complexes in a non smooth case) of suitably twisted coherent sheaves on the base.
For the derived category of bounded complexes of sheaves on a smooth projective surface, Bridgeland and Arcara-Bertram constructed Bridgeland stability conditions $(Z_m, \mathcal P_m)$ parametrized by $m \in (0, +\infty)$. In this paper, we show that the set of mini-walls in $(0, +\infty)$ of a fixed numerical type is locally finite. In addition, we strengthen a result of Bayer by proving that the moduli of polynomial Bridgeland semistable objects of a fixed numerical type coincides with the moduli of $(Z_m, \mathcal P_m)$-semistable objects whenever $m$ is larger than a universal constant dep…
We give an explicit proof of a Bogomolov-type inequality for $c_3$ of reflexive sheaves on $\mathbb{P}^3$. Then, using resolutions of rank-two reflexive sheaves on $\mathbb{P}^3$, we prove that some strata of the moduli of rank-two complexes that are both PT-stable and dual-PT-stable are quotient stacks. Using monads, we apply the same techniques to $\mathbb{P}^2$ and show that some strata of the moduli of Bridgeland-stable complexes are quotient stacks.
Via the BGG-correspondence a simplicial complex D on [n] is transformed into a complex of coherent sheaves L(D) on the projective space n-1-space. In general we compute the support of each of its cohomology sheaves. When the Alexander dual D* is Cohen-Macaulay there is only one such non-zero cohomology sheaf. We investigate when this sheaf can be an a'th syzygy sheaf in a locally free resolution and show that this corresponds exactly to the case of D* being a+1-Cohen-Macaulay as defined by K.Baclawski. By putting further conditions on the sheaves we get nice subclasses of a+1- Cohen-Macaulay s…
We use the anti-equivalence between Cohen-Macaulay complexes and coherent sheaves on formal schemes to shed light on some older results and prove new results. We bring out the relations between a coherent sheaf M satisfying an S_2 condition and the lowest cohomology N of its "dual" complex. We show that if a scheme has a Gorenstein complex satisfying certain coherence conditions, then in a finite étale neighborhood of each point, it has a dualizing complex. If the scheme already has a dualizing complex, then we show that the Gorenstein complex must be a tensor product of a dualizing complex an…
We present a detailed introduction of the theory of constructible sheaf complexes in the complex algebraic and analytic setting. All concepts are illustrated by many interesting examples and relevant applications, while some important results are presented with complete proofs. This paper is intended as a broadly accessible user's guide to these topics, providing the readers with a taste of the subject, reflected by concrete examples and applications that motivate the general theory. We discuss the stability of constructible sheaf complexes under the standard functors, and explain the relation…
On a real analytic manifold M, we construct the linear subanalytic Grothendieck topology Msal together with the natural morphism of sites $ρ$ from Msa to Msal, where Msa is the usual subanalytic site. Our first result is that the derived direct image functor by $ρ$ admits a right adjoint, allowing us to associate functorially a sheaf (in the derived sense) on Msa to a presheaf on Msa satisfying suitable properties, this sheaf having the same sections that the presheaf on any open set with Lipschitz boundary. We apply this construction to various presheaves on real manifolds, such as the preshe…
