The structure of the minimal free resolution of semigroup rings obtained by gluing (Q1634839)

Let \(C=\{c_1,\dots,c_n\}\) be a subset of positive integers and let \(\langle C\rangle\) be the semigroup generated by \(C\). If \(\mathbb{N}\setminus C\) is a finite set, then \(\langle C\rangle\) is called a numerical semigroup. The set \(C\) is minimally generates the semigroup \(\langle C\rangle\) if no proper subset of \(C\) generates the same semigroup \(\langle C\rangle\). In this paper under review, the authors construct a minimal graded free resolution for the semigroup ring \(k[C]\) when \(\langle C\rangle\) is a numerical semigroup obtained by gluing two smaller numerical semigroups. This paper is organized as follows: In section 2, they recall the definition of semigroups obtained by gluing and give some of their properties, known and new. Section 3 has a main result and the consequences. For numerical semigroups obtained by gluing, they compute the invariants associated to the minimal graded free resolution like the Betti numbers, the graded Betti numbers, the Castelnuovo-Mumford regularity and the Hilbert series. In section 4, they consider the case when the numerical semigroup \(\langle C\rangle\) decomposes as \(C= k_1A \sqcup k_2B\) where one of the subsets of \(C\) is a singleton. In section 5, the authors discuss the consequences of their results for small embedding dimensions and give some examples. In particular, they classify decomposable numerical semigroups up to embedding dimension \(5\) and also show that, in embedding dimension \(n\geq 4\), there exist indecomposable numerical semigroups of any Cohen-Macaulay type between \(1\) and \(n\). Finally, in the last section the authors observe that their main result is valid for decomposable semigroups in higher dimension and give an example to illustrate this.