We discussed in the previous post that we can understand the moduli of Elliptic curves by looking at the moduli of rank two lattices. That is, we consider them as for some element in the upper half-plane. It followed that
is the moduli space of elliptic curves. The notation will be discussed further at a later point; in brief, it is the moduli space of 1-marked genus 1 curves: Elliptic curves, that is.
However, there is another way of discussing the moduli of Elliptic curves. If we instead consider an Elliptic curve as an abstract 1-dimensional complex manifold, then its genus can be defined as
i.e. we can define the genus to be the dimension of the space of holomorphic 1-forms. Since this is the same as the topological genus, we know this to be one.
Now, we further know that all elliptic curves are homeomorphic. In particular, for every elliptic curve we have that their cohomology groups are isomorphic, and in particular they all have isomorphic to the fixed lattice
where the intersection form can be written as the matrix
We will use this to provide a new look at their moduli.
Let us first note that has an almost-complex structure: that is, there is a linear endomorphism which satisfies
- i.e. the intersection form is preserved.
Exercise: What is this endomorphism?
We can then look at the complexification . This splits into -eigenspaces, and so we write
where is the -eigenspace (and vice versa).
Lastly, since has an almost-complex structure, it follows that can be given the structure of a complex vector space, and moreover, there is thus a complex-linear isomorphism .
So we now return to using this idea to describe the moduli of elliptic curves. In brief, the decomposition of into is called the Hodge decomposition. This decomposition will also provide a way to discuss the moduli of Elliptic curves.
The idea is as follows. We define a lattice-polarized Elliptic curve to be an elliptic curve E together with a choice of isomorphism
which we know exists because Elliptic curves are homeomorphic. This of course yields a complexified map .
We also have an integration map
given by mapping an element to the map
The composition of these two maps is then a non-zero map . Since this map is -linear, it follows that its image must be .
There are now a few things that we can say about this map. First of all due to the intersection form on , it follows that for any that
Exercise: Check this!
It follows of course that for any that has positive imaginary part. The punchline is now the following.
Consider (we consider the projectivisation since we only care about the image of the line ). Then the collection of those lines satisfying
form a moduli space for lattice-polarized Elliptic curves. Moreover, if we quotient out by the natural action of then we recover the usual moduli space of Elliptic curves.
Another way of saying this is that the complex structure on the Elliptic curve determines (and is determined by) its Hodge decomposition on .
In further posts, we will consider how to extend these ideas to higher genus curves, and even to higher dimensional analogs of Elliptic curves, namely Abelian Varieties.