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

Milnor K-theory of complete discrete valuation rings with finite residue fields

On the relative Gersten conjecture for Milnor K-theory in the smooth case

Remarks on Milnor K-theory and Tate's conjecture for divisors

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

The Milnor $K$-theory and the Shintani cocycle

Non-unital algebraic $K$-theory and almost mathematics

$k$-linear Morita theory

Towards the $p$-adic Hodge theory for non-commutative algebraic varieties

The $K$-theory of the moduli stacks $\mathcal{M}_2$ and $\overline{\mathcal{M}}_2$

Algebraic K-theory of completed Kac-Moody groups

Towards a refinement of the Bloch-Kato conjecture

$K$-theory of rings of continuous functions

Regularity of semi-valuation rings and homotopy invariance of algebraic K-theory

Milnor-Orr invariants from the Kontsevich invariant

Algebraic cobordism and a Conner-Floyd isomorphism for algebraic K-theory

Transfers on Milnor-Witt K-theory

Colength, multiplicity, and ideal closure operations II

Linking Invariants for Valuations and Orderings on Fields

Additive invariants of finite dimensional algebras of finite global dimension

An analogue of the Milnor conjecture for the de Rham-Witt complex in characteristic 2

Multivariable de Rham representations, Sen theory and $p$-adic differential equations