Related papers: On valuation independence and defectless extension…

For important cases of algebraic extensions of valued fields, we develop presentations of the associated K\"ahler differentials of the extensions of their valuation rings. We compute their annihilators as well as the associated Dedekind…

We develop an extension of valuations theorem for suitable extensions of idempotent semirings. As an application, we give a new proof for the classical case of fields. Along the way, we develop characteristic one analogues of some central…

In this exposition we discuss the theory of algebraic extensions of valued fields. Our approach is mostly through Galois theory. Most of the results are well-known, but some are new. No previous knowledge on the theory of valuations is…

Let F be a field complete for a real valuation. It is a standard result in valuation theory that a finite extension of F admits a valuation basis if and only if it is without defect. We show that even otherwise, one can construct bases in…

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…

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…

In this paper we present a characterization for the defect of a simple algebraic extension of rank one valued fields using the key polynomials that define the valuation. As a particular example, this gives the classification of defect…

In this paper, we study extensions of valuations over algebraic field extensions without the use of the Axiom of Choice. We show a bijection between the extensions of a valuation and the maximal ideals of the relative integral closure of…

In recent decades, the defect of finite extensions of valued fields has emerged as the main obstacle in several fundamental problems in algebraic geometry such as the local uniformization problem. Hence, it is important to identify…

We study the relation between two important classes of valued fields: tame fields and defectless fields. We show that in the case of valued fields of equal characteristic or rank one valued fields of mixed characteristic, tame fields are…

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…

We improve results of Belair, Macintyre, and Scanlon on valued fields with a valuation preserving automorphism by weakening their assumptions on the residue difference field. In the equicharacteristic zero case we also determine the induced…

In this paper we develop the theory of the depth of a simple algebraic extension of valued fields $(L/K,v)$. This is defined as the minimal number of augmentations appearing in some Mac Lane-Vaqui\'e chain for the valuation on $K[x]$…

For all simple and finite extension of a valued field, we prove that its defect is the product of the effective degrees of the complete set of key polynomials associated. As a consequence, we obtain a local uniformization theorem for…

Local fields, and fields complete with respect to a discrete valuation, are essential objects in commutative algebra, with applications to number theory and algebraic geometry. We formalize in Lean the basic theory of discretely valued…

In analogy to valued fields, we study model-theoretic properties of valued vector spaces with variable base field by proving transfer principles down to the skeleton and down to the value set and base field. For instance, we give a formula…

We show that every valued differential field has an immediate strict extension that is spherically complete. We also discuss the issue of uniqueness up to isomorphism of such an extension.

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…

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…

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…