arXiv++ Combinatorics

We collect some open problems about minimal presentations of numerical semigroups and, more generally, about defining ideals and free resolutions of their semigroup rings and associated graded rings. We emphasize both long-standing problems and more recent questions and developments.

We prove a structure theorem for numerical semigroups H that are almost symmetric and almost complete intersections. Specifically, we show that a row-factorization (RF) matrix of H must possess a highly regular structure, which we call a cascade matrix. Consequently, the defining ideal I_H of the associated semigroup ring k[H] also exhibits a highly regular structure, derived from this cascade matrix. Moreover, both the RF-matrix and the binomial minimal generating set of I_H are unique. Conversely, we show that this structure completely characterizes almost symmetric almost complete intersection numerical semigroups: to every cascade matrix M we associate a monoid H and, whenever this is a numerical semigroup, we prove that it is pseudo-symmetric, almost complete intersection, and has M as RF-matrix. As a consequence of our study, we obtain several additional key results. 1) A rigidity theorem: if an almost complete intersection semigroup is almost symmetric, then it is forced to have odd embedding dimension and to be pseudo-symmetric. This result can be regarded as the ``next step'' after Kunz's theorem, which states that an almost complete intersection semigroup is never symmetric. 2) Cascade polynomials: for each odd positive integer e, we construct a multivariate squarefree polynomial P_e with integer coefficients, arising from a cascade matrix of variables. We provide an enumerative interpretation of its coefficients, thereby proving their non-negativity. 3) Herzog--Watanabe question: en route to proving the main theorem, we prove that every minimal relation of an arbitrary numerical semigroup H can be obtained by subtracting two rows in some RF-matrix of H, affirmatively answering a 2019 question by Herzog and Watanabe.

We consider the classical problem of determining the largest possible cardinality of a minimal presentation of a numerical monoid with given embedding dimension and multiplicity. Very few values of this cardinality are known. In addressing this problem, we apply tools from Hilbert functions and free resolutions of artinian standard graded algebras. This approach allows us to solve the problem in many cases and, at the same time, identify subtle difficulties in the remaining cases. As a by-product of our analysis, we deduce results for the corresponding problem for the type of a numerical monoid.

Let G be a numerical semigroup. In this paper, we prove an upper bound for the Betti numbers of the semigroup ring of G which depends only on the width of G, that is, the difference between the largest and the smallest generator of G. In this way, we make progress towards a conjecture of Herzog and Stamate. Moreover, for 4-generated numerical semigroups, the first significant open case, we prove the Herzog-Stamate bound for all but finitely many values of the width.

Given coprime positive integers $g_1 < \ldots < g_e$, the Frobenius number $F=F(g_1,\ldots,g_e)$ is the largest integer not representable as a linear combination of $g_1,\ldots,g_e$ with non-negative integer coefficients. Let $n$ denote the number of all representable non-negative integers less than $F$; Wilf conjectured that $F+1 \le e n$. We provide bounds for $g_1$ and for the type of the numerical semigroup $S=\langle g_1,\ldots,g_e \rangle$ in function of $e$ and $n$, and use these bounds to prove that $F+1 \le q e n$, where $q= \left \lceil \frac{F+1}{g_1} \right \rceil$, and $F+1 \le e n^2$. Finally, we give an alternative, simpler proof for the Wilf conjecture if the numerical semigroup $S=\langle g_1,\ldots,g_e \rangle$ is almost-symmetric.

We prove that the Cohen-Macaulay type of an almost Gorenstein monomial curve $\mathcal{C} \subseteq \mathbb{A}^5$ is bounded.

Given coprime positive integers $a_1 < ...< a_d$, the Frobenius number $F$ is the largest integer which is not representable as a non-negative integer combination of the $a_i$. Let $g$ denote the number of all non-representable positive integers: Wilf conjectured that $d \geq \frac{F+1}{F+1-g}$. We prove that for every fixed value of $\lceil \frac{a_1}{d} \rceil$ the conjecture holds for all values of $a_1$ which are sufficiently large and are not divisible by a finite set of primes. We also propose a generalization in the context of one-dimensional local rings and a question on the equality $d = \frac{F+1}{F+1-g}$.