Derived algebraic geometry
Generated by GPT-5-miniExpansion Funnel Raw 70 → Dedup 12 → NER 10 → Enqueued 8
| Derived algebraic geometry | |
|---|---|
| Name | Derived algebraic geometry |
| Discipline | Mathematics |
| Subdiscipline | Algebraic geometry |
| Introduced | 1990s |
| Notable persons | Alexander Grothendieck, Gérard Laumon, Joseph Bernstein, Dennis Gaitsgory, Jacob Lurie, Bertrand Toën, Gabriele Vezzosi, Maxim Kontsevich, Bertrand Russell |
Derived algebraic geometry is a modern extension of Algebraic geometry incorporating homotopical and homological methods to study schemes, stacks, and moduli with higher-categorical and derived enhancements. It synthesizes ideas from Homological algebra, Homotopy theory, Category theory, and Representation theory to resolve singularities, analyze deformation problems, and construct refined intersection theories. Originating in foundational work in the late 20th century, it has become central to research in several areas of contemporary mathematics.
Introduction
Derived algebraic geometry arose from intersecting developments in Alexander Grothendieck's formulation of schemes, Jean-Pierre Serre's duality perspectives, Pierre Deligne's work on cohomology, Jean-Louis Verdier's derived categories, and the development of Homotopy theory by figures such as Daniel Quillen and J. Michael Boardman. Early concrete motivations include enumerative problems influenced by Maxim Kontsevich's insights, and deformation-theoretic questions pursued by Murray Gerstenhaber and Pierre Schapira. Subsequent growth was propelled by contributions from Jacob Lurie, Bertrand Toën, Gabriele Vezzosi, and Dennis Gaitsgory who introduced higher-categorical frameworks and formalized structures used in modern theory.
Foundations
Foundational aspects rest on the synthesis of Homological algebra via derived functors initiated by Jean-Baptiste Joseph Fourier and formalized by Grothendieck and Henri Cartan, combined with homotopical methods from Daniel Quillen's model categories and Max Karoubi's K-theory. Higher category theory developed by Alexander Grothendieck's "Pursuing Stacks" vision and later formalized by André Joyal and Jacob Lurie supplies the language of ∞-categories, while simplicial and dg-enhancements trace to work by Hendrik Lenstra and Bernard Keller. Cotangent complexes and obstruction theories use ideas from Maurice Auslander and David Eisenbud, formalized in contexts influenced by Jean-Pierre Serre and Pierre Deligne.
Models and Approaches
Multiple models and approaches coexist: the ∞-categorical approach of Jacob Lurie uses Higher Topos theory and structured ring spectra, while the dg-scheme and differential graded approach follows traditions associated with Jean-Louis Koszul and Bernard Keller. Simplicial commutative rings, championed in part by Daniel Quillen and André Hirschowitz, provide another model linked to simplicial homotopy theory from J. H. C. Whitehead. Model category frameworks owe to Daniel Quillen and extensions by William G. Dwyer and Douglas C. Ravenel, while derived stacks and higher stacks build upon concepts introduced by Gérard Laumon and Laurent Lafforgue in moduli problems. Spectral algebraic geometry extends these ideas in the context of Stable homotopy theory and Daniel Sullivan's work, connecting to structured ring spectra developed by Mandell, Mark Hovey, and Birgit Richter.
Key Constructions and Examples
Key constructions include derived schemes, derived stacks, and derived intersections; examples stem from classical objects such as the derived moduli of perfect complexes influenced by Pierre Deligne and Maxim Kontsevich, moduli of local systems related to Carlos Simpson and Georges de Rham-inspired ideas, and the deformation theory of coherent sheaves rooted in work by Robin Hartshorne and André Weil. The cotangent complex construction generalizes ideas from Alexander Grothendieck's SGA seminars, while shifted symplectic structures build on concepts from Maxim Kontsevich and Yan Soibelman. Virtual fundamental classes and perfect obstruction theories draw on developments associated with Behrend and Kai Behrend's collaborators, and examples include derived intersections in enumerative geometry and derived enhancements of Hilbert schemes studied by Leila Schneps and others.
Main Theorems and Properties
Core theorems establish existence and behavior of derived fiber products, base change theorems in derived contexts generalizing results from Jean-Pierre Serre and Grothendieck, and representability theorems for derived moduli problems analogous to Artin's representability originally due to Michael Artin. Theorems about deformation-obstruction theories trace lineage to Maurice Auslander and formal deformation theory work of Grothendieck and Alexander Grothendieck's school. Properties such as conservativity of derived pushforwards, descent for quasi-coherent complexes, and the existence of t-structures link to contributions by Bernard Keller and Amnon Neeman. Purity and duality statements extend Serre duality and connect with results of Robin Hartshorne and Claude Chevalley.
Applications and Connections
Applications appear across Representation theory, particularly geometric representation theory developed by Joseph Bernstein and Alexandre Beilinson, and in Enumerative geometry influenced by Maxim Kontsevich and Edward Witten. Connections to Topological quantum field theory and ideas from Edward Witten and Michael Atiyah emerge via shifted symplectic structures and moduli of solutions to gauge-theoretic equations. Interactions with Number theory occur in p-adic Hodge theoretic settings influenced by Jean-Marc Fontaine and the Langlands program shaped by Robert Langlands and Laurent Lafforgue. Derived methods inform mirror symmetry developments linked to Kontsevich and Stanisław Ulam-adjacent conjectures, and spectral algebraic geometry ties to stable homotopy problems studied by Douglas Ravenel and Haynes Miller.
Open Problems and Research Directions
Active research explores precise foundations tying ∞-categorical and model categorical frameworks with work by Jacob Lurie, Bertrand Toën, Gabriele Vezzosi, and Dennis Gaitsgory, extensions to arithmetic settings inspired by Jean-Marc Fontaine and Pierre Colmez, and computable descriptions of derived moduli spaces building on inputs from Alexander Beilinson and Joseph Bernstein. Open problems include formulating full-fledged six-functor formalisms in derived contexts related to Alexandre Grothendieck's vision, understanding deep interactions with the Langlands program influenced by Robert Langlands and Edward Frenkel, and developing computational tools for enumerative invariants inspired by Maxim Kontsevich and Edward Witten.