Paper detail

Torsion in Differentials and Berger's Conjecture

Let $(R,\mathfrak{m},\mathbb{k})$ be an equicharacteristic one-dimensional complete local domain over an algebraically closed field $\mathbb{k}$ of characteristic 0. R. Berger conjectured that R is regular if and only if the universally finite module of differentials $Ω_R$ is a torsion-free $R$-module. We give new cases of this conjecture by extending works of Güttes (Arch Math 54:499-510, 1990) and Cortiñas et al. (Math Z 228:569-588, 1998).This is obtained by constructing a new subring $S$ of $\operatorname{Hom}_R(\mathfrak{m},\mathfrak{m})$ and constructing enough torsion in $Ω_S$, enabling us to pull back a nontrivial torsion to $Ω_R$.