Elimination of ramification. II: Henselian rationality. (English) Zbl 1443.12005

Kuhlmann, Franz-Viktor

Isr. J. Math. 234, No. 2, 927-958 (2019).

When one works on valued fields, one is sometimes led to extend isomorphisms (for example, when proving a back-and-forth property). That is, \((F|K,v)\) is an extension of valued fields, there is an isomorphism \(f\) from \((K,v)\) onto a valued field \((K',v')\), and we need to extend \(f\) from \((F,v)\) to some valued field which contains \(K'\).
If \((F|K,v)\) is an immediate extension (i.e.\(vF=vK\) and \(Fv=Kv\), where \(vL\) and \(vK\) denote the valuation groups, \(Lv\) and \(Kv\) denote the residue fields), then there are cases where one can easily extend this isomorphism. The first one consists in extending to a transcendental element, this can be done by mean of what are called pseudo-Cauchy sequences. The second one concerns the case of algebraic extensions. It consists in extending to the Hensel closure, which is unique, up to isomorphism (we will give the definition later). So one can try to embed \(F\) in a field of the form \(K(\mathcal{T})^h\), where \(\mathcal{T}\) contains a transcendence basis of \(F|K\) and \(^h\) denotes the Hensel closure.
The aim of this paper is to prove such a property (which is called Hensel rationality) in the case of a function field over a tame field.
This article has been “in preparation” for a long time, and its results have already been used several times.
We start with some definitions.
If \((K,v)\) is a valued field and \(F\) is a field extension of \(K\), then there always exist extensions of \(v\) to \(F\). The valued field \((K,v)\) is said to be henselian if \(v\) extends in a unique way to every algebraic extension of \(K\). Every valued field can be embedded in a unique way (up to isomorphism) in a minimal henselian field, which is called its henselization, and is denoted \((K^h,v)\). The extension \((K^h|K,v)\) is algebraic and immediate. In order to define tame fields, we first define tame extensions. Let \((F|K,v)\) be an extension of valued fields. It is called tame if every finite subextension \((L|K,v)\) enjoys the following three properties. The integer \((vL: vK)\) is not divisible by the characteristic of \(Kv\), the extension \(Lv|Kv\) is separable and \([L:K]=[Lv:Kv](vL:vK)\). Now, we say that \((K,v)\) is a tame field if it is henselian, and every algebraic extension is tame.
In the following, \((F|K,v)\) is an immediate extension of valued fields where \(F|K\) is a function field.
In the first result of this paper, \((K,v)\) is assumed to be tame. If the transcendence degree of \(F|K\) is \(1\), then there is \(x\in F\) such that \(F^h=K(x)^h\). In general, if \((N|F,v)\) is immediate and \((N,v)\) is a tame field, then there exist \(F_1\subseteq N\) which is a finite extension of \(F\), and a transcendence basis \(\mathcal{T}\) of \(F_1|K\), such that \(F_1^h=K(\mathcal{T})^h\).
In the second result \(F|K\) is separable and \((K,v)\) is separably tame, i.e.it is henselian and every separable algebraic extension of \((K,v)\) is tame. If the transcendence degree of \(F|K\) is \(1\), then there is \(x\in F\) such that \(F^h=K(x)^h\). In general, if \((N|F,v)\) is separable immediate and \((N,v)\) is a separably tame field, then there exist \(F_1\subseteq N\) which is a finite separable extension of \(F\), and a transcendence basis \(\mathcal{T}\) of \(F_1|K\), such that \(F_1^h=K(\mathcal{T})^h\).
The author also proves that extensions \((N,v)\) of \((F,v)\), as in any of the above two theorems, always exist.
In the last theorem, \((K,v)\) does not admit any separable algebraic immediate extension, \(vK\) is archimedean, \((K^c,v)\) denotes the topological completion of \(K\) equipped with the topology induced by the valuation, \((F|K,v)\) is an immediate extension where \(F|K\) is a function field of transcendence degree \(1\). We assume that there is no embedding of \((F|K,v)\) in \((K^c|K,v)\). If there exist a tame extension \((L|K,v)\) and a transcendence basis \(\mathcal{T}\) of \(F.L|L\) such that \((F.L)^h=L(\mathcal{T})^h\), then there exists a transcendence basis \(\mathcal{T}'\) of \(F|K\) such that \(F^h=K(\mathcal{T}')^h\).
[For Part I see Trans. Am. Math. Soc. 362, No. 11, 5697–5727 (2010; Zbl 1225.12008). ]

Reviewer: Gerard Leloup (Le Mans)

MSC:

12J10	Valued fields
13A18	Valuations and their generalizations for commutative rings
14E15	Global theory and resolution of singularities (algebro-geometric aspects)

Keywords:

extension of valued field; function field; Hensel field; immediate extension; tame field

Citations:

Zbl 1225.12008

References:

[1]	Abhyankar, S., Local uniformization on algebraic surfaces over ground fields of characteristic p ≠ 0, Annals of Mathematics, 63, 491-526 (1956) · Zbl 0108.16803
[2]	Cossart, V.; Piltant, O., Resolution of singularities of threefolds in positive characteristic. I: Reduction to local uniformization on Artin-Schreier and purely inseparable coverings, Journal of Algebra, 320, 1051-1082 (2008) · Zbl 1159.14009
[3]	Cossart, V.; Piltant, O., Resolution of singularities of threefolds in positive characteristic. II, Journal of Algebra, 321, 1836-1976 (2009) · Zbl 1173.14012
[4]	Endler, Otto, Valuation Theory (1972), Berlin, Heidelberg: Springer Berlin Heidelberg, Berlin, Heidelberg · Zbl 0257.12111
[5]	Engler, A. J.; Prestel, A., Valued Fields, Springer Monographs in Mathematics (2005), Berlin: Springer-Verlag, Berlin · Zbl 1128.12009
[6]	Epp, H. P., Eliminating wild ramification, Inventiones Mathematicae, 19, 235-249 (1973) · Zbl 0254.13008
[7]	Ershov, Yu L., On Henselian rationality of extensions, Doklady Mathematics, 78, 724-728 (2008) · Zbl 1266.12005
[8]	Huppert, Bertram, Endliche Gruppen I (1967), Berlin, Heidelberg: Springer Berlin Heidelberg, Berlin, Heidelberg
[9]	Kaplansky, I., Maximal fields with valuations I, Duke Mathematical Journal, 9, 303-321 (1942) · Zbl 0063.03135
[10]	Knaf, H.; Kuhlmann, F-V, Abhyankar places admit local uniformization in any char-acteristic, Annales Scientifiques de l’École Normale Supérieure, 38, 833-846 (2005) · Zbl 1159.13301
[11]	Knaf, H.; Kuhlmann, F-V, Every place admits local uniformization in a finite extension of the function field, Advances in Mathematics, 221, 428-453 (2009) · Zbl 1221.14016
[12]	Kuhlmann, F-V, Henselian function fields and tame fields (1990)
[13]	Kuhlmann, F-V, Valuation theoretic and model theoretic aspects of local uniformization, Resolution of Singularities (Obergurgl, 1997), 181, 381-456 (2000) · Zbl 1046.14001
[14]	Kuhlmann, F-V, A correction to Epp’s paper “Elimination of wild ramification”, Inventiones Mathematicae, 153, 679-681 (2003) · Zbl 1025.13005
[15]	Kuhlmann, F-V, Value groups, residue fields and bad places of rational function fields, Transactions of the American Mathematical Society, 356, 4559-4600 (2004) · Zbl 1122.12005
[16]	Kuhlmann, F-V, Elimination of ramification I: The generalized stability theorem, Transactions of the American Mathematical Society, 362, 5697-5727 (2010) · Zbl 1225.12008
[17]	Kuhlmann, F-V, The algebra and model theory of tame valued fields, Journal für die reine und angewdte Mathematik, 719, 1-43 (2016) · Zbl 1401.13011
[18]	F.-V. Kuhlmann, Valuation Theory, book in preparation; preliminary versions of several chapters available at: http://math.usask.ca/ fvk/Fvkbook.htm.
[19]	Kuhlmann, F-V; Pal, K., The model theory of separably tame fields, Journal of Algebra, 447, 74-108 (2016) · Zbl 1400.03062
[20]	Kuhlmann, F-V; Pank, M.; Roquette, P., Immediate and purely wild extensions of valued fields, Manuscripta Mathematica, 55, 39-67 (1986) · Zbl 0593.12018
[21]	Kuhlmann, F-V; Vlahu, I., The relative approximation degree, Mathematische Zeitschrift, 276, 203-235 (2014) · Zbl 1330.12002
[22]	Lang, Serge, Modules, Algebra, 117-172 (2002), New York, NY: Springer New York, New York, NY
[23]	Ribenboim, P., Theorie des valuations (1968)
[24]	S. Warner, Topological Fields, Vol. 157, North Holland, Amsterdam, 1989. · Zbl 0683.12014
[25]	Zariski, O.; Samuel, P., Commutative Algebra, Vol. II (1960), NJ-Toronto-London-New York: University Series in Higher Mathematics, Van Nostrand, Princeton, NJ-Toronto-London-New York · Zbl 0112.02902