Algebraic Geometry Unit 8 Review: Moduli Spaces and Invariants

Key Concepts and Definitions

• Moduli spaces represent geometric objects (algebraic varieties, curves, surfaces) up to equivalence
• Invariants capture intrinsic properties of geometric objects unchanged under certain transformations
  • Examples include genus of a curve, degree of a hypersurface, Chern classes of vector bundles
• Moduli problem aims to construct a space parametrizing equivalence classes of geometric objects
• Moduli functor associates to each scheme the set of families of objects over that scheme
• Representability of a moduli functor corresponds to existence of a universal family
• Fine moduli space represents the moduli functor and has a universal family over it
• Coarse moduli space corepresents the moduli functor but may lack a universal family

Historical Context and Motivation

• Study of moduli spaces originated in 19th century with work of Riemann on moduli of curves
• Motivation arose from classification problems in geometry and understanding parameter spaces
• Moduli of curves played a crucial role in development of algebraic geometry and number theory
• Mumford's geometric invariant theory (GIT) provided a general framework for constructing moduli spaces
• Moduli spaces have connections to physics, particularly in string theory and quantum field theory
• Invariants serve as tools for distinguishing and classifying geometric objects
• Moduli spaces and invariants have found applications beyond algebraic geometry in topology, differential geometry, and mathematical physics

Moduli Problem Fundamentals

• Moduli problem involves specifying a class of geometric objects and an equivalence relation
• Equivalence can be isomorphism, biholomorphism, or other notion depending on context
• Moduli functor assigns to each scheme the set of families of objects over that scheme up to equivalence
  • For curves, the moduli functor assigns to a scheme the set of flat families of curves over it
• Representability is a key property indicating existence of a universal family
• Obstructions to representability can arise from presence of automorphisms or jump phenomena
• Deformation theory studies infinitesimal properties of moduli spaces and deformations of objects
• Tangent space to moduli space corresponds to first-order deformations of an object

Construction of Moduli Spaces

• Moduli spaces often constructed as quotients of parameter spaces by group actions
• Mumford's geometric invariant theory (GIT) provides a general framework for constructing moduli spaces
  • GIT quotient of a scheme by a group action yields a coarse moduli space
• Hilbert scheme parametrizes subschemes of a fixed projective space with given Hilbert polynomial
• Picard scheme represents the functor of line bundles on a scheme
• Moduli spaces of sheaves parametrize semistable sheaves on a variety with fixed Chern classes
• Moduli spaces of stable maps arise in Gromov-Witten theory and quantum cohomology
• Deligne-Mumford stacks and Artin stacks provide a framework for moduli problems with automorphisms
• Intersection theory on moduli spaces yields invariants and characteristic classes

Properties of Moduli Spaces

• Moduli spaces can exhibit various geometric and topological properties
• Smoothness of a moduli space indicates unobstructed deformations of objects
• Compactness is desirable for studying global properties and defining invariants
  • Deligne-Mumford compactification of moduli of curves by stable curves
  • Gieseker compactification of moduli of surfaces by stable surfaces
• Connectedness and irreducibility provide information about the geometry of the moduli space
• Kodaira dimension measures the growth of pluricanonical forms on the moduli space
• Picard group and cohomology groups encode algebraic and topological invariants
• Tautological classes are intrinsic cohomology classes on moduli spaces related to universal families
• Birational geometry of moduli spaces studies rational maps between different compactifications

Invariants and Their Significance

• Invariants capture intrinsic properties of geometric objects unchanged under equivalence
• Intersection numbers on moduli spaces yield numerical invariants (Gromov-Witten invariants, Donaldson invariants)
• Characteristic classes (Chern classes, Pontryagin classes) measure topological properties
• Hodge numbers and Hodge structures reflect complex and algebraic structure
• Moduli spaces themselves serve as invariants, encoding information about a class of objects
• Invariants can distinguish non-isomorphic objects and detect properties (rationality, unirationality)
• Generating functions and modular forms arise in the study of invariants and their relations
• Invariants have applications in enumerative geometry, mathematical physics, and string theory

Applications in Algebraic Geometry

• Moduli spaces and invariants are fundamental tools in classification problems
• Moduli of curves and their compactifications have connections to number theory and arithmetic geometry
  • Modularity of elliptic curves, Fermat's Last Theorem, Langlands program
• Moduli spaces of vector bundles and sheaves relate to geometric representation theory
• Gromov-Witten invariants and quantum cohomology provide insights into enumerative geometry
• Donaldson invariants and Seiberg-Witten invariants are key in 4-manifold topology
• Moduli spaces arise in the study of algebraic surfaces, threefolds, and higher-dimensional varieties
• Invariants and moduli spaces have applications in mathematical physics (mirror symmetry, gauge theory)
• Connections to symplectic geometry and topology through moduli spaces of pseudoholomorphic curves

Advanced Topics and Open Problems

• Compactifications of moduli spaces and their birational geometry
• Virtual fundamental classes and virtual invariants in the presence of obstructions
• Derived algebraic geometry and derived moduli spaces
• Moduli spaces of higher-dimensional varieties (Fano varieties, Calabi-Yau manifolds)
• Moduli spaces in positive characteristic and their connections to arithmetic geometry
• Moduli spaces of principal bundles and their relation to geometric Langlands program
• Moduli spaces of Higgs bundles and their role in non-abelian Hodge theory
• Moduli spaces in mathematical physics (mirror symmetry, gauge theory, string theory)
• Open problems include classification of algebraic varieties, computation of invariants, and relations between different moduli spaces