Constructible Commutative Semigroup Rings

• Constructible commutative semigroup rings are semigroup rings k[S] over a field, where the affine semigroup S is constructed via algebraic operations like gluing and join.
• They facilitate the explicit construction of projective closures and one-dimensional local rings with controlled Hilbert functions and strongly indispensable minimal free resolutions.
• Utilizing techniques such as Gröbner bases and tensor products, these rings reveal deep combinatorial and homological insights, addressing open problems in commutative algebra.

A constructible commutative semigroup ring is a semigroup ring $k[S]$ over a field $k$, where the affine semigroup $S \subset \mathbb{N}^d$ is obtained via algebraic constructions such as gluing and join. These operations furnish large, explicit families of semigroup rings with prescribed homological and algebraic properties—most notably, projective closures exhibiting the Cohen–Macaulay (CM) or Gorenstein property, infinite families of one-dimensional Gorenstein local rings with controlled Hilbert functions, and classes of semigroup rings with strongly indispensable minimal free resolutions. The study of such rings is tightly interwoven with the structure of the underlying semigroups and their defining lattice ideals, presenting a rich interplay between combinatorial and homological algebraic features (Singh et al., 2023).

1. Affine Semigroups and Their Semigroup Rings

An affine semigroup $S \subset \mathbb{N}^d$ is a finitely generated submonoid of $\mathbb{N}^d$. The associated semigroup ring is defined as $$k[S] := k[t^{a_1}, \ldots, t^{a_n}] \subset k[t_1, \ldots, t_d]$$ for generators $a_1, \ldots, a_n$ of $S$, where $t^{a_i} := t_1^{a_{i1}} \cdots t_d^{a_{id}}$. Equivalently, $k[S] \cong R / I(S)$ with $k$0 and the prime lattice ideal $k$1, $k$2, generated by all binomials $k$3 such that $k$4 (Singh et al., 2023).

2. Gluing of Numerical Semigroups and Its Ring-Theoretic Consequences

Given numerical semigroups $k$5 and $k$6 (submonoids of $k$7 with $k$8 of generators $k$9), gluing constructs a new numerical semigroup $S \subset \mathbb{N}^d$0 for suitable integers $S \subset \mathbb{N}^d$1 and $S \subset \mathbb{N}^d$2 satisfying $S \subset \mathbb{N}^d$3 and natural exclusion conditions on $S \subset \mathbb{N}^d$4 and $S \subset \mathbb{N}^d$5. The defining ideal $S \subset \mathbb{N}^d$6 of the glued semigroup can be explicitly computed as

$S \subset \mathbb{N}^d$7

for generators $S \subset \mathbb{N}^d$8 of $S \subset \mathbb{N}^d$9 and $S \subset \mathbb{N}^d$0 of $S \subset \mathbb{N}^d$1 (Singh et al., 2023).

Table: Key Conditions in Numerical-Semigroup Gluing

Parameter	Description	Constraints
$S \subset \mathbb{N}^d$2	Linear combination in $S \subset \mathbb{N}^d$3	$S \subset \mathbb{N}^d$4, $S \subset \mathbb{N}^d$5
$S \subset \mathbb{N}^d$6	Linear combination in $S \subset \mathbb{N}^d$7	$S \subset \mathbb{N}^d$8, set-intersection empty
$S \subset \mathbb{N}^d$9	Glued semigroup	$\mathbb{N}^d$0 as above

These glued semigroups serve as the basis for constructing projective closures and local rings with desired homological properties.

3. Homological Properties: Cohen–Macaulayness and the Gorenstein Condition

For "nice gluing" $\mathbb{N}^d$1, defined by $\mathbb{N}^d$2, $\mathbb{N}^d$3 with $\mathbb{N}^d$4, the projective closure $\mathbb{N}^d$5, with homogeneous coordinate ring $\mathbb{N}^d$6, exhibits the following property ([(Singh et al., 2023), Theorem 2.10]):

• If the largest generator of $\mathbb{N}^d$7 is $\mathbb{N}^d$8 (from $\mathbb{N}^d$9), $$k[S] := k[t^{a_1}, \ldots, t^{a_n}] \subset k[t_1, \ldots, t_d]$$0 is arithmetically Cohen–Macaulay (aCM) or Gorenstein if $$k[S] := k[t^{a_1}, \ldots, t^{a_n}] \subset k[t_1, \ldots, t_d]$$1 are so.
• If the largest generator is $$k[S] := k[t^{a_1}, \ldots, t^{a_n}] \subset k[t_1, \ldots, t_d]$$2 (from $$k[S] := k[t^{a_1}, \ldots, t^{a_n}] \subset k[t_1, \ldots, t_d]$$3), $$k[S] := k[t^{a_1}, \ldots, t^{a_n}] \subset k[t_1, \ldots, t_d]$$4 fails to be aCM.

The proof utilizes a Gröbner basis construction, showing that the union of homogenized Gröbner bases for $$k[S] := k[t^{a_1}, \ldots, t^{a_n}] \subset k[t_1, \ldots, t_d]$$5 and $$k[S] := k[t^{a_1}, \ldots, t^{a_n}] \subset k[t_1, \ldots, t_d]$$6, together with the binomial corresponding to the gluing, remains a Gröbner basis for $$k[S] := k[t^{a_1}, \ldots, t^{a_n}] \subset k[t_1, \ldots, t_d]$$7. The Gorenstein property for one-dimensional local rings follows from the symmetry of the glued semigroup under nice gluing.

Under "star gluing" (with $$k[S] := k[t^{a_1}, \ldots, t^{a_n}] \subset k[t_1, \ldots, t_d]$$8, $$k[S] := k[t^{a_1}, \ldots, t^{a_n}] \subset k[t_1, \ldots, t_d]$$9), if the tangent cones of $a_1, \ldots, a_n$0, $a_1, \ldots, a_n$1 are Cohen–Macaulay, then so is $a_1, \ldots, a_n$2. These constructions yield infinite families of symmetric semigroups whose corresponding local Gorenstein rings have Cohen–Macaulay tangent cones and thus non-decreasing Hilbert functions (positive answers to Rossi's question) (Singh et al., 2023).

4. Joins of Affine Semigroups and Strongly Indispensable Resolutions

For affine semigroups $a_1, \ldots, a_n$3 with disjoint and $a_1, \ldots, a_n$4-linearly independent sets of extremal rays $a_1, \ldots, a_n$5, the join $a_1, \ldots, a_n$6 produces a new simplicial semigroup. The semigroup ring $a_1, \ldots, a_n$7 possesses a minimal graded free resolution that is strongly indispensable (SIFR) if, at each homological position, the difference of two distinct $a_1, \ldots, a_n$8-degrees does not lie in $a_1, \ldots, a_n$9 (Singh et al., 2023).

Theorem (3.4): $S$0 has a strongly indispensable minimal free resolution if and only if both $S$1 and $S$2 do. The tensor product of minimal free resolutions $S$3 yields a minimal free resolution of $S$4, and the Cauchy-product formula for the Betti numbers holds:

$S$5

The differentials act as in the tensor product of complexes.

5. Explicit Constructions and Illustrative Examples

Several concrete families and explicit computations underscore the power of the gluing and join processes:

• Cohen–Macaulay Gluing: $S$6, $S$7; with $S$8, $S$9, the glued semigroup $t^{a_i} := t_1^{a_{i1}} \cdots t_d^{a_{id}}$0 yields projective closure $t^{a_i} := t_1^{a_{i1}} \cdots t_d^{a_{id}}$1 that is arithmetically Cohen–Macaulay.
• Gorenstein Monomial Curves and Hilbert Functions: For $t^{a_i} := t_1^{a_{i1}} \cdots t_d^{a_{id}}$2, $t^{a_i} := t_1^{a_{i1}} \cdots t_d^{a_{id}}$3, star gluing with $t^{a_i} := t_1^{a_{i1}} \cdots t_d^{a_{id}}$4, $t^{a_i} := t_1^{a_{i1}} \cdots t_d^{a_{id}}$5 gives $t^{a_i} := t_1^{a_{i1}} \cdots t_d^{a_{id}}$6. The Hilbert function $t^{a_i} := t_1^{a_{i1}} \cdots t_d^{a_{id}}$7 computed as $t^{a_i} := t_1^{a_{i1}} \cdots t_d^{a_{id}}$8 is non-decreasing: $t^{a_i} := t_1^{a_{i1}} \cdots t_d^{a_{id}}$9.
• Join Example and SIFR: For $k[S] \cong R / I(S)$0 and $k[S] \cong R / I(S)$1, the join $k[S] \cong R / I(S)$2 with generators $k[S] \cong R / I(S)$3 has $k[S] \cong R / I(S)$4 in $k[S] \cong R / I(S)$5. The tensor product of the two Koszul-type resolutions yields a 4-step minimal resolution, and since both factors are strongly indispensable, so is the join (Singh et al., 2023).

6. Broader Algebraic and Combinatorial Relevance

The gluing and join constructions address open questions in the theory of semigroup rings and local algebra. Infinitely many new examples of Gorenstein local rings with non-decreasing Hilbert functions (affirming Rossi's question) are produced via star gluing. The join operation provides a systematic way to construct semigroup rings with strongly indispensable minimal free resolutions, contributing examples relevant to the question posed by Charalambous and Thoma on lattice ideals. The explicit description of generators and relations also aids computational approaches in commutative algebra and leads to effective criteria for key algebraic properties (Singh et al., 2023).