moduli space of curves

moduli space of curves
Name	Moduli space of curves
Type	Algebraic stack / Moduli
Related	Alexander Grothendieck, Pierre Deligne, David Mumford, William Fulton, John Milnor, Michael Atiyah

moduli space of curves The moduli space of algebraic curves is the parameter space classifying isomorphism classes of smooth projective algebraic curves of fixed genus. Originating in work of Bernhard Riemann, formalized by David Mumford and Pierre Deligne and developed further by Alexander Grothendieck, José Seade, Igor Shafarevich, and others, it connects complex analytic geometry, algebraic geometry, and arithmetic geometry. The subject interacts with major theories and institutions like Teichmüller theory, Gromov–Witten theory, Langlands program, Mumford's geometric invariant theory, and constructions by researchers affiliated with Cambridge University, Harvard University, Princeton University, and Institut des Hautes Études Scientifiques.

Definition and basic properties

For a fixed nonnegative integer g, the moduli problem seeks a parameter object for smooth projective curves of genus g up to isomorphism; key contributors include Bernhard Riemann, Felix Klein, André Weil, and David Mumford. Early approaches used analytic uniformization via Riemann surfaces and actions of mapping class groups studied by Oswald Teichmüller, Lars Ahlfors, and Lipman Bers, while algebraic approaches rely on techniques from Grothendieck's Éléments de géométrie algébrique and Mumford's geometric invariant theory. The moduli object exists naturally as a Deligne–Mumford stack constructed by Pierre Deligne and David Mumford and admits coarse moduli spaces studied by Igor Dolgachev, Joe Harris, Ian Morrison, and Carel Faber. Properties such as dimension, smoothness, and singularities have been analyzed by John Harer, Carel Faber, Eduard Looijenga, and Gerd Faltings.

Moduli of curves over complex numbers

Over the complex numbers the theory relates directly to classical objects: the analytic Teichmüller space of marked Riemann surfaces introduced by Oswald Teichmüller and developed by Lipman Bers and William Thurston covers the coarse moduli studied by Ahlfors and Bers. Mapping class group actions, signature theorems of Atiyah–Singer studied by Michael Atiyah and Isadore Singer, and period mappings linked to Griffiths and Phillip Griffiths connect complex Hodge theory of curves to variations of Hodge structure analyzed by Carlos Simpson and Claire Voisin. Complex-analytic techniques by Riemann, Poincaré, and Hermann Weyl interplay with algebraic constructions of Mumford and stack-theoretic approaches of Deligne, Grothendieck, and Laumon.

Algebraic and stack-theoretic constructions

The algebraic incarnation uses the language of algebraic stacks developed by Alexandre Grothendieck, Jean-Louis Verdier, Jean-Pierre Serre, and Gérard Laumon. The Deligne–Mumford stack Mg and its variants Mg,n of n-pointed curves are foundational objects built using methods from Mumford's geometric invariant theory and representable functors à la Yoneda lemma and Grothendieck. Foundational results involve representability and properness proved by Deligne and Mumford and later refinements by Olsson, Abramovich, Vistoli, and Keel. Moduli stacks admit natural morphisms such as clutching and forgetful maps analyzed by Joe Harris, Ian Morrison, and Carel Faber, and they carry universal curves studied in the frameworks developed by Grothendieck, Mumford, and Fulton.

Compactifications: Deligne–Mumford and stable curves

A central achievement is the Deligne–Mumford compactification Mg-bar via stable curves originating with Pierre Deligne and David Mumford, extending the work of Igor Shafarevich and building on ideas of Riemann and Klein. Stable reduction theorems by Grothendieck and Raynaud and the study of nodal curves by Ziv Ran and Eisenbud–Harris provide the technical backbone. The boundary stratification, clutching morphisms, and dual graph descriptions were advanced by Joe Harris, Nick Katz, Russell Pink, and Carel Faber. Alternate compactifications and variants—logarithmic, twisted, and admissible covers—were developed by Kazuya Kato, Dan Abramovich, Tony Vistoli, Mark Gross, and Bernd Siebert to interface with Gromov–Witten theory and Mirror symmetry studied by Maxim Kontsevich and Alexander Givental.

Geometry and invariants (cohomology, Picard group, tautological ring)

The cohomology and intersection theory of Mg and Mg-bar have been central topics for William Fulton, Carel Faber, Eduard Looijenga, Tommaso de Fernex, and Rahul Pandharipande. The tautological ring, introduced and explored by Carel Faber and investigated in conjectures by Faber–Pandharipande, encodes classes such as ψ-classes and λ-classes linked to Hodge bundles studied by Mumford and Arbarello–Cornalba. Calculations of Picard groups and Chow rings involve contributions from Mumford, Kabanov, Arbarello, Enrico Arbarello, and Joe Harris. Cohomological field theories and virtual fundamental classes in the work of Kontsevich, Behrend, Fantechi, and Li–Tian connect these invariants to enumerative predictions verified by computations by Okounkov and Pandharipande.

Applications and relations (Teichmüller theory, Gromov–Witten, arithmetic)

Moduli spaces of curves link to Teichmüller theory via the mapping class group studied by Harer and Bers, and to dynamics on flat surfaces explored by Maryam Mirzakhani, Alex Eskin, and Howard Masur. In enumerative geometry they are fundamental for Gromov–Witten invariants developed by Kontsevich, Gromov, Edward Witten, and Maxim Kontsevich and applied in mirror symmetry programs led by Strominger–Yau–Zaslow ideas associated with Philip Candelas. Arithmetic aspects involve moduli of curves over number fields and results by Gerd Faltings, Faltings–Wüstholz, Jean-Pierre Serre, Andrew Wiles, Barry Mazur, and connections to the Langlands program and Arakelov theory developed by Arakelov and Faltings. Interdisciplinary influences extend to string theory communities at Institute for Advanced Study, CERN, and major universities where mathematicians such as Edward Witten, Michael Green, and Cumrun Vafa have used moduli of curves in physical models.

Category:Algebraic geometry