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.
Definition 1 Let (K,ϕ)↪(L,ψ) be a finite, Galois extension of complete, discretely valued fields, and let πL∈L be a uniformizer. Then we define the ramification filtration ⋯⊆Gn+1(L/K)⊆Gn(L/K)⊆⋯⊆G0(L/K)⊆G−1(L/K)=Gal(L/K) by setting Gn(L/K):={σ∈Gal(L/K)∣ψ(x−σ(x))≤ψ(πL)n+1 for all x∈Aψ}. We call I(L/K):=G0(L/K) the inertia group of the extension K⊆L and Iw(L/K):=G1(L/K) the wild inertia group of K⊆L.
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 S⊆Gal(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 Z∖pZ⊆A×ϕ 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 K⊆T 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 σ:K→K be an automorphism of fields. Prove that the map ϕσ:K→R≥0 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 πL∈L be a uniformizer. Define moreover U(n)L:={x∈A×ψ∣x≡1modmnψ}. Then for all n∈N≥1 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 u∈A×ψ and σ∈Gn(L/K) we have that ψ(σ(u)u−1)=ψ(σ(u)−u)≤ψ(πL)n+1 and thus σ(u)/u∈U(n+1)L. Now if π′L∈L is another uniformizer, σ∈Gn(L/K) we have that σ(π′L)π′L=σ(u)uσ(πL)πL=σ(πL)πL∈U(n)LU(n+1)L where u=π′L/πL∈A×ψ.
Recall now that for every σ∈Gal(L/K) we have that ψ∘σ=ψ and thus in particular for every uniformizer πL∈mψ 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)/πL∈U(n+1)L, which is true if and only if σ(πL)−πL∈mn+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)−πL∈mn+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 x∈Aψ as x=∑nk=0akπkL with ak∈Aξ. Since σ∈G0(L/K) we have that σ is trivial on T=LG0(L/K) and thus σ(x)−x=n∑k=0ak(σ(πL)k−x)∈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 n≥1 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, K⊆LIw(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 xp−1=(x−1)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 n≥1 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 n≥1. 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 n≥1 (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 K⊆L. 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).
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 K⊆L be an algebraic extension. Then there exists a unique absolute value ψ:L→R≥0 which extends ϕ. Indeed we can use Theorem 1 of the twelfth lecture to extend ϕ to every Galois sub-extension K⊆E⊆L such that K⊆E is finite, and then we can recall from Galois theory that L=lim→K⊆E⊆L[E:K]<+∞E and thus all these extensions "glue together" to a unique absolute value on L. Observe moreover that if K⊆L 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 πL∈L be a uniformizer. Then we define the ramification filtration ⋯⊆Gn+1(L/K)⊆Gn(L/K)⊆⋯⊆G0(L/K)⊆G−1(L/K)=Gal(L/K) by setting Gn(L/K):={σ∈Gal(L/K)∣ψ(x−σ(x))≤ψ(πL)n+1 for all x∈Aψ}. We call I(L/K):=G0(L/K) the inertia group of the extension K⊆L and Iw(L/K):=G1(L/K) the wild inertia group of K⊆L.
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 S⊆Gal(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 Z∖pZ⊆A×ϕ 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 K⊆T 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 σ:K→K be an automorphism of fields. Prove that the map ϕσ:K→R≥0 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 πL∈L be a uniformizer. Define moreover U(n)L:={x∈A×ψ∣x≡1modmnψ}. Then for all n∈N≥1 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 u∈A×ψ and σ∈Gn(L/K) we have that ψ(σ(u)u−1)=ψ(σ(u)−u)≤ψ(πL)n+1 and thus σ(u)/u∈U(n+1)L. Now if π′L∈L is another uniformizer, σ∈Gn(L/K) we have that σ(π′L)π′L=σ(u)uσ(πL)πL=σ(πL)πL∈U(n)LU(n+1)L where u=π′L/πL∈A×ψ.
Recall now that for every σ∈Gal(L/K) we have that ψ∘σ=ψ and thus in particular for every uniformizer πL∈mψ 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)/πL∈U(n+1)L, which is true if and only if σ(πL)−πL∈mn+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)−πL∈mn+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 x∈Aψ as x=∑nk=0akπkL with ak∈Aξ. Since σ∈G0(L/K) we have that σ is trivial on T=LG0(L/K) and thus σ(x)−x=n∑k=0ak(σ(πL)k−x)∈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 n≥1 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, K⊆LIw(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 xp−1=(x−1)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 n≥1 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 n≥1. 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 n≥1 (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 K⊆L. 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.
- Section 5 of these notes by Peter Stevenhagen;
- Pages 37-41 of these notes by Peter Bruin and Arno Kret;
- Section II.10 of the book "Algebraic number theory" by Jürgen Neukirch.
Comments
Post a Comment