Nearly Gorenstein vs almost Gorenstein affine monomial curves (Q2029725): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Changed an Item |
||
Property / describes a project that uses | |||
Property / describes a project that uses: GAP / rank | |||
Normal rank |
Revision as of 03:57, 29 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Nearly Gorenstein vs almost Gorenstein affine monomial curves |
scientific article |
Statements
Nearly Gorenstein vs almost Gorenstein affine monomial curves (English)
0 references
4 June 2021
0 references
Let \(k\) be a field and let \(R\) be a Cohen-Macaulay positively graded \(k\)-algebra with graded maximal ideal \(\mathfrak{m}\). Assume that \(R\) admits a canonical module \( \omega_R\) and let \(\mathrm{tr}(\omega_R)\) denote the trace ideal of \(\omega_R\). It is well known that \(R \) is Gorenstein if and only if \(\mathrm{tr}(\omega_R) =R\). In [Isr. J. Math. 233, No. 1, 133--165 (2019; Zbl 1428.13037)], \textit{J. Herzog} et al. call a ring for which \(\mathfrak{m}\subseteq\mathrm{tr}(\omega_R) \) nearly Gorenstein. Another generalization of Gorenstein ring was given by the notion of almost Gorenstein ring, initially introduced by \textit{V. Barucci} and \textit{R. Fröberg} [J. Algebra 188, No. 2, 418--442 (1997; Zbl 0874.13018)] in the case of analytically unramified rings of dimension one. In general, nearly and almost Gorenstein-ess are two unrelated notions, but in dimension one an almost Gorenstein ring is always nearly Gorenstein. In the present paper, the authors extend some results on almost Gorenstein affine monomial curves to the nearly Gorenstein case. In particular, they prove that the Cohen-Macaulay type of a nearly Gorenstein monomial curve in \(\mathbb{A} ^4\) is at most 3, answering a question posed by D.I. Stamate in 2018 for this particular case. Furthermore, they prove that, if \(\mathcal{C}\) is a nearly Gorenstein affine monomial curve that is not Gorenstein and \(n_1, n_2,\dots, n_\nu\) are the minimal generators of the associated numerical semigroup, the elements of \(\{n_1,n_2, \dots, \hat{\, n_i}, \dots, n_\nu\}\) are relatively coprime for every index \(i\).
0 references
nearly Gorenstein ring
0 references
almost Gorenstein ring
0 references
4-generated numerical semigroup
0 references
type of a numerical semigroup
0 references