English

Torsion in Differentials and Berger's Conjecture

Commutative Algebra 2022-02-01 v1 Algebraic Geometry

Abstract

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

Keywords

Cite

@article{arxiv.2201.13002,
  title  = {Torsion in Differentials and Berger's Conjecture},
  author = {Craig Huneke and Sarasij Maitra and Vivek Mukundan},
  journal= {arXiv preprint arXiv:2201.13002},
  year   = {2022}
}
R2 v1 2026-06-24T09:10:01.350Z