Local Fields and Ramification Theory

A local field $K$ is a field complete with respect to a discrete valuation $v$ whose residue field $k={\mathcal{O}}_K/\mathfrak{m}$ is finite (the standard convention; some authors allow perfect residue fields). Examples are the $p$-adic fields ${\mathbb{Q}}_p$, their finite extensions, and the Laurent series fields ${\mathbb{F}}_q((t))$. Such fields matter because arithmetic globalizes: a number field $F$ embeds into all its completions $F_v$, and many number-theoretic problems (splitting of primes, Galois representations, $L$-functions) decompose into local questions that are far more tractable. The surprising fact is that the Galois group of a local field is almost explicitly known — its tame quotient is metabelian and its abelianization is computed by local class field theory via the norm residue isomorphism $K^{\times }\cong \mathrm{Gal}(K^{ab}/K{)}^{\wedge }$ — and the entire structure is controlled by a single decreasing filtration of ramification groups.

The Core Insight

Extensions of local fields are governed by one invariant filtration. Given a finite Galois extension $L/K$ with group $G$, the ramification filtration $G=G_{-1}\supseteq G_0\supseteq G_1\supseteq \cdots$ measures, for each $\sigma \in G$, how close $\sigma$ is to the identity in the $\mathfrak{m}$-adic topology. The quotient $G/G_0$ recovers the residue-field extension (unramified part), $G_0/G_1$ is cyclic of order prime to $p$ (tame part), and $G_1$ is a $p$-group (wild part). All finer arithmetic — the different exponent, the conductor, the behavior under class field theory — is read off from this single filtration via the Hasse–Arf theorem and the upper/lower numbering translation.

Formal Statement

Discrete Valuation and Local Field

A discrete valuation on a field $K$ is a surjective homomorphism $v:K^{\times }\to \mathbb{Z}$ satisfying $v(x+y)\ge \min (v(x),v(y))$, extended by $v(0)=+\infty$. The valuation ring is

A uniformizer $\pi$ is any element with $v(\pi )=1$, so $\mathfrak{m}=(\pi )$. The residue field is $k={\mathcal{O}}_K/\mathfrak{m}$. A local field is a field complete for $v$ with finite residue field $k={\mathbb{F}}_q$, $q=p^f$.

Every $x\in K^{\times }$ has a unique representation

Ramification Index and Residue Degree

Let $L/K$ be a finite extension of local fields with valuations $w\mid v$. The ramification index $e$ and residue degree $f$ are

The fundamental identity for complete fields is

The extension is unramified if $e=1$ and $\ell /k$ is separable; totally ramified if $f=1$; tamely ramified if $p\nmid e$; wildly ramified if $p\mid e$.

Structure of Finite Extensions

Let $L/K$ be a finite separable extension of local fields with residue characteristic $p$. Then there is a unique maximal unramified subextension $K\subseteq K^{nr}\subseteq L$, and:

1. $K^{nr}/K$ corresponds bijectively to the residue extension $\ell /k$; for each $f$ there is exactly one unramified extension of degree $f$, namely $K({\zeta }_{q^f-1})$, with $\mathrm{Gal}(K^{nr}/K)\cong \mathrm{Gal}(\ell /k)\cong \mathbb{Z}/f$ generated by Frobenius.
2. $L/K^{nr}$ is totally ramified.
3. (Tame extensions) A totally tamely ramified extension of degree $e$ has the form $K({\pi }^{1/e})$ for some uniformizer $\pi$, and is cyclic.

Higher Ramification Groups — Lower Numbering

Let $L/K$ be finite Galois with group $G$, ${\mathcal{O}}_L$ the valuation ring with uniformizer ${\pi }_L$ and valuation $w$ (normalized $w({\pi }_L)=1$). For a real number $i\ge -1$ define

These form a decreasing filtration $G=G_{-1}\supseteq G_0\supseteq G_1\supseteq \cdots$ with:

• $G_{-1}=G$,
• $G_0=$ the inertia group $I(L/K)$, so $G/G_0\cong \mathrm{Gal}(\ell /k)$,
• $G_1=$ the wild inertia group, the $p$-Sylow subgroup of $G_0$,
• $G_0/G_1$ is cyclic of order prime to $p$ (the tame quotient).

Quotient Embeddings and the Different

For $i\ge 0$ there are canonical injective homomorphisms

The different ${\mathfrak{d}}_{L/K}={\mathfrak{m}}_L^d$ has exponent given by

Why It Holds / Derivation

The Tame Quotient is Cyclic of Order Prime to p

The Different and Discriminant Conductor — Upper Numbering

David Hilbert | 1862–1943

Hilbert systematized ramification in his monumental Zahlbericht (1897), introducing the decomposition group, inertia group, and the higher ramification groups now bearing names like the "Hilbert ramification filtration." His program for explicit class field theory — finding generators of abelian extensions — framed the questions that local field theory would answer. Hilbert's 9th and 12th problems directly concern reciprocity laws and explicit construction of abelian extensions, both resolved (locally) through the machinery described here. He insisted on conceptual clarity over computation, and the abstract filtration approach is in his spirit, though the completion-theoretic foundations are due to Kurt Hensel (who introduced $p$-adic numbers, 1897) and the systematic local theory to Helmut Hasse and Wolfgang Krull in the 1920s–30s.

Building Intuition

Think of a uniformizer $\pi$ as a "microscope coordinate" — measuring distance to the closed point of $\mathrm{Spec}{\mathcal{O}}_K$. An element of ${\mathcal{O}}_K$ is a Taylor series in $\pi$ (literally, in ${\mathbb{F}}_q((t))$). A Galois automorphism $\sigma$ either:

• moves the residue field (changes the "constant term" structure) — this is the unramified/Frobenius part, detected by $G/G_0$;
• fixes residues but rotates $\pi$ by a root of unity $\zeta$, i.e. $\sigma (\pi )\approx \zeta \pi$ — tame ramification, detected by $G_0/G_1\hookrightarrow {\ell }^{\times }$;
• fixes residues and the leading rotation, perturbing only at higher order $\sigma (\pi )=\pi (1+a{\pi }^i+\cdots )$ — wild ramification, detected by $G_i/G_{i+1}$.

The lower numbering counts $\pi$-adic order of the perturbation ($\sigma$ sits in $G_i$ if it disturbs $\pi$ only past order $i$). The upper numbering rescales so the filtration behaves well under passing to quotients — like switching from "arc length on $L$" to "arc length on $K$." The Hasse–Arf integrality says: from the base field's viewpoint, the abelian jumps land exactly on integer ticks, which is why conductors are honest ideals.

The ramification filtration of $G = \mathrm{Gal}(L/K)$ and its quotients

Worked Examples

Ramification in $\mathbb{Q}_p(\zeta_p)/\mathbb{Q}_p$

Wild ramification in $\mathbb{Q}_2(\zeta_4)/\mathbb{Q}_2$

Common Misconceptions

Connections

Local fields sit at the crossroads of several theories:

• Local Class Field Theory establishes the local reciprocity isomorphism $K^{\times }\stackrel{\sim }{\to }W(K^{ab}/K)$ (Weil group) and translates the ramification filtration $G^v$ on the Galois side into the unit filtration $1+{\mathfrak{m}}_K^n$ on $K^{\times }$ — the conductor-discriminant dictionary.
• Global Class Field Theory assembles local data over all places via the idele class group ${\mathbb{A}}_F^{\times }/F^{\times }$; Hasse's local-global principle says global reciprocity is the "sum" of local reciprocities.
• Galois Representations and the Langlands Program: the local Langlands correspondence matches representations of $\mathrm{Gal}(\bar{K}/K)$ with those of ${\mathrm{GL}}_n(K)$, with ramification controlling conductor and depth.
• Algebraic Number Theory: the different and discriminant from [7] feed directly into the conductor-discriminant formula and the analytic theory of Dedekind Zeta Functions.
• Étale Cohomology: ramification groups are the arithmetic analogue of the monodromy/vanishing-cycle filtration in geometry; wild ramification mirrors irregular singularities of connections.

Real-World Applications

1. Cryptography — elliptic curves over local fields. The reduction type of an elliptic curve $E/{\mathbb{Q}}_p$ (good, multiplicative, additive) is determined by ramification of the field of $\ell$-torsion; Néron models and the Kodaira/Tate classification rest on ramification theory. ECC key generation and Tate's algorithm use these.
2. Tate's thesis & automorphic $L$-functions. Local zeta integrals ${\int }_{K^{\times }}f(x)|x{|}^s{d}^{\times }x$ produce the local Euler factors; ramified places contribute conductor exponents read off from the filtration $G^v$.
3. Wiles' proof of Fermat's Last Theorem. The deformation theory of Galois representations is organized by local conditions at ramified primes (Selmer conditions), directly using inertia and higher ramification.
4. Coding theory — algebraic-geometry codes. Function fields ${\mathbb{F}}_q(C)$ are global fields of characteristic $p$; their local completions ${\mathbb{F}}_q((t))$ govern the Weierstrass gap and ramification at points used in Goppa codes and Drinfeld modular curves (Garcia–Stichtenoth towers).
5. Iwasawa theory / $p$-adic $L$-functions. ${\mathbb{Z}}_p$-extensions are infinite towers controlled by ramification at $p$; the main conjecture relates wild ramification growth to analytic $p$-adic $L$-functions.
6. Perfectoid spaces & tilting. Scholze's theory exploits highly ramified ("deeply ramified") towers where the wild filtration becomes Archimedean-like; the tilting equivalence relates ${\mathbb{Q}}_p$- and ${\mathbb{F}}_p((t))$-geometry.
7. Local-global for quadratic forms. The Hasse–Minkowski theorem decides solvability of forms over $\mathbb{Q}$ by checking all completions ${\mathbb{Q}}_p$ and $\mathbb{R}$, with Hilbert symbols computed via local ramification data.

Historical Development

• 1897 — Kurt Hensel introduces the $p$-adic numbers, motivated by analogy with power series; the local viewpoint is born.
• 1897 — Hilbert's Zahlbericht codifies decomposition, inertia, and higher ramification groups for number fields; the "Hilbert filtration."
• 1910s — Hensel and Hasse develop the analytic and algebraic theory of ${\mathbb{Q}}_p$; Hensel's Lemma becomes a workhorse.
• 1920s — Emil Artin and Hasse formulate the reciprocity law; the Artin map links Galois groups to ideal class data.
• 1930 — Hasse proves the local-global (Hasse) principle for central simple algebras with Brauer and Noether; local class field theory takes shape.
• 1931 — Hasse and Arf-era work; Cahit Arf proves the Hasse–Arf theorem (1939) on integrality of abelian upper-numbering jumps.
• 1936 — Claude Chevalley introduces ideles and gives a purely local, algebraic foundation for class field theory, freeing it from analysis.
• 1950s–60s — Jean-Pierre Serre's Corps Locaux (Local Fields, 1962) gives the definitive modern treatment of the ramification filtration, Herbrand's theorem, and upper numbering.
• 1980s–2010s — Abbes–Saito extend ramification theory to imperfect residue fields and non-Galois settings; Scholze's perfectoid spaces (2012) reframe deeply ramified extensions.

Subtleties & Limits

• A clean Hasse–Arf theorem in the imperfect-residue, higher-dimensional setting is subtle; integrality results (Abbes–Saito, Saito) hold under hypotheses but a fully general statement is open.
• The relationship between wild ramification and Euler characteristics (the Grothendieck–Ogg–Shafarevich formula and its higher-dimensional generalizations via Saito's characteristic cycle and Beilinson's singular support) is an active frontier.
• For $p$-adic differential equations and the $p$-adic Langlands program, the precise dictionary between ramification slopes (Newton polygon of the Swan conductor) and irregularity of connections is still being mapped (work of Kedlaya, Xiao on Hasse–Arf in the differential setting).
• Explicit wild ramification (computing $G_i$ for a given polynomial) remains computationally hard; there is no general closed form analogous to the tame case $K({\pi }^{1/e})$.

See Also