Moduli stack of elliptic curves

In mathematics, the moduli stack of elliptic curves, denoted as ${\displaystyle {\mathcal {M}}_{1,1}}$ or ${\displaystyle {\mathcal {M}}_{ell}}$, is an algebraic stack over ${\displaystyle {\text{Spec}}(\mathbb {Z} )}$ classifying elliptic curves. Note that it is a special case of the Moduli stack of algebraic curves ${\displaystyle {\mathcal {M}}_{g,n}}$. In particular its points with values in some field correspond to elliptic curves over the field, and more generally morphisms from a scheme ${\displaystyle S}$ to it correspond to elliptic curves over ${\displaystyle S}$. The construction of this space spans over a century because of the various generalizations of elliptic curves as the field has developed. All of these generalizations are contained in ${\displaystyle {\mathcal {M}}_{1,1}}$.

Properties[]

Smooth Deligne-Mumford stack[]

The moduli stack of elliptic curves is a smooth separated Deligne–Mumford stack of finite type over ${\displaystyle {\text{Spec}}(\mathbb {Z} )}$, but is not a scheme as elliptic curves have non-trivial automorphisms.

j-invariant[]

There is a proper morphism of ${\displaystyle {\mathcal {M}}_{1,1}}$ to the affine line, the coarse moduli space of elliptic curves, given by the j-invariant of an elliptic curve.

Construction over the complex numbers[]

It is a classical observation that every elliptic curve over ${\displaystyle \mathbb {C} }$ is classified by its periods. Given a basis for its integral homology ${\displaystyle \alpha ,\beta \in H_{1}(E,\mathbb {Z} )}$ and a global holomorphic differential form ${\displaystyle \omega \in \Gamma (E,\Omega _{E}^{1})}$ (which exists since it is smooth and the dimension of the space of such differentials is equal to the genus, 1), the integrals

give the generators for a ${\displaystyle \mathbb {Z} }$-lattice of rank 2 inside of ${\displaystyle \mathbb {C} }$^{[1] pg 158}. Conversely, given an integral lattice ${\displaystyle \Lambda }$ of rank ${\displaystyle 2}$ inside of ${\displaystyle \mathbb {C} }$, there is an embedding of the complex torus ${\displaystyle E_{\Lambda }=\mathbb {C} /\Lambda }$ into ${\displaystyle \mathbb {P} ^{2}}$ from the Weierstrass P function^{[1] pg 165}. This isomorphic correspondence ${\displaystyle \phi :\mathbb {C} /\Lambda \to E(\mathbb {C} )}$ is given byand holds up to homothety of the lattice ${\displaystyle \Lambda }$, which is the equivalence relationIt is standard to then write the lattice in the form ${\displaystyle \mathbb {Z} \oplus \mathbb {Z} \cdot \tau }$ for ${\displaystyle \tau \in {\mathfrak {h}}}$, an element of the upper half-plane, since the lattice ${\displaystyle \Lambda }$ could be multiplied by ${\displaystyle \omega _{1}^{-1}}$, and ${\displaystyle \tau ,-\tau }$ both generate the same sublattice. Then, the upper half-plane gives a parameter space of all elliptic curves over ${\displaystyle \mathbb {C} }$. There is an additional equivalence of curves given by the action of thewhere an elliptic curve defined by the lattice ${\displaystyle \mathbb {Z} \oplus \mathbb {Z} \cdot \tau }$ is isomorphic to curves defined by the lattice ${\displaystyle \mathbb {Z} \oplus \mathbb {Z} \cdot \tau '}$ given by the modular actionThen, the moduli stack of elliptic curves over ${\displaystyle \mathbb {C} }$ is given by the stack quotientNote some authors construct this moduli space by instead using the action of the Modular group ${\displaystyle {\text{PSL}}_{2}(\mathbb {Z} )={\text{SL}}_{2}(\mathbb {Z} )/\{\pm I\}}$. In this case, the points in ${\displaystyle {\mathcal {M}}_{1,1}}$ having only trivial stabilizers are dense.

Stacky/Orbifold points[]

Generically, the points in ${\displaystyle {\mathcal {M}}_{1,1}}$ are isomorphic to the classifying stack ${\displaystyle B(\mathbb {Z} /2)}$ since every elliptic curve corresponds to a double cover of ${\displaystyle \mathbb {P} ^{1}}$, so the ${\displaystyle \mathbb {Z} /2}$-action on the point corresponds to the involution of these two branches of the covering. There are a few special points^{[2] pg 10-11} corresponding to elliptic curves with ${\displaystyle j}$-invariant equal to ${\displaystyle 1728}$ and ${\displaystyle 0}$ where the automorphism groups are of order 4, 6, respectively^{[3] pg 170}. One point in the Fundamental domain with stabilizer of order ${\displaystyle 4}$ corresponds to ${\displaystyle \tau =i}$, and the points corresponding to the stabilizer of order ${\displaystyle 6}$ correspond to ${\displaystyle \tau =e^{2\pi i/3},e^{\pi i/3}}$^{[4]pg 78}.

Representing involutions of plane curves[]

Given a plane curve by its Weierstrass equation

and a solution ${\displaystyle (t,s)}$, generically for j-invariant ${\displaystyle j\neq 0,1728}$, there is the ${\displaystyle \mathbb {Z} /2}$-involution sending ${\displaystyle (t,s)\mapsto (t,-s)}$. In the special case of a curve with complex multiplicationthere the ${\displaystyle \mathbb {Z} /4}$-involution sending ${\displaystyle (t,s)\mapsto (-t,{\sqrt {-1}}\cdot s)}$. The other special case is when ${\displaystyle a=0}$, so a curve of the for there is the ${\displaystyle \mathbb {Z} /6}$-involution sending ${\displaystyle (t,s)\mapsto (\zeta _{3}t,-s)}$ where ${\displaystyle \zeta _{3}}$ is the third root of unity ${\displaystyle e^{2\pi i/3}}$.

Fundamental domain and visualization[]

There is a subset of the upper-half plane called the Fundamental domain which contains every isomorphism class of elliptic curves. It is the subset

It is useful to consider this space because it helps visualize the stack ${\displaystyle {\mathcal {M}}_{1,1}}$. From the quotient mapthe image of ${\displaystyle D}$ is surjective and its interior is injective^{[4]pg 78}. Also, the points on the boundary can be identified with their mirror image under the involution sending ${\displaystyle {\text{Re}}(z)\mapsto -{\text{Re}}(z)}$, so ${\displaystyle {\mathcal {M}}_{1,1}}$ can be visualized as the projective curve ${\displaystyle \mathbb {P} ^{1}}$ with a point removed at infinity^{[5]pg 52}.

Line bundles and modular functions[]

There are line bundles ${\displaystyle {\mathcal {L}}^{\otimes k}}$ over the moduli stack ${\displaystyle {\mathcal {M}}_{1,1}}$ whose sections correspond to modular functions ${\displaystyle f}$ on the upper-half plane ${\displaystyle {\mathfrak {h}}}$. On ${\displaystyle \mathbb {C} \times {\mathfrak {h}}}$ there are ${\displaystyle {\text{SL}}_{2}(\mathbb {Z} )}$-actions compatible with the action on ${\displaystyle {\mathfrak {h}}}$ given by

The degree ${\displaystyle k}$ action is given byhence the trivial line bundle ${\displaystyle \mathbb {C} \times {\mathfrak {h}}\to {\mathfrak {h}}}$ with the degree ${\displaystyle k}$ action descends to a unique line bundle denoted ${\displaystyle {\mathcal {L}}^{\otimes k}}$. Notice the action on the factor ${\displaystyle \mathbb {C} }$ is a representation of ${\displaystyle {\text{SL}}_{2}(\mathbb {Z} )}$ on ${\displaystyle \mathbb {Z} }$ hence such representations can be tensored together, showing ${\displaystyle {\mathcal {L}}^{\otimes k}\otimes {\mathcal {L}}^{\otimes l}\cong {\mathcal {L}}^{\otimes (k+l)}}$. The sections of ${\displaystyle {\mathcal {L}}^{\otimes k}}$ are then functions sections ${\displaystyle f\in \Gamma (\mathbb {C} \times {\mathfrak {h}})}$ compatible with the action of ${\displaystyle {\text{SL}}_{2}(\mathbb {Z} )}$, or equivalently, functions ${\displaystyle f:{\mathfrak {h}}\to \mathbb {C} }$ such that This is exactly the condition for a holomorphic function to be modular.

Modular forms[]

The modular forms are the modular functions which can be extended to the compactification

this is because in order to compactify the stack ${\displaystyle {\mathcal {M}}_{1,1}}$, a point at infinity must be added, which is done through a gluing process by gluing the ${\displaystyle q}$-disk (where a modular function has its ${\displaystyle q}$-expansion)^{[2]pgs 29-33}.

Universal curves[]

Constructing the universal curves ${\displaystyle {\mathcal {E}}\to {\mathcal {M}}_{1,1}}$ is a two step process: (1) construct a versal curve ${\displaystyle {\mathcal {E}}_{\mathfrak {h}}\to {\mathfrak {h}}}$ and then (2) show this behaves well with respect to the ${\displaystyle {\text{SL}}_{2}(\mathbb {Z} )}$-action on ${\displaystyle {\mathfrak {h}}}$. Combining these two actions together yields the quotient stack

Versal curve[]

Every rank 2 ${\displaystyle \mathbb {Z} }$-lattice in ${\displaystyle \mathbb {C} }$ induces a canonical ${\displaystyle \mathbb {Z} ^{2}}$-action on ${\displaystyle \mathbb {C} }$. As before, since every lattice is homothetic to a lattice of the form ${\displaystyle (1,\tau )}$ then the action ${\displaystyle (m,n)}$ sends a point ${\displaystyle z\in \mathbb {C} }$ to

Because the ${\displaystyle \tau }$ in ${\displaystyle {\mathfrak {h}}}$ can vary in this action, there is an induced ${\displaystyle \mathbb {Z} ^{2}}$-action on ${\displaystyle \mathbb {C} \times {\mathfrak {h}}}$giving the quotient spaceby projecting onto ${\displaystyle {\mathfrak {h}}}$.

SL₂-action on Z²[]

There is a ${\displaystyle {\text{SL}}_{2}(\mathbb {Z} )}$-action on ${\displaystyle \mathbb {Z} ^{2}}$ which is compatible with the action on ${\displaystyle {\mathfrak {h}}}$, meaning given a point ${\displaystyle z\in {\mathfrak {h}}}$ and a ${\displaystyle g\in {\text{SL}}_{2}(\mathbb {Z} )}$, the new lattice ${\displaystyle g\cdot z}$ and an induced action from ${\displaystyle \mathbb {Z} ^{2}\cdot g}$, which behaves as expected. This action is given by

which is matrix multiplication on the right, so

See also[]

• Fundamental domain
• Homothety
• Level structure (algebraic geometry)
• Moduli of abelian varieties
• Shimura variety
• Modular curve
• Elliptic cohomology

References[]

• Hain, Richard (2008), Lectures on Moduli Spaces of Elliptic Curves, arXiv:0812.1803, Bibcode:2008arXiv0812.1803H
• Lurie, Jacob (2009), A survey of elliptic cohomology (PDF)
• Olsson, Martin (2016), Algebraic spaces and stacks, Colloquium Publications, vol. 62, American Mathematical Society, ISBN 978-1470427986

External links[]

• moduli+stack+of+elliptic+curves in nLab
• "The moduli stack of elliptic curves", Stacks project