Numerical semigroups of genus seven and double coverings of curves of genus three (Q2350950)

Let \(\mathbb{Z}_{\geq0}\) be the set of nonnegative integers. A monoid of \(\mathbb{Z}_{\geq0}\) such that its complement is a finite set is called a numerical semigroup. The cardinality of the complement of a numerical semigroup is called genus of the numerical semigroup. For an algebraic curve \(X\) and its point \(P\), let \(H(P)\) be the set of nonnegative integer \(n\) such that there exists a rational function with a pole only at \(P\) of order \(n\). Then \(H(P)\) becomes a numerical semigroup and its genus is the genus of \(X\). For a numerical semigroup \(\tilde{H}\), let \(d_2(\tilde{H})=\{n\in\mathbb{Z}_{\geq0}\;|\;2n\in \tilde{H}\}\). Then \(d_2(\tilde{H})\) becomes a numerical semigroup. A numerical semigroup \(\tilde{H}\) is called double covering type if there exists a double covering \(\pi:X\to Y\) of curves with a ramification point \(\tilde{P}\in X\) such that \(\tilde{H}=H(\tilde{P})\). It is an interesting problem when a numerical semigroup is double covering type. In previous papers, the authors showed that every numerical semigroup \(\tilde{H}\) except \(\langle 3,5,7\rangle\) such that the genus \(g(d_2(\tilde{H}))\leq2\) is double covering type and every numerical semigroup \(\tilde{H}\) such that \(g(\tilde{H})\geq8\) and \(g(d_2(\tilde{H}))=3\) is double covering type. In this paper, the authors show every numerical semigroup \(\tilde{H}\) such that \(g(\tilde{H})=7\) and \(g(d_2(\tilde{H}))=3\) is double covering type.