Semidualizing modules over numerical semigroup rings (Q6593808)

Let \(R\) be a commutative ring. Then we say a finitely generated \(R\)-module \(C\) is \textit{semidualizing} if the natural homothety map \(R \rightarrow \mathrm{Hom}_R(C,C)\) is an isomorphism and \(\mathrm{Ext}^i_R(C,C) = 0\) for all \(i > 0\). In particular, \(R\) itself is a semidualizing \(R\)-module. Also, it is well-known that if \(R\) is local Cohen-Macaulay with a canonical module \(K\), then \(K\) is a semidualizing \(R\)-module. Golod, in 1985, asked about the existence of a local ring \(R\) that has a nontrivial semidualizing module, i.e., a semidualizing module different from \(R\) and \(K\). The main aim of this work is to explore the existence of nontrivial semidualizing modules by restricting the argument to one-dimensional Cohen-Macaulay rings with small multiplicities. In fact, the authors (in Proposition 2.9) prove that if the ring has multiplicity at most \(8\), then it has only trivial semidualizing modules. Hence, they discuss the rings of multiplicity \(9\). The authors present the first main theorem of this paper in the following result, that provides a complete classification of which numerical semigroup rings of multiplicity \(9\) have nontrivial semidualizing modules.\N\N\textbf{Theorem 4.6.} A numerical semigroup ring \(k[[H]]\) of multiplicity \(9\) has a nontrivial semidualizing module if and only if \(\mu(H)\) belongs to one of the interiors of faces \(F_1, \ldots, F_{24}\) listed in Table \(4\). \N\NIn addition, the authors in Section 5 express the definition of gluings of numerical semigroup rings. The other main results of this paper are Theorems 5.6 and 5.8. Ultimately, the authors close this paper with Question 5.11, which originally posed by Herzog, regarding the generators of semidualizing modules over numerical semigroup rings.