PMATH 841: Class Field Theory

These notes synthesize material from J.S. Milne’s Class Field Theory, J. Neukirch’s Algebraic Number Theory, J.W.S. Cassels and A. Fröhlich’s Algebraic Number Theory, and N. Childress’s Class Field Theory, enriched with material from MIT OCW 18.785-786 (A. Sutherland) and K. Conrad’s expository notes.

---

Chapter 1: Review of Algebraic Number Theory

1.1 Number Fields and Rings of Integers

Class field theory is, at its heart, the crowning achievement of algebraic number theory: it provides a complete classification of abelian extensions of a number field in terms of data intrinsic to the base field. Before we can state — let alone prove — the main theorems, we need a thorough command of the algebraic number theory that forms the foundation of the subject. This opening chapter reviews that foundation, fixing notation and recalling the key results we shall need throughout the course.

A number field is a finite extension of \(\mathbb{Q}\). Equivalently, it is a field \(K\) that is a finite-dimensional \(\mathbb{Q}\)-vector space. The degree \([K:\mathbb{Q}]\) is called the degree of the number field. Number fields arise naturally: whenever \(\alpha\) is an algebraic number (a root of some nonzero polynomial in \(\mathbb{Q}[x]\)), the field \(\mathbb{Q}(\alpha)\) is a number field.

The ring of integers \(\mathcal{O}_K\) is a free \(\mathbb{Z}\)-module of rank \([K:\mathbb{Q}]\), and \(K\) is its field of fractions. When \(K = \mathbb{Q}\), we recover \(\mathcal{O}_K = \mathbb{Z}\). For \(K = \mathbb{Q}(\sqrt{d})\) with \(d\) squarefree, we have

\[ \mathcal{O}_K = \begin{cases} \mathbb{Z}[\sqrt{d}] & \text{if } d \equiv 2, 3 \pmod{4}, \\ \mathbb{Z}\!\left[\frac{1+\sqrt{d}}{2}\right] & \text{if } d \equiv 1 \pmod{4}. \end{cases} \]

1.2 Dedekind Domains and Ideal Theory

The algebraic structure that makes the ideal theory of number fields work so beautifully is that of a Dedekind domain. Rings of integers are the motivating examples, but the abstract framework applies more broadly and will serve us well when we study completions and localizations.

This unique factorization of ideals is the central structural result of algebraic number theory. It replaces the unique factorization of elements that fails in general rings of integers.

The set of nonzero fractional ideals forms a group under multiplication, with identity \(R\) and inverse of \(\mathfrak{a}\) given by \(\mathfrak{a}^{-1} = \{x \in K : x\mathfrak{a} \subseteq R\}\). The principal fractional ideals — those of the form \(\alpha R\) for \(\alpha \in K^\times\) — form a subgroup.

1.3 Splitting of Primes

One of the most important constructions in algebraic number theory is the analysis of how prime ideals in a base field decompose in extensions. This “splitting behavior” is the arithmetic backbone of class field theory: the main theorems will tell us that the splitting of primes in abelian extensions is governed by congruence conditions.

Let \(K \subseteq L\) be an extension of number fields, and let \(\mathfrak{p}\) be a nonzero prime ideal of \(\mathcal{O}_K\). The extended ideal \(\mathfrak{p}\mathcal{O}_L\) factors in \(\mathcal{O}_L\):

\[ \mathfrak{p}\mathcal{O}_L = \mathfrak{P}_1^{e_1} \mathfrak{P}_2^{e_2} \cdots \mathfrak{P}_g^{e_g}, \]

where the \(\mathfrak{P}_i\) are distinct prime ideals of \(\mathcal{O}_L\) lying over \(\mathfrak{p}\).

1.4 The Frobenius Element

When \(L/K\) is Galois and \(\mathfrak{P}\) is a prime of \(\mathcal{O}_L\) lying over an unramified prime \(\mathfrak{p}\) of \(\mathcal{O}_K\), there is a distinguished element of the Galois group associated to this prime. This Frobenius element is the bridge between the arithmetic of primes and the structure of Galois groups, and it is the key ingredient in the Artin map.

The inertia group \(I(\mathfrak{P}|\mathfrak{p})\) is a normal subgroup of \(D(\mathfrak{P}|\mathfrak{p})\), and there is a surjection \(D(\mathfrak{P}|\mathfrak{p}) \to \mathrm{Gal}((\mathcal{O}_L/\mathfrak{P})/(\mathcal{O}_K/\mathfrak{p}))\) with kernel \(I(\mathfrak{P}|\mathfrak{p})\). The residue field extension is cyclic, generated by the Frobenius automorphism \(x \mapsto x^{|\mathcal{O}_K/\mathfrak{p}|}\).

When we change the prime \(\mathfrak{P}\) above \(\mathfrak{p}\) to another prime \(\mathfrak{P}' = \sigma(\mathfrak{P})\), the Frobenius conjugates: \(\mathrm{Frob}_{\mathfrak{P}'} = \sigma \mathrm{Frob}_{\mathfrak{P}} \sigma^{-1}\). Thus, when \(L/K\) is abelian, the Frobenius depends only on \(\mathfrak{p}\) (not on the choice of \(\mathfrak{P}\) above it), and we write \(\mathrm{Frob}_{\mathfrak{p}}\) or \(\left(\frac{L/K}{\mathfrak{p}}\right)\) — the Artin symbol.

1.5 The Ideal Class Group

The failure of unique factorization of elements in \(\mathcal{O}_K\) is measured precisely by the ideal class group. This group is the simplest example of the “generalized class groups” that appear in the main theorems of class field theory.

The proof uses the geometry of numbers (Minkowski’s theorem): every ideal class contains an ideal of norm at most the Minkowski bound.

1.6 Dirichlet’s Unit Theorem

The group of units \(\mathcal{O}_K^\times\) in the ring of integers is another fundamental invariant of a number field. Dirichlet’s theorem describes its structure and will play a key role when we pass from ideal class groups to idele class groups.

1.7 Discriminants and the Different

The discriminant and different measure ramification and will be essential for understanding the conductor-discriminant formula in global class field theory.

This characterization of ramification via the discriminant will be crucial: in class field theory, we will see that the conductor of an abelian extension controls exactly which primes ramify, and the conductor-discriminant formula relates these two measures of ramification.

---

Chapter 2: Completions and Local Fields

2.1 Absolute Values and Completions

To formulate class field theory properly, we must work not just with the number field \(K\) itself, but also with its completions at all places. This “local” perspective — studying number fields one prime at a time — is enormously powerful. The local fields obtained by completion are simpler than the global field \(K\), and the local-global philosophy (crystallized in the adele ring of Chapter 3) is one of the great themes of modern number theory.

Two absolute values are equivalent if they define the same topology on \(K\). An equivalence class of nontrivial absolute values is called a place (or prime) of \(K\).

For a number field \(K\), the places are classified as follows: the archimedean (or infinite) places correspond to the real and complex embeddings of \(K\), and the non-archimedean (or finite) places correspond to the nonzero prime ideals of \(\mathcal{O}_K\).

This product formula is a fundamental constraint linking the local and global behavior of elements. It will reappear as the statement that \(K^\times\) embeds diagonally into the idele group with image in the “norm-one” ideles.

2.2 The \(p\)-adic Numbers

The completion of \(\mathbb{Q}\) with respect to \(|\cdot|_p\) gives the field \(\mathbb{Q}_p\) of \(p\)-adic numbers, introduced by Hensel in 1897. These fields are the prototypical local fields and provide the testing ground for local class field theory.

Every element of \(\mathbb{Q}_p\) can be written uniquely as a “Laurent series in \(p\)”:

\[ x = \sum_{i=n}^{\infty} a_i p^i, \quad a_i \in \{0, 1, \ldots, p-1\}, \quad a_n \neq 0, \]

where \(n = v_p(x) \in \mathbb{Z}\). The ring \(\mathbb{Z}_p\) consists of those series with \(n \geq 0\). Note that \(\mathbb{Z}_p\) is a local ring with unique maximal ideal \(p\mathbb{Z}_p\) and residue field \(\mathbb{Z}_p/p\mathbb{Z}_p \cong \mathbb{F}_p\).

2.3 Hensel’s Lemma

Hensel’s lemma is the local analogue of Newton’s method: it allows us to “lift” approximate roots of polynomials from the residue field to exact roots in the local field. It is indispensable for understanding extensions of local fields.

2.4 Structure of Local Fields

Let us now describe the general structure of local fields arising as completions of number fields. These are the arenas for local class field theory.

If \(K_v\) is the completion of \(K\) at a finite place \(v\) corresponding to a prime \(\mathfrak{p}\), then \(K_v\) is a finite extension of \(\mathbb{Q}_p\) (where \(p\) is the rational prime below \(\mathfrak{p}\)). The valuation ring is \(\mathcal{O}_v = \{x \in K_v : |x|_v \leq 1\}\), with maximal ideal \(\mathfrak{m}_v\) and residue field \(k_v = \mathcal{O}_v/\mathfrak{m}_v \cong \mathbb{F}_q\) where \(q = N\mathfrak{p} = p^f\).

The structure of the principal units \(1 + \mathfrak{m}_v\) is more subtle: as a \(\mathbb{Z}_p\)-module, \(1 + \mathfrak{m}_v \cong \mathbb{Z}_p^{[K_v:\mathbb{Q}_p]}\) (for \(p\) odd; the case \(p = 2\) requires a small modification). This precise description of \(K_v^\times\) is essential for local class field theory, where we need to understand all open subgroups of finite index in \(K_v^\times\).

2.5 Extensions of Local Fields

2.6 Higher Ramification Groups

The decomposition and inertia groups from the global theory have local counterparts with much richer structure: the higher ramification groups, which provide a filtration of the inertia group.

We have \(G_{-1} = G\), \(G_0 = I\) (the inertia group), and \(G_1\) is the wild inertia group (a \(p\)-group). The quotient \(G_0/G_1\) is cyclic of order prime to \(p\) (the tame inertia). The groups \(G_i\) for \(i \geq 1\) form a descending filtration of \(p\)-groups.

2.7 Krasner’s Lemma

Krasner’s lemma is a remarkable rigidity result for non-archimedean fields: it says that if a point is closer to all conjugates of an algebraic element than any two conjugates are to each other, then the point generates the same extension.

This finiteness is a striking contrast with the global situation and is one of the features that makes local class field theory tractable.

---

Chapter 3: Global Fields and the Adele Ring

3.1 Places of a Number Field

Having studied local fields individually, we now combine all completions of a number field into a single algebraic object — the adele ring. This construction, developed by Chevalley, Weil, and Tate in the 1930s–1950s, is one of the most elegant and powerful ideas in modern number theory. It replaces the cumbersome language of ideals and congruences with the clean formalism of topological groups and harmonic analysis.

For each place \(v\), we write \(K_v\) for the completion of \(K\) at \(v\). When \(v\) is a finite place corresponding to a prime \(\mathfrak{p}\), we sometimes write \(K_\mathfrak{p}\) instead.

3.2 Restricted Direct Products

The adele ring is not a direct product of all completions (which would be too large) but rather a “restricted” direct product that captures the fact that a global element has nonnegative valuation at all but finitely many primes.

The restricted direct product is again a locally compact group — this is the key point. The unrestricted direct product would not be locally compact (in the non-discrete case), and local compactness is essential for harmonic analysis.

3.3 The Adele Ring

The adele ring \(\mathbb{A}_K\) is a locally compact topological ring. There is a diagonal embedding \(K \hookrightarrow \mathbb{A}_K\) sending \(\alpha \mapsto (\alpha, \alpha, \alpha, \ldots)\), which is well-defined because every element of \(K\) is a \(v\)-adic integer for all but finitely many \(v\).

3.4 The Idele Group

The idele group \(\mathbb{A}_K^\times\) is the group of units of the adele ring, but its topology is not the subspace topology from \(\mathbb{A}_K\). Instead, it carries the restricted product topology, which makes it a locally compact group. The embedding \(\mathbb{A}_K^\times \hookrightarrow \mathbb{A}_K \times \mathbb{A}_K\) via \(x \mapsto (x, x^{-1})\) identifies the idele topology with the subspace topology from this embedding.

The diagonal embedding \(K^\times \hookrightarrow \mathbb{A}_K^\times\) maps \(\alpha\) to the “principal idele” \((\alpha, \alpha, \ldots)\).

3.5 The Idele Class Group

The idele class group is the central object of global class field theory: the global Artin map is a homomorphism from this group to the abelianized absolute Galois group.

3.6 Connection to Classical Objects

The power of the adelic formalism is that it unifies and subsumes the classical invariants of number fields. Let us spell out these connections explicitly.

This tells us that the class group — a finite abelian group that was originally defined in terms of ideals — naturally arises as a quotient of the idele group. Similarly, Dirichlet’s unit theorem can be recovered from the structure of the kernel of the map from \(K^\times\) to the ideles.

3.7 The Strong Approximation Theorem

This is a vast generalization of the Chinese Remainder Theorem. It says that we can approximate any adele arbitrarily well by a global element, provided we are willing to sacrifice control at one place. The strong approximation theorem has many applications: for instance, it implies that the class group is the quotient described above, and it is used in proofs of the Hasse-Minkowski theorem for quadratic forms.

---

Chapter 4: Local Class Field Theory

4.1 Overview and Motivation

Local class field theory classifies all abelian extensions of a local field \(K\) in terms of the multiplicative group \(K^\times\). It is both a complete theorem and a model for the global theory. The key result is the local reciprocity map, which establishes an intimate connection between the arithmetic of \(K^\times\) and the Galois theory of abelian extensions.

The story begins with a question: given a non-archimedean local field \(K\) (say, a finite extension of \(\mathbb{Q}_p\)), can we describe all finite abelian extensions of \(K\)? And can we identify which elements of \(K^\times\) correspond to which abelian extensions?

The answer is a resounding yes, and the correspondence is remarkably clean. The central object is the local Artin map.

4.2 Statement of Local Reciprocity

Let us unpack what this theorem says. The group \(K^\times\) has a rich structure (we described it in Proposition 2.11). The Artin map takes this arithmetic information and translates it into Galois-theoretic information. The norm groups \(N_{L/K}(L^\times)\) — the images of the norm map from the various abelian extensions — are precisely the open subgroups of finite index of \(K^\times\), and they correspond bijectively to the finite abelian extensions.

4.3 The Local Existence Theorem

Together, the local reciprocity law and the existence theorem give a perfect dictionary:

\[ \left\{\begin{array}{c}\text{finite abelian extensions} \\ L/K\end{array}\right\} \xleftrightarrow{\;1:1\;} \left\{\begin{array}{c}\text{open subgroups of} \\ \text{finite index in } K^\times\end{array}\right\} \]

The correspondence sends \(L\) to \(N_{L/K}(L^\times)\), and it reverses inclusions: if \(L_1 \subseteq L_2\), then \(N_{L_2/K}(L_2^\times) \subseteq N_{L_1/K}(L_1^\times)\). Moreover, \(L_1 L_2\) corresponds to \(N_1 \cap N_2\), and \(L_1 \cap L_2\) corresponds to \(N_1 N_2\).

4.4 Consequences for Unramified and Totally Ramified Extensions

4.5 The Lubin-Tate Construction

The classical proofs of local class field theory (via group cohomology, as in Serre’s Local Fields or Cassels-Fröhlich) establish the existence of the Artin map somewhat abstractly. In 1965, Lubin and Tate gave a beautiful explicit construction using formal groups that directly builds the totally ramified abelian extensions of \(K\) and the Artin map.

The key construction is as follows. Let \(\bar{K}\) be an algebraic closure of \(K\), and let \(\mathfrak{m}_{\bar{K}}\) be the maximal ideal of the valuation ring of \(\bar{K}\). The formal group \(F_f\) defines a new abelian group structure on \(\mathfrak{m}_{\bar{K}}\): the sum of \(x\) and \(y\) is \(F_f(x,y)\) (which converges since \(x, y \in \mathfrak{m}_{\bar{K}}\)). The torsion points are the key.

4.6 Explicit Computations for \(\mathbb{Q}_p\)

4.7 The Norm Residue Symbol and Local Hilbert Symbol

The Hilbert symbol for \(n = 2\) directly connects to quadratic reciprocity. For \(K = \mathbb{Q}_p\), the condition \((a,b)_2 = 1\) is equivalent to the equation \(ax^2 + by^2 = z^2\) having a nontrivial solution in \(\mathbb{Q}_p\).

---

Chapter 5: Global Class Field Theory

5.1 Motivation: From Local to Global

We now arrive at the summit of these notes: global class field theory. The local theory (Chapter 4) classified abelian extensions of a single local field; the global theory classifies abelian extensions of a number field \(K\) in terms of the idele class group \(C_K = \mathbb{A}_K^\times / K^\times\).

The passage from local to global is guided by the philosophy that a global object should be determined by its local behavior at all places. The adele ring (Chapter 3) provides the framework to make this precise: the global Artin map is assembled from the local Artin maps at all places.

Historically, global class field theory was developed before the local theory. The origins go back to Hilbert’s 1897 Zahlbericht, where he conjectured the existence of the Hilbert class field. Artin formulated the reciprocity law in 1923 and proved it in 1927, using a clever reduction to cyclotomic fields due to Chebotarev. The adelic reformulation was developed by Chevalley in the 1930s and 1940s.

5.2 The Global Artin Map

The global Artin map is constructed by gluing together the local Artin maps. For each place \(v\) of \(K\), we have the local Artin map \(\mathrm{Art}_{K_v}: K_v^\times \to \mathrm{Gal}(K_v^{\mathrm{ab}}/K_v)\). For a finite abelian extension \(L/K\) and a place \(w\) of \(L\) above \(v\), the local Galois group \(\mathrm{Gal}(L_w/K_v)\) is naturally a decomposition group inside \(\mathrm{Gal}(L/K)\), so we get a map \(\mathrm{Art}_{K_v}: K_v^\times \to \mathrm{Gal}(L/K)\).

5.3 The Artin Reciprocity Law

5.4 The Global Existence Theorem

5.5 Ray Class Fields and the Conductor

To make the existence theorem explicit, we introduce the notion of a modulus and the associated ray class groups and fields.

The adelic description is cleaner: define the subgroup \(U_\mathfrak{m} \subseteq \mathbb{A}_K^\times\) by

\[ U_\mathfrak{m} = \prod_{v | \mathfrak{m}_\infty} \mathbb{R}_{>0} \times \prod_{v | \mathfrak{m}_0} (1 + \mathfrak{p}_v^{n_v}) \times \prod_{v \nmid \mathfrak{m}} \mathcal{O}_v^\times. \]

Then \(\mathrm{Cl}_\mathfrak{m}(K) \cong \mathbb{A}_K^\times / (K^\times \cdot U_\mathfrak{m})\).

5.6 The Hilbert Class Field

The simplest and most beautiful case of global class field theory is the Hilbert class field.

5.7 The Conductor-Discriminant Formula

This formula is a deep connection between ramification data (the discriminant), the Galois group, and the conductors of the associated characters. It generalizes the formula for the discriminant of a cyclotomic field.

5.8 Genus Theory

Genus theory, initiated by Gauss for binary quadratic forms, is one of the earliest instances of class field theory. It provides a partial computation of the class group using only the arithmetic of the base field.

---

Chapter 6: L-functions and Density Theorems

6.1 The Dedekind Zeta Function

Analytic methods have been inseparable from algebraic number theory since Dirichlet’s 1837 proof that there are infinitely many primes in arithmetic progressions. The \(L\)-functions of number fields encode deep arithmetic information, and their analytic properties are essential tools in the proofs of class field theory.

When \(K = \mathbb{Q}\), this is the Riemann zeta function \(\zeta(s) = \sum_{n=1}^\infty n^{-s}\). The Euler product (the second expression) encodes the unique factorization of ideals, just as the Euler product for \(\zeta(s)\) encodes the unique factorization of integers.

6.2 The Analytic Class Number Formula

One of the most beautiful results in analytic number theory is the formula for the residue of \(\zeta_K(s)\) at \(s = 1\), which connects the analytic behavior of the zeta function to the arithmetic invariants of \(K\).

6.3 Dirichlet and Hecke L-functions

To study the distribution of primes in extensions and to prove the main theorems of class field theory, we need \(L\)-functions twisted by characters.

When \(\chi\) is trivial, \(L(s, \chi) = \zeta_K(s)\). When \(K = \mathbb{Q}\), a Hecke character of finite order is essentially a Dirichlet character, and we recover Dirichlet \(L\)-functions.

The non-vanishing \(L(1, \chi) \neq 0\) is the analytic heart of class field theory. For Dirichlet \(L\)-functions, this is Dirichlet’s theorem. For general Hecke \(L\)-functions, this was proved by Hecke using the analytic class number formula for ray class fields.

6.4 Factorization of the Dedekind Zeta Function

A crucial tool is the factorization of the Dedekind zeta function of an abelian extension as a product of \(L\)-functions over the base field.

6.5 The Chebotarev Density Theorem

The Chebotarev density theorem is one of the most important results in algebraic number theory, generalizing both Dirichlet’s theorem on primes in arithmetic progressions and the fact that primes in a given splitting type have a natural density.

6.6 Artin L-functions

The \(L\)-functions we have considered so far are associated to one-dimensional characters. For non-abelian extensions, the correct generalization involves representations of the Galois group.

When \(\rho\) is one-dimensional, i.e., a character \(\chi: G \to \mathbb{C}^\times\), and \(L/K\) is abelian, the Artin \(L\)-function coincides with the Hecke \(L\)-function associated to \(\chi\) via the Artin map. This is the content of “Artin reciprocity at the level of \(L\)-functions.”

6.7 Distribution of Primes in Abelian Extensions

As a capstone application of the analytic machinery, let us state precisely how the Chebotarev density theorem, combined with class field theory, governs the distribution of primes.

More generally, for each element \(\sigma \in \mathrm{Gal}(L/K)\), the set of primes \(\mathfrak{p}\) with \(\mathrm{Frob}_\mathfrak{p} = \sigma\) is determined by a congruence condition (namely, the class of \(\mathfrak{p}\) in \(\mathrm{Cl}_\mathfrak{f}(K)\)), and the density of this set is \(1/[L:K]\). This is the abelian analogue of the Sato-Tate conjecture: in abelian extensions, primes are equidistributed among Frobenius elements.

---

Chapter 7: Applications and Outlook

7.1 Quadratic Reciprocity from Artin Reciprocity

We begin the applications by showing that the grand theorem of class field theory — the Artin reciprocity law — subsumes the classical reciprocity laws. This is fitting, since Gauss’s law of quadratic reciprocity was the original inspiration for the entire theory.

7.2 The Kronecker-Weber Theorem

7.3 Hilbert’s Twelfth Problem

Having shown that all abelian extensions of \(\mathbb{Q}\) arise from roots of unity (values of the exponential function \(e^{2\pi i z}\) at rational arguments), one naturally asks: can we do the same for abelian extensions of an arbitrary number field?

7.4 Complex Multiplication Preview

7.5 Introduction to the Langlands Program

Class field theory classifies abelian extensions — but what about non-abelian extensions? The Langlands program, proposed by Robert Langlands in a famous 1967 letter to André Weil, is an ambitious framework that extends class field theory to the non-abelian setting.

7.6 The Brauer Group and Reciprocity

Another important perspective on class field theory comes through the Brauer group, which measures the failure of the “Hasse principle” for central simple algebras and is closely related to \(H^2\) of the Galois group.

This exact sequence says that a central simple algebra over \(K\) is determined by its local invariants (a rational number mod \(\mathbb{Z}\) at each place), subject to the constraint that their sum is zero. This is another incarnation of the reciprocity law: the surjectivity of \(\sum \mathrm{inv}_v\) onto \(\mathbb{Q}/\mathbb{Z}\) and the exactness at the middle term are equivalent to the Artin reciprocity law and the Hasse norm theorem, respectively.

7.7 Higher Reciprocity Laws

7.8 Open Problems and Further Directions

We conclude these notes by highlighting several major open problems connected to class field theory.

---

This concludes our tour of class field theory. We began with the basic algebraic number theory of ideals and primes, moved through the local theory of \(p\)-adic fields, assembled the global picture using adeles and ideles, and arrived at the Artin reciprocity law — the central theorem that classifies all abelian extensions of a number field in terms of its idele class group. Along the way, we saw how this grand theory subsumes the classical reciprocity laws, explains the Hilbert class field and ray class fields, and connects to the deepest open problems in modern number theory through the Langlands program.

The beauty of class field theory lies not only in the power of its main theorems but in the extraordinary interplay of algebra, analysis, and geometry that pervades every aspect of the subject. From Gauss’s quadratic reciprocity to the Langlands program, from the geometry of numbers to harmonic analysis on adeles, from Lubin-Tate formal groups to the cohomology of Galois groups — class field theory sits at a nexus of mathematical ideas that continues to inspire and challenge mathematicians today.