Some examples of spaces of stability conditions on derived categories
Emanuele Macri
备注:
16 pages. v2) Exposition improved and lots of minor corrections made. Parts of Section 4 have been rewritten, in particular Theorem 4.12, Corollary 4.13 and Theorem 4.14 of the old version have been changed. v3) title and abstract slightly changed, exposition improved, and details added
We study stability conditions on the derived categories of coherent sheaves on some projective varieties. We give a complete description of the stability manifold for smooth projective curves and we examine a connected open subset of the stability manifold for projective spaces and del Pezzo surfaces.
Let $R$ be a commutative ring. We introduce the notion of support of objects in an $R$-linear triangulated category. As an application, we study the non-existence of Bridgeland stability conditions on $R$-linear triangulated categories.
A K3 category is by definition a Calabi-Yau category of dimension two. Geometrically K3 categories occur as bounded derived categories of (twisted) coherent sheaves on K3 or abelian surfaces. A K3 category is generic if there are no spherical objects (or just one up to shift). We study stability conditions on K3 categories as introduced by Bridgeland and prove his conjecture about the topology of the stability manifold and the autoequivalences group for generic twisted projective K3, abelian surfaces, and K3 surfaces with trivial Picard group.
This is the third paper in a series. In part I we developed a deformation theory of objects in homotopy and derived categories of DG categories. Here we show how this theory can be used to study deformations of objects in homotopy and derived categories of abelian categories. Then we consider examples from (noncommutative) algebraic geometry. In particular, we study noncommutative Grassmanians that are true noncommutative moduli spaces of structure sheaves of projective subspaces in projective spaces.
We lift Grothendieck-Verdier-Spaltenstein's six functor formalism for derived categories of sheaves on ringed spaces over a field to differential graded enhancements. Our main tools come from enriched model category theory.
We show how derived categories build bridges across the current mathematical mainstream, linking geometric and algebraic, commutative and noncommutative, local and global banks. Arches in these bridges are pieces of semiorthogonal decompositions of triangulated categories. To appear in the Proceedings of the ICM 2002 in Beijing.
We present a notion of $Δ$-stability and stability filtration in arbitrary categories which is equivalent to the existence of Harder-Narasimhan (HN) sequences on objects. Indeed it is equivalent to the existence of a zero morphism, a partial order on objects, and a collection of some universal sequences. In additive categories embedded in an ambient triangulated category, we could obtain a numerical polynomial or central charge of objects by calculating the Euler characteristic of slope sequences and objects, inducing a partial order and HN sequences. In the case of normal projective surfaces …
We introduce a notion of derived Azumaya's algebras over rings and schemes. We prove that any such algebra $B$ on a scheme $X$ provides a class $ϕ(B)$ in $H^{1}_{et}(X,\mathbb{Z})\times H^{2}_{et}(X,\mathbb{G}_{m})$. We prove that for $X$ a quasi-compact and quasi-separated scheme $ϕ$ defines a bijective correspondence, and in particular that any class in $H^{2}_{et}(X,\mathbb{G}_{m})$, torsion or not, can be represented by a derived Azumaya's algebra on $X$. Our result is a consequence of a more general theorem about the existence of compact generators in \emph{twisted derived categories, wit…
This paper introduces the notion of a stability condition on a triangulated category. The motivation comes from the study of Dirichlet branes in string theory, and especially from M.R. Douglas's notion of $Π$-stability. From a mathematical point of view, the most interesting feature of the definition is that the set of stability conditions $\Stab(\T)$ on a fixed category $\T$ has a natural topology, thus defining a new invariant of triangulated categories. After setting up the necessary definitions I prove a deformation result which shows that the space $\Stab(\T)$ with its natural topology is…
This survey is based on my talk at the conference `Classical algebraic geometry today' at the MSRI. Some new results on the action of symplectomorphisms on the Chow group are added.
We introduce new enhancements for the bounded derived category $D^b(Coh(X))$ of coherent sheaves on a suitable scheme $X$ and for its subcategory $Perf(X)$ of perfect complexes. They are used for translating Fourier-Mukai functors to functors between derived categories of dg algebras, for relating homological smoothness of $Perf(X)$ to geometric smoothness of $X,$ and for proving homological smoothness of $D^b(Coh(X)).$ Moreover, we characterize properness of $Perf(X)$ and $D^b(Coh(X))$ geometrically.
We prove that the derived categories of abelian categories have unique enhancements -- all of them, the unbounded, bounded, bounded above and bounded below derived categories. The unseparated and left completed derived categories of a Grothendieck abelian category are also shown to have unique enhancements. Finally we show that the derived category of complexes with quasi-coherent cohomology and the category of perfect complexes have unique enhancements for quasi-compact and quasi-separated schemes.
We show that the derived category of a general Enriques surface can be realized as a semiorthogonal component in the derived category of a smooth Fano variety with a diagonal Hodge diamond.
In this paper we establish an equivalence between the category of graded D-branes of type B in Landau-Ginzburg models with homogeneous superpotential W and the triangulated category of singularities of the fiber of W over zero. The main result is a theorem that shows that the graded triangulated category of singularities of the cone over a projective variety is connected via a fully faithful functor to the bounded derived category of coherent sheaves on the base of the cone. This implies that the category of graded D-branes of type B in Landau-Ginzburg models with homogeneous superpotential W …
We introduce $q$-stability conditions $(σ,s)$ on Calabi-Yau-$\mathbb{X}$ categories $\mathcal{D}_\mathbb{X}$, where $σ$ is a stability condition on $\mathcal{D}_\mathbb{X}$ and $s$ a complex number. We prove the corresponding deformation theorem, that $\operatorname{QStab}_s\mathcal{D}_\mathbb{X}$ is a complex manifold of dimension $n$ for fixed $s$, where $n$ is the rank of the Grotendieck group of $\mathcal{D}_\mathbb{X}$ over $\mathbb{Z}[q^{\pm 1}]$. When $s=N$ is an integer, we show that the $q$-stability conditions can be identified with the stability conditions on $\mathcal{D}_N$, provid…
We consider the structure of the derived categories of coherent sheaves on Fano threefolds with Picard number 1 and describe a strange relation between derived categories of different threefolds. In the Appendix we discuss how the ring of algebraic cycles of a smooth projective variety is related to the Grothendieck group of its derived category.
We extend some of the results of Bondal-Orlov on the equivalence of derived categories to the case of orbifolds by using the category of coherent orbifold sheaves.
We develop a general deformation theory of objects in homotopy and derived categories of DG categories. The main result is a general pro-representability theorem for the corresponding deformation functor.
Let $S$ be a scheme contained in $\mathbf{Sch}_{fppf}$. Let $\mathfrak{X}$ be a Noetherian separated algebraic space over $S$. In this paper, we interpret localizing subcategories of the derived category of $\mathfrak{X}$ by using subsets of $|\mathfrak{X}|$.
We give a generalization of the theorem of Bondal and Orlov about the derived categories of coherent sheaves on intersections of quadrics revealing its relation to projective duality. As an application we describe the derived categories of coherent sheaves on Fano 3-folds of index 1 and degrees 12, 16 and 18.
We prove two theorems on the derived categories of toric varieties, the existence of an exceptional collection consisting of sheaves for a divisorial extraction and the finiteness of Fourier-Mukai partners.
This article deals with the quotient category of the category of coherent sheaves on an irreducible smooth projective variety by the full subcategory of sheaves supported in codimension greater than c. It turns out that this category has homological dimension c. As an application of this, we will describe the space of stability conditions on its derived category in the case c=1. Moreover, we describe all exact equivalences between these quotient categories in this particular case which is closely related to classification problems in birational geometry.
We prove that if two abelian varieties have equivalent derived categories then the derived categories of the smooth stacks associated to the corresponding Kummer varieties are equivalent as well. The second main result establishes necessary and sufficient conditions for the existence of equivalences between the twisted derived categories of two Kummer surfaces in terms of Hodge isometries between the generalized transcendental lattices of the corresponding abelian surfaces.
Generalizing Eisenbud's matrix factorizations, we define factorization categories. Following work of Positselski, we define their associated derived categories. We construct specific resolutions of factorizations built from a choice of resolutions of their components. We use these resolutions to lift fully-faithfulness statements from derived categories of Abelian categories to derived categories of factorizations and to construct a spectral sequence computing the morphism spaces in the derived categories of factorizations from Ext-groups of their components in the underlying Abelian category.
We investigate conditions for a Fourier-Mukai transform between derived categories of coherent sheaves on smooth projective stacks endowed with actions by finite groups to lift to the associated equivariant derived categories. As an application we give a condition under which a global quotient stack cannot be derived equivalent to a variety. We also apply our techniques to generalised Kummer stacks and symmetric quotients.
This paper is based on a talk at a conference "JDG 2017: Conference on Geometry and Topology". We survey recent progress on the DK hypothesis connecting the birational geometry and the derived categories stating that the K-equivalence of smooth projective varieties should correspond to the equivalence of their derived categories, and the K-inequality to the fully faithful embedding.
We investigate equivalences between the categories of perfects complexes of the quotients of two smooth projective schemes by the action of a finite group. As a result we give a necessary and sufficient condition for an equivalence between the equivariant derived categories to descend to the categories of perfect complexes.
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.
This paper contains some applications of Fourier-Mukai techniques to the birational geometry of threefolds. In particular, we prove that birational Calabi-Yau threefolds have equivalent derived categories. To do this we show how flops arise naturally as moduli spaces of perverse coherent sheaves.
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.
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.
A counterexample to the Jordan-Hölder property for semiorthogonal decompositions of derived categories of smooth projective varieties was constructed by Böhning, Graf von Bothmer and Sosna. In this short note we present a simpler example by realizing Bondal's quiver in the derived category of a blowup of the projective space.
We construct $S$-linear semiorthogonal decompositions of derived categories of smooth Fano threefold fibrations $X/S$ with relative Picard rank $1$ and rational geometric fibers and discuss how the structure of components of these decompositions is related to rationality properties of $X/S$.
We prove Qingyuan Jiang's conjecture on semiorthogonal decompositions of derived categories of Quot schemes of locally free quotients. The author's result on categorified Hall products for Grassmannian flips is applied to prove the conjecture.
In this paper, we study the space of stability conditions on a certain $N$-Calabi-Yau ($\text{CY}_N$) category associated to an $A_n$-quiver. Recently, Bridgeland and Smith constructed stability conditions on some $\text{CY}_3$ categories from meromorphic quadratic differentials with simple zeros. Generalizing their results to higher dimensional Calabi-Yau categories, we describe the space of stability conditions as the universal cover of the space of polynomials of degree $n+1$ with simple zeros. In particular, central charges of stability conditions on $\text{CY}_N$ categories are constructe…
We show that every thick subcategory of the singularity category of a complete intersection ring is self dual. We also prove the analogous statement for thick subcategories of the bounded derived category and give applications to the symmetry of vanishing of cohomology. These results are also proved for certain complete intersection schemes.
In this article, we study the group of autoequivalences of derived categories of coherent sheaves on the minimal resolution of $A_n$-singularities on surfaces. Our main result is to find generators of this group.
The main propose of this paper is to show that Bridgeland's moduli space of perverse point sheaves for certain flopping contractions gives the flops, and the Fourier-Mukai transform given by the birational correspondence of the flop is an equivalence between bounded derived categories.
We study the group of autoequivalences of the derived categories of coherent sheaves on smooth projective elliptic surfaces with non-zero Kodaira dimensions. We find a description of it when each reducible fiber is a cycle of $(-2)$-curves.
For a locally presentable abelian category $\mathsf B$ with a projective generator, we construct the projective derived and contraderived model structures on the category of complexes, proving in particular the existence of enough homotopy projective complexes of projective objects. We also show that the derived category $\mathsf D(\mathsf B)$ is generated, as a triangulated category with coproducts, by the projective generator of $\mathsf B$. For a Grothendieck abelian category $\mathsf A$, we construct the injective derived and coderived model structures on complexes. Assuming Vopenka's prin…
For a given Fourier-Mukai equivalence of bounded derived categories of coherent sheaves on smooth quasi-projective varieties, we construct Fourier-Mukai equivalences of derived factorization categories of gauged Landau-Ginzburg (LG) models. As an application, we obtain some equivalences of derived factorization categories of K-equivalent gauged LG models. This result is an equivariant version of the result of Baranovsky and Pecharich, and it also gives a partial answer to Segal's conjecture. As another application, we prove that if the kernel of the Fourier-Mukai equivalence is linearizable wi…
Discrete derived categories were studied initially by Vossieck \cite{Vossieck} and later by Bobiński, Geiß, Skowroński \cite{BGS}. In this article, we define the CW complex of silting pairs for a triangulated category and show that it is contractible in the case of discrete derived categories. We provide an explicit embedding from the silting CW complex into the stability manifold. By work of Qiu and Woolf, there is a deformation retract of the stability manifold onto the silting pairs CW complex. We obtain that the space of stability conditions of discrete derived categories is contractible.
We construct exceptional sequences of line bundles of maximal length on a family of surfaces isogenous to a higher product of unmixed type with $p_g=q=0$.
This is a survey on two closely related subjects. First, we review the study of topological structure of `finite type' components of spaces of Bridgeland's stability conditions on triangulated categories. The key is to understand Happel-Reiten-Smalo tilting as tiling of cells. Second, we review topological realizations of various Fukaya type categories, namely cluster/Calabi-Yau and derived categories from surfaces. The corresponding spaces of stability conditions are of `tame' nature and can be realized as moduli spaces of quadratic differentials due to Bridgeland-Smith and Haiden-Katzarkov-K…