Geometry
Derived Algebraic Geometry: Introduction
Цели урока
- Understand the construction of the derived category D(A) from an abelian category A
- Learn the Bondal-Orlov theorem: D^b Coh(X) determines X when omega_X is ample or anti-ample
- Grasp the notion of an infinity-category (quasi-category) and its advantages
- Survey how derived algebraic geometry (DAG) resolves issues with intersection theory and deformation theory
Предварительные знания
- Chain complexes and homology - the foundation of derived categories
- HMS uses derived categories on both sides
- Coherent sheaves on arithmetic schemes
What is the right framework for geometry when intersection, deformation, and moduli problems produce higher-order obstructions that classical methods cannot handle?
- Classical intersection theory fails when two subvarieties meet with excess or in non-transverse ways - derived categories fix this via derived tensor product
- Moduli spaces often have 'wrong' dimension due to higher obstructions; derived geometry gives the 'virtual' fundamental class
- HMS (Kontsevich) and the Geometric Langlands program both require derived category language
Historical Background
1963: Grothendieck introduces derived functors and derived categories 1978: Beilinson describes D^b Coh(P^n) via exceptional collections 1995: Bondal-Orlov prove their reconstruction theorem 2003: Lurie develops the theory of infinity-categories (quasi-categories) 2004: Toen-Vezzosi introduce homotopical algebraic geometry (HAG), a precursor to DAG
Derived Categories of Sheaves
Let A be an abelian category and K(A) its category of cochain complexes. How is the derived category D(A) constructed from K(A)?
D(A) is defined as the localization K(A)[W^{-1}] where W is the class of quasi-isomorphisms. This is the universal construction in which all quasi-isomorphic complexes become isomorphic and derived functors are well-defined. Option A only produces the homotopy category K(A), an intermediate step that still distinguishes quasi-isomorphic complexes. Option C describes the kernel of cohomology, which is the wrong direction: D(A) keeps cohomology information. Option D loses essential differential structure and gives a graded (not derived) category.
Bondal-Orlov Reconstruction Theorem
Under what hypothesis does the Bondal-Orlov theorem guarantee that a smooth projective variety X is determined up to isomorphism by its bounded derived category D^b Coh(X)?
Bondal-Orlov (1995) reconstruct X from D^b Coh(X) exactly when omega_X is ample (general type) or anti-ample (Fano). The proof uses point-like objects, which can be intrinsically detected only when the canonical bundle gives an honest polarization in one of these two directions. Option C is precisely the case where the theorem fails - mirror symmetry exhibits non-isomorphic CY 3-folds with equivalent derived categories. Option A (Picard rank 1) is too weak: it does not control omega_X. Option D is also insufficient: there are non-isomorphic smooth projective toric varieties (e.g. certain crepant resolutions) with equivalent derived categories.
Infinity-Categories and Stable Structures
Which property fails in the triangulated derived category D(A) but is recovered in the corresponding stable infinity-category?
The fundamental defect of a triangulated category is that the cone of a morphism is only defined up to non-canonical isomorphism, so it does not assemble into a functor; consequently homotopy limits and colimits do not exist in general. A stable infinity-category records all higher coherences, so cones become functorial and arbitrary (co)limits exist; passing to the homotopy category recovers the triangulated structure. Option A is false: D(A) does have a zero object (the zero complex). Option C is unrelated to the triangulated-vs-stable distinction. Option D also holds for D(A) by construction.
DAG: Applications in Geometry
Two smooth subvarieties X, Y of a smooth variety Z meet non-transversely. How does derived algebraic geometry compute the 'correct' intersection so that excess-intersection contributions are recorded?
Derived intersection X x^L_Z Y uses the derived tensor product, which sees all higher Tor terms; the resulting derived scheme has the expected (virtual) dimension and a tangent-obstruction complex that gives the virtual fundamental class. This is exactly what makes enumerative invariants (GW, DT) well-defined. Option B (deformation to general position) gives a numerical answer but loses the scheme-theoretic intersection. Option C is the wrong set-theoretic operation, contains no Tor information. Option D modifies Z, which does not address the failure of transversality of X with Y.
Connections to Other Topics
Derived algebraic geometry unifies homotopy theory, physics, and the Langlands program.
- Mirror Symmetry — Derived categories of coherent sheaves are the algebraic side of mirror symmetry
- Enumerative Geometry: Kontsevich's Recursion and Gromov-Witten Invariants — Kontsevich's virtual fundamental class is defined inside derived algebraic geometry
- Arithmetic Geometry — Derived stacks provide moduli of arithmetic objects and spectral algebro-geometric structures
Итоги
- The derived category D^b Coh(X) is built by inverting quasi-isomorphisms in the category of bounded complexes of coherent sheaves
- Bondal-Orlov: when omega_X is ample or anti-ample, D^b Coh(X) determines X up to isomorphism
- Infinity-categories (quasi-categories) fix the non-functoriality of cones and allow limits/colimits in the derived world
- DAG provides virtual fundamental classes and derived intersection theory, powering enumerative geometry and deformation theory
Вопросы для размышления
- Why does Bondal-Orlov fail for Calabi-Yau manifolds, and how does HMS exploit this failure?
- What extra structure beyond the triangulated category does the stable infinity-category provide?
- How does the cotangent complex in DAG unify all obstruction theories in a single functorial package?
Связанные уроки
- geo-26 — Kontsevich HMS is formulated via derived categories
- geo-28 — Arithmetic geometry uses derived categories
- top-07 — Homology is the source of derived categories
- dg-28 — Kahler geometry: objects of the derived category of coherent sheaves
- geo-25 — GW invariants and derived categories via matrix factorizations