Search

We introduce a new method of constructing complete sequences of key polynomials for simple extensions of tame fields. In our approach the key polynomials are taken to be the minimal polynomials over the base field of suitably constructed elements in its algebraic closure, with the extensions generated by them forming an increasing chain. In the case of algebraic extensions, we generalize the results to countably generated infinite tame extensions over henselian but not necessarily tame fields. In the case of transcendental extensions, we demonstrate the central role that is played by the implicit constant fields, which reveals the tight connection with the algebraic case.

We prove that a valued field of positive characteristic [Formula: see text] that has only finitely many distinct Artin–Schreier extensions (which is a property of infinite NTP2 fields) is dense in its perfect hull. As a consequence, it is a deeply ramified field and has [Formula: see text]-divisible value group and perfect residue field. Further, we prove a partial analogue for valued fields of mixed characteristic and observe an open problem about 1-units in this setting. Finally, we fill a gap that occurred in a proof in an earlier paper in which we first introduced a classification of Artin–Schreier defect extensions.

A henselian valued field $K$ is called separably tame if its separable-algebraic closure $K^{\operatorname{sep}}$ is a tame extension, that is, the ramification field of the normal extension $K^{\operatorname{sep}}|K$ is separable-algebraically closed. Every separable-algebraically maximal Kaplansky field is a separably tame field, but not conversely. In this paper, we prove Ax-Kochen-Ershov Principles for separably tame fields. This leads to model completeness and completeness results relative to the value group and residue field. As the maximal immediate extensions of separably tame fields are in general not unique, the proofs have to use much deeper valuation theoretical results than those for other classes of valued fields which have already been shown to satisfy Ax-Kochen-Ershov Principles. Our approach also yields alternate proofs of known results for separably closed valued fields., 30 pages. arXiv admin note: substantial text overlap with arXiv:1304.0194

The defect of valued field extensions is a major obstacle in open problems in resolution of singularities and in the model theory of valued fields, whenever positive characteristic is involved. We continue the detailed study of defect extensions through the tool of distances, which measure how well an element in an immediate extension can be approximated by elements from the base field. We show that in several situations the number of essentially distinct distances in fixed extensions, or even just over a fixed base field, is finite, and we compute upper bounds. We apply this to the special case of valued functions fields over perfect base fields. In particular, this provides important information used in forthcoming research on the ramification theory of two-dimensional valued function fields.

We give a criterion for maps on ultrametric spaces to be surjective and to preserve spherical completeness. We show how Hensel's Lemma and the multi-dimensional Hensel's Lemma follow from our result. We give an easy proof that the latter holds in every henselian field. We also prove a basic infinite-dimensional Implicit Function Theorem. Further, we apply the criterion to deduce various versions of Hensel's Lemma for polynomials in several additive operators, and to give a criterion for the existence of integration and solutions of certain differential equations on spherically complete valued differential fields, for both valued D-fields in the sense of Scanlon, and differentially valued fields in the sense of Rosenlicht. We modify the approach so that it also covers logarithmic-exponential power series fields. Finally, we give a criterion for a sum of spherically complete subgroups of a valued abelian group to be spherically complete. This in turn can be used to determine elementary properties of power series fields in positive characteristic., 47 pages

We study necessary and sufficient conditions for a valued field K with value group G and residue field k (with char K = char k ) to admit a truncation closed embedding in the field of generalized power series k ( ( G , f ) ) (with factor set f). We show that this is equivalent to the existence of a family (tower of complements) of k-subspaces of K which are complements of the (possibly fractional) ideals of the valuation ring, and satisfying certain natural conditions. If K is a Henselian field of characteristic 0 or, more generally, an algebraically maximal Kaplansky field, we give an intrinsic construction of such a family which does not rely on a given truncation closed embedding. We also show that towers of complements and truncation closed embeddings can be extended from an arbitrary field to at least one of its maximal immediate extensions.

Henselian elements are roots of polynomials which satisfy the conditions of Hensel's Lemma. In this paper we prove that for a finite field extension $(F|L,v)$, if $F$ is contained in the absolute inertia field of $L$, then the valuation ring $\mathcal O_F$ of $(F,v)$ is generated as an $\mathcal O_L$-algebra by henselian elements. Moreover, we give a list of equivalent conditions under which $\mathcal O_F$ is generated over $\mathcal O_L$ by finitely many henselian elements. We prove that if the chain of prime ideals of $\mathcal O_L$ is well-ordered, then these conditions are satisfied. We give an example of a finite valued inertial extension $(F|L,v)$ for which $\mathcal O_F$ is not a finitely generated $\mathcal O_L$-algebra. We also present a theorem that relates the problem of local uniformization with the theory of henselian elements.

Refining a constructive combinatorial method due to MacLane and Schilling, we give several criteria for a valued field that guarantee that all of its maximal immediate extensions have infinite transcendence degree. If the value group of the field has countable cofinality, then these criteria give the same information for the completions of the field. The criteria have applications to the classification of valuations on rational function fields. We also apply the criteria to the question of which extensions of a maximal valued field, algebraic or of finite transcendence degree, are again maximal. In the case of valued fields of infinite p-degree, we obtain the worst possible examples of nonuniqueness of maximal immediate extensions: fields which admit an algebraic maximal immediate extension as well as one of infinite transcendence degree.

We study spaces $M(R(y))$ of $\R$-places of rational function fields $R(y)$ in one variable. For extensions $F|R$ of formally real fields, with $R$ real closed and satisfying a natural condition, we find embeddings of $M(R(y))$ in $M(F(y))$ and prove uniqueness results. Further, we study embeddings of products of spaces of the form $M(F(y))$ in spaces of $\R$-places of rational function fields in several variables. Our results uncover rather unexpected obstacles to a positive solution of the open question whether the torus can be realized as a space of $\R$-places.

We investigate valued fields which admit a valuation basis. Given a countable ordered abelian group G and a real closed or algebraically closed field F with subfield K, we give a sufficient condition for a valued subfield of the field of generalized power series F((G)) to admit a K-valuation basis. We show that the field of rational functions F(G) and the field F(G)not, vert, similar of power series in F((G)) algebraic over F(G) satisfy this condition. It follows that for archimedean F and divisible G the real closed field F(G)not, vert, similar admits a restricted exponential function.