Search

We prove in arbitrary characteristic that an immediate valued algebraic function field $F$ of transcendence degree 1 over a tame field $K$ is contained in the henselization of $K(x)$ for a suitably chosen $x\in F$. This eliminates ramification in such valued function fields. We give generalizations of this result, relaxing the assumption on $K$. Our theorems have important applications to local uniformization and to the model theory of valued fields in positive and mixed characteristic., new improved version

A basic version of Abhyankar's Lemma states that for two finite extensions $L$ and $F$ of a local field $K$, if $L|K$ is tamely ramified and if the ramification index of $L|K$ divides the ramification index of $F|K$, then the compositum $L.F$ is an unramified extension of $F$. In this paper, we generalize the result to valued fields with value groups of rational rank 1, and show that the latter condition is necessary. Replacing the condition on the ramification indices by the condition that the value group of $L$ be contained in that of $F$, we generalize the result further in order to give a necessary and sufficient condition for the elimination of tame ramification of an arbitrary extension $F|K$ by a suitable algebraic extension of the base field $K$. In addition, we derive more precise ramification theoretical statements and give several examples.

We extend the characterization of extremal valued fields given in [2] to the missing case of valued fields of mixed characteristic with perfect residue field. This leads to a complete characterization of the tame valued fields that are extremal. The key to the proof is a model theoretic result about tame valued fields in mixed characteristic. Further, we prove that in an extremal valued field of finitep-degree, the images of all additive polynomials have the optimal approximation property. This fact can be used to improve the axiom system that is suggested in [8] for the elementary theory of Laurent series fields over finite fields. Finally we give examples that demonstrate the problems we are facing when we try to characterize the extremal valued fields with imperfect residue fields. To this end, we describe several ways of constructing extremal valued fields; in particular, we show that in every ℵ1saturated valued field the valuation is a composition of extremal valuations of rank 1.

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

We consider four approaches to the analysis of cuts in ordered abelian groups and ordered fields, their interconnection, and various applications. The notions we discuss are: ball cuts, invariance group, invariance valuation ring, and cut cofinality.

A henselian valued field K is called a tame field if its algebraic closure K ~ ${\tilde{K}}$ is a tame extension, that is, the ramification field of the normal extension K ~ | K ${\tilde{K}|K}$ is algebraically closed. Every algebraically maximal Kaplansky field is a tame field, but not conversely. We develop the algebraic theory of tame fields and then prove Ax–Kochen–Ershov Principles for tame fields. This leads to model completeness and completeness results relative to value group and residue field. As the maximal immediate extensions of tame fields will in general not be 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. The results of this paper have been applied to gain insight in the Zariski space of places of an algebraic function field, and in the model theory of large fields.

We characterize those valued fields for which the image of the valuation ring under every polynomial in several variables contains an element of maximal value, or zero., Comment: 12 pages

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.

We prove that every place P of an algebraic function field F|K of arbitrary characteristic admits local uniformization in a finite extension E of F. We show that E|F can be chosen to be Galois, after a finite purely inseparable extension of the ground field K. Instead of being Galois, the extension can also be chosen such that the induced extension EP|FP of the residue fields is purely inseparable and the value group of F only gets divided by the residue characteristic. If F lies in the completion of an Abhyankar place, then no extension of F is needed. Our proofs are based solely on valuation theoretical theorems, which are of particular importance in positive characteristic. They are also applicable when working over a subring R of K and yield similar results if R is regular and of dimension smaller than 3., Comment: 27 pages

We prove that every place $P$ of an algebraic function field $F|K$ of arbitrary characteristic admits local uniformization, provided that the sum of the rational rank of its value group and the transcendence degree of its residue field $FP$ over $K$ is equal to the transcendence degree of $F|K$, and the extension $FP|K$ is separable. We generalize this result to the case where $P$ dominates a regular local Nagata ring $R\subseteq K$ of Krull dimension $\dim R\leq 2$, assuming that the valued field $(K,v_P)$ is defectless, the factor group $v_P F/v_P K$ is torsion-free and the extension of residue fields $FP|KP$ is separable. The results also include a form of monomialization. Further, we show that in both cases, finitely many Abhyankar places admit simultaneous local uniformization on an affine scheme if they have value groups isomorphic over $v_P K$., 21 pages, submitted

We classify all possible extensions of a valuation from a ground field $K$ to a rational function field in one or several variables over $K$. We determine which value groups and residue fields can appear, and we show how to construct extensions having these value groups and residue fields. In particular, we give several constructions of extensions whose corresponding value group and residue field extensions are not finitely generated. In the case of a rational function field $K(x)$ in one variable, we consider the relative algebraic closure of $K$ in the henselization of $K(x)$ with respect to the given extension, and we show that this can be any countably generated separable-algebraic extension of $K$. In the "tame case", we show how to determine this relative algebraic closure. Finally, we apply our methods to power series fields and the $p$-adics., Comment: 41 pages

We fill a gap in the proof of one of the central theorems in Epp's paper, concerning $p$-cyclic extensions of complete discrete valuation rings., Comment: 3 pages

We prove a general version of the "Stability Theorem": if $K$ is a valued field such that the ramification theoretical defect is trivial for all of its finite extensions, and if $F|K$ is a finitely generated (transcendental) extension of valued fields for which equality holds in the Abhyankar inequality, then the defect is also trivial for all finite extensions of $F$. This theorem is applied to eliminate ramification in such valued function fields. It has applications to local uniformization and to the model theory of valued fields in positive characteristic., Comment: 31 pages

We consider the Zariski space of all places of an algebraic function field $F|K$ of arbitrary characteristic and investigate its structure by means of its patch topology. We show that certain sets of places with nice properties (e.g., prime divisors, places of maximal rank, zero-dimensional discrete places) lie dense in this topology. Further, we give several equivalent characterizations of fields that are large, in the sense of F. Pop's Annals paper {\it Embedding problems over large fields}. We also study the question whether a field $K$ is existentially closed in an extension field $L$ if $L$ admits a $K$-rational place. In the appendix, we prove the fact that the Zariski space with the Zariski topology is quasi-compact and that it is a spectral space., Comment: 27 pages

For valued fields $K$ of rank higher than 1, we describe how elements in the henselization $K^h$ of $K$ can be approximated from within $K$; our result is a handy generalization of the well-known fact that in rank 1, all of these elements lie in the completion of $K$. We apply the result to show that if an element $z$ algebraic over $K$ can be approximated from within $K$ in the same way as an element in $K^h$, then $K(z)$ is not linearly disjoint from $K^h$ over $K$., Comment: 13 pages

In spite of the analogies between ℚp and which became evident through the work of Ax and Kochen, an adaptation of the complete recursive axiom system given by them for ℚp, to the case of does not render a complete axiom system. We show the independence of elementary properties which express the action of additive polynomials as maps on . We formulate an elementary property expressing this action and show that it holds for all maximal valued fields. We also derive an example of a rather simple immediate valued function field over a henselian defectless ground field which is not a henselian rational function field. This example is of special interest in connection with the open problem of local uniformization in positive characteristic.