TANT 13 - Unramified and totally ramified extensions

Hello there! These are notes for the thirteenth class of the course "Topics in algebra and number theory" held in Block 4 of the academic year 2017/18 at the University of Copenhagen.

In the previous lecture we discussed extensions of absolute values. We have seen in particular that for every valued field (K,ϕ) and every finite, separable extension KL there exist only a finite number of absolute values ψ:LR0 which extend ϕ. Given such an absolute value ψ we have also defined the ramification index e(ψϕ) and the inertia index f(ψϕ) which measure how "close" the two absolute values are, in two different ways.

In this lecture we will concentrate on extensions of complete, discretely valued fields which are either unramified, i.e. e(ψϕ)=1 or totally ramified, i.e.f(ψϕ)=1. We will prove that all the extensions of this kind have a specific shape, which will turn out to be very handy in the future.


Unramified extensions

The main theorem about finite, unramified extensions of complete and discretely valued fields is that these extensions correspond bijectively to finite, separable extensions of the residue field. This correspondence extends moreover to field homomorphisms, and thus allows us to compute Galois groups of unramified extensions rather easily.

 Theorem 1  Let (K,ϕ) be a complete, discretely valued field. Then the map F:{(L,ψ)(K,ϕ)(L,ψ) finite and unramified}{KκϕK finite and separable}(L,ψ)κψ is a bijection which preserves inclusions of fields. Moreover, for every couple of unramified extensions (L1,ψ1) and (L2,ψ2) of (K,ϕ) we have that the induced map HomK(L1,L2)Homκϕ(κψ1,κψ2) is bijective.

 Proof  We construct first of all an inverse for the map F. Let K be a finite, separable extension of κϕ. Then, by the primitive element theorem, there exists α0K such that K=κϕ(α0) and the minimal polynomial fα0(x)κϕ[x] is separable. Let f(x)Aϕ[x] be any monic lift of fα0(x). Then f(x) is irreducible by Hensel's lemma (see Definition 2 and Theorem 5 of the eleventh lecture) and thus L:=K[x]/(f(x)) is a field. Since (K,ϕ) is complete we have a unique extension of ψ to L, which we will call ψ (see Theorem 1 of the previous lecture). Since fα0(x) is separable and irreducible we have that fα0(α0)0 and thus we can apply again Hensel's lemma to find αAψ such that f(α)=0 and ¯α=α0. This implies that L=K(α) and that the residue field of L is equal to K and thus that [L:K]=deg(f)=[K:κϕ]=f(ψ:ϕ). Since (K,ϕ) is complete we have that [L:K]=e(ψ:ϕ)f(ψ:ϕ)=f(ψ:ϕ), i.e. the extension (K,ϕ)(L,ψ) is unramified. Thus we defined a map G which associates to every finite, separable extension of κϕ a finite and unramified extension of (K,ϕ), and we have seen that FG is the identity map (the residue field of G(K) is indeed K).

Let now (K,ϕ)(E,ξ) be another finite, unramified extension and suppose that κξ=K. Then we have that LE because the polynomial f(x), which is the minimal polynomial of α over K, has a simple zero in κξ and thus this simple zero can be lifted to a zero βE of f(x). But then we have that α=β by the uniqueness property of Hensel's lemma, and this implies indeed that L=K(α)E. Since by assumption (K,ϕ)(E,ξ) is unramified we have that [E:K]=[K:κϕ]=[L:K] which implies that L=E. Thus we have proved that there exists a unique finite, unramified extension of (K,ϕ) whose residue field equals K. This shows in particular that GF is the identity map, and thus that every finite, unramified extension of (K,ϕ) is separable.

Finally, the bijection on homomorphisms can again be deduced using Hensel's lemma. Indeed let (L1,ψ1) and (L2,ψ2) be two finite, unramified extensions of (K,ϕ) and let σ:κψ1κψ2 be a homeomorphism of fields which fixes κϕ. Since we know that κϕκψ1 is separable we can write κψ1=κϕ(α0) and we have that σ(α0)=:β0 is a simple root of the minimal polynomial fα0(x)κϕ[x]. Thus we can lift α0 to αL1 and we have that L1=K(α) and we can lift β0 to βL2. Thus we can define a map of fields ˜σ:L1L2 which fixes K simply by setting ˜σ(α)=β, and it is clear that this is a lift of σ. Moreover, this lift is unique by the uniqueness property of Hensel's lemma. Q.E.D.

This implies (by taking L1=L2=:L in the previous theorem) that for every finite, unramified extension (K,ϕ)(L,ψ) (with (K,ϕ) complete and discretely valued) we have that AutK(L)Autκϕ(κψ) and thus KL is Galois if and only if κϕκψ is Galois and they have isomorphic Galois groups. This can be used to prove a nice characterization of finite, unramified extensions of non-Archimedean local fields, i.e. non-Archimedean complete fields whose residue field is finite.

 Corollary 2  Let (K,ϕ) be a non-Archimedean, local field. Then for every nN1 there exists a unique finite unramified extension KKn of degree n. Moreover Kn=K(ζ) is a cyclic extension generated by a root of unity of order qn1, where qN is the order of κϕ.

 Proof  Since K is local we know that κϕ is finite (see Theorem 14 of the ninth lecture) and thus we know that for every nN there exists a unique finite extension κϕKn of degree n. Moreover, this extension is Galois and Gal(K/κϕ)Z/nZ. Finally, if q:=#κϕ we have that K=κϕ(ζ0) with ζqn10=1. Thus if p is the characteristic of κϕ we have that q=pr for some rN1 and the minimal polynomial of ζ0 is a factor of the reduction of the cyclotomic polynomial Φqn1(x)Z[x] modulo p, which is separable because qn1 is coprime to p (see this note of Keith Conrad for a proof of all these results).

Using what we have written in the previous paragraph we know from Theorem 1 that K has a unique finite unramified extension KKn and we have that Gal(Kn/K)Z/nZ. Moreover, we can use Hensel's lemma to see that the minimal polynomial of ζ0 lifts to a polynomial f(x)K[x] which is a factor of Φqn1(x)Z[x]K[x]. Finally we know that Kn=K(ζ), where ζ is a lift of ζ0, and thus its an m-th root of unity in K. Q.E.D.

Totally ramified extensions


We have seen in the previous section that unramified extensions of a complete non-Archimedean field correspond bijectively to separable extensions of its residue field. In this section we will deal with totally ramified extensions, i.e. extensions where the residue field does not change. We will prove in particular that they are all simple, and generated by roots of a special kind of polynomials, called Eisenstein polynomials.

 Definition 3  Let R be a ring and IR be an ideal. We say that a polynomial f(x)=nj=0ajxjA[x] is Eisenstein with respect to I if a0,,an1I, anI and a0I2. If (K,ϕ) is a non-Archimedean valued field we say that a polynomial f(x)Aϕ[x] is an Eisenstein polynomial if it is Eisenstein with respect to mϕ.

Eisenstein polynomials are nice because they give origin to totally ramified extensions, as we will see in Lemma 4. Moreover, every totally ramified extension is generated by a root of an Eisenstein polynomial, as we will see in Theorem 6.

 Lemma 4  Let (K,ϕ) be a complete, non-Archimedean field and let f(x)Aϕ[x] be an Eisenstein polynomial. Then f(x)K[x] is irreducible and the field extension KK[x]/(f(x)) is totally ramified.

 Proof  Let's prove first of all that f(x) is irreducible. Suppose that f(x)=g(x)h(x) for two non-constant polynomials g(x),h(x)K[x]. Then we can apply Gauss' lemma (see the following Exercise 5) to see that g(x),h(x)Aϕ[x]. Thus we have that ¯f(x)=¯g(x)¯h(x)κϕ[x] and by assumption we have that ¯f(x)=¯anxn if f(x)=nj=0ajxj. Since κϕ is a field this implies that ¯g(x) and ¯h(x) are monomials in x, and thus that the constant coefficients of g(x) and h(x) are in mϕ. This implies that a0m2ϕ which contradicts the fact that f(x) is Eisenstein.

We can now prove very easily that L:=K[x]/(f(x)) is a totally ramified extension of K. Indeed we can apply Theorem 1 of the previous lecture to define an absolute value ψ:LR0 which extends ϕ. We know now that κψκϕ[x]/(g(x)) where g(x) is a monic irreducible factor of ¯f(x). However, we know also from the previous paragraph that ¯f(x) is a monomial in x, which implies that g(x)=x and thus that κψ=κϕ and f(ψϕ)=1. Hence, the extension KL is totally ramified, which is what we wanted to prove. Q.E.D.

 Exercise 5  Let (K,ϕ) be a valued field, and let f(x),g(x)K[x] be two monic polynomials. Prove that if f(x)g(x)Aϕ[x] then f(x)Aϕ[x] and g(x)Aϕ[x].

 Theorem 6  Let (K,ϕ)(L,ψ) be a finite, totally ramified extension of non-Archimedean, complete and discretely valued fields. Then L=K(πL), where πLL is any uniformizer and the minimal polynomial of πL is an Eisenstein polynomial. Moreover, if this extension is tamely ramified we can find a uniformizer πKK such that L=K(eπK), where e=[L:K].

 Proof  By definition of πL we have that ϕ(L×)=ϕ(πL)Z, which implies that e(K(πL)K)=e(LK)=[L:K]. Moreover, we know that [K(πL):K]=e(K(πL)K)f(K(πL)K) because everything is complete, and thus we have that e(K(πL)K)=[L:K]=[K(πL):K] and f(K(πL)K)=1 which implies that L=K(πL) is a totally ramified extension.

Let now f(x)K[x] be the minimal polynomial of πL and let ELK be the splitting field of f(x). Let moreover α1,,αnE be the roots of f(x). Then we know that αj=σj(πL) for some σjGal(E/K). Thus we can apply Exercise 7 to see that ξ(α)=ξ(πL)<1 where ξ:ER0 is the unique absolute value which extends ψ (and thus ϕ). Hence if e=[L:K] and f(x)=ej=0ajxj we can use Viète's formulas aek=(1)kae1i1<i2<<ikeαi1αi2αik to see that ϕ(aek)=ξ(aek)<1 for all k{1,,e}. Moreover we have that a0=(1)eNL/K(πL) which implies that ϕ(a0)=ψ(πL)e and thus that mϕ=a0Aϕ. This implies that a0m2ϕ and thus that f(x) is an Eisenstein polynomial.

Let now πKK be any uniformizer and observe that πeL=uπK for some unit uA×L. Since KL is totally ramified we have that κψ=κϕ and thus there exists vA×K with ¯v=¯u. Let now β:=vπK/πeLAL and consider the polynomial g(x):=xeβL[x]. Since ¯β=1κψ we have that g(x) has a root in κψ. Suppose now that KL is tamely ramified, i.e. that the characteristic of κϕ does not divide e=e(LK)=[L:K]. Then the derivative g(x)=exe1 does not vanish in ¯β=1 and thus we can apply Hensel's lemma (see Theorem 5 of the eleventh lecture) to find γA×L with g(γ)=0. Thus we have that L=K(πL)=K(γπL)=K(evπK) and thus we can take πK:=vπK to be the new uniformizer such that L=K(eπK). Q.E.D.

p-adic fields

We have seen in the previous paragraphs that unramified extensions of a complete, discretely valued field can be classified by the extensions of its residue field, and that totally ramified extensions are obtained by adjoining roots of Eisenstein polynomials.
What about general extensions? Well, it turns out that they can be easily split into unramified and totally ramified extensions!

 Lemma 7  Let (K,ϕ)(L,ψ) be an extension of complete, discretely valued fields, and suppose that the extension κϕκψ is separable. Then there exists a unique sub-extension (K,ϕ)(T,ξ)(L,ψ) such that (K,ϕ)(T,ξ) is unramified and (T,ξ)(L,ψ) is totally ramified.

 Proof  We know by Theorem 1 that there exists a finite, unramified extension (K,ϕ)(T,ξ) which corresponds to the separable extension of residue fields κϕκψ. From the proof of the theorem we see that T=K(α) where α is a root of a lift of the minimal polynomial of the primitive element generating the extension κϕκψ. Thus (T,ξ)(L,ψ), and this extension is clearly totally ramified because κξ=κψ. Q.E.D.

We call the valued field (T,ξ) that we found in the previous lemma the inertia field of an extension (K,ϕ)(L,ψ).
This has an important corollary about finite extensions of the field Qp of p-adic numbers, which are called p-adic fields.

 Definition 8  A p-adic field K is a finite extension of Qp. We will denote by OK and pK respectively the closed and open unit balls relative to the unique extension of the p-adic absolute value from Qp to K.

 Corollary 9  Let (K,ϕ) be a non-Archimedean local field and dN1. Then K has only finitely many extensions of degree d, up to isomorphism. In particular, there exist only finitely many p-adic fields of a given degree.

 Proof  Let nN1 and consider the map C:=(n1)timesmϕ××mϕ×(mϕm2ϕ) which is a compact metric space when considered with any product metric. Then the map φ:CK[x](an1,,a1,a0)xn+n1j=0ajxj is a bijection between C and the subset of Eisenstein polynomials in K[x].

The key fact here is that for every vC there exists εR>0 such that if wBε(v) then K[x]/(φ(v)(x))K[x]/(φ(w)(x)). This is a consequence of Krasner's lemma (see Exercise 10 and Exercise 11). Since C is compact we can cover it by a finite number of these balls, and this means that the splitting fields of Eisenstein polynomials with coefficients in K are only a finite number (up to isomorphism).

Let now L be any extension of K of degree d. Lemma 7 tells us that there exists TL such that KT is unramified and TL is totally ramified. But then we have only a finite number of possibilities for T by Corollary 2, and (when we fix T) we have only a finite number of possibilities for L because it is defined by an Eisenstein polynomial with coefficients in T. Thus, we have only a finite number of possibilities for L, up to isomorphism. Q.E.D.

 Exercise 10   Let (K,ϕ)(L,ψ) be a Galois extension of non-Archimedean valued fields, and suppose that (K,ϕ) is complete. Let α,βL and suppose that ψ(αβ)<ψ(ασ(α)) for all σGal(L/K) such that σ(α)α. Prove that:
  1.  ψ(σ(α)β)=ψ(αβ) for all σGal(L/K) such that σ(β)=β. To do so use the fact that ψ and ψσ both define two absolute values on K(α,β) which is a finite extension of the complete field (K,ϕ);
  2. ψ(σ(α)α)ψ(αβ) for all σGal(L/K) such that σ(β)=β. To do so use that ψ is non-Archimedean;
  3. K(α)K(β) using the fact that KL is a Galois extension.
 Exercise 11   Let (K,ϕ) be a non-Archimedean, complete valued field and let nN. Consider the map  φ:KnK[x](an1,,a1,a0)xn+n1j=0ajxj and consider Kn as a metric space with any product metric. Let moreover vKn with φ(v) irreducible. Prove that there exists εR>0 such that for every wBε(v) we have that φ(w) is irreducible and K[x]/(φ(v)(x))K[x]/(φ(w)(x)). (Hint: take E to be the Galois closure of the splitting field of φ(v)(x) and φ(w)(x) and apply the previous exercise to the extension KE ).

Conclusions and references

In this lecture we managed to:
  • prove a bijective correspondence between finite, unramified extensions of a complete, discretely valued field and finite, separable extensions of its residue field;
  • prove that every finite, totally ramified extension of a complete, discretely valued field is generated by a root of an Eisenstein polynomial;
  • prove that every local field has only finitely many extensions of a given degree.
References for this lecture include:

Comments

Popular posts from this blog

A (not quite) perfect(oid) talk

TANT 1 - An introduction to p-adic numbers (and much more)

TANT 2 - Absolute values