Let us summarize what we have discussed about Elliptic curves. First of all, we can parameterize Elliptic curves by either studying the moduli of lattices in the complex plane, or by looking at the Hodge decomposition of their first cohomology group, .
We also discussed how maps between elliptic curves are in fact determined by maps on the underlying lattices, in effect reducing the problem of studying maps to one of linear algebra. Let us discuss this somewhat further.
The first thing to note is that any map between two elliptic curves is unramified. That is, a map is in fact a covering map. This can be seen quickly with the Riemann-Hurwitz formula: given a map of curves, we have the relationship
where is the degree of the map, and is the ramification divisor. Since , it follows that , and so the map is unramified.
Consequently, through the theory of covering spaces, there is a Galois correspondence between covers of an Elliptic curve and subgroups of the fundamental group . It then follows that degree covers of an elliptic curve are in bijective correspondence with sublattices of of index . As an aside, it is easy enough to show that there are exactly
So how can we carry this on to higher genus curves? Since maps between higher genus curves may be ramified (for example, any map of a higher genus curve to an elliptic curve necessarily has ramification), we can no longer look directly to the theory of covering spaces and the resulting analysis of the fundamental group. Instead what we will do, in some sense, is to linearize our maps of curves. To do so, we will introduce the Jacobian of a curve. It will naturally follow that Elliptic curves are those curves which are isomorphic to their Jacobians, and so all of the above discussion can be seen in some sense as a toy model of what is to follow.