Local Class Field Theory

From Global Arithmetic to Local Arithmetic

Global class field theory studies finite abelian extensions of number fields such as

Its central result is that abelian Galois groups are controlled by arithmetic objects built from ideals and ideles.

Local class field theory develops the corresponding theory for local fields:

and finite extensions of $\mathbb{Q}_p$.

The local theory is both simpler and deeper. Simpler because local fields possess only one prime. Deeper because ramification and local topology become highly visible.

Local class field theory describes all finite abelian extensions of a local field in terms of its multiplicative group.

Local Fields

A local field is a field complete with respect to a discrete valuation and possessing finite residue field.

The fundamental examples are:

and finite extensions of $\mathbb{Q}_p$.

For a local field $K$:

• the ring of integers is

• the maximal ideal is

• the residue field is

Every nonzero element $x\in K$ admits a decomposition

where:

• $\pi$ is a uniformizer;
• $n\in\mathbb{Z}$;
• $u\in\mathcal{O}_K^\times$ is a unit.

Thus

This multiplicative structure becomes the arithmetic object controlling abelian extensions.

Abelian Extensions of Local Fields

Let

be a finite abelian extension of local fields.

The Galois group

reflects ramification and residue field behavior.

Unramified extensions correspond to extensions of residue fields. Totally ramified extensions correspond to extensions generated by roots of uniformizers.

The remarkable fact is that all finite abelian extensions arise from multiplicative arithmetic inside

This correspondence is encoded by the local reciprocity map.

The Local Reciprocity Map

The central theorem of local class field theory is the existence of a canonical homomorphism

where

is the maximal abelian extension of $K$.

This map satisfies several fundamental properties:

1. it is continuous;
2. it is surjective;
3. its kernel determines finite abelian extensions.

For every finite abelian extension

the reciprocity map induces an isomorphism

Thus the multiplicative structure of $K$ completely determines its abelian extensions.

This theorem is the local analogue of global Artin reciprocity.

Unramified Extensions

The simplest extensions are unramified extensions.

Suppose the residue field of $K$ has size

For every positive integer $n$, there exists a unique unramified extension of degree $n$.

Its residue field has size

The Galois group is cyclic:

The Frobenius automorphism generates the group:

Under the reciprocity map, a uniformizer

maps to the Frobenius automorphism.

Thus uniformizers control unramified arithmetic.

Totally Ramified Extensions

An extension is totally ramified if its residue field remains unchanged.

In this case, the arithmetic complexity appears entirely in the valuation structure.

For example, adjoining roots of a uniformizer often produces totally ramified extensions:

Units play a dominant role in describing these extensions.

Higher unit groups encode increasingly refined ramification information.

Thus local class field theory decomposes naturally into:

• unramified behavior controlled by valuations;
• ramified behavior controlled by units.

Norm Groups

Norm maps are fundamental in local class field theory.

For an extension

the norm is

The subgroup

determines the extension completely.

Indeed, finite-index open subgroups of

correspond precisely to finite abelian extensions.

This correspondence transforms extension theory into topological group theory.

Ramification Filtration

Local fields allow precise measurement of ramification.

The Galois group of a finite extension possesses a descending filtration:

where:

• $G_0$ is the inertia group;
• higher groups measure deeper ramification.

This filtration captures how automorphisms act modulo increasingly high powers of the maximal ideal.

Ramification groups are central in modern arithmetic geometry and Galois representation theory.

Lubin-Tate Theory

One of the deepest explicit constructions in local class field theory is Lubin-Tate theory.

Cyclotomic extensions describe abelian extensions of $\mathbb{Q}_p$, but general local fields require more sophisticated constructions.

Lubin-Tate formal groups generate all abelian extensions of a local field explicitly.

This theory generalizes the role of roots of unity in cyclotomic theory.

It provides an explicit realization of the reciprocity map.

Compatibility with Global Theory

Local reciprocity maps fit together to produce global reciprocity.

For a number field $K$, each completion

possesses its own local reciprocity map.

The global Artin map is assembled from all local maps simultaneously.

Thus global class field theory is fundamentally built from local class field theory.

This local-to-global construction reflects a recurring principle of modern arithmetic.

Cohomological Interpretation

Modern formulations of local class field theory use Galois cohomology.

The reciprocity map becomes related to:

• Hilbert’s Theorem 90;
• Tate cohomology;
• duality pairings.

The multiplicative group

appears as a cohomological invariant controlling abelian extensions.

This viewpoint connects class field theory with algebraic geometry and representation theory.

Local Langlands Philosophy

Local class field theory may be viewed as the first case of the Langlands correspondence.

The reciprocity map identifies:

• one-dimensional representations of

with

• one-dimensional Galois representations of

The local Langlands program generalizes this correspondence from one-dimensional representations to higher-dimensional representations of reductive groups.

Thus local class field theory forms the foundation of modern arithmetic representation theory.

Importance in Modern Number Theory

Local class field theory is indispensable throughout arithmetic.

It appears in:

• ramification theory;
• Galois representations;
• automorphic forms;
• Iwasawa theory;
• arithmetic geometry;
• the Langlands program.

The theory provides the complete description of abelian extensions of local fields and serves as the local building block for much of modern number theory.

In this sense, local class field theory represents one of the clearest and most elegant correspondences between arithmetic and symmetry ever discovered.