This will be the last post in the CM elliptic curve series. Last time we covered the main theorem of complex multiplication. Today we’ll very, very briefly sketch one amazing use of the main theorem. We’ll first talk about how to associate a Grössencharacter to a CM elliptic curve and then use this to better describe the -series of an elliptic curve.
Here’s why this will be amazing. Awhile ago we talked about -series of varieties and various modularity conjectures. One of the huge, major theorems of modern number theory (which wasn’t proved in full until 2003, and built on all of Wiles and Taylor’s results) is the so-called Modularity Theorem. It says that an elliptic curve is modular and hence its -series has an analytic continuation to all of .
This is still open (as far as I know) for elliptic curves over an arbitrary number field, but today we’ll see that we can use the theory we’ve built to show that any CM elliptic curve over any number field has an -series that analytically continues to the whole plane.
Fix an elliptic curve over a number field with CM by , the ring of integers in a quadratic imaginary field . We use the main theorem of CM to do the following. Fix an idele and let . There is a unque such that and for any fractional in and any analytic iso we get a commutative diagram:
What this gives us is a map . Recall that a Grössencharacter of a number field is such a map that is trivial on . We can alter this to the map by . It turns out this is our desired Grössencharacter.
Recall how we formed the L-series of a variety over . There is nothing special about going on in that constuction and so the same thing can be done for any elliptic curve where is a number field. Basically you piece it together as a product over primes of some expression involving the characteristic polynomial of the Frobenius elements acting on the cohomology of the reductions of mod these primes.
Given a Grössencharacter we can define the Hecke -series to be , where is the size of the residue field at . Hecke proved that this -series has an analytic continuation to the complex plane.
Duering proved that if is an elliptic curve with CM by , then . In fact, even better is that if is not contained in , then the -series of the elliptic curve over is precisely the Hecke -series of the Grössencharacter attached to the base-changed elliptic curve . In either case, we see that it is much easier to prove that the -series of an elliptic curve with CM by the ring of integers in a quadratic imaginary field has an analytic continuation.