Today we’ll really get into the class field theory of CM elliptic curves. Let be a quadratic imaginary field. Let be an elliptic curve with the property that , e.g. take . At the end of the last post we constructed a group homomorphism which was defined by the property that .
Now we know that is an abelian group, so in fact factors through (a now relabelled) where is the maximal abelian extension of . For the rest of the post we’ll sketch why a few things are true:
1) It turns out that is the Hilbert class field of .
2) Last time we stated that , but given the previous statement, the proof is now easy from class field theory.
3) If are a complete set of representatives of , then form a complete set of Galois conjugates for .
4) For any prime of , we have . Extending to all fractional ideals we get .
Let . One can check directly that . This shows that is abelian. Let . By class field theory there is some associated conductor . Considering the composition with the Artin map one can see this is just the natural projection map. Now using the injectivity of one can extrapolate that showing is unramified and hence contained in the Hilbert class field.
But class field theory tells us that surjects onto and hence is an isomorphism which shows and hence is the Hilbert class field of . We’ve already discussed the second item. The third just follows from identifying with and using the fact that is a -torsor. The fourth just comes from the fact that consists of all fractional ideals because .
I know, this was pretty skimpy on details, but the point of this series should be to see some of the ideas and results from basic CM theory for elliptic curves and not full blown explanations. The results in this post are really cool in my mind because it takes these very classical purely field theory questions and converts them to geometric questions about elliptic curves and vice-versa. Given a quadratic imaginary , it is easy to cook up an elliptic curve with CM by . If you want to know the maximal unramified abelian extension of , we now know we need only figure out because .