Searcharxiv⌕ Search

arXiv subjects

Franz-Viktor Kuhlmann

Publications and source records attributed to Franz-Viktor Kuhlmann.

At least 19 recordsLinked to original sources
arXiv2026

Topics in higher ramification theory I: ramification ideals

We introduce and study the notion of ramification ideals in higher ramification theory. After general results on their computation for finite extensions, we discuss their connection with the possibly nontrivial defect of the extensions. We compute them for Artin-Schreier extensions and Kummer extensions of prime degree equal to the residue characteristic, which may or may not have nontrivial defect. We present an example that shows that nontrivial defect in an extension of degree $p^2$, $p$ a prime, may not imply the existence of a nonprincipal ramification ideal.

math.AC↗
arXiv2026

On algebraically maximal valued fields that are not defectless

An example originally given by F.~Delon shows the existence of an algebraically maximal discretely valued field of characteristic $p>0$ which admits purely inseparable extensions of degree $p^2$ with defect $p$. These extensions are not generated by a single element. Using a trick introduced in an earlier paper of the author, we construct algebraically maximal valued fields, of characteristic $p$ as well as of characteristic $0$, which admit separable extensions of degree $p^2$ with defect $p$. They are of rank 2 and it is an open question whether such examples having rank 1 exist.

math.AC↗
arXiv2025

On certain definable coarsenings of valuation rings and their applications

We show how suitable extensions $(L|K,v)$ of prime degree of valued fields give rise to definable coarsenings of the valuation rings of $L$ and $K$. In the case of Artin-Schreier and Kummer extensions with wild ramification, we can also define the ramification ideal. We demonstrate the use of the coarsenings on $L$, their maximal ideals, and the ramification ideals for the classification of defects and for the presentation of the Kähler differentials of the extension of the valuation rings of $(L|K,v)$, and their annihilators. Finally, we give a construction that realizes predescribed convex subgroups of suitable value groups as those that are associated with Galois extensions of degree $p$ with independent defect, which in turn give rise to definable coarsenings.

math.LO↗
arXiv2025

Arithmetic of cuts in ordered abelian groups and of ideals over valuation rings

We investigate existence, uniqueness and maximality of solutions $T$ for equations $S_1+T=S_2$ and inequalities $S_1+T\subseteq S_2$ where $S_1$ and $S_2$ are final segments of ordered abelian groups. Since cuts are determined by their upper cut sets, which are final segments, this gives information about the corresponding equalities and inequalities for cuts. We apply our results to investigate existence, uniqueness and maximality of solutions $J$ for equations $I_1 J=I_2$ and inequalities $I_1 J\subseteq I_2$ where $I_1$ and $I_2$ are ideals of valuation rings. This enables us to compute the annihilators of quotients of the form $I_1/I_2\,$.

math.AC↗
arXiv2025

Kähler differentials of extensions of valuation rings and deeply ramified fields

Assume that $(L,v)$ is a finite Galois extension of a valued field $(K,v)$. We give an explicit construction of the valuation ring $\mathcal O_L$ of $L$ as an $\mathcal O_K$-algebra, and an explicit description of the module of relative Kähler differentials $Ω_{\mathcal O_L|\mathcal O_K}$ when $L|K$ is a Kummer extension of prime degree or an Artin-Schreier extension, in terms of invariants of the valuation and field extension. The case when this extension has nontrivial defect was solved in a recent paper by the authors with Anna Rzepka. The present paper deals with the complementary (defectless) case. The results are known classically for (rank 1) discrete valuations, but our systematic approach to non-discrete valuations (even of rank 1) is new. Using our results from the prime degree case, we characterize when $Ω_{\mathcal O_L|\mathcal O_K}=0$ holds for an arbitrary finite Galois extension of valued fields. As an application of these results, we give a simple proof of a theorem of Gabber and Ramero, which characterizes when a valued field is deeply ramified. We further give a simple characterization of deeply ramified fields with residue fields of characteristic $p>0$ in terms of the Kähler differentials of Galois extensions of degree $p$.

math.AC↗
arXiv2025

On the computation of Kähler differentials and characterizations of Galois extensions with independent defect

For important cases of algebraic extensions of valued fields, we develop presentations of the associated Kähler differentials of the extensions of their valuation rings. We compute their annihilators as well as the associated Dedekind differentials. We then apply the results to Galois defect extensions of prime degree. Defects can appear in finite extensions of valued fields of positive residue characteristic and are serious obstructions to several problems in positive characteristic. A classification of defects (dependent vs.\ independent) has been introduced by the second and the third author. It has been shown that perfectoid fields and deeply ramified fields only admit extensions with independent defect. We give several characterizations of independent defect, using ramification ideals, Kähler differentials and traces of the maximal ideals of valuation rings. All of our results are for arbitrary valuations; in particular, we have no restrictions on their rank or value groups.

math.AC↗
arXiv2024

Chain union closures

We study spherical completeness of ball spaces and its stability under expansions. We give some criteria for ball spaces that guarantee that spherical completeness is preserved when the ball space is closed under unions of chains. This applies in particular to the spaces of closed ultrametric balls in ultrametric spaces with linearly ordered value sets, or more generally, with countable narrow value sets. We show that in general, chain union closures of ultrametric spaces with partially ordered value sets do not preserve spherical completeness. Further, we introduce and study the notions of chain union stability and of chain union rank, which measure how often the process of closing a ball space under all unions of chains has to be iterated until a ball space is obtained that is closed under unions of chains.

math.LO↗
arXiv2023

The valuation theory of deeply ramified fields and its connection with defect extensions

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.

math.AC↗
arXiv2022

Tame Key polynomials

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.

math.AC↗
arXiv2022

Dynamic computations inside the algebraic closure of a valued field

We explain how to compute in the algebraic closure of a valued field. These computations heavily rely on the \NPAz. They are made in the same spirit as the dynamic algebraic closure of a field. They give a concrete content to the theorem saying that a valued field does have an algebraically closed valued extension. The algorithms created for that purpose can be used to perform an effective quantifier elimination for algebraically closed valued fields, which relies on a very natural geometric idea.

math.AC↗
arXiv2022

Construction du hensélisé d'un corps valué

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

math.AC↗
arXiv2021

Approximation types describing extensions of valuations to rational function fields

We introduce the notion of {\it approximation type} for the partial, and in certain cases the total description of extensions of a given valuation from a field $K$ to the rational function field $K(x)$. To every extension, a unique approximation type of $x$ over $K$ is associated, while $x$ may be the limit of many pseudo Cauchy sequences. Approximation types also provide information in cases where the extensions are not immediate, and we prove that they correspond bijectively to the extensions when $K$ is algebraically closed or lies dense in its algebraic closure.

math.AC↗
arXiv2021

Cuts and small extensions of abelian ordered groups

We classify cuts in (totally) ordered abelian groups $\g$ and compute the coinitiality and cofinality of all cuts in case $\g$ is divisible, in terms of data intrinsically associated to the invariance group of the cut. We relate cuts with small extensions of $\g$ in a natural way, which leads to an explicit construction of a totally ordered real vector space containing realizations of all cuts. This construction is applied to the problem of classifying all extensions of the valuation from a given valued field $K$ to the rational function field $K(x)$.

math.AC↗
arXiv2021

Density of Composite Places in Function Fields and Applications to Real Holomorphy Rings

Given an algebraic function field $F|K$ and a place $\wp$ on $K$, we prove that the places that are composite with extensions of $\wp$ 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.

math.AC↗
arXiv2021

Valued fields with finitely many defect extensions of prime degree

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 NTP$_2$ 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.

math.AC↗
arXiv2020

A generic approach to measuring the strength of completeness/compactness of various types of spaces and ordered structures

With a simple generic approach, we develop a classification that encodes and measures the strength of completeness (or compactness) properties in various types of spaces and ordered structures. The approach also allows us to encode notions of functions being contractive in these spaces and structures. As a sample of possible applications we discuss metric spaces, ultrametric spaces, ordered groups and fields, topological spaces, partially ordered sets, and lattices. We describe several notions of completeness in these spaces and structures and determine their respective strengths. In order to illustrate some consequences of the levels of strength, we give examples of generic fixed point theorems which then can be specialized to theorems in various applications which work with contracting functions and some completeness property of the underlying space. Ball spaces are nonempty sets of nonempty subsets of a given set. They are called spherically complete if every chain of balls has a nonempty intersection. This is all that is needed for the encoding of completeness notions. We discuss operations on the sets of balls to determine when they lead to larger sets of balls; if so, then the properties of the so obtained new ball spaces are determined. The operations can lead to increased level of strength, or to ball spaces of newly constructed structures, such as products. Further, the general framework makes it possible to transfer concepts and approaches from one application to the other; as examples we discuss theorems analogous to the Knaster--Tarski Fixed Point Theorem for lattices and theorems analogous to the Tychonoff Theorem for topological spaces.

math.GN↗