The module of Kähler differentials for extensions of valuation rings

Abstract

The main goal of this paper is to describe the module of Kähler differentials for an extension of valuation rings. More precisely, we consider a simple algebraic valued field extension $(L/K,v)$ and the corresponding valuation ring extension $\VR_K\hookrightarrow\VR_L$. In the case when $e(L/K,v)=1$ (and under two additional conditions) we present a characterization of $Ω_{\VR_L/\VR_K}$ in terms of a given sequence of key polynomials for the extension. We use our main result to present criteria for the equality $Ω_{\VR_L/\VR_K}=(0)$ to hold.