Trailer: Abelian extensions of the rationals

\(\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 1 Trailer: Abelian extensions of the rationals

Though class field theory has its origins in the law of quadratic reciprocity discovered by Gauss, its proper beginning is indicated by the Kronecker-Weber theorem, first stated by Kronecker in 1853 and proved by Weber in 1886. Although one could skip this theorem and deduce it as a consequence of more general results later on, I prefer to work through it explicitly. It will serve as a trailer for the rest of the course, giving us a preview of a number of key elements:

reciprocity laws;
passage between local and global fields, using Galois theory;
group cohomology, and applications to classifying field extensions;
computations in local fields.

Prev Top Next