Torsion in Differentials and Berger's Conjecture

Abstract

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 ${\Omega }_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 ${\mathrm{Hom}}_R(\mathfrak{m},\mathfrak{m})$ and constructing enough torsion in ${\Omega }_S$, enabling us to pull back a nontrivial torsion to ${\Omega }_R$.