arxiv: v1 [math.lo] 11 Jul 2017

Transcription

1 ELIMINATING FIELD QUANTIFIERS IN ALGEBRAICALLY MAXIMAL KAPLANSKY FIELDS YATIR HALEVI AND ASSAF HASSON arxiv: v1 [math.lo] 11 Jul 2017 Abstract. We prove elimination of field quantifiers for algebraically maximal Kaplansky fields. 1. introduction The aim of this note is to give a complete, essentially self-contained, proof that algebraically maximal Kaplansky fields eliminate field quantifiers (in the sense 1, e.g., of [8, Definition 1.14]). While probably folklore, we could not find a proof in the literature, though several closely related theorems do exist. In [5, Theorem 2.6] Kuhlmann proves that such valued fields admit quantifier elimination relative to a structure he calls an amc-structure of level 0. It is well known that this structure is essentially the RV-structure (see for instance [2, Section 3.2]). In this language, he proves that if L and F are models of a theory of an algebraically maximal Kaplansky field and K is a common substructure then RV L RVK RV F = (L,v) (K,v) (F,v), where the valued fields are considered, for instance, in the L div language. This is proved by showing that every embedding RV L RV F (over RV K ) lifts to an embedding (L, v) (F, v) (over (K, v)), when assuming that F is L -saturated, Using this result Bélair proves that, in equi-characteristic (p,p), every algebraically maximal Kaplansky field eliminates field quantifiers in the Denef-Pas language, the 3-sorted language enriched with an angular component map (see [1, Lemma 4.3]). It seems, though it is not claimed, that Bélair s proof may apply to the mixed characteristic case as well. In what follows we give an alternative proof, by reproducing Kuhlmann s proof from[5, Section 3] but working entirely in the Denef-Pas language. There is nothing essentially new in the results of this note and the proofs follow closely Khulmann s (with some ideas borrowed from the proof of the (0,0) henselian case, for instance from [9, Theorem 5.21]). 2. preliminaries We review some terminology and definitions. For a valued field (K,v) let vk denote the value group, Kv the residue field and res the residue map. Valued fields will be considered in the 3-sorted language, with a sort for the base field, the value group and the residue field, with the obvious functions and relations. Date: today. The research leading to these results has received funding from the European Research Council under the European Union s Seventh Framework Programme (FP7/ )/ERC Grant Agreement No Supported by ISF grant No. 181/16. 1 See also [7, Appandix A] for a more detailed discussion. 1

2 2 Y. HALEVI AND A. HASSON For a valued field (K, v) an angular component map is a multiplicative group homomorphism ac : K Kv such that ac(a) = res(a) whenever v(a) = 0, we extend it to ac : K Kv by setting ac(0) = 0. Fact 2.1. [9, Corollary 5.18] Every valued field (K, v) has an elementary extension with an angular component map on it. A valued field, admitting an angular component map will be referred to as an ac-valued field. The 3-sorted language of valued fields together with a function symbol for the ac-map (angular component map), is called the Denef-Pas language. Finally: Definition 2.2. A valued field (K,v) of residue characteristic p > 0 is a Kaplansky field if the value group is p-divisible, the residue field is perfect and the residue field does not admit any finite separable extensions of degree divisible by p. (K,v) is algebraically maximal if if does not admit any immediate algebraic extension. Fact 2.3. [3, Theorem 5] Every Kaplansky field has a unique immediate maximal extension. 3. extending embeddings The following results are proved in [9] for the (0,0) case. We use results from [4] to give some slight generalizations. Lemma 3.1. [9, Lemma 5.20] Let L,F be ac-valued fields, f : L F an isomorphism of ac-valued fields g : L F a valued-field isomorphism extending f to some ac-valued field extensions L /L and F /F such that vl = vl. Then g commutes with the ac-map. Proof. Let x L, we may write x = x 1 x 2 where x 1 L and x 2 O L and thus ac(x) = ac(x 1 )res(x 2 ) and f(ac(x)) = f(ac(x 1 ))f(res(x 2 )) = ac(f(x 1 ))res(f(x 2 )) = ac(f(x)). A field K has p-roots if K p = K. If K is a valued field it is Artin-Schreier closed if every irreducible polynomial of the form x p x c has a root in K for p = char(kv) > 0. Lemma 3.2. Let L 1 and L 2 be henselian ac-valued fields, K a common henselian ac-valued subfield and f : K L 2 be the embedding (so f commutes with the ac-map). Further assume that if char(kv) = p > 0 then L 1,L 2 are both either Artin-Schreier closed or have p-roots. If vl 1 vk vl 2 then for any γ i vl i with tp(γ 1 /vk) = tp(γ 2 /vk) there exist b i L i with v(b i ) = γ i such that f may be lifted to an isomorphism of ac-valued fields f : K(b 1 ) K(b 2 ), in particular K(b i ) are ac-valued fields. Proof. By the previous lemma we may, of course, assume that γ i / vk. We now break the proof in two: Case 1: Assume that nγ / vk for every n 1 and let b i L i be any elements with v(b i ) = γ i. Replacing b i, if needed, by b i /u i with u i O L i such that ac(u i ) = ac(b i ), we have ac(b i ) = 1.

3 FIELD-QE FOR KAPLANSKY FIELDS 3 Because γ is not in the divisible hull of vk, necessarily b i is transcendental over K. By [9, Lemma 3.23] (or [4, Lemma 6.35]), v extends uniquely to K(b i ), K(b i )v = Kv and vk(b i ) = vk Zγ i. It remains to show that this extension commutes with the ac-map. Let a K(b 1 ). Because vk(b 1 ) = vk Zγ 1 there exists c with v(c) vk such that v(a) = v(cb n 1) for some n Z. Thus a = (cb n 1) a/(cb n 1) and v(a/(cb n 1 )) = 0. So ac(a) = ac(cbn 1 )res(a/(cbn 1 )) = ac(c)res(a/(cbn 1 )) and f(ac(a)) = f(ac(c))f(res(a/(cb n 1))) = ac(f(c)f(b n 1)f(a/(cb n 1)))) = ac(f(a)). Case 2: Assume that qγ i vk for some prime q. Case 2.1: Assume that q char(kv). Let d K with v(d) = qγ. We may replace d by d/u with u O K such that ac(u) = ac(d) and then ac(d) = 1. Let a i L i with v(a i ) = γ i and ac(a i ) = 1. Then the polynomialp i (x) = x q d/a q i is overo L i and satisfies v(p(1)) > 0 and v(p (1)) = 0. Indeed, v(d/a q i ) = 0 and res(d/aq i ) = ac(d)/ac(aq i ) = 1, so P( 1) = 0. Since q char(kv) we automatically get that P is separable, so P (1) 0. This gives u i L i such that P i (u i ) = 0 and ū i = 1. Now let b i = a i u i, clearly b q i = d and ac(b i) = 1. By [4, Lemma 6.40], K(b i )v = Kv and vk(b i ) = vk (Z/qZ)γ i. Now f K(bi) commutes with the ac-map just as in case 1. Case 2.2: Assume that q = p = char(vk) > 0. Since both L 1 and L 2 are either Artin-Schreier closed or have p-roots, just as in Case 2.1 we may use [4, Lemma 6.40] to extend the isomorphism (see the statement of [4, Lemma 6.40]). Lemma 3.3. Let L 1 and L 2 be henselian ac-valued field, K a common henselian ac-valued subfield and f : K L 2 the embedding (so f commutes with the ac-map). Assume that L 1 v Kv L 2 v and let α i L i v, with α i separable over Kv if it is algebraic, and tp(α 1 /Kv) = tp(α 2 /Kv). Then there exist a i L i with ā i = α i such that f may be lifted to an isomorphism f : K(a 1 ) K(a 2 ) of ac-valued fields. In particular K(a i ) are ac-valued fields. Proof. It will suffice, by Lemma 3.1, to show that we can extend f to an isomorphism of valued field extensions preserving the value group of K. We break into two cases. Case 1: Assume that α i L i v are transcendental over Kv. Pick any a i O Li such that ā i = α i. They are necessarily transcendental over K. Either by [4, Lemma 6.35] or by [9, Lemma 3.22], v extends uniquely to K(a i ) and vk(a i ) = vk. Case 2: If α i is algerbaic, let P(X) O K [x] be monic such that P(x) is the minimal polynomial of α i over Kv. Pick b i O L such that b i = α i. As the α i are separable over Kv, P is separable and since v(p(b i )) > 0 and v(p (b i )) = 0 we may find a i O L such that P(a i ) = 0 and ā i = α. Either by [4, Lemma 6.41] or [9, Lemma 3.21], v extends uniquely to K(a i ) and vk(a i ) = vk. 4. eliminating field quantifiers Let T be the theory of an algebraically maximal Kaplansky field. We consider it in the Denef-Pas language. The proof of our main result follows [5, Section 3]

4 4 Y. HALEVI AND A. HASSON step-by-step. Throughout we verify that the embedding constructed respects the angular component map. Recall that a valuation transcendence basis T for an extension L/K is a transcendence basis for L/K of the form T = {x i,y i : i I,j J} such that the values vx i, i I form a maximal system of values in vl which are Q-linearly independent over vk and the residues ȳ j, j J form a transcendence basis of Lv/Kv. Alsorecallthat an algebraicextension ofhenselianfields L/K is tame iffor every finite subextension K /K: (1) K v/kv is separable. (2) if p = char(kv) > 0 then (vk : vk) is prime to p. (3) K /K is a defectless extension. K will be called tame if it is henselian and every algebraic extension is a tame field. Recall ([4, Lemma 13.37]) that algebraically maximal Kaplansky fields are tame. Lemma 4.1. Let L and F be henselian ac-valued fields and K a common acvalued field. Assume that L is a tame algebraic extension of the henselization of K. Then for every embedding τ = (τ Γ,τ k ) : (vl,lv) (vf,fv) over K, there is an embedding of L in F over K which induces τ and commutes with the ac-map. Proof. By Lemma 3.1, the uniqueness of the henselization of K and the fact that it is an immediate extension we may assume that K is henselian (the unique isomorphism of the henselisation of K in L with its henselisation in F respects the ac-map). Since every algebraic extension is the union of its finite sub-extensions we may further assume that L/K is finite. Since Lv/Kv isfinite anseparableit is simple (recalll/k is tame). Assume that Kv(α) = Lv. ByLemma3.3(Case2)thereexistsc Lwith c = α, K(c)v = Lv and vk(c) = vk such that we may extend the embedding of K F to an embedding K(c) F respecting the ac-map. Set K := K(c). Since L/K is finite, the group vl/vk is a finite torsion group: vl/vk = (γ 1 +vk)z (γ r +vk)z, and by tameness the order of each γ i is prime to p = char(kv). Using Lemma 3.2(Case 2.1) repeatedly there exist d 1,...,d r L with v(d i ) = γ i such that L/K (d 1,...,d r ) is an immediate extension and we may extend the embedding of K F to an embedding K (d 1,...,d r ) F that preserves the ac-map. Finally, K (d 1,...,d r ) is a tame field since it is an algebraic extension of a tame field, thus L/K (d 1,...,d r ) is defectless and immediate. Since henselian defectless fields are algebraically maximal, it follows that K (d 1,...,d r ) = L and we are done. Lemma 4.2. Let L and F by henselian ac-valued field and K a common ac-valued field. Assume that L admits a valuation transcendence basis T such that L is a tame extension of K(T ) h. Then for every embedding τ = (τ Γ,τ k ) : (vl,lv) (vf,fv) over K, there is an embedding of ac-valued fields L F over K inducing τ. Proof. By using Lemma 3.2(Case 1) and Lemma 3.3(Case 1) repeatedly we may extend the embedding K F to an embedding K(T ) F over K respecting the ac-map, and inducing the embedding τ. The result now follows from Lemma 4.1 The next lemma is now key:

5 FIELD-QE FOR KAPLANSKY FIELDS 5 Lemma 4.3. Let K be an algebraically maximal Kaplansky field with char(kv) = p > 0. Then K contains p-roots, i.e. K p = K. Proof. If char(k) = p then this follows from the fact that K is perfect ([6, Corrolaries 3.3, 3.4]). If char(k) = 0 Kaplansky [3, Lemma 15] proves this for maximal Kaplansky fields. He shows it by constructing a pc-sequence of algebraic type. The same proof follows through verbatim for algebraically maximal Kaplansky fields. Alternatively, one may use Kaplansky s result for maximal fields and then apply [6, Theorem 7.1]. Fact 4.4. [5, Lemma 3.12] Let L and F be two algebraically maximal Kaplansky fields (and hence defectless) and K a common henselian subfield. Assume that both vl/vk and vf/vk are torsion groups and both Lv/Kv and Fv/Kv are algebraic extensions. If K does not admit any non-trivial tame algebraic extension inside L or F, then the relative algebraic closures of K in L and F are isomorphic. The following embedding theorem is, as usual, the main result: Theorem 4.5. Let L,F = T with F L + -saturated and K a common subfield, all with angular component maps and in the Denef-Pas language. Then for every embedding τ = (τ Γ,τ k ) : (vl,lv) (vf,fv) over K, there is an embedding of L in F over K which induces τ and preserve s the ac-map. Proof. In ordered to embed L in F (over K) it is suffices to embed every finitely generated sub-extension. So we may assume that L/K is a finitely generated extension. Let T = {x i,y i : i I,j J} be such that {vx i : i I} is a maximal system of Q-linearly independent values in vl over vk and the residues {ȳ j : j J} are a transcendence basis of Lv/Kv. T is algebraically independent over K by[4, Lemma 6.30]. Let L be the maximal tame algebraic extension of the henselization K(T ) h in L. By definition it is an algebraic extension so T is a transcendence basis for L /K and it is a tame extension of K(T ) h. We may use Lemma 4.2 and embed L in F over K, this embedding induces τ and commutes with the ac-map. Since L is the maximal tame algebraic extension of K(T ) h, necessarily vl/vl is a p-group and Lv/L v is a purely inseparable algebraic extension. By Fact 4.4, we may extend the embedding to L, its relative algebraic closure in L. By [4, 13.40] L/L is immediate (use the maximality of T ) and thus vl /vl is a p- group, L v/l v is a purely inseparable algebraic extension and L is an ac-valued algebraically maximal Kaplansky field. We must show that the embedding L F preserves the ac-map. By Lemma 4.3, L contains p-roots and hence by repeatedly applying Lemma 3.2(Case 2.2) we may extend the embedding of L F to the intermediary ac-valued field L L L with vl = vl, in such a way that it commutes with the ac-map. By uniqueness of the extension of the valuation this agrees with the embedding L F. Now use Lemma 3.1. Recall that L is also an algebraically maximal Kaplansky ac-valued field and L/L is immediate. By the uniqueness of the maximal immediate extension of L (and of L) we may extend the embedding to L, it preserves the ac-map by Lemma 3.1. Corollary 4.6. Let L,F = T and K a common substructure. If (vl,lv) (vk,kv) (vf,fv)

6 6 Y. HALEVI AND A. HASSON then L K F. As a result, T eliminates field quantifiers and the value group and residue field are stably embedded as pure structures. Proof. There exists elementary extension L and F over L and F such that vl = vk vf and L v = Kv F v. Since L K F implies L K F, we may assume from the start that τ = (τ Γ,τ k ) : (vl,lv) = (vk,kv) (vf,fv). The rest is standard and follows from the theorem. References [1] Luc Bélair. Types dans les corps valués munis d applications coefficients. Illinois J. Math., 43(2): , [2] Joseph Doyle Flenner. The relative structure of henselian valued fields. ProQuest LLC, Ann Arbor, MI, Thesis (Ph.D.) University of California, Berkeley. [3] Irving Kaplansky. Maximal fields with valuations. Duke Math. J., 9: , [4] Frantz-Victor Kuhlmann. Valuation theory. Available on fvk/fvkbook.htm, [5] Franz-Viktor Kuhlmann. Quantifier elimination for Henselian fields relative to additive and multiplicative congruences. Israel J. Math., 85(1-3): , [6] Franz-Viktor Kuhlmann. The algebra and model theory of tame valued fields. J. Reine Angew. Math., 719:1 43, [7] Silvain Rideau. Some properties of analytic difference valued fields. J. Inst. Math. Jussieu, 16(3): , [8] Saharon Shelah. Dependent first order theories, continued. Israel J. Math., 173:1 60, [9] Lou van den Dries. Lectures on the model theory of valued fields. In Model theory in algebra, analysis and arithmetic, volume 2111 of Lecture Notes in Math., pages Springer, Heidelberg, Einstein Institute of Mathematics, The Hebrew University of Jerusalem, GivatRam, Jerusalem 91904, Israel, address: yatir.halevi@mail.huji.ac.il URL: Department of mathematics, Ben Gurion University of the Negev, Be er Sehva, Israel address: hassonas@math.bgu.ac.il URL: