Class field theory classifies the abelian extension of a number (or more generally, global) field using data intrinsic to the number field – line bundles over it. This is a very powerful theory and can be used to answer a great many classical questions in algebraic number theory.
Nevertheless, the general theory offers little to no clues about generating the abelian extensions directly. In the simplest case of , we can in fact explicitly parametrize the abelian extensions in terms of a simple analytic function, the exponential. In short, every abelian extension of is contained in a cyclotomic field for some $n$ determined by the ramification in the abelian extension. This is a classical result predating class field theory known as the Kronecker-Weber theorem.
The problem for more general number fields looks hopelessly hard except in a few special cases. One of these is the case of quadratic imaginary number fields (that is, fields of the form for and square-free. In this case, the abelian extensions are generated by torsion points on a a certain Elliptic curve. This is in analogy to the case of where the abelian extensions were generated by torsion points on the one dimensional group scheme . This is known as complex multiplication.
Despite the parallels, the theory of complex multiplication is a lot harder than Kornecker-Weber. In fact, I believe there is no known proof of complex multiplication that does not already assume the main theorems of class field theory (in the case of quadratic imaginary number fields). For example, Silverman takes around 100 pages to develop the theory completely.
In spite of the difficult nature of the proofs, the results are very elegant and justify the effort that goes into the proofs. Hilbert has a famous quote towards this:
The theory of complex multiplication is not only the most beautiful part of mathematics but also of the whole of science.
I believe that there is a way to prove the main theorems of complex multiplication, undercutting much of the hard work done in Silverman’s book and I would like to explain that in this post.
The first few sections set up the general theory and follow the standard sources fairly closely. Skip directly to section 3 for the novel part.
Warning: I have not seen anyone else prove complex multiplication along these lines and it is possible that I am missing some subtlety. Proceed with caution!
Prerequisites: I will assume familiarity with the basic theory of Elliptic Curves (as in Silverman’s first book) and the main theorems of global Class Field Theory via ideals (but not their proofs!). I will gloss over many easy to prove results, especially in the early stages. A complete reference is, as mentioned above, Silverman’s second book on elliptic curves.
I would like to begin by recalling the main theorems of Class field theory but there is quite a bit of jargon used so perhaps it is better to simply link to an excellent summary by Poonen here . In particular, the statements of section 3 (global class field theory) will be most relevant to us.
Let me now jump right into defining complex multiplication. The link to abelian extensions will not be explicit initially but hopefully, the general idea becomes clear quickly.
An Elliptic curve defined over is said to have complex multiplication if it’s endomorphism ring is strictly larger than . Recall that, in characteristic , the endomorphism ring of an elliptic curve is always an order in some quadratic imaginary number field.
We would like to study Elliptic curves whose endomorphism ring is exactly equal to for an order in a quadratic imaginary number field . In fact, we will assume for simplicity that is a maximal order but the general case is not very different. It will help to first talk about some generalities on the endomorphism ring of Elliptic Curves in characteristic .
1. Complex Models of Elliptic Curves and their Endomorphisms:
Recall that every elliptic curve over has a model of the form where is a lattice in the complex plane. The addition on the curve is given by addition in the complex plane modulo the lattice. Two such models are isomorphic are isomorphic precisely when the lattices differ by a complex scalar. That is:
for some .
More generally, maps between elliptic curves (that preserve the origin) are given by scalar multiplication by a non zero complex number. Using the explicit model (or through more abstract arguments), it is not very difficult to prove that the endomorphism ring of an elliptic curve (over ) is either or an order in a quadratic imaginary number field.
As alluded to above, we will focus on the latter case and in particular, we will assume that the endomorphism ring is the maximal order in a quadratic imaginary number field .
Suppose is an elliptic curve with endomorphism ring . This makes into a module and it can be shown fairly easily that is a projective, invertible -module (=fractional ideal).
Conversely, any fractional ideal of is a lattice in under one of the complex embeddings of and gives rise to the elliptic curve . Note that the isomorphism class of this elliptic curve depends only on the ideal class of the fractional idea in the class group of . An elementary (but slightly complicated) argument in the theory of imaginary quadratic number fields shows that has endomorphism ring precisely when is an invertible -module.
In fact, even more is true. We can define a multiplication of ideals on lattices in the following way:
and it is easily checked that is a lattice with the same endomorphism ring as . This lets us define an action of the class group on the set of elliptic curves with complex multiplication by :
Taking the inverse is a convention that will make our lives simpler later on. It is a simple verification now that this action is faithful and transitive. If we denote by the set of elliptic curves with complex multiplication by , we will have shown:
Theorem 1: is a torsor under the class group of . In particular, is a finite group and has elements.
Remark 1: Note that comes with an isogeny that sends in the complex model. It is easily verified that this isogeny has degree . The isogeny is only defined up to isomorphism and it will be important later to remove this ambiguity.
This is our first hint of a connection between class field theory and Elliptic curves.
2. Galois action on CM Curves:
So far, we have only used the complex model of Elliptic Curves. However, out real interest in arithmetic and to get anywhere, we would like the Elliptic curves we are interested in to be defined over a number field. This is indeed true.
For and any Elliptic Curve , note that has the same endomorphism ring as . In particular, this implies that acts on .
We would like to translate this into a statement about algebraic numbers. The j-invariant of an Elliptic curve lets us do this. Recall that the isomorphism class of an Elliptic curve over is exactly determined by it’s -invariant. Also, it is clear from the definition of the j-invariant that for and any Elliptic curve over :
Since is a finite set, we have shown:
Theorem 2: For an Elliptic Curve with CM by , is an algebraic number of degree at most .
In particular, is defined over and we have finally moved into arithmetic.
Now, if we are being optimistic, we might hope that has degree exactly equal to . We might even go so far as to hope that is the Hilbert Class Field of .
If this were true, this would have some remarkable consequences. For instance, it would imply that the action of on is transitive and that the are Galois conjugates for . In fact all this and more is true as we will prove shortly.
3. Galois Representations attached to CM Curves:
To prove the above claims, we will construct a homomorphism using Theorem 1 and show that it is indeed the Artin map from Class Field Theory. So far, this is exactly how Silverman does it.
However, the difference in our approach will be that we will not prove that our representation is a group homomorphism. We will define it only as a set map. This will allow us to bypass the (hard) result of Silverman that .
Defining the map is easy: Fix an with CM by . As we showed above, for any , also has CM by . Therefore, by Theorem 1, there is a unique ideal class such that $E^\sigma = F_E(\sigma)* E$.
Thus, we have defined a set map . Note that we know very little about this map. We expect that it is a group homomorphism independent of and equal to the Artin map, however we can prove none of it!
We will prove everything at once by showing that it is equal to the Artin map. The key idea is that, since is Hausdorff as a topological group, we can show that two continuous maps from are equal by showing that they are equal on a dense set.
If we give the discrete topology, then is automatically continuous and we will only need to show that it is equal to the Artin map on a dense set. This is easier than it sounds!
Let be the set of primes of that split completely over minus a finite set of primes to be specified later. This a dense set of primes in (exercise!). Let be the set of Frobenius elements in corresponding to . Of course, the Frobenius elements are only defined upto conjugacy but our proof will implicitly show that is constant over a conjugacy class.
With this notation, we have:
Theorem 3[Main Theorem of CM]: is equal to the Artin map on the set . That is, for , . Equivalently:
Proof: The first problem that faces us is that we do not know much about the action of on . Let us fix a prime in the algebraic closure over so that is specified in it’s conjugacy class.
Then, we do know quite a lot about the action of on the reduction of modulo . Therefore, let us define to be the reduction of modulo . Our first goal should be to prove that is isomorphic to .
To do this, recall that there is an isogeny defined using the complex model. Since both and are defined over a number field, descent (or the theory of Elliptic Curves) tells us that is defined over and thus, we can reduce it modulo to get .
We know that is of degree . Since splits completely over , is prime. To show that that , it is sufficient to show that is inseparable and is therefore the Frobenius isogeny.
To show inseparability, note that we can find an ideal coprime to such that is principal and is rational and divisible by . This implies that the composition is inseparable. We would be done if we could show that is inseparable (after reduction) but we can use the same trick again:
We can find yet another ideal such that is principal and is rational and coprime to . Therefore, the reduction of is separable and so is after reduction!
Thus, we have shown that is isomorphic to after reduction but of course, they might not be isomorphic in characteristic . The key idea now is to note that there are only finitely many possibilities for where this can happen. If are isomorphic post reduction, then this implies that and since there are only finitely many curves in , there are only finitely many possibilities for .
We can just define to avoid these finitely many possibilities and will be done!
Thus, we have shown that is equal to the Artin map from Class Field Theory. This immediately implies that is independent of , is a surjective group homomorphism and has kernel exactly equal to the Hilbert Class Field of . On the other hand, the kernel is also equal to and therefore, we have shown that is the Hilbert Class Field and has degree over .