arXiv++ Combinatorics

Let $S$ be a numerical semigroup with multiplicity $\mult$, conductor $\cc$, embedding dimension $\ee$, type $\typ$ and genus $\gnus$, and let $\nn=\cc-\gnus$. Wilf's conjecture asserts that $\ee\,\nn\ge\cc$; the inequality $\gnus\le\typ\,\nn$ of Fröberg, Gottlieb and Häggkvist settles it when $\typ\le\ee-1$. The Apéry set of $S$ with respect to any $s\in S\setminus\{0\}$ carries a partial order whose maximal elements are the pseudo-Frobenius numbers translated by $s$; for $s=\mult$ its minimal elements are the minimal generators other than $\mult$. Comparing the two extremal statistics bounds the type by $\typ\le\ee-1+\Xii(S)\le\ee-1+Θ(S)$, where $Θ(S)$ measures the redundancy of the covering of the gaps of $S$ by the pseudo-Frobenius numbers and $\Xii(S)$ refines it. With an exact decomposition of the Wilf number this yields the genus bound $\gnus\le\ee-1+\typ(\nn-1)$, strictly stronger than $\gnus\le\typ\,\nn$ precisely when $\typ\ge\ee$, and reduces Wilf's conjecture to an inequality free of $\cc$ and $\nn$. We determine the equality case of $\gnus\le\typ\,\nn$, recovering a classification of Singhal; answer a question of Moscariello and Sammartano whenever $\ee\ge\typ+1$; and correct Kaplan's classification of the equality case for $\cc\le2\mult$, from which an infinite family is missing.