Derived Algebraic Geometry

Derived algebraic geometry is the geometry of derived rings — objects that remember not only solutions to polynomial equations but the homotopy-theoretic relations among those solutions. Formally one replaces the category of commutative rings by an $\infty$-category of simplicial commutative rings (in characteristic zero, equivalently connective commutative dg-algebras), then mimics the entire edifice of scheme theory: spectra, sheaves, stacks, descent, and cohomology, all in a homotopy-coherent setting. It matters because the classical operations of forming fiber products (intersections) and quotients (moduli) are not exact — they lose information whenever transversality or flatness fails — and DAG repairs this by recording the "hidden" Tor and Ext groups as actual geometric structure. The surprising fact: a derived scheme can have the same underlying classical space as an ordinary scheme yet a strictly richer structure sheaf whose higher homotopy detects the failure of transversality, and this richer structure is precisely what makes the cotangent complex, deformation theory, and virtual fundamental classes work without ad hoc choices.

The Core Insight

Classical algebraic geometry is built on the 0-truncated world: a commutative ring $A$ is just a set with operations, and $\mathrm{Spec}A$ remembers only ${\pi }_0$. But the natural operations of geometry — tensor product (= intersection), invariants (= quotient), limits and colimits — are not exact. The derived fix is to work in a setting where these operations are automatically derived: tensor product becomes derived tensor product, fixed points become homotopy fixed points, fiber products become homotopy pullbacks. A derived scheme is a pair $(\mathcal{X},{\mathcal{O}}_{\mathcal{X}})$ where ${\mathcal{O}}_{\mathcal{X}}$ is a sheaf of derived rings whose higher homotopy groups ${\pi }_i{\mathcal{O}}_{\mathcal{X}}$ are coherent ${\pi }_0{\mathcal{O}}_{\mathcal{X}}$-modules. The slogan: "geometry over derived rings, done $\infty$-categorically, makes every functor exact."

Formal Statement

Simplicial Commutative Rings and Connective $E_\infty$-Rings

A simplicial commutative ring is a simplicial object $A_{\bullet }$ in the category $\mathrm{CRing}$ of commutative rings, i.e. a functor $A_{\bullet }:{\Delta }^{\mathrm{op}}\to \mathrm{CRing}$. Its homotopy groups ${\pi }_{i}A:={\pi }_i(A_{\bullet })$ (taking $A_{\bullet }$ as a simplicial set) form a graded-commutative ring with ${\pi }_{0}A$ an ordinary commutative ring and each ${\pi }_{i}A$ a ${\pi }_{0}A$-module.

The $\infty$-category $\mathrm{sCAlg}$ of simplicial commutative rings is obtained by inverting weak equivalences. In characteristic zero there is an equivalence

A connective $E_{\infty }$-ring $R$ is a commutative algebra object in the symmetric monoidal $\infty$-category of connective spectra; its homotopy ring ${\pi }_{\ast }R={⨁}_{n\ge 0}{\pi }_{n}R$ is graded-commutative. There is a forgetful functor $\mathrm{sCAlg}\to {\mathrm{CAlg}}^{\mathrm{cn}}$ which is an equivalence rationally but not integrally.

Simplicial commutative rings and connective $E_{\infty }$-rings coincide rationally but differ over $\mathbb{Z}$ and in positive characteristic. The simplicial theory is "polynomial" — generated under colimits by polynomial rings $\mathbb{Z}[x_1,\dots ,x_n]$ — and its free algebras involve divided symmetric powers $\mathrm{Sym}$; the $E_{\infty }$ theory uses genuine homotopy-coherent commutativity and its free algebra on a spectrum involves the extended powers $(X^{\wedge n}{)}_{h{\Sigma }_n}$. Lurie's foundational text Higher Algebra / Spectral Algebraic Geometry primarily uses $E_{\infty }$-rings; Toën–Vezzosi's Homotopical Algebraic Geometry uses simplicial commutative rings. They are different theories — "derived" vs "spectral" algebraic geometry.

Derived Scheme

A derived scheme is a pair $\mathcal{X}=(X,{\mathcal{O}}_{\mathcal{X}})$ where:

• $X$ is a topological space (or, more precisely, $\mathcal{X}$ is an $\infty$-topos, or a sheaf on the site of derived affines),
• ${\mathcal{O}}_{\mathcal{X}}$ is a sheaf of derived rings on $X$,

such that:

1. The truncation $t_0\mathcal{X}:=(X,{\pi }_0{\mathcal{O}}_{\mathcal{X}})$ is an ordinary scheme;
2. Each homotopy sheaf ${\pi }_i{\mathcal{O}}_{\mathcal{X}}$ is a quasi-coherent ${\pi }_0{\mathcal{O}}_{\mathcal{X}}$-module.

Equivalently, a derived scheme is a functor

Derived Fiber Products Compute Tor

Let $A\to C\leftarrow B$ be maps of ordinary commutative rings. The derived tensor product $A{\otimes }_C^{\mathbb{L}}B\in \mathrm{sCAlg}$ has homotopy groups

The Cotangent Complex

For a map of derived rings $A\to B$, the cotangent complex $L_{B/A}\in {\mathrm{Mod}}_B$ is the value at $B$ of the left-derived functor of Kähler differentials, characterized by the universal property that for any $B$-module $M$,

Why It Holds / Derivation

Why Derived Intersection Carries the Right Dimension

We show that the derived self-intersection of a smooth subvariety has the expected virtual dimension, with corrections recorded in higher homotopy.

Jacob Lurie | b. 1977

Jacob Lurie reformulated the foundations of homotopy theory and algebraic geometry through his treatises Higher Topos Theory (2009), Higher Algebra, and Spectral Algebraic Geometry. His framework of $\infty$-categories (quasi-categories, after Joyal) gave the technical machinery — a robust theory of limits, colimits, presentable $\infty$-categories, and stable $\infty$-categories — needed to make "everything derived" precise. His representability theorems generalize Artin's, providing criteria for when a moduli functor on $E_{\infty }$-rings is a derived (spectral) stack, and his work on derived deformation theory established the equivalence between formal moduli problems and differential graded Lie algebras (jointly developed with the school of Hinich, Pridham, and Lurie's own DAG X). Lurie received the MacArthur Fellowship (2014) and the Breakthrough Prize in Mathematics (2014). His parallel co-developers, Bertrand Toën and Gabriele Vezzosi, built the simplicial-commutative-ring side under the name Homotopical Algebraic Geometry (HAG), providing a model-categorical and then $\infty$-categorical foundation in their two-part series (2005, 2008).

Building Intuition

Think of an ordinary scheme as a silhouette — it records the set of solutions to equations but forgets how those solutions came to coincide. When two curves in a plane meet tangentially, the classical intersection number is computed correctly (via multiplicities), but the scheme you literally write down, $\mathrm{Spec}(\mathbb{C}[x,y]/(f,g))$, "doesn't know" it should have been a transverse, dimension-zero intersection — it just looks fat at the tangency. The derived intersection adds a ghostly higher structure: in addition to the visible fat point, it records the "missing" relations as elements of ${\pi }_1,{\pi }_2,\dots$ of the structure sheaf. These ghosts are exactly what you need so that the Euler characteristic (virtual count) is invariant under deformation.

A second mental picture: classical geometry is like measuring a function only at points; derived geometry is like measuring the function together with all its derivatives in a homotopy-coherent way. The cotangent complex $L_{\mathcal{X}}$ plays the role of the "first derivative" — for smooth $\mathcal{X}$ it is just the cotangent bundle in degree 0, but its degree $-1$ part detects how badly $\mathcal{X}$ fails to be smooth (obstructions), and its degree $+1$ part detects higher stacky / automorphism structure. The whole of DAG can be summarized as: do classical geometry, but every time you take a quotient or an intersection, keep the chain complex instead of just its homology.

Classical vs. derived intersection: the derived structure restores the expected virtual dimension by recording higher homotopy on the same underlying space.

Worked Examples

Derived Intersection of a Conic and Tangent Line

Derived Self-Intersection of the Origin in the Line

Common Misconceptions

Quotients break naive expectations

Consider the action of ${\mathbb{G}}_m$ on the affine plane ${\mathbb{A}}^2$ by scaling. The classical GIT quotient or the naive set-theoretic quotient is badly behaved (non-separated, or collapses orbits). The derived/stacky quotient $[{\mathbb{A}}^2/{\mathbb{G}}_m]$ is a smooth derived (here, classical Artin) stack whose cotangent complex

Connections

Derived algebraic geometry sits at a crossroads of several theories. It is built on Infinity Categories and Model Categories for its homotopical foundations, and on Higher Topos Theory for its sheaf theory and descent. Its central computational tool, the cotangent complex, is the subject of Deformation Theory and is governed by the equivalence between Formal Moduli Problems and Differential Graded Lie Algebras (Lurie–Pridham). The theory of Quasi-Coherent Sheaves on derived stacks, together with Ind-Coherent Sheaves and the six-functor formalism, underpins applications to Geometric Langlands Program. The spectral variant — replacing simplicial rings by $E_{\infty }$-ring spectra — is Spectral Algebraic Geometry and connects DAG to Chromatic Homotopy Theory and topological modular forms. The enumerative side links to Gromov–Witten Theory and Donaldson–Thomas Theory via virtual fundamental classes, and the symplectic-geometric refinement of DAG, shifted symplectic structures (PTVV), connects to Batalin–Vilkovisky Formalism in mathematical physics.

Real-World Applications

1. Virtual fundamental classes in enumerative geometry. Moduli of stable maps ${\overline{\mathcal{M}}}_{g,n}(X,\beta )$ is naturally a derived stack; its derived structure produces the virtual fundamental class $[\overline{\mathcal{M}}{]}^{\mathrm{vir}}$ used to define Gromov–Witten invariants rigorously, with the expected (virtual) dimension regardless of how singular the classical moduli space is.

1. Donaldson–Thomas theory and motivic/cohomological DT invariants. Moduli of sheaves on a Calabi–Yau 3-fold carry a $(-1)$-shifted symplectic structure (PTVV), which locally presents the moduli space as the critical locus of a function — the geometric origin of the DT vanishing-cycle/perverse-sheaf refinement.

1. Geometric Langlands. The derived stack ${\mathrm{Bun}}_G$ of $G$-bundles and the derived moduli of local systems ${\mathrm{LocSys}}_G$ require derived foundations to formulate the categorical equivalence; ind-coherent sheaves and singular support (Arinkin–Gaitsgory) are intrinsically derived notions.

1. Topological modular forms (tmf). Lurie's spectral algebraic geometry constructs the derived moduli stack of elliptic curves and the sheaf of $E_{\infty }$-rings whose global sections yield $\mathrm{tmf}$, a cornerstone of chromatic homotopy theory.

1. Deformation quantization and BV formalism. Shifted symplectic and Poisson structures (Calaque–Pantev–Toën–Vaquié–Vezzosi) provide a rigorous home for the Batalin–Vilkovisky quantization of gauge theories and the AKSZ construction of topological field theories.

1. Hochschild homology and the HKR theorem. The derived loop space $\mathcal{L}X=\mathrm{Map}(S^1,X)=X{\times }_{X\times X}^{\mathbf{h}}X$ realizes Hochschild homology geometrically; functions on $\mathcal{L}X$ recover ${⨁}_p{\Omega }_X^p[p]$, giving a geometric proof of the Hochschild–Kostant–Rosenberg decomposition.

1. Intersection theory and excess intersection. Derived fiber products give a clean, functorial account of excess-intersection formulas, refined Gysin maps, and the bivariant theory underlying modern Chow-theoretic computations.

Historical Development

• 1961–1967 — Grothendieck, EGA/SGA. The functor-of-points philosophy and the systematic use of fiber products and flatness set the stage; Grothendieck's Pursuing Stacks (1983) and the cotangent-complex circle of ideas anticipate higher structures.
• 1967 — Quillen, Homotopical Algebra. Model categories provide the abstract machinery for "doing homotopy theory" in arbitrary settings, the indispensable foundation for derived rings.
• 1970s — Illusie, Complexe Cotangent et Déformations. André–Quillen homology and the cotangent complex $L_{B/A}$ are developed, the first systematic derived construction in commutative algebra.
• 1990s — Kontsevich; Deligne; Drinfeld. Letters and lectures propose that moduli problems should be "derived" and that deformation theory in characteristic zero is controlled by dg-Lie algebras ("derived deformation theory"); virtual fundamental classes appear in Gromov–Witten theory (Li–Tian, Behrend–Fantechi, 1996–97).
• 2001 — Ciocan-Fontanine & Kapranov, Derived Quot schemes / dg-manifolds. Concrete constructions of derived moduli (dg-schemes, dg-manifolds) realizing the Kontsevich–Deligne vision.
• **2004–2008 — Toën & V