The most fruitful field over which the theory of elliptic curves is developed is perhaps .
First we shall explain the origin of the name, ‘elliptic curve’. This comes from elliptic integrals. Suppose that is an ellipse, then the length function with respect to is just . After some easy calculations, we see that with (we suppose that ). This leads to the study of the following kind of integrals
which is an elliptic integral(of the first kind, to be more precise). It is not this integral which interests us, it is the inverse function of the elliptic integral that leads to the study of elliptic curves.
In fact, when we allow to take complex values, we can show that the inverse is double-periodic. This is rather interesting. This, in some sense, means that, the above integral is not well defined if we allow to take complex values. Just like the logarithm function, , the elliptic integral has similar property: the value of is unique up to an additive factor in . This is the essence of the elliptic integrals.
Apart from constructing elliptic functions from elliptic integrals, do we have other methods? Indeed, we do have. One famous example is the Weierstrass function. For a lattice in , we define
It is easily shown that (meromorphic function) is indeed -periodic. What is more, it has a double pole on , it is an even function. Its derivative, , has a pole on of order , it is an odd function. We can show that, the field of meromorphic functions (that is, the elliptic functions with periods in ) can be expressed using only these two functions, that is
In fact, we can show that, if , then it is a rational function of . Suppose that has a pole at of order . If on the torus, then we can find such that has also a pole on of order . Then choosing some constant , we have that has a pole on of order less than . In this way, we eliminate the pole of on of order (we can continue this procedure to eliminate all the poles on ). If does not have a pole on , we suppose that has poles altogether(on the torus, of course, not on the complex plane). Then consider , this function has also poles altogether ans still lies in . So, the function has a pole on of order at least . So, we can use the above procedure to eliminate its pole on , and so get an elliptic function having less than poles altogether. So, with this method, we can reduce the number of poles of these rational functions of . At last, we will surely get an elliptic function having no poles, which means that it must be a constant, thus proving the statement.
Another surprising result is that, are not independent. In fact, we have that
where with .
This formula ressembles much to the polynomial defining an elliptic curve. In fact, we can show that
For any elliptic curve , we can find some lattice such that up tp isomorphism is defined by a polynomial .
In this way, we establish a one-to-one correspondance between the set of elliptic curves and the set of lattice up to scalar factor. Here the ‘scalar factor’ needs to be explained. In fact, this comes from an easy fact, should be the same as ( should be the same as ) where is a non-zero complex number. In this way, we can always assume that with . The most important result about this correspondance is perhaps the following:
Suppose an elliptic curve , then the map is a bi-holomorphism and isomorphism of groups.
In this way, we use the natural group structure on to induce a group structure on the elliptic curve, and surprisingly, this induced group structure coincides with the more well-known group structure on the elliptic curve defined using intersection of straight lines with the elliptic curve.
In summary, we have three objets: an elliptic curve , a lattice (and the associated torus ), and the function field .