Torsion in differentials and Berger's conjecture (Q2242598)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Torsion in differentials and Berger's conjecture |
scientific article |
Statements
Torsion in differentials and Berger's conjecture (English)
0 references
10 November 2021
0 references
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.
0 references
module of differentials
0 references
Berger conjecture
0 references
reduced curves
0 references
0 references
0 references
0 references