Search

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 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.

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.