Moduli stack of elliptic curves

Moduli stack of elliptic curves
Name	Moduli stack of elliptic curves
Type	Algebraic stack
Field	Algebraic geometry
Introduced by	Deligne and Mumford
Year introduced	1969

Moduli stack of elliptic curves is the algebraic stack parametrizing isomorphism classes of elliptic curves with their families, encoding automorphism data and degeneration behavior. It serves as a central object linking Alexander Grothendieck's ideas in EGA, the work of Pierre Deligne and David Mumford on stacks, and the arithmetic of modular forms studied by Bernhard Riemann, Henri Poincaré, and Ernst Hecke. The stack organizes geometric, arithmetic, and topological invariants used by researchers influenced by Jean-Pierre Serre, Andrew Wiles, and Richard Taylor.

Introduction

The stack arises from the program of Alexander Grothendieck to parametrize families of varieties, building on the classification problems considered by Carl Friedrich Gauss and Felix Klein; its study is indebted to the development of scheme theory in Grothendieck's school and the introduction of algebraic stacks by Michael Artin and Deligne with contributions from Mumford. The object sits at the intersection of the theories of elliptic curves in Diophantine geometry pioneered by Gerd Faltings and the theory of modular curves investigated by Hecke and Shimura; it is used in proofs such as Wiles–Taylor proof and in the construction of TMF in stable homotopy theory influenced by Haynes Miller and Michael Hopkins.

Definition and Moduli Problem

One defines the moduli stack as the fibered category over the category of schemes sending a scheme S to the groupoid of elliptic curves E over S; this formulation relies on ideas from Grothendieck's functor of points and on representability criteria developed by Artin and Olsson. The stack encodes isomorphisms between families and captures automorphism groups like those studied by Emmy Noether in invariant theory; a classical coarse moduli scheme, the j-invariant map, relates to constructions of Klein and Dedekind. Definitions use the language of divisors and line bundles on fibres, echoing techniques from Mumford’s Geometric Invariant Theory and later refinements by Faltings and Chai.

Geometry and Stack Structure

Geometrically the stack is a smooth Artin stack of dimension one with stabilizer groups isomorphic to finite subgroups of GL(2) arising at complex multiplication points linked to Gauss's theory and Heegner point constructions by Birch and Swinnerton-Dyer. It admits an atlas by the moduli scheme of generalized Weierstrass equations, connecting to the work of Deligne on Tate curves and to analytic descriptions via the action of SL(2,Z) on the upper half-plane developed by Felix Klein and Poincaré. The inertia stack and residual gerbes record automorphism behavior studied in stack theory by Vistoli and Laumon.

Level Structures and Congruence Substacks

One considers level-N structures to produce substacks parametrizing elliptic curves with marked torsion bases, paralleling constructions by Shimura for congruence subgroups and by Atkin and Lehner in the classical modular form literature; these lead to stacks representing Γ(N), Γ0(N), and Γ1(N) actions as in the theory of modular curves. The relation to Hecke operators and to the arithmetic of Galois representations studied by Deligne and Serre is key in applications to Langlands-type reciprocity and in the level-raising techniques of Ribet.

Cohomology, Picard Group, and Line Bundles

Cohomological study uses étale and de Rham theories as in the work of Grothendieck and Jean-Pierre Serre; H^*(stack) computations interact with the theory of modular forms via the Hodge bundle, whose determinant yields sections identified with Eisenstein series and cusp forms studied by Ramanujan and Hecke. The Picard group of the stack is generated by the Hodge line bundle with relations analyzed by Mumford and later by Faltings and Fontaine; these line bundles play a role in the construction of arithmetic intersection invariants appearing in research of Arakelov and Zhang.

Compactification and Deligne–Mumford Stack

Compactifications introduce nodal curves at cusps and produce a Deligne–Mumford stack structure documented in the foundational paper by Deligne and Mumford on stable curves; the resulting stack relates to the stable reduction theorem of Grothendieck and Raynaud and to the minimal model program developments influenced by Shigefumi Mori. The boundary components correspond to degenerations studied in Tate curve uniformization and to the cusp geometry familiar from Riemann’s compactification of quotient surfaces.

Applications in Number Theory and Topology

The stack underlies modern approaches to the theory of modular forms, the proof strategies of Wiles and Taylor, and the construction of Galois representations attached to modular forms by Deligne; it is central to the formulation of congruences used by Ribet and Mazur and to the arithmetic of Heegner points studied by Gross and Zagier. In topology, the stack feeds into the construction of TMF and into the chromatic program advanced by Ravenel and Hopkins, linking elliptic cohomology, formal groups à la Quillen, and stable homotopy theory influenced by Morava and Landweber.

Category:Algebraic stacks