[Paper Review] Derived categories of coherent sheaves

Alexey Bondal, Dmitri Olegovich Orlov|arXiv (Cornell University)|Jun 27, 2002

Algebraic structures and combinatorial modelsMathematics13 references210 citations

TL;DR

This paper establishes that smooth projective varieties with ample canonical or anticanonical bundles are uniquely determined by their derived categories of coherent sheaves, proving that derived equivalences imply isomorphisms. It introduces a criterion for fully faithful functors between derived categories and constructs semiorthogonal decompositions for blow-ups and complete intersections of quadrics, revealing deep connections to noncommutative geometry and Koszul duality.

ABSTRACT

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.

Motivation & Objective

• To determine when derived categories of coherent sheaves on smooth projective varieties classify the varieties up to isomorphism.
• To develop a criterion for fully faithful functors between derived categories using orthogonality of structure sheaves of points.
• To describe the behavior of derived categories under birational transformations such as blow-ups, flips, and flops.
• To generalize the derived McKay correspondence and explore noncommutative desingularizations.
• To establish a semiorthogonal decomposition for complete intersections of quadrics using Koszul duality and noncommutative algebras.

Proposed method

• Uses the Serre functor and graded category structure to reconstruct geometric data (points, line bundles, topology) from derived categories.
• Applies the notion of semiorthogonal decomposition to decompose derived categories of blow-ups into components isomorphic to the original variety and to the center of the blow-up.
• Employs Koszul duality to relate the derived category of a complete intersection of $m$ quadrics to the derived category of a sheaf of noncommutative algebras over $\mathbb{P}(U)$.
• Constructs a fully faithful functor from $\mathcal{D}^b(\text{coh}(\mathcal{B}))$ to $\mathcal{D}^b(X)$ for complete intersections of quadrics.
• Analyzes the center of the generalized Clifford algebra $B$ and shows that for odd $n$, it gives a ramified double cover $Y$ over $\mathbb{P}(U)$, with $\mathcal{B}'$ an Azumaya algebra.
• Uses the triviality of the Brauer group over algebraically closed fields to show equivalence between $\mathcal{D}^b(\text{coh}(\mathcal{B}'))$ and $\mathcal{D}^b(\text{coh}(\mathcal{O}_Y))$ in certain cases.

Experimental results

Research questions

• RQ1 When are two smooth projective varieties with ample canonical or anticanonical bundles isomorphic if their derived categories of coherent sheaves are equivalent?
• RQ2 What conditions ensure that a functor between derived categories of coherent sheaves is fully faithful?
• RQ3 How do derived categories behave under blow-ups and other birational transformations like flips and flops?
• RQ4 Can the derived category of a complete intersection of quadrics be described via a noncommutative algebraic structure?
• RQ5 What is the role of Koszul duality and noncommutative geometry in describing derived categories of complete intersections?

Key findings

• Smooth projective varieties with ample canonical or anticanonical bundles are uniquely determined by their derived categories of coherent sheaves.
• The group of exact autoequivalences of $\mathcal{D}^b(X)$ for such varieties is the semidirect product of the automorphism group of $X$, the Picard group, and translations.
• For the blow-up of a smooth variety $X$ along a smooth center $Y$, there is a semiorthogonal decomposition $\mathcal{D}^b(X) = \langle \mathcal{D}^b(Y), \mathcal{D}^b(X) \rangle$ with components isomorphic to $\mathcal{D}^b(Y)$ and $\mathcal{D}^b(X)$.
• For complete intersections of $m$ quadrics in $\mathbb{P}^{n-1}$ with $2m < n$, there is a semiorthogonal decomposition $\mathcal{D}^b(X) = \langle \mathcal{O}_X(-n+2m+1), \ldots, \mathcal{O}_X, \mathcal{D}^b(\text{coh}(\mathcal{B})) \rangle$.
• When $2m = n$, the derived category of the complete intersection is equivalent to the derived category of coherent sheaves on the noncommutative algebra $\mathcal{B}$, i.e., $\mathcal{D}^b(X) \simeq \mathcal{D}^b(\text{coh}(\mathcal{B}))$.
• For $n$ odd, the center of the algebra $\mathcal{B}$ gives a ramified double cover $Y$ over $\mathbb{P}(U)$, and $\mathcal{B}'$ is an Azumaya algebra over $Y$, with $\mathcal{D}^b(\text{coh}(\mathcal{B}')) \simeq \mathcal{D}^b(\text{coh}(\mathcal{O}_Y))$ due to trivial Brauer group.