Derived Categories of Coherent Sheaves

Author(s):  
D. Huybrechts

The discussion of the previous chapter is applied to the derived category of the abelian category of coherent sheaves. The Serre functor is introduced, and particular spanning classes are constructed. The usual geometric functors, direct and inverse image, tensor product, and global sections, are derived and extended to functors between derived categories. The compatibilities between them are reviewed. The final section focuses on the Grothendieck-Verdier duality.

2013 ◽  
Vol 212 ◽  
pp. 87-96
Author(s):  
Henning Krause ◽  
Greg Stevenson

AbstractFor an exact category having enough projective objects, we establish a bijection between thick subcategories containing the projective objects and thick subcategories of the stable derived category. Using this bijection, we classify thick subcategories of finitely generated modules over strict local complete intersections and produce generators for the category of coherent sheaves on a separated Noetherian scheme with an ample family of line bundles.


2020 ◽  
Vol 296 (3-4) ◽  
pp. 1387-1427 ◽  
Author(s):  
Henning Krause

Abstract This note proposes a new method to complete a triangulated category, which is based on the notion of a Cauchy sequence. We apply this to categories of perfect complexes. It is shown that the bounded derived category of finitely presented modules over a right coherent ring is the completion of the category of perfect complexes. The result extends to non-affine noetherian schemes and gives rise to a direct construction of the singularity category. The parallel theory of completion for abelian categories is compatible with the completion of derived categories. There are three appendices. The first one by Tobias Barthel discusses the completion of perfect complexes for ring spectra. The second one by Tobias Barthel and Henning Krause refines for a separated noetherian scheme the description of the bounded derived category of coherent sheaves as a completion. The final appendix by Bernhard Keller introduces the concept of a morphic enhancement for triangulated categories and provides a foundation for completing a triangulated category.


Author(s):  
D. Huybrechts

This chapter is devoted to results by Bondal and Orlov which show that for varieties with ample (anti-)canonical bundle, the bounded derived category of coherent sheaves determines the variety. Except for the case of elliptic curves, this settles completely the classification of derived categories of smooth curves. The complexity of the derived category is reflected by its group of autoequivalences. This is studied by means of ample sequences.


2002 ◽  
Vol 133 (2) ◽  
pp. 261-293 ◽  
Author(s):  
J. DANIEL CHRISTENSEN ◽  
MARK HOVEY

An important example of a model category is the category of unbounded chain complexes of R-modules, which has as its homotopy category the derived category of the ring R. This example shows that traditional homological algebra is encompassed by Quillen's homotopical algebra. The goal of this paper is to show that more general forms of homological algebra also fit into Quillen's framework. Specifically, a projective class on a complete and cocomplete abelian category [Ascr ] is exactly the information needed to do homological algebra in [Ascr ]. The main result is that, under weak hypotheses, the category of chain complexes of objects of [Ascr ] has a model category structure that reflects the homological algebra of the projective class in the sense that it encodes the Ext groups and more general derived functors. Examples include the ‘pure derived category’ of a ring R, and derived categories capturing relative situations, including the projective class for Hochschild homology and co-homology. We characterize the model structures that are cofibrantly generated, and show that this fails for many interesting examples. Finally, we explain how the category of simplicial objects in a possibly non-abelian category can be equipped with a model category structure reflecting a given projective class, and give examples that include equivariant homotopy theory and bounded below derived categories.


Author(s):  
Amalendu Krishna

AbstractFor a tame Deligne-Mumford stack X with the resolution property, we show that the Cartan-Eilenberg resolutions of unbounded complexes of quasicoherent sheaves are K-injective resolutions. This allows us to realize the derived category of quasi-coherent sheaves on X as a reflexive full subcategory of the derived category of X-modules.We then use the results of Neeman and recent results of Kresch to establish the localization theorem of Thomason-Trobaugh for the K-theory of perfect complexes on stacks of above type which have coarse moduli schemes. As a byproduct, we get a generalization of Krause's result about the stable derived categories of schemes to such stacks.We prove Thomason's classification of thick triangulated tensor subcategories of D(perf / X). As the final application of our localization theorem, we show that the spectrum of D(perf / X) as defined by Balmer, is naturally isomorphic to the coarse moduli scheme of X, answering a question of Balmer for the tensor triangulated categories arising from Deligne-Mumford stacks.


Author(s):  
D. Huybrechts

This chapter briefly outlines the main steps in the construction of the derived category of an arbitrary abelian category. The homotopy category of complexes is considered as an intermediate step, which is then localized with respect to quasi-isomorphisms. Left and right derived functors are explained in general, and particular examples are studied in more detail. Spectral sequences are treated in a separate section.


Author(s):  
Xiaoyan Yang ◽  
Jingwen Shen

For the bounded derived category of an abelian category, bounds of the dimension with respect to a complete hereditary cotorsion pair are given. We also characterize levels of DG-modules and study how levels involved in a recollement of derived categories over DG-rings are related.


2018 ◽  
Vol 154 (7) ◽  
pp. 1362-1406 ◽  
Author(s):  
Alexander Kuznetsov ◽  
Alexander Perry

We study the derived categories of coherent sheaves on Gushel–Mukai varieties. In the derived category of such a variety, we isolate a special semiorthogonal component, which is a K3 or Enriques category according to whether the dimension of the variety is even or odd. We analyze the basic properties of this category using Hochschild homology, Hochschild cohomology, and the Grothendieck group. We study the K3 category of a Gushel–Mukai fourfold in more detail. Namely, we show this category is equivalent to the derived category of a K3 surface for a certain codimension 1 family of rational Gushel–Mukai fourfolds, and to the K3 category of a birational cubic fourfold for a certain codimension 3 family. The first of these results verifies a special case of a duality conjecture which we formulate. We discuss our results in the context of the rationality problem for Gushel–Mukai varieties, which was one of the main motivations for this work.


2013 ◽  
Vol 212 ◽  
pp. 87-96 ◽  
Author(s):  
Henning Krause ◽  
Greg Stevenson

AbstractFor an exact category having enough projective objects, we establish a bijection between thick subcategories containing the projective objects and thick subcategories of the stable derived category. Using this bijection, we classify thick subcategories of finitely generated modules over strict local complete intersections and produce generators for the category of coherent sheaves on a separated Noetherian scheme with an ample family of line bundles.


2020 ◽  
Vol 2020 (769) ◽  
pp. 87-119
Author(s):  
Sabin Cautis ◽  
Aaron D. Lauda ◽  
Joshua Sussan

AbstractRickard complexes in the context of categorified quantum groups can be used to construct braid group actions. We define and study certain natural deformations of these complexes which we call curved Rickard complexes. One application is to obtain deformations of link homologies which generalize those of Batson–Seed [3] [J. Batson and C. Seed, A link-splitting spectral sequence in Khovanov homology, Duke Math. J. 164 2015, 5, 801–841] and Gorsky–Hogancamp [E. Gorsky and M. Hogancamp, Hilbert schemes and y-ification of Khovanov–Rozansky homology, preprint 2017] to arbitrary representations/partitions. Another is to relate the deformed homology defined algebro-geometrically in [S. Cautis and J. Kamnitzer, Knot homology via derived categories of coherent sheaves IV, colored links, Quantum Topol. 8 2017, 2, 381–411] to categorified quantum groups (this was the original motivation for this paper).


Sign in / Sign up

Export Citation Format

Share Document