Past exam of the mathematics course of the University of Cambridge / 2008 / iii / Paper 29 / 4

For the finite Galois extension, normalize the discrete valuation $v_L$ to have value group $\mathbb{Z}$. The inertia group isThe lower ramification numbering isThe wild inertia group is $P=G_1$, and the tame inertia quotient is $I/P$. We will prove that $P$ is a $p$-group, where $p=\mathrm{char}{k}_K$, and that $I/P$ is cyclic of order prime to $p$. Tame inertia here is a quotient, not a specified canonical subgroup complementary to $P$.

First reduce the inertia calculation to a totally ramified extension. Choose $\bar{b}$ generating the finite residue extension $k_L/k_K$. Its minimal polynomial is separable. Lift that monic polynomial to $f\in {\mathcal{O}}_K[X]$, and use Hensel lemma in ${\mathcal{O}}_L$ to obtain a root $b$ with residue $\bar{b}$. Irreducibility of the reduction implies irreducibility of $f$ over $K$, by the monic form of the Gauss lemma for polynomials over a discrete valuation ring. Thus $K_0=K(b)$ has degree $[k_L:k_K]$ and residue field $k_L$; the degree formula makes $K_0/K$ unramified. An automorphism fixes $b$ precisely when it fixes $\bar{b}$: the nontrivial direction is uniqueness in Hensel lemma. Hence $I=\mathrm{Gal}(L/K_0)$, and $L/K_0$ is totally ramified.

Use the permitted integral-generation fact ${\mathcal{O}}_L={\mathcal{O}}_{K_0}[{\pi }_L]$. Every element of $I$ fixes the coefficients in this expression. The identity $\sigma ({\pi }_L^j)-{\pi }_L^j=(\sigma {\pi }_L-{\pi }_L){\sum }_{h=0}^{j-1}(\sigma {\pi }_L{)}^h{\pi }_L^{j-1-h}$ consequently proves the uniformizer criterion for lower ramification groups:Necessity follows by testing $x={\pi }_L$, and the displayed power identity proves sufficiency for every integral polynomial in ${\pi }_L$.

Define the uniformizer character of inertiaIt is multiplicative: writing $u_{\tau }=\tau {\pi }_L/{\pi }_L$, one has $\sigma \tau {\pi }_L/{\pi }_L=\sigma (u_{\tau })(\sigma {\pi }_L/{\pi }_L)$, and $\sigma$ acts trivially on residue units. Its kernel is exactly $v_L(\sigma {\pi }_L-{\pi }_L)\ge 2$, namely $G_1$. Changing the uniformizer to $u{\pi }_L$ leaves the residue character unchanged, since $\overline{\sigma (u)/u}=1$. ThereforeEvery finite subgroup of a field's multiplicative group is cyclic: if its exponent is $m$, every element is a root of $X^m-1$, so its order is at most $m$; a finite abelian group has an element of order its exponent, constructed by multiplying elements of maximal prime-power orders, so its order is at least $m$. Equality makes it cyclic. Here $k_L^{\times }$ has order $|k_L|-1$, prime to $p$. We have proved

To verify the assertion about wild inertia as well, for $i\ge 1$ defineWrite $\sigma {\pi }_L={\pi }_L+a{\pi }_L^{i+1}$ and $\tau {\pi }_L={\pi }_L+b{\pi }_L^{i+1}$. Composition gives $\sigma \tau {\pi }_L\equiv {\pi }_L+(a+b){\pi }_L^{i+1}(\mathrm{mod}{\pi }_L^{i+2})$, because inertia fixes residues and $i\ge 1$. Thus ${\theta }_i$ is additive with kernel $G_{i+1}$. Thus positive ramification quotients are elementary abelian: each $G_i/G_{i+1}$ is a subgroup of the additive finite field, hence an elementary abelian $p$-group.

Finally the filtration terminates: a nonidentity element of $I$ cannot fix ${\pi }_L$, since it already fixes $K_0$ and ${\mathcal{O}}_L={\mathcal{O}}_{K_0}[{\pi }_L]$. Its displacement has finite valuation, and there are only finitely many automorphisms. Iterating the finite $p$-group quotients gives that $P$ is a $p$-group. It is normal in $I$ and has prime-to-$p$ quotient, so it is its unique Sylow $p$-subgroup, justifying the wild inertia terminology.

Put $K=\mathbb{C}((t))$. This is a complete discretely valued field, with valuation ring $\mathbb{C}[[t]]$ and residue field $\mathbb{C}$; its infinite residue field means it is not a locally compact local field. The finite-extension facts needed here are uniqueness of the extended valuation, completeness of the extension, and $[L:K]=ef$ for complete discretely valued fields with perfect residue field. They apply in this characteristic-zero setting.

Let $[L:K]=n$. The finite residue extension of $\mathbb{C}$ must be $\mathbb{C}$ itself, so $f=1$ and $e=n$. Normalize $v_L$ integrally and choose a uniformizer $\pi$. Since $v_L(t)=n$, write $t=u{\pi }^n$ with $u\in {\mathcal{O}}_L^{\times }$.

The residue of $u$ has an $n$th root $b_0\in {\mathbb{C}}^{\times }$. Apply Hensel lemma to $X^n-u$: its derivative at $b_0$ is the unit $n{b}_0^{n-1}$ because the residue characteristic is zero. Hence there is $v\in {\mathcal{O}}_L^{\times }$ with $v^n=u$. Setting $s=v\pi$ givesThe elements $1,s,\dots ,s^{n-1}$ are linearly independent over $K$. In a nontrivial relation ${\sum }_{i=0}^{n-1}{a}_i{s}^i=0$, the nonzero summands have valuations $n{v}_K(a_i)+i$, distinct modulo $n$, so exactly one has least valuation and cannot cancel. Since $L$ has dimension $n$, this proves $L=K(s)$.

The constants already embed $\mathbb{C}$ into ${\mathcal{O}}_L$ with residue field $\mathbb{C}$. Subtracting the residue coefficient and dividing by $s$ repeatedly, exactly as in Question 1(c), expresses every integral element uniquely as ${\sum }_{j\ge 0}{c}_j{s}^j$ with $c_j\in \mathbb{C}$. Completeness and the first-nonzero-coefficient valuation show that allowing finite negative powers givesThis proof of finite extensions of the complex Laurent series field did not need a Galois hypothesis. All $n$ distinct $n$th roots of unity lie in the constant field, and the substitutions $s\mapsto \zeta s$ preserve $s^n=t$. They give all $n$ automorphisms, so every such finite extension is cyclic Galois:

Choose compatible roots $s_n=t^{1/n}$ in an algebraic closure, first choosing them successively along the factorial-degree tower and then taking powers to define the other roots, with $s_n=s_m^{m/n}$ whenever $n\mid m$. The fields $K_n=K(s_n)$ are nested under divisibility. Every finite extension inside the closure equals one of them: its constructed root $s$ of $X^n-t$ differs from $s_n$ by a constant root of unity. Therefore their union is the entire algebraic closure. Explicitly, every algebraic element generates a finite extension, so lies in the union; any polynomial over the union has its coefficients in one finite extension, and its roots are still algebraic over $K$, hence also lie there.

For $n\mid m$, restriction of automorphisms sends ${\zeta }_m\in {\mu }_m$ to ${\zeta }_m^{m/n}\in {\mu }_n$. Using the compatible primitive roots $\exp (2\pi i/n)$, these are the reduction maps on exponent groups. Thus the absolute Galois group of the complex Laurent series field isThe inverse limit carries its profinite topology; choosing compatible roots gives the displayed identification with the profinite completion of the integers.