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 K⊆L there exist only a finite number of absolute values ψ:L→R≥0 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.
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 α0∈K 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 F∘G 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 L⊆E 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 G∘F 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 ˜σ:L1→L2 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 K⊆L 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 n∈N≥1 there exists a unique finite unramified extension K⊆Kn of degree n. Moreover Kn=K(ζ) is a cyclic extension generated by a root of unity of order qn−1, where q∈N 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 n∈N 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 ζqn−10=1. Thus if p is the characteristic of κϕ we have that q=pr for some r∈N≥1 and the minimal polynomial of ζ0 is a factor of the reduction of the cyclotomic polynomial Φqn−1(x)∈Z[x] modulo p, which is separable because qn−1 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 K⊆Kn 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 Φqn−1(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.
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 I⊆R be an ideal. We say that a polynomial f(x)=∑nj=0ajxj∈A[x] is Eisenstein with respect to I if a0,…,an−1∈I, an∉I and a0∉I2. 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 K⊆K[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 a0∈m2ϕ 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 ψ:L→R≥0 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 K⊆L 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 πL∈L 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 πK∈K 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(L∣K)=[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 E⊇L⊇K be the splitting field of f(x). Let moreover α1,…,αn∈E be the roots of f(x). Then we know that αj=σj(πL) for some σj∈Gal(E/K). Thus we can apply Exercise 7 to see that ξ(α)=ξ(πL)<1 where ξ:E→R≥0 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 ae−k=(−1)kae∑1≤i1<i2<⋯<ik≤eαi1αi2⋯αik to see that ϕ(ae−k)=ξ(ae−k)<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 a0∉m2ϕ and thus that f(x) is an Eisenstein polynomial.
Let now π′K∈K be any uniformizer and observe that πeL=uπ′K for some unit u∈A×L. Since K⊆L is totally ramified we have that κψ=κϕ and thus there exists v∈A×K with ¯v=¯u. Let now β:=vπ′K/πeL∈AL and consider the polynomial g(x):=xe−β∈L[x]. Since ¯β=1∈κψ we have that g(x) has a root in κψ. Suppose now that K⊆L is tamely ramified, i.e. that the characteristic of κϕ does not divide e=e(L∣K)=[L:K]. Then the derivative g′(x)=exe−1 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(e√vπ′K) and thus we can take πK:=vπ′K to be the new uniformizer such that L=K(e√πK). Q.E.D.
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 d∈N≥1. 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 n∈N≥1 and consider the map C:=(n−1)times⏞mϕ×⋯×mϕ×(mϕ∖m2ϕ) which is a compact metric space when considered with any product metric. Then the map φ:C→K[x](an−1,…,a1,a0)↦xn+n−1∑j=0ajxj is a bijection between C and the subset of Eisenstein polynomials in K[x].
The key fact here is that for every v∈C there exists ε∈R>0 such that if w∈Bε(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 T⊆L such that K⊆T is unramified and T⊆L 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:
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 K⊆L there exist only a finite number of absolute values ψ:L→R≥0 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 α0∈K 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 F∘G 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 L⊆E 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 G∘F 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 ˜σ:L1→L2 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 K⊆L 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 n∈N≥1 there exists a unique finite unramified extension K⊆Kn of degree n. Moreover Kn=K(ζ) is a cyclic extension generated by a root of unity of order qn−1, where q∈N 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 n∈N 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 ζqn−10=1. Thus if p is the characteristic of κϕ we have that q=pr for some r∈N≥1 and the minimal polynomial of ζ0 is a factor of the reduction of the cyclotomic polynomial Φqn−1(x)∈Z[x] modulo p, which is separable because qn−1 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 K⊆Kn 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 Φqn−1(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 I⊆R be an ideal. We say that a polynomial f(x)=∑nj=0ajxj∈A[x] is Eisenstein with respect to I if a0,…,an−1∈I, an∉I and a0∉I2. 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 K⊆K[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 a0∈m2ϕ 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 ψ:L→R≥0 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 K⊆L 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 πL∈L 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 πK∈K 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(L∣K)=[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 E⊇L⊇K be the splitting field of f(x). Let moreover α1,…,αn∈E be the roots of f(x). Then we know that αj=σj(πL) for some σj∈Gal(E/K). Thus we can apply Exercise 7 to see that ξ(α)=ξ(πL)<1 where ξ:E→R≥0 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 ae−k=(−1)kae∑1≤i1<i2<⋯<ik≤eαi1αi2⋯αik to see that ϕ(ae−k)=ξ(ae−k)<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 a0∉m2ϕ and thus that f(x) is an Eisenstein polynomial.
Let now π′K∈K be any uniformizer and observe that πeL=uπ′K for some unit u∈A×L. Since K⊆L is totally ramified we have that κψ=κϕ and thus there exists v∈A×K with ¯v=¯u. Let now β:=vπ′K/πeL∈AL and consider the polynomial g(x):=xe−β∈L[x]. Since ¯β=1∈κψ we have that g(x) has a root in κψ. Suppose now that K⊆L is tamely ramified, i.e. that the characteristic of κϕ does not divide e=e(L∣K)=[L:K]. Then the derivative g′(x)=exe−1 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(e√vπ′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 d∈N≥1. 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 n∈N≥1 and consider the map C:=(n−1)times⏞mϕ×⋯×mϕ×(mϕ∖m2ϕ) which is a compact metric space when considered with any product metric. Then the map φ:C→K[x](an−1,…,a1,a0)↦xn+n−1∑j=0ajxj is a bijection between C and the subset of Eisenstein polynomials in K[x].
The key fact here is that for every v∈C there exists ε∈R>0 such that if w∈Bε(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 T⊆L such that K⊆T is unramified and T⊆L 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:
- ψ(σ(α)−β)=ψ(α−β) 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,ϕ);
- ψ(σ(α)−α)≤ψ(α−β) for all σ∈Gal(L/K) such that σ(β)=β. To do so use that ψ is non-Archimedean;
- K(α)⊆K(β) using the fact that K⊆L is a Galois extension.
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.
- Section 4 of these notes by Peter Stevenhagen;
- Section II.7 of the book "Algebraic number theory" by Jürgen Neukirch;
- Section 4.6 of the book "Number theory" by Helmut Koch.
Comments
Post a Comment