Deligne–Mumford compactification
Generated by GPT-5-miniExpansion Funnel Raw 62 → Dedup 0 → NER 0 → Enqueued 0
| Deligne–Mumford compactification | |
|---|---|
| Name | Deligne–Mumford compactification |
| Field | Algebraic geometry |
| Introduced | 1969 |
| Founders | Pierre Deligne; David Mumford |
| Related | Moduli space of curves; Stable curve; Geometric invariant theory; Teichmüller space |
Deligne–Mumford compactification is a construction in Algebraic geometry that provides a proper moduli space containing the classical moduli of smooth projective curves. It compactifies the moduli stack of smooth genus g curves by adding boundary points corresponding to singular stable curves, producing a projective coarse moduli variety that plays a central role in the interaction between Alexander Grothendieck’s stacks, David Mumford’s geometric invariant theory, and Pierre Deligne’s work on moduli. The construction underlies modern developments linking Riemann surfaces, Teichmüller theory, and enumerative geometry including connections to the Witten conjecture and Kontsevich’s matrix model.
Introduction
The compactification resolves the non-properness of the moduli space M_g of smooth projective genus g curves by adjoining nodal stable curves to form a proper stack denoted by a canonical name. The seminal work by Deligne and Mumford synthesizes techniques from Grothendieck’s theory of algebraic stacks, Mumford’s geometric invariant theory, and the study of degenerations appearing in the work of Kodaira and Tate. This compact moduli admits a coarse moduli scheme that is projective over Spec of the integers, connecting arithmetic questions studied by Serre and Weil to complex-analytic perspectives of Teichmüller and Fuchsian groups.
Construction of the Compactification
Deligne and Mumford construct the compactification by enlarging the category fibered in groupoids of smooth curves over schemes to include families of stable curves with only ordinary double point singularities. The method uses functorial criteria derived from Grothendieck’s representability theorems and descent formalism, together with boundedness results influenced by Mumford’s stability from geometric invariant theory. Key tools include deformation theory as developed by Kodaira, clutching morphisms analogous to constructions in Knudsen’s work, and stack-theoretic arguments related to Artin’s criteria. The end result is a proper Deligne–Mumford stack with finite diagonal, admitting a coarse moduli space that is projective by an application of Gieseker’s techniques and ampleness criteria inspired by Bertini type arguments.
Stable Curves and Moduli of Stable Maps
Stable curves are connected projective curves with only nodal singularities and finite automorphism groups; stability conditions echo concepts from Mumford’s stability and ensure separatedness of the moduli functor. The boundary stratification of the compactification is indexed by dual graphs reminiscent of combinatorial types studied by Harer and Penner in the context of mapping class groups and Riemann surfaces. Extensions of the compactification appear in the moduli of stable maps introduced by Kontsevich, linking to Gromov–Witten theory developed by Witten, Ruan, and Behrend; these generalizations replace curves by maps to a fixed target such as a Calabi–Yau manifold or a Grassmannian and rely on virtual fundamental cycles constructed using ideas from Fulton’s intersection theory.
Topology and Geometric Properties
On the complex analytic side the compactification corresponds to the Deligne–Mumford compactification of Teichmüller space quotiented by the Mapping class group. Its boundary has normal crossing behavior in suitable coordinates described by plumbing constructions associated to Fenchel–Nielsen coordinates and degeneration techniques of Maskit. The coarse moduli space is irreducible by arguments akin to those of Igusa and admits tautological line bundles whose positivity properties were studied by Arbarello and Cornalba. Automorphism groups of stable curves relate to finite group actions explored by Hurwitz and play a role in orbifold descriptions appearing in the work of Thurston.
Intersection Theory and Cohomology
The compactification furnishes a natural arena for intersection theory on moduli spaces through tautological classes such as ψ, κ, and λ classes introduced by Mumford and systematically studied by Faber, Pandharipande, and Getzler. Calculations of intersection numbers on the compactified space underpin proofs of the Witten conjecture via relations to matrix models by Kontsevich and localization techniques of Graber and Pandharipande. Cohomological field theories arising from semisimple Frobenius manifolds studied by Dubrovin exploit the compactification to define correlators, while the tautological ring conjectures connect to enumerative predictions tested using methods from Vakil and Faber.
Applications and Examples
Concrete applications include enumerative counts on projective surfaces studied by Gromov and Witten, calculations of Hurwitz numbers following approaches by Ekedahl and Lando, and formulations of tautological relations used in the study of the birational geometry of moduli spaces by Harris and Morrison. The compactification appears in arithmetic geometry in the study of integral models and stable reduction theorems related to Grothendieck’s and Deligne’s work on monodromy and the Tate conjecture. Low genus examples link to classical curves such as those studied by Riemann and Weierstrass, while boundary strata computations inform explicit descriptions used by Looijenga and Keel.
Generalizations and Related Constructions
Generalizations include stacks of pointed stable curves developed by Knudsen and Mumford, moduli of spin curves investigated by Jarvis and Cornalba, and logarithmic and tropical compactifications influenced by Kato and Mikhalkin. Relations to Geometric Langlands perspectives and to derived algebraic geometry pursued by Toën and Lurie extend the foundational picture, while variations using Gromov–Witten theory, Donaldson–Thomas invariants, and relative stable maps create a rich constellation of moduli spaces connected to the original compactification.