Local class field theory

Skip to main content

\(\def\AA{\mathbb{A}} \def\CC{\mathbb{C}} \def\FF{\mathbb{F}} \def\PP{\mathbb{P}} \def\QQ{\mathbb{Q}} \def\RR{\mathbb{R}} \def\ZZ{\mathbb{Z}} \def\kbar{\overline{k}} \def\gotha{\mathfrak{a}} \def\gothb{\mathfrak{b}} \def\gothm{\mathfrak{m}} \def\gotho{\mathfrak{o}} \def\gothp{\mathfrak{p}} \def\gothq{\mathfrak{q}} \def\gothr{\mathfrak{r}} \DeclareMathOperator{\ab}{ab} \DeclareMathOperator{\Aut}{Aut} \DeclareMathOperator{\Br}{Br} \DeclareMathOperator{\Cl}{Cl} \DeclareMathOperator{\coker}{coker} \DeclareMathOperator{\Cor}{Cor} \DeclareMathOperator{\cyc}{cyc} \DeclareMathOperator{\disc}{Disc} \DeclareMathOperator{\fin}{fin} \DeclareMathOperator{\Fix}{Fix} \DeclareMathOperator{\Frob}{Frob} \DeclareMathOperator{\Gal}{Gal} \DeclareMathOperator{\GL}{GL} \DeclareMathOperator{\Hom}{Hom} \DeclareMathOperator{\id}{id} \DeclareMathOperator{\im}{im} \DeclareMathOperator{\Ind}{Ind} \DeclareMathOperator{\Inf}{Inf} \DeclareMathOperator{\inv}{inv} \DeclareMathOperator{\lcm}{lcm} \DeclareMathOperator{\Norm}{Norm} \DeclareMathOperator{\Real}{Re} \DeclareMathOperator{\Res}{Res} \DeclareMathOperator{\sep}{sep} \DeclareMathOperator{\sign}{sign} \DeclareMathOperator{\smcy}{smcy} \DeclareMathOperator{\Trace}{Trace} \DeclareMathOperator{\unr}{unr} \DeclareMathOperator{\Ver}{Ver} \newcommand{\lt}{<} \newcommand{\gt}{>} \newcommand{\amp}{&} \definecolor{fillinmathshade}{gray}{0.9} \newcommand{\fillinmath}[1]{\mathchoice{\colorbox{fillinmathshade}{$\displaystyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\textstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptscriptstyle\phantom{\,#1\,}$}}} \)

Chapter 4 Local class field theory

We will spend the entirety of Chapter 4 establishing local class field theory, a classification of the abelian extensions of a local field. This will serve two purposes. On one hand, the results of local class field theory can be used to assist in the proofs of the global theorems, as we saw with Kronecker-Weber. On the other hand, they also give us a model set of proofs which we will attempt to emulate in the global case.

Recall that the term local field refers to a finite extension either of the field of \(p\)-adic numbers \(\QQ_p\) or of the field of power series \(\FF_q((t))\text{.}\) I'm going to abuse language and ignore the second case, although all but a few things I'll say go through in the second case, and I'll try to flag those when they come up. (One big one: a lot of extensions have to be assumed to be separable for things to work right.)