arXiv++ Combinatorics

Let $A \subset {\mathbb Z}$ be a finite subset. We denote by $\mathcal{B}(A)$ the set of all integers $n \ge 2$ such that $|nA| > (2n-1)(|A|-1)$, where $nA=A+\cdots+A$ denotes the $n$-fold sumset of $A$. The motivation to consider $\mathcal{B}(A)$ stems from Buchweitz's discovery in 1980 that if a numerical semigroup $S \subseteq {\mathbb N}$ is a Weierstrass semigroup, then $\mathcal{B}({\mathbb N} \setminus S) = \emptyset$. By constructing instances where this condition fails, Buchweitz disproved a longstanding conjecture by Hurwitz (1893). In this paper, we prove that for any numerical semigroup $S \subset {\mathbb N}$ of genus $g \ge 2$, the set $\mathcal{B}({\mathbb N} \setminus S) $ is finite, of unbounded cardinality as $S$ varies.

Let $\mathcal C \subset \mathbb N^p$ be a finitely generated integer cone and $S\subset \mathcal C$ be an affine semigroup such that the real cones generated by $\mathcal C$ and by $S$ are equal. The semigroup $S$ is called $\mathcal C$-semigroup if $\mathcal C\setminus S$ is a finite set. In this paper, we characterize the $\mathcal C$-semigroups from their minimal generating sets, and we give an algorithm to check if $S$ is a $\mathcal C$-semigroup and to compute its set of gaps. We also study the embedding dimension of $\mathcal C$-semigroups obtaining a lower bound for it, and introduce some families of $\mathcal C$-semigroups whose embedding dimension reaches our bound. In the last section, we present a method to obtain a decomposition of a $\mathcal C$-semigroup into irreducible $\mathcal C$-semigroups.

We show that the number of numerical semigroups with multiplicity three, four or five and fixed genus is increasing as a function in the genus. To this end we use the Kunz polytope for these multiplicities. Counting numerical semigroups with fixed multiplicity and genus is then an integer partition problem with some extra conditions (those of membership to the Kunz polytope). For the particular case of multiplicity four, we are able to prove that the number of numerical semigroups with multiplicity four and genus $g$ is the number of partitions $x+y+z=g+6$ with $0<x\le y\le z$, $x\neq 1$, $y\neq 2$ and $z\neq 3$.