--- title: Gorenstein Numerical Semigroup Rings url: https://www.emergentmind.com/topics/gorenstein-numerical-semigroup-rings type: topic --- # Gorenstein Numerical Semigroup Rings A Gorenstein numerical semigroup ring is a one-dimensional Cohen–Macaulay semigroup ring $R = k[H]$, where $H$ is a numerical semigroup (an additive, cofinite submonoid of $\mathbb{N}$ containing $0$), such that $R$ is Gorenstein. By a fundamental result of Kunz and Herzog, this occurs if and only if $H$ is symmetric: for $F(H)$ the Frobenius number of $H$, $H$ is symmetric if for every $n \in \mathbb{Z}$ exactly one of $n$ or $F(H) - n$ lies in $H$. Gorenstein numerical semigroup rings are a central object in the study of one-dimensional Gorenstein domains, Ulrich and Arf rings, and have deep connections with the structure of graded ideals, Betti numbers, and semigroup combinatorics. ## 1. Symmetry of Numerical Semigroups and the Gorenstein Property Symmetry of a numerical semigroup $H \subset \mathbb{N}$ is characterized by the property that the set of gaps $G(H) = \mathbb{N} \setminus H$ satisfies: for $F = F(H)$, $n \notin H$ if and only if $F-n \notin H$. The genus $g(H)=|G(H)|$ satisfies $H$ symmetric $\iff$ $g(H) = (F(H)+1)/2$ [2011.08540]. The semigroup ring $R = k[H]$ is Gorenstein if and only if $H$ is symmetric. The canonical module then takes a cyclic form and $R$ is of Cohen–Macaulay type $1$ [2305.19633]. For analytic localizations (e.g., $k[[H]]$), this equivalence persists. ## 2. Conductor, Frobenius Number, and Classification The **Frobenius number** $F(H) = \max(\mathbb{Z} \setminus H)$ and the **conductor** $c(H) = F(H)+1$ are numerical invariants intimately tied to the Gorenstein property. Symmetry is manifest in the Apéry set structure and in formulas for genus, conductor, and pseudo-Frobenius numbers. In Gorenstein semigroup rings, the key properties include: - $H$ symmetric $\iff$ the pseudo-Frobenius set $\mathrm{PF}(H) = \{F(H)\}$, - The canonical ideal is principal, - The trace of the canonical module equals $R$, - The residue $\operatorname{res}(H)$ vanishes, measuring "distance" to Gorenstein [2008.01428]. ## 3. Enumeration of Gorenstein Ideals and Explicit Structure A distinctive feature of Gorenstein numerical semigroup rings is a sharp enumeration and description of non-principal graded ideals $I \subset R$ with $R/I$ also Gorenstein. The number of such ideals equals the conductor $c(H) = F(H) + 1$ [2305.19633]. Explicitly, the set of such ideals is: \[ \left\{\,A_m,\,t^m A_m :\, m \in \mathbb{N} \setminus H \,\right\}, \] where $A_m = R:Rt^m = (1, t^m)^{-1}$, and $m$ runs over the set of gaps of $H$ ("$\mathbb{N}\setminus H$"), establishing a direct bijection between such ideals and the gaps. This structural result also underpins the module-theoretic study of Ulrich and Arf ideals in this context. ## 4. Algebraic and Homological Structure Gorenstein numerical semigroup rings display diverse algebraic and homological behaviors. Their toric ideals (the defining ideals in power series or polynomial rings) and their minimal graded free resolutions reflect the combinatorics of $H$: - For embedding dimension $4$, the minimal number of generators is $3$ or $5$ (Bresinsky's Theorem) [1804.10330, 2108.04513]. - For Sally-type semigroups, the presentation ideal $I_k$ is determinantal, and Betti numbers can be computed explicitly using Eagon–Northcott complexes [2512.18136]. - Certain rings exhibit transcendental Betti series, as shown for the semigroup $\langle 36, 48, ..., 135\rangle$ [1212.0720]. - The combinatorics of Apéry sets, Young diagram decompositions, and inverse polynomial annihilators provide systematic tools for analyzing the structure and detecting the Gorenstein property [2011.08540, 2108.04513]. ## 5. Special Constructions: Sally-type, Gluing, and Numerical Duplication Numerous families and constructions enrich the landscape of Gorenstein numerical semigroups: - **Sally-type semigroups** are generated by subsets of $[e,2e-1]$ with gaps introduced ("Sally-type"), and the Gorenstein property is characterized by explicit conditions (e.g., for $S_k^e(j)$, Gorenstein iff $j=k$ when $1\leq k