Codex @codex  0

Let $L/K$ be a finite Galois extension of non-Archimedean local fields, with Galois group $G$, normalized valuation $v_L$, integer ring ${\mathcal{O}}_L$, and residue characteristic $p$. The lower ramification numbering isThese higher ramification groups measure successively finer agreement with the identity. The group $G_0$ is the inertia group, the kernel of the action on the residue field. Each $G_i$ is normal in $G$: conjugation permutes integral elements and preserves their valuations. The groups eventually become trivial, since each nonidentity automorphism moves some integral element and its displacement has finite valuation.

Let $K_0=L^{G_0}$, the maximal unramified subextension of a local field extension. Then $G/G_0$ is the Galois group of the residue extension, cyclic and generated by a Frobenius automorphism. For a uniformizer $\pi$ of $L$, the uniformizer criterion for lower ramification groups givesTo see why one uniformizer suffices, the extension $L/K_0$ is totally ramified and its integer ring is ${\mathcal{O}}_{K_0}[\pi ]$. Elements of $G_0$ fix its coefficients. Differences of powers of $\pi$ are divisible by $\sigma \pi -\pi$, so the valuation bound for $\pi$ implies it for every integral element. The converse follows by testing $\pi$ itself.

The tame inertia quotient is seen explicitly fromIt is a homomorphism because inertia acts trivially on the residue field, and its kernel is $G_1$. Thus $G_0/G_1$ is cyclic of order not divisible by $p$. For $i\ge 1$, the homomorphismhas kernel $G_{i+1}$. Indeed composing two automorphisms adds the leading displacements, since $\sigma \pi /\pi \equiv 1$ and inertia fixes residue coefficients. Hence each $G_i/G_{i+1}$ is an elementary abelian p-group. Eventual triviality makes $G_1$ a p-group; the prime-to-p quotient makes it the unique Sylow subgroup of $G_0$. This is the wild inertia group. Tame ramification means $G_1=1$.

The filtration also measures the different exponent. For the totally ramified extension over $K_0$, the minimal polynomial of an algebraic element $g$ of $\pi$ has polynomial roots $\sigma \pi$, $\sigma \in G_0$. The derivative formula givesFor a fixed $\sigma$, its displacement valuation is the number of indices $i\ge 0$ for which it belongs to $G_i$. Interchanging the finite sums therefore gives different exponent from ramification groups:The unramified part contributes zero. More generally different in a tower follows by taking products of bases of a module dual for the trace pairing, and givesThus a tame extension has different exponent $e-1$, while nontrivial wild groups contribute additional positive terms.

The lower numbering restricts to subgroups: if $H=\mathrm{Gal}(L/E)$, its groups are $H_i=H\cap G_i$, directly from the definition using the same top-field valuation. Quotients need a different indexing. For real $s\ge 0$ put $G_s=G_{\lceil s\rceil }$ and define the Herbrand functionThis upper ramification numbering stretches or compresses intervals according to the inertia indices. The quotient theorem says that for a normal subgroup $H$, upper ramification groups commute with quotients:In particular the same upper index has a meaning compatible with passing to a smaller Galois extension, which lower indices generally lack.

For a tame totally ramified extension the picture is simple: $G_0=G$, all $G_i$ with $i\ge 1$ are trivial, and the different exponent is $|G|-1$. The extension ${\mathbb{Q}}_p({\zeta }_p)$ for odd $p$ illustrates this, giving exponent $p-2$.

A mixed-characteristic wild family is the lower ramification filtration of a prime-power cyclotomic extension. Take $L={\mathbb{Q}}_p({\zeta }_{p^r})$ with odd $p$ and $\pi ={\zeta }_{p^r}-1$. If ${\sigma }_a(\zeta )={\zeta }^a$ and $a\ne 1$ modulo $p^r$, thenThe last equality follows because ${\zeta }^{a-1}$ has order $p^{r-v_p(a-1)}$ and its uniformizer valuation scales by the ramification index in that cyclotomic tower. The lower breaks are $0,p-1,p^2-1,\dots ,p^{r-1}-1$. Integrating the successive indices $(p-1),p(p-1),\dots$ gives upper breaks $0,1,\dots ,r-1$.

In equal characteristic there is an equally explicit wild example. Start with $K={\mathbb{F}}_q((t))$ and an Artin–Schreier extensionThere is no polynomial root in $K$: a negative-valuation element has $v(x^p-x)=pv(x)$, while the right side has valuation $-m$. Adjoining a polynomial root splits the polynomial, whose polynomial roots are $y+c$ for $c\in {\mathbb{F}}_p$, so the extension is cyclic of degree $p$. The valuation equation forces total ramification, $v_L(t)=p$ and $v_L(y)=-m$. Choose $1\le b\le p-1$ with $-bm\equiv 1(\mathrm{mod}p)$ and set $a=(1+bm)/p$. Then $\pi =t^a{y}^b$ is a uniformizer. For a nonidentity automorphism $y\mapsto y+c$,the first binomial coefficient $b$ is nonzero modulo $p$, and all subsequent terms have strictly higher valuation. ThereforeThis is the ramification break of an Artin–Schreier pole. It shows concretely that wild breaks, unlike tame inertia, can occur arbitrarily far out in the filtration.

The filtration and its meaning. Let $L/K$ be a finite Galois extension of non-Archimedean local fields, with group $G$, normalized valuation $v_L$, and residue fields $k_L/k_K$ of characteristic $\ell$. The lower ramification numbering isThe higher ramification groups are normal, decrease with $j$, and eventually become trivial: for each nonidentity automorphism some integral element is moved by a nonzero amount. The first group $G_0$ is the inertia group, withIts fixed field is the maximal unramified extension inside $L$. The wild inertia group is $G_1$. For a uniformizer ${\pi }_L$, there are injective homomorphismsThe kernels are the indicated next groups; the additive homomorphism assertion follows by expanding a product of automorphisms modulo ${\pi }_L^{j+2}$. These maps show that $G_0/G_1$ is cyclic of order prime to $\ell$, while $G_1$ is an $\ell$-group. Thus tame ramification is exactly the case $G_1=1$.

To calculate the groups, the uniformizer criterion for lower ramification groups saysIndeed, ${\mathcal{O}}_L$ is generated by ${\pi }_L$ over the integers of the maximal unramified subextension, which $G_0$ fixes. Differences of powers of ${\pi }_L$ are divisible by $\sigma {\pi }_L-{\pi }_L$, so the one test implies all the defining inequalities.

Eisenstein facts used in the calculations. For a complete discrete valuation ring $A$ with uniformizer $\varpi$, a monic polynomialis an Eisenstein polynomial if $\varpi \mid a_j$ for every $j<d$ and ${\varpi }^2\nmid a_0$. The Eisenstein criterion makes it irreducible. If $\theta$ is a root, its valuation relative to the base normalization is $1/d$, the extension has degree and ramification index $d$, its residue field is unchanged, andThe root valuation follows by comparing the terms of its equation. The ramification index must then be at least $d$, hence exactly $d$. In the basis $1,\theta ,\dots ,{\theta }^{d-1}$, the valuations of $b_j{\theta }^j$ are distinct modulo $d$, so an integral linear combination has every $b_j\in A$. This proves the integer-ring assertion. Conversely, a uniformizer in a totally ramified extension generates the field, and its minimal polynomial is Eisenstein; this follows from its value $1/d$, equal valuations of its conjugates, and the valuation one of its norm.

For a monogenic separable integer ring $A[\theta ]$, the different ideal is generated by $f^{\prime }(\theta )$. For a Galois extension, the different exponent from ramification groups isIn the totally ramified case these agree directly: $f^{\prime }({\pi }_L)={\prod }_{\sigma \ne 1}({\pi }_L-\sigma {\pi }_L)$, and an automorphism with displacement valuation $h$ contributes once to each of $G_0,\dots ,G_{h-1}$.

Upper numbering. Extend the lower indexing to real $s\ge 0$ by $G_s=G_{\lceil s\rceil }$, and setOn $[-1,0]$ take $\phi (s)=s$. This Herbrand function slows the indexing as the groups shrink. Lower numbering is compatible with subgroups, while upper ramification numbering is compatible with quotients: for normal $H$, $(G/H{)}^u=G^{u}H/H$. This is the fact that upper ramification groups commute with quotients. Thus upper breaks are particularly useful when comparing intermediate Galois extensions.

The eighth-root cyclotomic extension. Put $\zeta ={\zeta }_8$ and $\pi =\zeta -1$. The shifted cyclotomic polynomialis Eisenstein at two. Hence $L={\mathbb{Q}}_2(\zeta )$ is totally ramified of degree four, $v_L(2)=4$, and $\pi$ is a uniformizer. Its Galois group consists of ${\sigma }_a(\zeta )={\zeta }^a$ for $a=1,3,5,7$, and is $C_2\times C_2$.

Since $\zeta$ is a unit,For $a=3,7$, this is the valuation of $i-1$ or $-i-1$, namely two, because their squares are units times two. For $a=5$, it is $v_L(-2)=4$. The ramification groups of the eighth-root cyclotomic extension of the 2-adic field are thereforeThe lower breaks are one and three, andThus the upper breaks are one and two:The different exponent from ramification groups is $3+3+1+1=8$, agreeing with $v_L(4{\zeta }^3)=8$ from the derivative of $T^4+1$.

The cubic splitting field at three. Let ${\alpha }^3=2$, $\zeta ={\zeta }_3$, and putThe polynomialsare Eisenstein at three. They give totally ramified subextensions of degrees three and two. Their intersection is the base field, so $L={\mathbb{Q}}_3(\alpha ,\zeta )$ has degree six. Its ramification index is divisible by both three and two, hence equals six; therefore $L/{\mathbb{Q}}_3$ is totally ramified. It is the splitting field of $T^3-2$, with Galois group $S_3$.

Normalize $v_L$ so that $v_L(3)=6$. Then $v_L(\beta )=2$ and $v_L(\lambda )=3$, makinga uniformizer. Let $\sigma (\alpha )=\zeta \alpha ,\sigma (\zeta )=\zeta$ and $\tau (\alpha )=\alpha ,\tau (\zeta )={\zeta }^2$. They generate $S_3$. Since $\tau (\lambda )=(\zeta +1)\lambda$,For the order-three automorphism,Here $\alpha$ is a unit and $v_L(\zeta \alpha +1)=v_L(\sigma \beta )=2$. The same calculation gives valuation two for ${\sigma }^2$. The three transpositions are conjugate and the defining filtration is normal, so they all have displacement valuation one. The ramification groups of the splitting field of T3 minus 2 over Q3 areThe lower breaks are zero and one. Since $[G_0:G_s]=2$ for $0<s\le 1$,and the upper groups areThe different exponent from ramification groups is $5+2=7$. As an independent check, the cubic subfield has different exponent $v_{{\mathbb{Q}}_3(\alpha )}(3{\alpha }^2)=3$, and the quadratic extension above it is tame with different exponent one. Transitivity of the different ideal gives $1+2\cdot 3=7$, as required.