BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
We use a known example of an algebraically maximal discretely valued field of positive characteristic p which admits purely inseparable extensions of degree p2 with defect p to construct algebraically maximal valued fields of characteristic p as well as of characteristic 0 and of rank 2 which admit separable extensions of degree p2 with defect p.
We study in detail the valuation theory of deeply ramified fields and introduce and investigate several other related classes of valued fields. Further, a classification of defect extensions of prime degree of valued fields that was earlier given only for the equicharacteristic case is generalized to the case of mixed characteristic by a unified definition that works simultaneously for both cases. It is shown that deeply ramified fields and the other valued fields we introduce only admit one of the two types of defect extensions, namely the ones that appear to be more harmless in open problems such as local uniformization and the model theory of valued fields in positive characteristic. We use our knowledge about such defect extensions to give a new, valuation theoretic proof of the fact that algebraic extensions of deeply ramified fields are again deeply ramified. We also prove finite descent, and under certain conditions even infinite descent, for deeply ramified fields. These results are also proved for two other related classes of valued fields. The classes of valued fields under consideration can be seen as generalizations of the class of tame valued fields. Our paper supports the hope that it will be possible to generalize to deeply ramified fields several important results that have been proven for tame fields and were at the core of partial solutions of the two open problems mentioned above.
We give an explicit construction of the henselization of a valued field, with a constructive proof. It is analogous to the construction of the real closure of a discrete ordered field. Nous donnons une construction explicite, et constructivement prouvée, du hensélisé d'un corps valué. Cette construction peut être considérée comme l'analogue, dans le cas valué, de la construction de la clôture rééelle d'un corps ordonné.
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.
Given an algebraic function field F∣K and a place ℘ on K, we prove that the places that are composite with extensions of ℘ to finite extensions of K lie dense in the space of all places of F, in a strong sense. We apply the result to the case of K=R any real closed field and the fixed place on R being its natural (finest) real place. This leads to a new description of the real holomorphy ring of F which can be seen as an analogue to a certain refinement of Artin's solution of Hilbert's 17th problem. We also determine the relation between the topological space M(F) of all R-places of F (places with residue field contained in R), its subspace of all R-places of F that are composite with the natural R-place of R, and the topological space of all R-rational places. Further results about these spaces as well as various classes of relative real holomorphy rings are proven. At the conclusion of the paper the theory of real spectra of rings will be applied to interpret basic concepts from that angle and to show that the space M(F) has only finitely many topological components.
We prove that a valued field of positive characteristic p 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 p-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 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 \cite{[AKP]} 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 finite p-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 \cite{[K1]} 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 ℵ1 saturated 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 Ksep is a tame extension, that is, the ramification field of the normal extension Ksep∣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.
We correct mistakes in the paper Kuhlmann, F.-V.: Value groups, residue fields and bad places of rational function fields, Trans. Amer. Math. Soc. 356 (2004) [arXiv:1003.5685] and report on recent new developments which settle cases left open in that paper.
A henselian valued field K is called a tame field if its algebraic closure K~ is a tame extension, that is, the ramification field of the normal extension 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 present a general fixed point theorem which can be seen as the quintessence of the principles of proof for Banach's Fixed Point Theorem, ultrametric and certain topological fixed point theorems. It works in a minimal setting, not involving any metrics. We demonstrate its applications to the metric, ultrametric and topological cases, and to ordered abelian groups and fields.
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 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.
The {\it defect} (also called {\it ramification deficiency}) of valued field extensions is a major stumbling block in deep open problems of valuation theory in positive characteristic. For a detailed analysis, we define and investigate two weaker notions of defect: the {\it completion defect} and the {\it defect quotient}. We define them for finite extensions as well as for certain valued function fields (those with "Abhyankar valuations" that are nontrivial on the ground field). We investigate both defects and present analogues of the results that hold for the usual defect.
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.
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 OF of (F,v) is generated as an OL-algebra by henselian elements. Moreover, we give a list of equivalent conditions under which OF is generated over OL by finitely many henselian elements. We prove that if the chain of prime ideals of OL is well-ordered, then these conditions are satisfied. We give an example of a finite valued inertial extension (F∣L,v) for which OF is not a finitely generated OL-algebra. We also present a theorem that relates the problem of local uniformization with the theory of henselian elements.
We characterize and construct linearly ordered sets, abelian groups and fields that are {\emph symmetrically complete}, meaning that the intersection over any chain of closed bounded intervals is nonempty. Such ordered abelian groups and fields are important because generalizations of Banach's Fixed Point Theorem hold in them. We prove that symmetrically complete ordered abelian groups and fields are divisible Hahn products and real closed power series fields, respectively. We show how to extend any given ordered set, abelian group or field to one that is symmetrically complete. A main part of the paper establishes a detailed study of the cofinalities in cuts.
We continue the work of Kaplansky on immediate valued field extensions and determine special properties of elements in such extensions. In particular, we are interested in the question when an immediate valued function field of transcendence degree 1 is henselian rational (i.e., generated, modulo henselization, by one element). If so, then wild ramification can be eliminated in this valued function field. The results presented in this paper are crucial for the first author's proof of henselian rationality over tame fields, which in turn is used in his work on local uniformization.
We study necessary and sufficient conditions for a valued field $\KF$ with value group G and residue field $\kf$ (with char $\KF$ = char $\kf$) to admit a truncation closed embedding in the field of generalized power series $\kf((G, f))$ (with factor set f). We show that this is equivalent to the existence of a family ({\it tower of complements}) of $\kf$-subspaces of $\KF$ which are complements of the (possibly fractional) ideals of the valuation ring. If $\KF$ 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 classify Artin-Schreier extensions of valued fields with non-trivial defect according to whether they are connected with purely inseparable extensions with non-trivial defect, or not. We use this classification to show that in positive characteristic, a valued field is algebraically complete if and only if it has no proper immediate algebraic extension and every finite purely inseparable extension is defectless. This result is an important tool for the construction of algebraically complete fields. We also consider extremal fields (= fields for which the values of the elements in the images of arbitrary polynomials always assume a maximum). We characterize inseparably defectless, algebraically maximal and separable-algebraically maximal fields in terms of extremality, restricted to certain classes of polynomials. We give a second characterization of algebraically complete fields, in terms of their completion. Finally, a variety of examples for Artin-Schreier extensions of valued fields with non-trivial defect is presented.
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.
We discuss the role of additive polynomials and p-polynomials in the theory of valued fields of positive characteristic and in their model theory. We outline the basic properties of rings of additive polynomials and discuss properties of valued fields of positive characteristic as modules over such rings. We prove the existence of Frobenius-closed bases of algebraic function fields F∣K in one variable and deduce that F/K is a free module over the ring of additive polynomials with coefficients in K. Finally, we prove that every minimal purely wild extension of a henselian valued field is generated by a p-polynomial.
For valued fields K of rank higher than 1, we describe how elements in the henselization Kh 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 Kh, then K(z) is not linearly disjoint from Kh over K.
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.
We show that every henselian valued field L of residue characteristic 0 admits a proper subfield K which is dense in L. We present conditions under which this can be taken such that L∣K is transcendental and K is henselian. These results are of interest for the investigation of integer parts of ordered fields. We present examples of real closed fields which are larger than the quotient fields of all their integer parts. Finally, we give rather simple examples of ordered fields that do not admit any integer part and of valued fields that do not admit any subring which is an additive complement of the valuation ring.
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.
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.
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.
We give an introduction to the valuation theoretical phenomenon of "defect", also known as "ramification deficiency". We describe the role it plays in deep open problems in positive characteristic: local uniformization (the local form of resolution of singularities), the model theory of valued fields, the structure theory of valued function fields. We give several examples of algebraic extensions with non-trivial defect. We indicate why Artin-Schreier defect extensions play a central role and describe a way to classify them. Further, we give an overview of various results about the defect that help to tame or avoid it, in particular "stability" theorems and theorems on "henselian rationality", and show how they are applied. Finally, we include a list of open problems.
This paper gives a survey on a valuation theoretical approach to local uniformization in positive characteristic, the model theory of valued fields in positive characteristic, and their connection with the valuation theoretical phenomenon of defect.
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.
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, 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) 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) admits a restricted exponential function.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.