Arithmetic pseudo-Frobenius numbers and determinantal numerical semigroup rings

Let $H=⟨a_1,\dots ,a_n⟩$ be a numerical semigroup. A conjecture on numerical semigroup rings predicts that the defining ideal $I_H$ has a determinantal presentation if and only if the set of pseudo-Frobenius numbers of $H$ has form $\{h+\alpha ,h+2\alpha ,\dots ,h+(n-1)\alpha \}$ for $h\ge 0,\alpha >0$. We prove this conjecture under the condition that $h$ has a unique factorization in $H$. We also give characterization this unique-factorization condition. As an application, we consider the family of affine-orbit numerical semigroups determined by $m=c{A}_{n-1}+1$, $1\le c\le a$. We prove that the relevant element $h$ has a unique factorization and the defining ideal is generated by the 2-minors of a $2\times n$-matrix. In particular, the Eagon–Northcott complex of the matrix mentioned above gives the graded minimal free resolution of $k[H]$.