Class Field Theory — Overview and Main Theorems

Class field theory classifies all abelian extensions of a local or global field

K

in terms of arithmetic data intrinsic to

K

itself (its ideal class group, idele class group, or multiplicative group). Key result in words: there is a canonical isomorphism — the reciprocity map — between the Galois group of the maximal abelian extension and a quotient of the idele class group, and every finite abelian extension corresponds to an open finite-index subgroup. Where it applies: number fields, function fields over finite fields, and local fields (

p

-adic fields and Laurent-series fields). Who/when: Kronecker, Weber, Hilbert (1890s–1900s); Takagi (1920); Artin (1927, reciprocity); Chevalley (1930s–40s, ideles); Tate, Iwasawa (cohomological reformulation, 1950s).

Class field theory (CFT) is the crowning achievement of early-20th-century algebraic number theory: a complete and explicit description of the abelian extensions of a field $K$ that are "arithmetic" in nature. For a global field $K$ , every finite abelian extension $L / K$ is cut out by a generalized ideal class group (a ray class group), and the Galois group $Gal (L / K)$ is canonically isomorphic to that quotient via the Artin reciprocity map, sending a prime $p$ unramified in $L$ to its Frobenius $(\frac{L / K}{p})$ . This generalizes quadratic reciprocity, the splitting laws for primes in cyclotomic fields, and Gauss's genus theory all at once. The surprising fact: although the abelian extensions are fully understood and parametrized internally to $K$ , no analogous explicit description of non-abelian extensions exists in general — that lacuna is precisely what the Langlands Program attempts to fill.

The Core Insight

The arithmetic of $K$ — how primes split, ramify, and remain inert in extensions — is governed by the multiplicative structure of $K$ packaged adelically. Abelian Galois groups are recovered from $K$ without ever naming the extension: $Gal (L / K)^{ab}$ is a quotient of $C_{K} = A_{K}^{\times} / K^{\times}$ . The reciprocity map turns the global problem of constructing fields into a local-to-global problem about characters of idele class groups, where the product formula and local reciprocity assemble into a single coherent law.

Formal Statement

Local field, global field, ideles

A local field is a field complete with respect to a discrete (or archimedean) absolute value with finite (or $R, C$ ) residue field: e.g. $Q_{p}$ , finite extensions thereof, $F_{q} ((t))$ , $R$ , $C$ .

A global field is a finite extension of $Q$ (a number field) or a finite extension of $F_{q} (t)$ (a function field).

For a global field $K$ with set of places $M_{K}$ , the adele ring and idele group are the restricted products

A_{K} = v \in M_{K} \prod^{'} (K_{v}, O_{v}), A_{K}^{\times} = v \prod^{'} (K_{v}^{\times}, O_{v}^{\times}) .

⟳restricted product means almost all components lie in the compact subring

O_{v}

(resp. unit group

O_{v}^{\times}

); topologize so that

\prod_{v \in S} K_{v} \times \prod_{v \in / S} O_{v}

are open for finite

S

The idele class group is

C_{K} = A_{K}^{\times} / K^{\times},

where

K^{\times}

embeds diagonally.

⟳the product formula

\prod_{v} ∣ x ∣_{v} = 1

for

x \in K^{\times}

shows the diagonal embedding lands in the norm-one ideles and is discrete cocompact in that subgroup.

Frobenius and the Artin symbol

Let $L / K$ be a finite abelian extension of global fields and $p$ a prime of $K$ unramified in $L$ . There is a unique element $Frob_{p} \in Gal (L / K)$ — the Artin symbol $(\frac{L / K}{p})$ — characterized by

Frob_{p} (x) \equiv x^{N p} (mod P), \forall x \in O_{L},

where

P ∣ p

and

N p = ∣ O_{K} / p ∣

⟳the decomposition group

D_{P} ≅ Gal (κ (P) / κ (p))

is cyclic generated by

x \mapsto x^{N p}

; abelianness makes it independent of the choice of

P

Artin Reciprocity (global, idelic form)

Let $L / K$ be a finite abelian extension of global fields. There is a canonical surjective homomorphism, the Artin (reciprocity) map,

θ_{L / K} : C_{K} = A_{K}^{\times} / K^{\times} ↠ Gal (L / K),

with kernel exactly

N_{L / K} (C_{L}) = N_{L / K} (A_{L}^{\times}) K^{\times} / K^{\times}

, inducing

C_{K} / N_{L / K} (C_{L}) \sim Gal (L / K) .

⟳

θ_{L / K}

is built as the product of local reciprocity maps

θ_{v} : K_{v}^{\times} \to Gal (L_{w} / K_{v})

; the key non-trivial assertion (Artin's reciprocity law) is that

θ_{L / K}

kills the diagonal

K^{\times}

Moreover, on unramified primes the map sends a uniformizer to Frobenius:

θ_{L / K} (\dots, 1, π_{p}, 1, \dots) = Frob_{p} \in Gal (L / K) .

⟳this is local CFT at

p

— the local Artin map sends a uniformizer to arithmetic Frobenius in the unramified case; gluing over all places yields the global statement.

Existence and Classification (Takagi)

The map $L \mapsto N_{L / K} (C_{L})$ is an inclusion-reversing bijection between finite abelian extensions $L / K$ (inside a fixed separable closure) and open finite-index subgroups $N \subset C_{K}$ :

{L / K finite abelian} 1 : 1 {N \subset C_{K} open, finite index} .

⟳surjectivity (every such

N

is a norm group) is the "Existence Theorem," proved via Kummer theory plus a counting/index argument over the class formation axioms; injectivity follows from reciprocity [5].

Consequently $Gal (K^{ab} / K)$ is the profinite completion of $C_{K}$ :

Gal (K^{ab} / K) ≅ C_{K} = N lim C_{K} / N .

⟳take the inverse limit of [5] over all finite abelian

L

; for number fields the connected component of

1

C_{K}

is killed, giving the profinite completion.

Local Class Field Theory

Let $K$ be a non-archimedean local field. There is a canonical injective homomorphism with dense image (an isomorphism after profinite completion),

θ_{K} : K^{\times} ↪ Gal (K^{ab} / K), K^{\times} \sim Gal (K^{ab} / K),

under which finite abelian

L / K

correspond to finite-index open subgroups

N_{L / K} (L^{\times}) \subset K^{\times}

, and

K^{\times} / N_{L / K} (L^{\times}) \sim Gal (L / K) .

⟳

θ_{K}

sends

O_{K}^{\times}

onto the inertia subgroup and a uniformizer to a Frobenius lift; constructed via Lubin–Tate formal groups or via Galois cohomology with the invariant map

inv_{K} : Br (K) \sim Q / Z

Why It Holds / Derivation

Architecture of the proof via class formations

The modern proof unifies local and global CFT through the axiomatic notion of a class formation (Artin–Tate).

Step 1 — Set-up. Let

G = Gal (\overset{ˉ}{K} / K)

act on a module

A

(for global CFT,

A =

idele classes of

\overset{ˉ}{K}

; for local,

A = (\overset{ˉ}{K})^{\times}

). The pair

(G, A)

is a class formation if for every finite extension

E / K

(fixed field

G_{E}

H^{1} (G_{E}, A) = 0, H^{2} (G_{E}, A) inv_{E} \frac{1}{[ E : K ]} Z / Z \subset Q / Z .

⟳

H^{1} = 0

is "Hilbert 90" in the relevant guise; the

H^{2}

statement packages the fundamental class.

Step 2 — Tate's theorem. For a cyclic (more generally any finite)

E / F

inside the formation, cup product with the fundamental class

u_{E / F} \in H^{2} (Gal (E / F), A_{E})

gives isomorphisms on all Tate cohomology:

H^{n} (Gal (E / F), Z) \cup u_{E / F} \sim H^{n + 2} (Gal (E / F), A_{E}) .

⟳Tate–Nakayama; the hypotheses

H^{1} = 0

and

H^{2}

cyclic of order

[E : F]

verify the conditions of Tate's cohomology isomorphism.

Step 3 — Reciprocity for $n = - 2$ . Setting

n = - 2

in [12] and using

H^{- 2} (G, Z) = G^{ab}

H^{0} (G, A_{E}) = A_{F} / N_{E / F} A_{E}

gives

Gal (E / F)^{ab} \sim A_{F} / N_{E / F} A_{E},

the inverse of which is the reciprocity isomorphism.

⟳

H^{- 2} (G, Z) ≅ H_{1} (G, Z) ≅ G^{ab}

and

H^{0}

is invariants modulo norms; cup with

u

identifies them.

Step 4 — Existence theorem. Show every open finite-index subgroup

N \subset C_{K}

is a norm group. Reduce (via

C_{K} / C_{K}^{n}

) to the case where

K

contains

μ_{n}

, then use Kummer theory:

K^{\times} / (K^{\times})^{n}

pairs perfectly with

Gal (K (n K^{\times}) / K)

. A computation of indices using [13] forces equality

[C_{K} : N] = [L : K]

for

L

the fixed field, proving

N = N_{L / K} C_{L}

⟳the "First and Second Inequalities"

[C_{K} : N_{L / K} C_{L}] \leq [L : K]

and

\geq [L : K]

together pin the index; the second inequality is analytic (uses

L

-functions / nonvanishing) or cohomological (Herbrand quotient).

Step 5 — Local-global compatibility. The global Artin map is the restricted product of local maps; that

θ_{L / K}

annihilates

K^{\times}

is equivalent to the product-of-local-symbols identity

\prod_{v} (a, L / K)_{v} = 1

for

a \in K^{\times}

, the precise content of Artin reciprocity.

■

Emil Artin | 1898–1962

Artin proved the general reciprocity law in 1927, realizing Hilbert's vision (his 9th problem) of a "most general reciprocity law" governing power residues. His insight was to define the Frobenius-to-class-group correspondence and prove it is a homomorphism killing principal ideles — turning Takagi's existence-theoretic class field theory (1920), which classified abelian extensions abstractly, into an explicit, canonical isomorphism. Artin also introduced Artin $L$ -functions, conjectured their holomorphy, and (with Tate) recast the whole theory cohomologically. His reciprocity law contains quadratic, cubic, and Eisenstein reciprocity as special cases and is the abelian seed of the Langlands program.

Building Intuition

Think of CFT as a dictionary between two worlds:

Field-theoretic world: abelian extensions $L / K$ , Galois groups, how primes $p$ split.
Arithmetic world: congruence/ray class groups, ideles, units modulo conductors.

The dictionary entry is: " $p$ splits completely in $L$ " $⟺$ " $p$ lies in the subgroup of $C_{K}$ corresponding to $L$ ." Splitting is thus governed by a congruence condition on $p$ . The simplest instance: in $Q (ζ_{m}) / Q$ , a prime $p ∤ m$ splits completely iff $p \equiv 1 (mod m)$ — a pure congruence. CFT says every abelian splitting law is, ultimately, a congruence law of this type (possibly with archimedean/sign conditions encoded by infinite places). The ideles exist precisely to package "congruence at all primes simultaneously, including sign conditions at infinity" into one group whose characters are exactly the abelian extensions.

The Artin reciprocity map: ideles to Galois group, with the Frobenius arrow

Worked Examples

Cyclotomic CFT over $\mathbb{Q}$: the Kronecker–Weber phenomenon

Given:

K = Q

L = Q (ζ_{m})

with

m = 15

. Goal: Determine

Gal (L / K)

as a quotient of

C_{Q}

and find how

p = 2

behaves. Steps.

$Gal (Q (ζ_{15}) / Q) ≅ (Z /15)^{\times}$ , sending $σ_{a} : ζ \mapsto ζ^{a}$ to $a$ . Order $= φ (15) = 8$ .
The Artin map sends an unramified prime $p ∤ 15$ to $Frob_{p} = σ_{p}$ , i.e. to $p mod 15$ .
For $p = 2$ : $Frob_{2} = σ_{2} \leftrightarrow 2 \in (Z /15)^{\times}$ . The order of $2$ mod $15$ : $2, 4, 8, 16 \equiv 1$ , so order $4$ .
The residue degree $f$ = order of $Frob_{p}$ = $4$ ; number of primes above $2$ is $g = φ (15) / f = 8/4 = 2$ .
The norm subgroup is $N_{L / Q} (C_{L})$ corresponding under $C_{Q} / N ≅ (Z /15)^{\times}$ to congruences mod $15$ .

Answer.

2 factors in Q (ζ_{15}) as 2 O_{L} = P_{1} P_{2}, f = 4, g = 2, e = 1.

Hilbert class field of $\mathbb{Q}(\sqrt{-23})$

Given:

K = Q (- 23)

, class number

h_{K} = 3

. Goal: Identify the Hilbert class field

H

(maximal unramified abelian extension) and determine splitting of a prime via the class group. Steps.

By CFT with conductor $1$ (no ramification, no sign conditions), $Gal (H / K) ≅ Cl (K) ≅ Z /3$ . So $[H : K] = 3$ , $[H : Q] = 6$ .
$H = K (α)$ where $α$ is a root of $x^{3} - x - 1$ (whose discriminant is $- 23$ ); thus $H$ is the splitting field of $x^{3} - x - 1$ over $Q$ .
A rational prime $p$ (unramified, $p \neq = 23$ ) splits completely in $H$ iff $p$ splits in $K$ and the prime above it is principal — equivalently iff $Frob_{p} = 1$ in $Cl (K)$ .
Concretely $p$ splits completely in $H$ iff $x^{3} - x - 1$ has three roots mod $p$ iff $p = x^{2} + 23 y^{2}$ is solvable.
Test $p = 59$ : $- 23$ is a QR mod $59$ ( $59$ splits in $K$ ), and indeed $59 = 6^{2} + 23 \cdot 1^{2} = 36 + 23$ . So $59$ is represented; $Frob = 1$ .

Answer.

H = splitting field of x^{3} - x - 1; p splits completely ⟺ p = x^{2} + 23 y^{2} .

Common Misconceptions

CFT does not describe non-abelian extensions. The reciprocity isomorphism [4] only sees

Gal (L / K)

when

L / K

is abelian; for general

L

it sees only

Gal (L / K)^{ab}

. There is no classical CFT for, say, the splitting field of

x^{5} - x - 1

(Galois group

S_{5}

). The Artin map is not "the obvious quotient." The hard theorem is that

θ_{L / K}

kills the diagonal

K^{\times} \subset A_{K}^{\times}

. Building local maps is comparatively easy; reciprocity is the global gluing. "Existence theorem" $\neq =$ explicit construction. CFT proves the abelian extension corresponding to a given norm group exists, but does not in general produce generators. Explicitly generating

K^{ab}

is Hilbert's 12th problem, solved only for

K = Q

(roots of unity, Kronecker–Weber) and imaginary quadratic

K

(singular moduli, torsion of CM elliptic curves — Kronecker's Jugendtraum).

The Hilbert class field need not be generated by units of $K$

For $K = Q (- 23)$ , one might hope $H$ is $K (3 u)$ for some explicit unit or simple radical in $K$ . But $H$ is unramified over $K$ , so it cannot be a Kummer extension $K (3 a)$ with $a$ a non-unit (that would ramify), and $O_{K}^{\times} = {\pm 1}$ offers no nontrivial radicals. The actual generator comes from the transcendental $j$ -function evaluated at a CM point: $H = K (j (\frac{1 + - 23}{2}))$ . This shows the Existence Theorem is genuinely non-constructive within elementary algebra — explicit class field generation requires analytic (modular) input, illustrating exactly why Hilbert's 12th problem is hard.

Connections

Quadratic Reciprocity: the law $(\frac{p}{q}) (\frac{q}{p}) = (- 1)^{\frac{p - 1}{2} \frac{q - 1}{2}}$ is the $n = 2$ shadow of Artin reciprocity, recovered from $θ$ for $Q (q^{*}) / Q$ and $\prod_{v} (a, b)_{v} = 1$ .
Galois Cohomology and the Brauer Group: local CFT is encoded by $inv_{K} : Br (K) \sim Q / Z$ ; the global reciprocity sequence $0 \to Br (K) \to ⨁_{v} Br (K_{v}) \sum inv_{v} Q / Z \to 0$ is equivalent to Artin reciprocity.
Iwasawa Theory: studies how class groups grow in $Z_{p}$ -towers, refining CFT into $p$ -adic $L$ -function statements (Main Conjecture).
Langlands Program: abelian CFT $≅$ the $GL_{1}$ case; Langlands reciprocity generalizes $θ$ to a correspondence between $n$ -dimensional Galois representations and automorphic forms on $GL_{n}$ .
Complex Multiplication: generates abelian extensions of imaginary quadratic fields explicitly, solving Hilbert 12 in that case.

Real-World Applications

Primes of the form $x^{2} + n y^{2}$ (Cox's program): CFT plus complex multiplication gives a complete criterion for which primes are represented by a given binary quadratic form — a classical Diophantine problem solved via ring class fields.
Algorithmic number theory: computing ray class groups and class field generators underlies the PARI/GP and Magma routines that construct fields with prescribed Galois group and ramification (used in number-field databases like LMFDB).
Error-correcting codes and curves: function-field CFT (Hayes, Drinfeld modules) constructs explicit abelian covers of curves over $F_{q}$ with controlled ramification, yielding asymptotically good codes and curves with many rational points.
Elliptic curve cryptography / CM method: building elliptic curves with a prescribed number of points uses Hilbert class polynomials of imaginary quadratic fields — direct output of explicit CFT.
Stark's conjectures and units: CFT frames the construction of explicit units (Stark units) predicted to generate abelian extensions, partially solving Hilbert 12 for real fields.
Tate's thesis & analytic continuation: the idelic reformulation gives the cleanest proof of meromorphic continuation and functional equations of Hecke $L$ -functions, foundational to analytic number theory.
Inverse Galois & embedding problems: norm-group descriptions control which abelian groups arise with prescribed local conditions, used in solvable cases of the inverse Galois problem (Shafarevich's theorem).

Historical Development

1853–1880, Kronecker & Weber: Kronecker conjectures that every abelian extension of $Q$ lies in a cyclotomic field; Jugendtraum for imaginary quadratic fields via elliptic functions. Weber gives early definitions of class fields and ray class groups.
1896–1897, Hilbert: Zahlbericht synthesizes the theory; Hilbert defines the Hilbert class field and frames the program; his 9th and 12th problems (1900) set the agenda.
1903, Furtwängler: proves the principal ideal theorem in special cases (capitulation).
1907–1920, Takagi: during WWI isolation in Japan, Takagi proves the general existence theorem and classifies all abelian extensions by norm groups, establishing class field theory's main structural results.
1923–1927, Artin: formulates and proves the general reciprocity law, giving the canonical Frobenius-based isomorphism; the keystone that makes the theory explicit.
1930, Furtwängler & Artin: principal ideal theorem proved in full (via Artin's reduction to a group-theoretic statement, completed by Furtwängler).
1936–1940, Chevalley: introduces ideles and gives a purely arithmetic (analysis-free) proof, removing reliance on $L$ -function nonvanishing for the second inequality.
1950s, Hochschild–Nakayama–Tate–Artin: cohomological reformulation via class formations, the fundamental class, and Tate's theorem; Tate's 1950 thesis recasts $L$ -functions idelically.
1965–1968, Lubin–Tate: explicit local class field theory via formal groups, giving generators of local abelian extensions; Iwasawa develops $Z_{p}$ -extensions, opening Iwasawa theory.
1967–, Langlands: non-abelian generalization conjectured, recasting CFT as the $GL_{1}$ case of a vast reciprocity.

Subtleties & Limits

Hilbert's 12th problem (explicit class fields): Beyond

Q

(Kronecker–Weber, roots of unity) and imaginary quadratic fields (CM, singular moduli), there is no known explicit description of generators of

K^{ab}

for a general number field. Stark's conjectures predict that special values

L^{'} (0, χ)

of Artin

L

-functions yield "Stark units" generating abelian extensions — proven only in special cases (rank-one abelian over

Q

, some real quadratic data). Non-abelian reciprocity: CFT stops at

GL_{1}

. The Langlands program conjectures a correspondence between

n

-dimensional Galois representations and automorphic representations of

GL_{n}

, generalizing

θ

. Vast portions remain open; even Artin's holomorphy conjecture (that non-trivial Artin

L

-functions are entire) is unproven in general, following only in cases where modularity / functoriality is established. Function-field vs number-field asymmetry: function-field CFT is more "geometric" (covers of curves), and the analogous Langlands correspondence is fully proven (Drinfeld for

GL_{2}

, L. Lafforgue for

GL_{n}

), whereas the number-field case remains largely conjectural — a striking unresolved analogy.