On defectless unibranched simple extensions, complete distinguished chains and certain stability results

TL;DR

The paper characterizes when an element $a$ in an algebraic closure admits a complete distinguished chain over a base valued field $K$, proving this holds if and only if $(K(a)|K,v)$ is defectless and unibranched. It extends known henselian results to arbitrary valued fields by exploiting stability of the $j$-invariant under henselization and by analyzing minimal pairs of definition and key polynomials in valuation-transcendental extensions. A central contribution is showing that complete distinguished chains over $K$ persist to the henselization $K^h$, and under defectless/unibranched conditions, yield chains over $K$ as well; this yields a robust criterion linking chain existence with defect properties. Additionally, the work proves defectlessness transfer for valuation-transcendental extensions of the form $(K(b,X)|K(X),w)$ under either defectless $K(b)|K$ or the key-polynomial condition, reinforcing stability phenomena predicted by the Generalized Stability Theorem and enriching the understanding of defect behavior in valuation theory.

Abstract

Let $(K,v)$ be a valued field. Take an extension of $v$ to a fixed algebraic closure $L$ of $K$. In this paper we show that an element $a\in L$ admits a complete distinguished chain over $K$ if and only if the extension $(K(a)|K,v)$ is defectless and unibranched. This characterization generalizes the known result in the henselian case. In particular, our result shows that if $a$ admits a complete distinguished chain over $K$, then it also admits one over the henselization; however, the converse may not be true. The main tool employed in our analysis is the stability of the $j$-invariant associated to a valuation transcendental extension under passage to the henselization. We also explore the stability of defectless simple extensions in the following sense: let $(K(X)|K,w)$ be a valuation transcendental extension with a pair of definition $(b,γ)$. Assume that either $(K(b)|K,v)$ is a defectless extension, or that $f(X)$ is a key polynomial for $w$ over $K$, where $f(X)$ is the minimal polynomial of $b$ over $K$. We show that then the extension $(K(b,X)|K(X),w)$ is defectless. In particular, the extension $(K(b,X)|K(X),w)$ is always defectless whenever $(b,γ)$ is a minimal pair of definition for $w$ over $K$.

Theorems & Definitions (38)

• Theorem 1.1
• Theorem 1.2
• Proposition 1.3
• Lemma 1.4
• Theorem 1.5
• Remark 2.1
• Lemma 2.2
• proof
• Proposition 2.3
• proof