Computing families of Cohen-Macaulay and Gorenstein rings (Q741651): Difference between revisions

Let \(F\) be a convex body of \(\mathbb R^2\) with nonempty interior, and denote by \(iF=\{ix\mid x\in F\}\) for \(i\) a nonnegative integer. The set \(\mathcal F=\bigcup_{i\in \mathbb N} iF\cap\mathbb N^2\) is a submonoid of \(\mathbb N^2\). The authors study these semigroups for the particular case of \(F\) being a circle or a polygon. In a previous work they determined when these semigroups are finitely generated (and thus are affine semigroups; see [\textit{J. I. García-García} et al., Semigroup Forum 87, No. 2, 331--350 (2013; Zbl 1291.20058)]). These semigroups are called convex affine semigroups. The authors characterize when the semigroup ring \(\mathbb K[\mathcal F]=\mathbb K[x^ax^b\mid (a,b)\in \mathcal F]\) is Cohen-Macaulay, and also when it is Gorenstein. The characterization of the Gorenstein property relies on the calculation of the intersection of the Apéry sets of the extremal rays of the semigroup (since we are living in \(\mathbb N^2\), these semigroups are simplicial). Given a polygon or a circle, it is easy to determine if the conditions presented by the authors hold for this convex body. Thus detecting if \(K[\mathcal F]\) is Cohen-Macaulay or Gorenstein, is an easy task with the characterizations presented. Families of convex affine semigroups with the Cohen-Macaulay or Gorenstein property are provided.