Published October 21, 2026 | Version v3

Betti sequences of four-generated non-almost-symmetric nearly Gorenstein numerical semigroup rings

Authors/Creators

Description

Let $S$ be a minimally four-generated numerical semigroup that is nearly Gorenstein but not almost symmetric, and let $R=\Bbbk[S]$ over an arbitrary field $\Bbbk$. We prove that the defining ideal of $R$ has four or five minimal generators when $R$ has Cohen--Macaulay type two, and exactly six when it has type three. Thus the total Betti sequence over the four-variable polynomial presentation ring is one of
$$
(1,4,5,2),\quad (1,5,6,2),\quad (1,6,8,3),
$$
and all three possibilities occur. The type-three argument uses a canonical-ideal exact sequence, a chain-level comparison on Tor, and a codimension-three Gorenstein reduction. The resulting classification gives an affirmative answer, over every field, to Moscariello and Strazzanti's Question~4.3 on four-generated nearly Gorenstein numerical semigroups that are not almost symmetric.

Files

v3.pdf

Files (478.3 kB)

Name Size
md5:613b0cf2d84dc33de6f1d5e04374d15c
478.3 kB Preview Download