Moduli stack of curves
Generated by GPT-5-miniExpansion Funnel Raw 76 → Dedup 0 → NER 0 → Enqueued 0
| Moduli stack of curves | |
|---|---|
| Name | Moduli stack of curves |
| Field | Algebraic geometry |
| Introduced | 1960s–1970s |
| Contributors | Alexander Grothendieck, David Mumford, Pierre Deligne, Robin Hartshorne, John Tate |
Moduli stack of curves The moduli stack of curves is a central object in Algebraic geometry and Moduli theory, organizing families of algebraic curves by genus and marked points. Originating in work by Alexander Grothendieck, David Mumford, and Pierre Deligne, the stack formalism unifies concepts from Scheme theory, Étale cohomology, and Geometric invariant theory to study deformation, automorphisms, and compactification phenomena for curves. It connects with developments in Hodge theory, Gromov–Witten theory, and arithmetic geometry through interactions with the Torelli theorem, Arakelov theory, and the theory of Shimura varieties.
Introduction
The construction of moduli spaces for algebraic curves emerged from problems studied by Riemann, Bernhard Riemann, and later formalized by Oscar Zariski and André Weil; modern treatments rely on techniques introduced by Alexander Grothendieck in the Éléments de géométrie algébrique program and by David Mumford in Geometric invariant theory. The moduli stack refines the classical coarse moduli space pioneered in work by Igor Shafarevich and Max Noether, making automorphism data intrinsic as in the categorical approaches of Grothendieck and the representability results of Michael Artin. Foundational compactifications and stability conditions are due to Pierre Deligne and David Mumford in the formulation of Deligne–Mumford stacks.
Definition and basic properties
One defines the moduli stack of genus-g curves by specifying the fibered category over the category of schemes made precise in lectures of Grothendieck and expositions by Robin Hartshorne; the stack axioms and 2-functor language are developed in the work of Jean Giraud and Alexander Grothendieck. The stack parametrizes families whose objects are proper flat morphisms with one-dimensional connected fibers and isomorphisms recorded to account for automorphism groups studied by John Tate and Jean-Pierre Serre. Algebraicity and local finite presentation derive from criteria of Michael Artin and representability theorems refined by Dan Abramovich and Kenji Matsuki in the context of algebraic stacks. For marked points one introduces pointed stacks following constructions by Mumford and applications in conformal field theories à la Edward Witten.
Geometric structure and stacks theory
As an algebraic stack the moduli stack exhibits stabilizer groups at points corresponding to automorphism groups of curves, a phenomenon analyzed in deformation-theoretic work by Michael Artin and Alexander Grothendieck. Étale local structures and inertia stacks appear in analyses by Pierre Deligne and later categorical treatments by Jacob Lurie and Bertrand Toen in higher-stack contexts. The geometry interacts with the theory of coarse moduli spaces established by Mumford and later refined by Sean Keel and Angelo Vistoli; properness, smoothness, and dimension calculations use techniques from Serre and Grothendieck–Riemann–Roch frameworks. Monodromy and mapping class group actions relate to classical results of William Thurston and Benson Farb in geometric topology.
Compactifications and Deligne–Mumford stacks
The Deligne–Mumford compactification introduces stable curves and boundary divisors, a construction by Pierre Deligne and David Mumford that yields a proper Deligne–Mumford stack; boundary strata correspond to combinatorial types studied by William Fulton and Carel Faber. Stability conditions echo notions in Geometric invariant theory due to Mumford and in modern variations by Mikhail Kapranov and Yuri Manin. The compactified stack supports intersection computations and virtual classes developed in the intersection-theoretic frameworks of Kai Behrend and Barbara Fantechi, which underpin enumerative applications by Maxim Kontsevich and Rahul Pandharipande.
Intersection theory and tautological classes
Tautological rings and kappa classes on the moduli stack were systematized in work by Carel Faber and collaborators, with conjectures connecting to the Gorenstein conjecture and computations by Carel Faber and Ezra Getzler. Intersection theory on the stack uses tools from Chow groups and operational intersection theory developed by William Fulton and operational frameworks by Dan Edidin and William Graham. Virtual fundamental classes for relative and absolute Gromov–Witten invariants were constructed by Jun Li and by Behrend–Fantechi; these underpin relations to Quantum cohomology and to mirror symmetry programs advanced by Alexander Givental and Kontsevich.
Applications and relations to moduli spaces
The moduli stack relates to classical moduli spaces such as the Jacobian variety and Prym varieties studied by Guido Castelnuovo and Federigo Enriques historically and formalized via the Torelli theorem with contributions by Igor Dolgachev and Ramanan, S. in modern settings. Arithmetic applications intersect with Arakelov theory contributions by Arakelov and with Diophantine geometry problems addressed by Gerd Faltings and André Weil. Connections to string theory, conformal field theory, and topological quantum field theory appear in works by Edward Witten, Graeme Segal, and Kontsevich, while relations to Hurwitz spaces and admissible covers were developed by Joe Harris and Ian Morrison.
Examples and explicit families of curves
Low-genus cases (genus 0, 1, 2) are classic: genus-0 moduli relates to the projective line and cross-ratio studied by Riemann and Felix Klein; genus-1 connects to elliptic curves and the Modular group with foundational work by Srinivasa Ramanujan and André Weil on modular forms; genus-2 families were classified historically by Igor Shafarevich and analyzed via period maps by Torelli. Hyperelliptic loci, trigonal curves, and Petri generality appear in classification results by Ciliberto, Ciro and David Eisenbud; Brill–Noether theory and special divisors were developed by Alexander Grothendieck contemporaries and formalized by William Fulton and Joe Harris. Contemporary constructions of families with prescribed automorphism groups use techniques from Arboreal Galois representations and group actions studied by Jean-Pierre Serre.