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.

Well written. Look forward to the next post.

Thanks! I’m glad you enjoyed this. I’m trying to keep sharp with these ideas, this seems a good way.