Torsion in differentials and Berger's conjecture
type: Item
instance of: scholarly article
title: Torsion in differentials and Berger's conjecture
zbMATH Open document ID: 1483.13041
author: Craig Huneke
author: Sarasij Maitra
author: Vivek Mukundan
published in: Research in the Mathematical Sciences
publication date: 2021-11-10T00:00:00Z
full work available at URL: https://arxiv.org/abs/2201.13002
review text: Let \(k\) be an algebraically closed field of characteristic zero and let \((R, \mathfrak{m}_{R}, k)\) be an equicharacteristic reduced one-dimensional complete local \(k\)-algebra. \textit{R. Berger} [Math. Z. 81, 326--354 (1963; Zbl 0113.26302)] conjectured that the universally finite module of differentials \(\Omega_{R}\) is torsion-free if and only if \(R\) is regular. It is known that if \(R\) is regular, then \(\Omega_{R}\) is free, so the conjecture can be formulated as follows: \(\Omega_{R}\) is torsion-free if and only if it is a free \(R\)-module. A summary of many results obtained via various approaches to the conjecture can be found in [\textit{R. W. Berger}, in: Algebraic geometry and its applications. Collections of papers from Shreeram S. Abhyankar's 60th birthday conference held at Purdue University, West Lafayette, IN, USA, June 1-4, 1990. New York: Springer-Verlag. 285--303 (1994; Zbl 0808.13008)]. The paper under review extends the results of [\textit{K. Güttes}, Arch. Math. 54, No. 5, 499--510 (1990; Zbl 0728.13011)] and [\textit{G. Cortiñas} et al., Math. Z. 228, No. 3, 569--588 (1998; Zbl 0907.13014)] by giving new cases in which the conjecture is true. The main result of the paper states that with the above notation and conditions, if \((R, \mathfrak{m}_{R}, k)\) is a domain, \(x\) is a minimal reduction in \(\mathfrak{m}_{R}\), \(\mathfrak{C}_{R}\) is the conductor ideal of \(R\) in its integral closure, \(n = edim R\) (the embedding dimension of \(R\)), and \(s(R)= \dim_{k}\frac{(\mathfrak{C}_{R}, x)}{(x)}\) is the ``reduced type'' of \(R\), then the Berger's conjecture is true in the following cases: (1) \(\mathfrak{m}_{R}^{4}\subseteq (\mathfrak{C}_{R}, x)\) and \(2\cdot s(R)\leq n(n-3)\); (2) \(\mathfrak{m}_{R}^{6}\subseteq (x)\), \(n\geq 6\) and \(R\) is Gorenstein.
Mathematics Subject Classification ID: 13N05
Mathematics Subject Classification ID: 13H10
zbMATH DE Number: 7423434
zbMATH Keywords: module of differentials
zbMATH Keywords: Berger conjecture
zbMATH Keywords: reduced curves
reviewed by: Alexander B. Levin
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W3205268032
Wikidata QID: Q113897627
cites work: On smoothable curve singularities: Local methods
cites work: Differentialmoduln eindimensionaler lokaler Ringe
cites work: On the torsion of the differential module of a curve singularity
cites work: Report on the Torsion of the Differential Module of an algebraic Curve
cites work: One dimensional local rings of maximal and almost maximal length
cites work: Q3843140
cites work: The Milnor number and deformations of complex curve singularities
cites work: The Artinian Berger conjecture
cites work: Artinian algebras and differential forms
cites work: Q4317713
cites work: Zum Torsionsproblem bei Kurvensingularitäten. (The torsion problem on curve singularities)
cites work: Ein Cohen-Macaulay Kriterium mit Anwendungen auf den Konormalenmodul und den Differentialmodul
cites work: Q5613258
cites work: Differentials of linked curve singularities
cites work: Cotangent functors of curve singularities
cites work: A note on the torsion of differential forms
cites work: On Berger's conjecture about one dimensional local rings
cites work: Q3737532
cites work: The Value-Semigroup of a One-Dimensional Gorenstein Ring
cites work: Q3714169
cites work: Torsion of the differential module of singularities of curves with maximal Hilbert function
cites work: Differential modules with maximal torsion
cites work: Q5597625
cites work: Integral closure of ideals, rings, and modules
cites work: Torsion des Differentialmoduls und Kotangentenmodul von Kurvensingularitäten
cites work: Q3744273
DOI: 10.1007/S40687-021-00295-Y
Recommended article: Torsion of differentials on toric varieties
Recommended article: On the torsion differentials
Recommended article: A note on the torsion of differential forms
Recommended article: Torsion of differentials of affine quasi-homogeneous hypersurfaces
Recommended article: Torsion of differentials of hypersurfaces with isolated singularities
Recommended article: On torsion Kähler differential forms
Recommended article: Invariance of Torsion and the Borsuk Conjecture
Recommended article: On the torsion of the differential module of a curve singularity
description: scientific article; zbMATH DE number 7423434