A moduli stack of elliptic curves is a moduli stack of elliptic curves, hence a stack such that for any other suitable space, the groupoid of maps and homotopies between them is equivalent to that of -parameterized elliptic curves with equivalences between these. (There are some variants of corresponding to the choice of which singularities and degeneracies of elliptic curves are taken into account.)
This is formalized in algebraic geometry, hence here is a scheme over the integers in general. The moduli stack always has a tautological construction as a “sheaf of groupoids” (a stack, whence the name) over the site of affine schemes, given by sending any to the groupoid of suitable elliptic curves over . For concrete computations it typically helps to know that the moduli stack of elliptic curbes is represented by a geometric stack, dually given by a Hopf algebroid.
The moduli stack has a compactification obtained by adding the nodal cubic curve, and often (but not always) this compactified version is the default meaning of “moduli stack of elliptic curves”. Adding also the cuspidal cubic curve and hence all cubic curves produces the full moduli stack of cubic curves, inside which sits as the locus of non-singular curves.
Since an elliptic curve is a genus-1 algebraic curve with a marked point (the neutral element of the group structure), is equivalently the moduli stack of algebraic curves for genus with punctures, and as such is often equivalently written
A special class of cases which is much simpler than the general case but still of paramount interest is the moduli stack of elliptic curves over the complex numbers, hence of maps . These are just complex tori/Riemannian manifolds of genus 1 which may be identified with quotients of the complex plane by a framed lattice well-defined up to Möbius transformations, and so in this case the moduli stack of elliptic curves is just the homotopy quotient (the orbifold quotient) of the upper half plane by the action of the modular group. (This is equivalently the moduli space of curves which in turn is a quotient of the Teichmüller space .) This case is considered below in
Below that is the
as an algebraic stack . This is still not the most refined description: by the Goerss-Hopkins-Miller theorem the assignment to an elliptic curve of its elliptic spectrum lifts the ordinary structure sheaf of to a higher structure sheaf of E-∞ rings in a way that makes a spectral Deligne-Mumford stack. The global sections of this structure sheaf yield the spectrum tmf of topological modular forms:
See also A Survey of Elliptic Cohomology - elliptic curves for more.
Description over the complex numbers
An elliptic curve over the complex numbers is determined, up to non-canonical isomorphism, by its j-invariant
Here every complex number appears as a value, and therefore the moduli space of elliptic cuves a priori is not compact.
A compactification of the moduli space is obtained by including also elliptic curves with nodal singularity.
Upper half plane
The upper half plane is in bijection with framed lattices in the complex plane , which in turn is in bijection with isomorphism classes of framed elliptic curves over
and we have
where the special linear group over the integers
acts as the modular group by Möbius transformations
The naive moduli space and its problems
for the plain quotient of the upper half plane by the above group action.
For every family
we would like to have such that there is a pullback
is a holomorphic map
every holomorphic map corresponds to a family over ;
there is a universal family over
This is impossible . One can construct explicit counterexamples. These counterexamples involve elliptic curves with nontrivial automorphisms.
but see the discussion at moduli space for a discussion of the statement “it’s the automorphisms that prevent the moduli space from existing”
Moduli space of framed elliptic curves
Then consider the family
is a family of elliptic curves over
is a family of framed elliptic curves.
Consider any map
with pullback of the universal family
claim for every point there is an open neighbourhood such that one can choose 1-forms on which vary holomorphically with respect to .
Notice that locally every family of elliptic curves is framed (since we can locally extend a choice of basis for ). So
at and ,
isn’t locally liftable at and so it is not a univresal family of unframed curves.
Moduli stack/orbifold of elliptic curves
This is the moduli stack of elliptic curves.
Compactified moduli stack
Consider the complex analytic parameterization over the annulus
of elliptic curves
This has an extension to the origin, where is a nodal curve. Algebraically, in a formal neighbourhood of the origin, hence over , this is the Tate curve.
e.g. (Lurie, section 4.3).
Description over general schemes
For a scheme, a cubic curve over is a scheme over equipped with a section and such that Zariski locally on , is given by an equation in of the form
such that is the line at infinity.
Euivalently this says that is a proper flat morphism with a section contained in the smooth locus whose fibers are geometrically integral curves of arithmetic genus one.
Write for the moduli stack of such cubic curves. Then the moduli stack of elliptic curves is the non-vanishing locus of the discriminant
See at elliptic curve for details. (A textbook account is in Silverman 09, III, a review with an eye towards tmf is in Mathew, section 3).
Two standard versions of Hopf algebroids representing as a geometric stack are usefully reviewed in (Mathew, section 4).
As a derived scheme in -geometry
By the Goerss-Hopkins-Miller theorem the structure sheaf of the moduli stack of elliptic curves lifts to a sheaf of E-∞ rings which over a given elliptic curve is the corresponding elliptic spectrum.
By (Lurie (Survey), theorem 4.1), this yields a spectral Deligne-Mumford stack refinement
which is the moduli stack of derived elliptic curves, in that there is a natural equivalence in E-∞ rings of the form
where on the left we have maps of structured (∞,1)-toposes and on the right the ∞-groupoid of derived elliptic curves over .
This is based on the representability theorem (Lurie (Survey), prop. 4.1, Lurie (Representability)).
In this derived picture the compactified dericed moduli space is obtained by gluing in the spectrum of Tate K-theory by forming the homotopy pushout
(Lurie(Survey), p. 33). Again, the underlying ordinary Deligne-Mumford stack is the ordinary .
The moduli space of elliptic curves with level-n structure (for some ) provides a finite covering of (similarly for the compactifications).
(Over the complex numbers this is the modular curve).
and similarly for integral cohomology
The orbifold Euler characteristic of the moduli space of complex elliptic curves is given by the special value of the Riemann zeta function at
This is a special case of the result in (Zagier-Harer 86) discussed at moduli space of curves. See also the first page here: pdf.
Substructure of the moduli stack of curves and the (equivariant) cohomology theory associated with it via the Goerss-Hopkins-Miller-Lurie theorem:
Introductory lecture notes on the moduli space of elliptic curves over the complex numbers include
Richard Hain, Lectures on Moduli Spaces of Elliptic Curves (arXiv:0812.1803)
section 4 of Introduction to Orbifolds (pdf)
Accounts of the general case include
Nicholas M. Katz, Barry Mazur, Arithmetic moduli of elliptic curves, Annals of Mathematics Studies_, vol. 108, Princeton University Press, Princeton, NJ, 1985. MR MR772569 (86i:11024)
Joseph Silverman, The arithmetic of elliptic curves, second ed., Graduate Texts in Mathematics, vol. 106, Springer, Dordrecht, 2009. MR 2514094 (2010i:11005)
Lecture notes/talk notes reviewing this include
James Parson, Moduli of elliptic curves (pdf)
Akhil Mathew, section 3 of The homotopy groups of (pdf)
Andre Henriques, The moduli stack of elliptic curves (pdf) in Topological modular forms Talbot workshop 2007 (web)
For more of the general picture in view of elliptic cohomology and tmf see also
The orbifold Euler characteristic of the moduli space of curves was originally computed in
- Don Zagier, John Harer, The Euler characteristic of the moduli space of curves, Inventiones mathematicae (1986) Volume: 85, page 457-486 (EUDML)
Reviews of the orbifold Euler characteristic computation include
- Mathematical ideas and notions in quantum field theory – 5. The Euler characteristic of the moduli space of curves (pdf)