We generalize the construction given in math.AG/0309435 of a "constant" t-structure on the bounded derived category of coherent sheaves $D(X\times S)$ starting with a t-structure on $D(X)$. Namely, we remove smoothness and quasiprojectivity assumptions on $X$ and $S$ and work with t-structures that are not necessarily Noetherian but are close to Noetherian in the appropriate sense. The main new tool is the construction of induced t-structures that uses unbounded derived categories of quasicoherent sheaves and relies on the results of \cite{AJS}. As an application of the "constant" t-structures techniques we prove that every bounded nondegenerate t-structure on $D(X)$ with Noetherian heart is invariant under the action of a connected group of autoequivalences of $D(X)$. Also, we show that if $X$ is smooth then the only local t-structures on $D(X)$, i.e., those for which there exist compatible t-structures on $D(U)$ for all open $U\subset X$, are the perverse t-structures considered in math.AG/0005152.
We study perverse sheaves of categories their connections to classical algebraic geometry. We show how perverse sheaves of categories encode naturally derived categories of coherent sheaves on $\mathbb{P}^1$ bundles, semiorthogonal decompositions, and relate them to a recent proof of Segal that all autoequivalences of triangulated categories are spherical twists. Furthermore, we show that perverse sheaves of categories can be used to represent certain degenerate Calabi--Yau varieties.
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.
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.
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 construct an equivalence between the derived category of sheaves on an elliptic threefold without a section and a derived category of twisted sheaves (modules over an Azumaya algebra) on any small resolution of its relative Jacobian.
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.
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.
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.
We use an idea of Rosenberg to prove a reconstruction theorem for abelian categories of alpha-twisted quasi-coherent sheaves on quasi-compact and quasi-separated schemes X when alpha is in the Brauer group of X. By applying the work of Toën on derived Azumaya algebras, we give a proof of Căldăraru's conjecture.
We remove the global quotient presentation input in the theory of windows in derived categories of smooth Artin stacks of finite type. As an application, we use existing results on flipping of strata for wall-crossing of Gieseker semi-stable torsion-free sheaves of rank two on rational surfaces to produce semi-orthogonal decompositions relating the different moduli stacks. The complementary pieces of these semi-orthogonal decompositions are derived categories of products of Hilbert schemes of points on the surface.
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 bounded derived category of G-equivariant coherent sheaves on X into components, equivalent to derived categories of twisted representations of the group. If the group is finite or reductive over the algebraically closed field of zero characteristic, this gives a full exceptional collection in the derived equivariant category. We apply our results to particular …
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 show that, for any fixed weight, there is a natural system of Hodge sheaves, whose Higgs field has no poles, arising from a flat projective family of varieties parametrized by a regular complex base scheme, extending the analogous classical result for smooth projective families due to Griffiths. As an application, based on positivity of direct image sheaves, we establish a criterion for base spaces of rational Gorenstein families to be of general type. A key component of our arguments is centered around the construction of derived categorical objects generalizing relative logarithmic forms …
We prove that the bounded derived category of coherent sheaves with proper support is equivalent to the category of locally-finite, cohomological functors on the perfect derived category of a quasi-projective scheme over a field. We introduce the notions of pseudo-adjoints and Rouquier functors and study them. As an application of these ideas and results, we extend the reconstruction result of Bondal and Orlov to Gorenstein projective varieties.
Let G be a reductive groups over an algebraically closed field k. Let P^{(i)} be associated parabolic subgroups, and X^{(i)}:=T^*G/P^i. The bounded derived categories of coherent sheaves on X^{(i)} are equivalent, but there is no canonical equivalence. By refining a construction from a previous paper, we construct a local system of categories over a topological space V^0_C, where these categories are assigned to different points in V^0_C. Natural equivalence functors between these categories are parameterized by homotopy classes of paths between the corresponding points.
Starting from certain perverse sheaves on an abelian variety, including the intersection cohomology sheaves of curves and smooth ample divisors, we construct a semisimple super-Tannakian category.
We consider the derived category of coherent sheaves on a complex vector space equivariant with respect to an action of a finite reflection group G. In some cases, including Weyl groups of type A, B, G_2, F_4, as well as the groups G(m,1,n), we construct a semiorthogonal decomposition of this category, indexed by the conjugacy classes of G. The pieces of this decompositions are equivalent to the derived categories of coherent sheaves on the quotient-spaces V^g/C(g), where C(g) is the centralizer subgroup of g in G. In the case of the Weyl groups the construction uses some key results about the…
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 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.
Under some assumptions we prove that the Deligne tensor product of categories of constructible perverse sheaves on pseudomanifolds X and Y is the category of constructible perverse sheaves on X\times Y. The Deligne external tensor product functor is identified with the geometrical external tensor product.
Starting point of the present work is a conjecture of F. Catanese which says that in the derived category of coherent sheaves on any rational homogeneous manifold G/P there should exist a complete strong exceptional poset and a bijection of the elements of the poset with the Schubert varieties in G/P such that the partial order on the poset is the order induced by the Bruhat-Chevalley order. The goal of this work is to provide further evidence for Catanese's conjecture, clarify some aspects of it and supply new techniques. In particular we prove a theorem on the derived categories of quadric b…
We consider categories of generalized perverse sheaves, with relaxed constructibility conditions, by means of the process of gluing $t$-structures and we exhibit explicit abelian categories defined in terms of standard sheaves categories which are equivalent to the former ones. In particular, we are able to realize perverse sheaves categories as non full abelian subcategories of the usual bounded complexes of sheaves categories. Our methods use induction on perversities. In this paper, we restrict ourselves to the two-strata case, but our results extend to the general case.
We give a moduli-theoretic proof of the classical theorem of Gabriel, stating that a scheme can be reconstructed from the abelian category of quasi-coherent sheaves over it. The methods employed are elementary and allow us to extend the theorem to (quasi-compact and separated) algebraic spaces. Using more advanced technology (and assuming flatness) we also give a proof of the folklore result that the group of autoequivalences of the category of quasi-coherent sheaves consists of automorphisms of the underlying space and twists by line bundles. We apply our strategy to prove analogous statement…
Let k be an algebraically closed field of characteristic p>>0. Let $X\rightarrow Y$ be a symplectic resolution. There are two questions which motivates this work. One question is a construction of an action of a group on the category $\mathcal{C}:=D^b(Coh(X))$ - The bounded derived category of coherent sheaves of the symplectic resolution X. Second question is understanding equivalence functors between derived categories of coherent sheaves for different symplectic resolutions of Y. Let G/k be a reductive group. In this paper, we construct a local system on a topological space called $V^0_{\ma…
Let $X_N$ be the second infinitesimal neighborhood of a closed point in $N$-dimensional affine space. In this note we study $D^b(coh\, X_N)$, the bounded derived category of coherent sheaves on $X_N$. We show that for $N\geq 2$ the lattice of triangulated subcategories in $D^b(coh\, X_N)$ has a rich structure (which is probably wild), in contrast to the case of zero-dimensional complete intersections. We also establish a relation between triangulated subcategories in $D^b(coh\, X_N)$ and universal localizations of a free graded associative algebra in $N$ variables. Our homological methods prod…
Using derived categories of equivariant coherent sheaves, we construct a categorification of the tangle calculus associated to sl(2) and its standard representation. Our construction is related to that of Seidel-Smith by homological mirror symmetry. We show that the resulting doubly graded knot homology agrees with Khovanov homology.
Using derived categories of equivariant coherent sheaves we construct a knot homology theory which categorifies the quantum sl(m) knot polynomial. Our knot homology naturally satisfies the categorified MOY relations and is conjecturally isomorphic to Khovanov-Rozansky homology. Our construction is motivated by the geometric Satake correspondence and is related to Manolescu's by homological mirror symmetry.
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 describe the derived category of coherent sheaves on the minimal resolution of the Kleinian singularity associated to a finite subgroup G of SL(2). Then, we give an application to the Euler-characteristic version of the Hall algebra of the category of coherent sheaves on an algebraic surface.
We study the question when a category of ind-objects is abelian. Our answer allows a further generalization of the notion of weakly Tannakian categories introduced by the author. As an application we show that, under suitable conditions, the category of coherent sheaves on the product of two schemes with the resolution property is given by the Deligne tensor product of the categories of coherent sheaves of the two factors. To do this we prove that the class of quasi-compact and semi-separated schemes with the resolution property is closed under fiber products.
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.
The purpose of this paper is to develop an efficient computational model for Abelian categories of coherent sheaves over certain classes of varieties. These categories are naturally described as Serre quotient categories. Hence, our approach relies on describing general Serre quotient categories in a constructive way which leads to an efficient computer implementation.
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 extend Orlov's representability theorem on the equivalence of derived categories of sheaves to the case of smooth stacks associated to normal projective varieties with only quotient singularities.
We introduce crossingless sheaves in certain equivariant derived categories which are analogous to the Bezrukavnikov-Mirkovic exotic sheaves for two-block nilpotents. We calculate the classes of crossingless sheaves in equivariant K-theory of Cautis-Kamnitzer varieties.
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 define a deformation of our earlier link homologies for fundamental representations of sl_m. The deformed homology of a link is isomorphic to the deformed homology of the disjoint union of its components. Moreover, there exists a spectral sequence starting with the old homology and converging to this deformed homology.
Due to a theorem by Orlov every exact fully faithful functor between the bounded derived categories of coherent sheaves on smooth projective varieties is of Fourier-Mukai type. We extend this result to the case of bounded derived categories of twisted coherent sheaves and at the same time we weaken the hypotheses on the functor. As an application we get a complete description of the exact functors between the abelian categories of twisted coherent sheaves on smooth projective varieties.
These lecture notes were prepared for the workshop ``Algebraic Geometry: Presentations by Young Researchers'' in Snowbird, Utah, July 2004, and for the autumn school in Lukecin, Poland, September 2004. In six lectures I attempted to present a non-technical introduction to derived categories of sheaves on varieties, including some important results like: -- the description of the derived category of P^n; -- Serre duality; -- the Bondal-Orlov result about derived categories of varieties with ample or antiample canonical class; -- the Mukai-Bondal-Orlov-Bridgeland criterion for equivalence; -- eq…
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 consider categorical and geometric purity for sheaves of modules over a scheme satisfying some mild conditions, both for the category of all sheaves and for the category of quasicoherent sheaves. We investigate the relations between these four purities and compute a number of examples, in particular describing both the geometric and categorical Ziegler spectra for the category of quasicoherent sheaves over the projective line over a field.
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.
This is a mostly expository paper, intended to explain a very natural relationship between two a priori distinct notions appearing in the literature: Generic Vanishing in the context of vanishing theorems and birational geometry, and Perverse Coherent Sheaves in the context of derived categories. I describe homological and commutative algebra criteria for checking either condition, and then recall applications to geometric situations. A few new results, and especially new proofs, are included as well.
We introduce the notion of a quasi DG category, generalizing that of a DG category. To a quasi DG category satisfying certain additional conditions, we associate another quasi DG category, the quasi DG category of $C$-diagrams. We then show the homotopy category of the quasi DG category of $C$-diagrams has the structure of a triangulated category. This procedure is then applied to produce a triangulated category of mixed motives over a base variety.
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…
Given a family $(F,h) \to X \times S$ of Hermite-Einstein bundles on a compact Kähler manifold $(X,g)$ we consider the higher direct image sheaves $R^q p_* \mathcal{O}(F)$ on $S$, where $p: X \times S \to S$ is the projection. On the complement of an analytic subset these sheaves are locally free and carry a natural metric, induced by the $L_2$ inner product of harmonic forms on the fibers. We compute the curvature of this metric which has a simpler form for families with fixed determinant and families of endomorphism bundles. Furthermore, we discuss the metric for moduli spaces of stable vect…
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 give scheme-theoretic descriptions of the category of fibre functors on the categories of sheaves associated to the Zariski, Nisnevich, étale, rh, cdh, ldh, eh, qfh, and h topologies on the category of separated schemes of finite type over a separated noetherian base. Combined with a theorem of Deligne on the existence of enough points, this provides an algebro-geometric description of a conservative family of fibre functors on these categories of sheaves. As an example of an application we show direct image along a closed immersion is exact for all these topologies except qfh. The methods …
