Today will probably be our last class field theory post. I want to end with a brief description of local class field theory. Let be a global field, and a place. We have our standard inclusion by putting the element in the component and ‘s everywhere else. Suppose is abelian. We have the Artin map .

What we learned two posts ago is that the image upon composing the maps is exactly the decomposition group where lies over . The image of the units under the map is the inertia group . This gives us two exact sequences that fit together:

This gives us a local Artin map . The main theorem of local class field theory is that the map is surjective with kernel and moreover the map can be defined independently of localizing the global fields. Just like global class field theory there is an “existence” part of the theorem as well.

This part says that every finite abelian extension of local fields arises as the localization of an extension of global fields and the local Artin maps give a bijection between

where the correspondence is .

Let’s do the simplest example. Let’s think about the quadratic extensions by looking at the bijection. The standard construction is that are the quadratic extensions where is not a square, and is the same extension if is a square. Thus there is a nice bijection between the quadratic extensions and the non-trivial elements of .

Local class field theory tells us that the quadradic extensions of are in bijection with the open index subgroups via . It turns out that any index subgroup at all must be open because it will contain .

Now it will be useful to think in different terms, which is actually a more standard modern reformulation of class field theory since it generalizes to “higher dimensions.” There is a bijection between the open index subgroups of and surjective characters just by taking the kernel of the character. Thus we have reformulated the problem of counting these subgroups to counting characters.

The unit groups have the form (if odd) and where is thought of via the Teichmuller lift. If has order , then it is trivial on .

Thus we get the result that factors through which is a finite abelian -group of order . Thus the number of non-trivial characters is . This gives us a nice alternate description to the classical Kummer description. It tells us there are exactly quadratic extensions up to isomorphism. These aren’t hard to figure out explicitly either. Just take some which is not a square. The three quadratic extensions are , , and . A similar description can be computed when , but you get in that case.

That is all for class field theory for now. We’ll move on to complex multiplication, and I think we’ve done enough of the basics that we can probably do what we need as we need it now.