Today we’ll start by sketching an example of a Hilbert class field. Let be the splitting field of over . Thus where are the roots of the polynomial. Standard Galois theory shows us that . I know, we assumed abelian extensions last time, but we aren’t interested in this extension. It turns out that one can also argue that we have a subextension .
To see how useful this class field theory machinery is, we can check with some basic algebraic number theory (involves the Minkowski bound) that . But above we said that . Thus by the main theorem last time we see that must be the Hilbert class field of , and hence is the maximal unramified abelian extension of . That’s pretty interesting that it is so small.
This gives us an idea of what these Hilbert class fields look like. Note also that class field theory tells us that if the class number is , then there are no unramified abelian extensions, and hence fields like or have Hilbert class field equal to themselves. The word “maximal” makes these things sound big, but being unramified is pretty strict and we see that in order to have large Hilbert class fields the class group needs to be large.
Let’s try to go the other direction now. Recall a few posts ago we calculated that when we include the embedding in the conductor. We have an isomorphism , where is a primitive -th root of unity. We’ll suggestively call the isomorphism where . This comes from standard theory of cyclotomic fields.
We have that the ring of integers is . But now on the primes, we see that is just the Frobenius map of raising to the . This shows us that our standard isomorphism is actually the Artin map and hence class field theory tells us that the ray class field of of conductor is just the cyclotomic extension .
This is an incredibly important example, because now let’s apply the Galois correspondence. Let be any abelian extension at all. We know that corresponds to some conductor . This must be of the form or . Since the first one divides the second, we get two surjections . But the first term of this by the above is that . Therefore, . Out of class field theory we get the classical result called the Kronecker-Weber theorem that any abelian extension of must be contained inside a cyclotomic field.
To finish today let’s talk about one more topic. Suppose we have our abelian extension of number fields with Galois group . If we have a further subextension , then we get is possibly non-abelian. But we can take the abelianization and this corresponds via Galois theory to a maximal abelian subextension say between and , i.e. . By the universal property of the abelianization, we have a map since .
The point is that corresponds to an abelian extension and so class field theory over tells us something about it, and corresponds to an abelian extension , so class field theory over tells us something about it. We just produced a natural map , and hence there should be a corresponding statement in class field theory.
Here’s the theorem. Let so that divides and is unramified outside the places of under . Then we get a commutative diagram:
We could call this a functoriality property of the Artin map. The loose description of this is that inclusions of Galois groups go to the corresponding norm map. We’ll pick up here next time.