TANT 14 - Galois extensions of complete, valued fields

Hello there! These are notes for the fourteenth 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 have seen how every extension (K,ϕ)(L,ψ) of complete, non-Archimedean, discretely valued fields can be split into an unramified and a totally ramified extension. We have seen moreover that unramified extensions correspond bijectively to separable extensions of the residue field and totally ramified extensions correspond to Eisenstein polynomials.

In this lecture we will see how the presence of the absolute values allows us to define a filtration on the Galois group of any Galois extension (K,ϕ)(L,ψ) of complete, non-Archimedean, discretely valued fields. This filtration will be really useful in the following lectures, to prove the theorem of Kronecker and Weber.


The ramification filtration

Let (K,ϕ) be a complete, discretely valued field, and let KL be an algebraic extension. Then there exists a unique absolute value ψ:LR0 which extends ϕ. Indeed we can use Theorem 1 of the twelfth lecture to extend ϕ to every Galois sub-extension KEL such that KE is finite, and then we can recall from Galois theory that L=limKEL[E:K]<+E and thus all these extensions "glue together" to a unique absolute value on L. Observe moreover that if KL is finite then (L,ψ) is also discretely valued.

 Definition 1  Let (K,ϕ)(L,ψ) be a finite, Galois extension of complete, discretely valued fields, and let πLL be a uniformizer. Then we define the ramification filtration Gn+1(L/K)Gn(L/K)G0(L/K)G1(L/K)=Gal(L/K) by setting Gn(L/K):={σGal(L/K)ψ(xσ(x))ψ(πL)n+1 for all xAψ}. We call I(L/K):=G0(L/K) the inertia group of the extension KL and Iw(L/K):=G1(L/K) the wild inertia group of KL.

 Theorem 2  Let (K,ϕ)(L,ψ) be a finite, Galois extension of complete, discretely valued fields and suppose that κϕκψ is separable. Then κϕκψ is also Galois and there is a surjective map ρ:Gal(L/K)Gal(κψ/κϕ). Moreover, ker(ρ)=I(L/K) and LI(L/K) is the inertia field of the extension (K,ϕ)(L,ψ).

 Proof  Let σGal(L/K) and observe that ψ(σ(α))=ψ(α) for every αL (see Exercise 3). Thus σ(Aψ)Aψ and σ(mψ)mψ, which implies that σ induces an automorphism ¯σAutκϕ(κψ). Thus if we set ρ(σ):=¯σ we get a map ρ:Gal(L/K)Autκϕ(κψ). Observe that ρ(σ)=Idκψ if and only if σ(α)mψ for every αAψ, and this is true if and only if σI(L/K). Thus, ker(ρ)=I(L/K).

We can prove at once that ρ is surjective and that κϕκψ is Galois if we prove that κϕ is the fixed field of ρ(Gal(L/K))Autκϕ(κψ). Clearly κϕκρ(Gal(L/K))ψ.

Let now αAψ be such that ¯ακρ(Gal(L/K))ψ. Suppose first of all that κϕ (and thus κψ ) have characteristic zero, and let β:=1[L:K]σGal(L/K)σ(α)LGal(L/K)=K be the Galois-invariant element obtained by averaging over all the elements of the Galois group. Since κϕ has characteristic zero we have that βAψK=Aϕ and that ¯β=¯ακϕ because by hypothesis ¯ακρ(Gal(L/K))ψ. Thus κρ(Gal(L/K))ψ=κϕ as we wanted to prove.

If the residue field κϕ has positive characteristic p>0 the proof proceeds along the same lines, but we need to be slightly more careful. In particular, let SGal(L/K) be a p-Sylow subgroup, and let ΓG be a set of left coset representatives for S. Then we can define β:=1#ΓσΓσ(τSτ(α))LGal(L/K)=K in a way similar to what we did in the previous paragraph. Observe now that since p[Gal(L/K):S]=#Γ we have that βAψK=Aϕ because ZpZA×ϕ as the characteristic of κϕ is p. Observe now that ¯β:=1#Γ¯σρ(Γ)¯σ(¯τρ(S)¯τ(¯α))=1#Γ¯σρ(Γ)¯σ(¯α#S)=1#Γ¯σρ(Γ)¯α#S=¯α#Sκϕ and since the extension κϕκψ is separable this implies that ¯ακϕ because #S=pr is a power of p and the polynomial xpr¯βκϕ[x] is not separable. This shows that κρ(Gal(L/K))ψ=κϕ and concludes the proof of the fact that ρ is surjective and κϕκψ is Galois.

To conclude let T:=Lker(ρ)=LI(L/K) and let ξ be the unique absolute value induced on it. What we have proved shows that [T:K]=[Gal(L/K):I(L/K)]=#Gal(κψ/κϕ)=[κψ:κϕ] hence [T:K]=[κξ:κϕ]. Thus the extension KT is unramified, and given the uniqueness proved in Lemma 7 of the previous lecture we have that T is the inertia field of the extension (K,ϕ)(L,ψ).  Q.E.D.

 Exercise 3  Let (K,ϕ) be a valued field, and let σ:KK be an automorphism of fields. Prove that the map ϕσ:KR0 defined by ϕσ(x):=ψ(σ(x)) is an absolute value. Prove moreover that σ is continuous with respect to the topology induced by ϕ if and only if ϕσ and ϕ are equivalent absolute values. Use this to prove that for every finite Galois extension of valued fields (K,ϕ)(L,ψ) where (K,ϕ) is complete and discretely valued all the automorphisms σGal(L/K) are continuous. To prove this last part use Schmidt's theorem on multi-complete fields (see Theorem 1.19 of these notes by Pete L. Clark) and the theorem of Artin and Schreier (see Theorem 3.1 of these notes by Keith Conrad).

We also have more information on the higher ramification groups, and in particular on the wild inertia subgroup Iw(L/K).

 Theorem 4  Let (K,ϕ)(L,ψ) be a finite, Galois extension of complete, discretely valued fields and let πLL be a uniformizer. Define moreover U(n)L:={xA×ψx1modmnψ}. Then for all nN1 the map χn:Gn(L/K)U(n)LU(n+1)Lσσ(πL)πL is a group homomorphism with kernel Gn+1(L/K). Moreover, χn does not depend on the choice of πL.

 Proof  Proving that χn does not depend on the choice of πL is easy. Indeed if uA×ψ and σGn(L/K) we have that ψ(σ(u)u1)=ψ(σ(u)u)ψ(πL)n+1 and thus σ(u)/uU(n+1)L. Now if πLL is another uniformizer, σGn(L/K) we have that σ(πL)πL=σ(u)uσ(πL)πL=σ(πL)πLU(n)LU(n+1)L where u=πL/πLA×ψ.
Recall now that for every σGal(L/K) we have that ψσ=ψ and thus in particular for every uniformizer πLmψ we have that σ(πL) is another uniformizer. This implies that for every σ,τGn(L/K) we have that χn(τσ)=τ(σ(πL))πL=τ(σ(πL))σ(πL)σ(πL)πL=χn(τ)χn(σ) which proves that χn is indeed a group homomorphism.

To conclude let σGn(L/K) and observe that σker(χn) if and only if σ(πL)/πLU(n+1)L, which is true if and only if σ(πL)πLmn+2ψ, and clearly this is true if σGn+1(L/K), so Gn+1(L/K)ker(χn). To prove the converse suppose that σ(πL)πLmn+2ψ and observe that Aψ=Aξ[πL] where (T,ξ) is the inertia field of the extension (K,ϕ)(L,ψ) (combine Theorem 6 of the previous lecture and the proof of Theorem 10 of the twelfth lecture). Thus we can write every xAψ as x=nk=0akπkL with akAξ. Since σG0(L/K) we have that σ is trivial on T=LG0(L/K) and thus σ(x)x=nk=0ak(σ(πL)kx)mn+2ψ  which implies that σGn+1(L/K). Q.E.D.

Observe that the map U(n)Lκψ defined by 1+xπnL¯x induces isomorphisms ()U(n)LU(n+1)L{(κ×ψ,), if n=0(κψ,+), if n1 and these isomorphisms allow us to prove something about the wild inertia group Iw(L/K).

 Corollary 5  Let (K,ϕ)(L,ψ) be a finite, Galois extension of complete, discretely valued fields. Then I(L/K)/Iw(L/K) is a cyclic group of order coprime to the characteristic of κϕ and if Gal(L/K) is abelian we have an embedding I(L/K)/Iw(L/K)κ×ϕ. Moreover, KLIw(L/K)L is the largest sub-extension of L which is tamely ramified over K.

 Proof  Using the isomorphisms () and the maps χn we get embeddings I(L/K)Iw(L/K)κ×ψandGn(L/K)Gn+1(L/K)κψ which implies that I(L/K)/Iw(L/K) is a cyclic group, because it is a finite subgroup of the group of invertible elements of a field (see this question on Math Stackexchange).
Suppose now that the characteristic of κϕ is p>0. Then the group of p-th roots of unity μp(κϕ) is trivial, because if  xκϕ is such that xp=1. Then xp1=(x1)p=0 then x=1. Thus, the order of I(L/K)/Iw(L/K) is coprime to the characteristic of κψ because if this was not true we would have a non-trivial p-th root of unity in κψ.
Suppose now that Gal(L/K) is abelian. Then for every σGal(L/K) and τI(L/K) we have that σ(χ0(τ))=σ(τ(πL)πL)=σ(τ(πL))σ(πL)=τ(σ(πL))σ(πL)=χ0(τ) and thus χ0 induces an embedding I(L/K)/Iw(L/K)(κ×ψ)Gal(κψ/κϕ)=κ×ϕ.

Suppose now that κϕ (and thus κψ ) have characteristic zero. Then the embeddings Gn(L/K)/Gn+1(L/K)κψ imply that Gn(L/K)=Gn+1(L/K) for all n1 because the additive group κψ does not contain any element of finite order. Then we can use Exercise 6 to see that actually Gn(L/K) is trivial for all n1. Thus LIw(L/K)=L, and this is indeed the largest sub-extension of L which is tamely ramified over K, because in this case every extension is tamely ramified.
Suppose instead that the characteristic of κϕ is a prime p>0. Then every element in Gn(L/K)/Gn+1(L/K)κψ has order p, which implies that Gn(L/K) is a p-group for all n1 (use again Exercise 6). Thus we have that the extension LIw(L/K)L is totally ramified of degree equal to #Iw(L/K), which is a power of p, and the extension LI(L/K)LIw(L/K) is totally ramified of degree equal to #I(L/K)/Iw(L/K) which, by the previous paragraph, is coprime to p. Thus LIw(L/K) is indeed the maximal tamely ramified sub-extension of KL. Q.E.D.

 Exercise 6  Let (K,ϕ)(L,ψ) be a finite, Galois extension of complete, discretely valued fields. Prove that Gn(L/K) is trivial for n big enough. (Hint: prove first of all by contradiction that the ramification filtration stabilizes, i.e. Gn(L/K)=Gn+1(L/K) for n big enough).

Conclusions and references

In this lecture, we managed to:
  • define the ramification filtration of a finite Galois extension of complete, discretely valued fields;
  • relate the first group in this filtration (which is called "inertia group") to the Galois extension of residue fields;
  • relate the second group in this filtration to the wild ramification of the extension.
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