Nearly Gorenstein vs almost Gorenstein affine monomial curves (Q2029725): Difference between revisions

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\).