Abstract: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 $\Omega_{\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. We also show that the annihilator of $\Omega_{\mathcal O_L|\mathcal O_K}$ can only be equal to the maximal ideal $\mathcal M_L$ of $\mathcal O_L$ if the extension is defectless and $\mathcal M_L$ is principal. Using our results from the prime degree case, we characterize when $\Omega_{\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$.

Analytic Nullstellensätze and the model theory of valued fields

Analytic Nullstellensätze and the model theory of valued fields

Projective Nullstellensatz for not necessarily algebraically closed fields

Model theory of valued fields with an endomorphism

Real Nullstellensatz for 2-step nilpotent Lie algebras

Positivstellensätze for semi-algebraic sets in real closed valued fields

Dimension-free matricial Nullstellensätze for noncommutative polynomials

Uniform existential definitions of valuations in function fields in one variable

A two-sorted theory of nilpotent Lie algebras

Abelian Conjectures of Stark Type in Z_p Extensions of Totally Real Fields

Almost real closed fields with real analytic structure

Valued fields with a total residue map

A spectral theorem for a non-Archimedean valued field whose residue field is formally real

Model-theoretic properties of nilpotent groups and Lie algebras

Difference Nullstellensatz

Model theory of differential-henselian pre-$H$-fields

Zero Order Estimates for Analytic Functions

The intermediate value theorem over a non-Archimedean field via Hensel's Lemma

Undecidability of infinite towers of Kummer extensions of $\mathbb{F}_p(t)$

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

A Spiegelungssatz for function field $L$-series