Gorenstein property and symmetry for one-dimensional local Cohen-Macaulay rings
type: Item
instance of: scholarly article
title: Gorenstein property and symmetry for one-dimensional local Cohen-Macaulay rings
zbMATH Open document ID: 0822.13011
DOI: 10.1007/BF02567623
published in: Manuscripta Mathematica
publication date: 1995-10-15T00:00:00Z
full work available at URL: https://eudml.org/doc/155970
review text: This article extends earlier work of \textit{F. Delgado de la Mata} [Manuscr. Math. 59, 347-374 (1987; Zbl 0611.14025)] to characterize the Gorenstein property for a one-dimensional local analytically reduced Cohen Macaulay ring \((R, {\mathfrak m}, k)\). Associated to such a ring one has \(h\) discrete pseudo-valuation rings \(V_ i\), and in turn regular maximal ideals \({\mathfrak n}_ i\) of \(S\), the integral closure of \(R\) in its total ring of quotients. Let \(f_ i = [S/{\mathfrak n}_ i : k]\). For each \(i \in \{1, \dots, h\}\) and multivector \(\alpha \in \mathbb{Z}^ h\) there is \(k\)-vector space \(C (\alpha, i)\) defined in terms of the valuations; likewise \(\gamma \in \mathbb{Z}^ h\) is associated to the conductor \({\mathfrak f} = (R:_ S S)\). The main result, reformulating the classical equality \(\ell_ R (S/{\mathfrak f}) = 2 \ell_ R (R/{\mathfrak f})\), is that \(R\) is Gorenstein if and only if \(\dim C (\alpha,i) + \dim C (\gamma - \alpha - e_ i,k) = f_ i\) for all \(\alpha\) and \(i\). If all \(f_ i = 1\), one calls \(R\) residually rational. With this additional hypothesis, the authors define a semigroup \(\Gamma\) of values of \(R\), and show that if \(\Gamma\) is symmetric, then \(R\) is Gorenstein (and conversely, if \(k\) is infinite).
Mathematics Subject Classification ID: 13H10
Mathematics Subject Classification ID: 13C14
zbMATH DE Number: 624946
zbMATH Keywords: Gorensteinness
zbMATH Keywords: residually rational ring
zbMATH Keywords: Gorenstein property
zbMATH Keywords: one- dimensional local analytically reduced Cohen Macaulay ring
author: Antonio Campillo
author: F. Delgado
author: Karl-Heinz Kiyek
MaRDI profile type: Publication
cites work: Semigroup of two irreducible algebroid plane curves
cites work: Algebroid curves in positive characteristic
cites work: Semigroups associated to singular points of plane curves.
cites work: Gorenstein curves and symmetry of the semigroup of values
cites work: The semigroup of values of a curve singularity with several branches
cites work: An Arithmetic Theory of Adjoint Plane Curves
cites work: Der Approximationssatz für Manisbewertungen
cites work: Valuations and Prufer Rings
cites work: Der kanonische Modul eines Cohen-Macaulay-Rings. (The canonical moduls of a Cohen-Macaulay-ring)
cites work: Q4039904
cites work: The Value-Semigroup of a One-Dimensional Gorenstein Ring
cites work: Q5647004
cites work: Q3213227
cites work: 1-dimensional Cohen-Macaulay rings
cites work: Valuation semigroups and closed components
Recommended article: Q4316755
Recommended article: Syzygies of Cohen-Macaulay modules over one dimensional Cohen-Macaulay local rings
Recommended article: Symmetry in the vanishing of Ext over Gorenstein rings
Recommended article: Q4295428
Recommended article: Maximality properties for one-dimensional analytically irreducible local Gorenstein and Kunz rings.
Recommended article: Q4551061
Recommended article: One-dimensional almost Gorenstein rings
Recommended article: One-dimensional Cohen-Macaulay local rings of multiplicity three
Recommended article: Some characterizations of Gorenstein local rings in terms of G-dimension
Recommended article: Q4948270
description: scientific article; zbMATH DE number 624946