Infinite sequences of almost symmetric non-Weierstrass numerical semigroups (Q2665926)

For a pointed complete non-singular irreducible algebraic curve \((C, P)\) over an algebraically closed field \(k\) of characteristic \(0\) and the field \(k(C)\) of rational functions on \(C\), it is known that \(H(P) :=\{n \in \mathbb{N}_0\ |\ \) there exists \(f \in k(C)\) such that \((f)_\infty= nP \}\) forms a numerical semigroup, \textit{i.e.}, a submonoid of \({\mathbb{N}}_0\) whose complement is finite, where \(\mathbb{N}_0\) is the additive monoid of non-negative integers. A numerical semigroup \(H\) is said to be Weierstrass if a pointed curve \((C, P)\) exists with \(H(P) = H\). This paper shows the infinite sequence of the numerical semigroups which are not Weierstrass, i.e., non-Weierstrass numerical semigroups. A numerical semigroup \(H\) is called \textit{almost symmetric} if it satisfies \(c(H)+t(H)=2g(H)+1\), where \(g(H)\) is the genus, \(g(H):=\#({\mathbb{N}}_0\setminus H)\), \(c(H)\) is the conductor, \(c(H):=\min\{c \in {\mathbb{N}}_0\ | \ c+{\mathbb{N}}_0 \subset H\}\), and \(t(H)\) is the type, \(t(H):=\#\{f \in {\mathbb{N}}_0\ |\ f + h \in H \) for all \(h \in H\) with \(h>0\}\). There exist infinite natural sequences of almost symmetric semigroups \((H_i)_{i=0, 1, 2, \ldots}\) such that \(g(H_i)<g(H_{i+1})\) of type \(t\) or the conductor \(c(H_i)=2g(H_i)-(t-1)\). Further it is known that if \(H_i\) is not Weierstrass, and \(H_i\) and \(H_{i+1}\) satisfy certain conditions, \(H_{i+1}\) is neither Weierstrass. Using these facts, the author explicitly constructed infinite sequences of almost symmetric non-Weierstrass numerical semigroups of type \(t\) given by \(t=2u\), (\(u=1, 2, \dots\)), and an infinite number of non-Weierstrass numerical semigroups \(H\) whose conductors \(c(H)\) are given by \(c(H)=2g(H)-2v\), (\(v=0, 1, 2, \dots\)).