On the number of numerical semigroups of prime power genus
Given g≥1, the number n(g) of numerical semigroups S⊂N of genus ∣N∖S∣ equal to g is the subject of challenging conjectures of Bras-Amorós. In this paper, we focus on the counting function n(g,2) of \textit{two-generator} numerical semigroups of genus g, which is known to also count certain special factorizations of 2g. Further focusing on the case g=pk for any odd prime p and k≥1, we show that n(pk,2) only depends on the class of p modulo a certain explicit modulus M(k). The main ingredient is a reduction of gcd(pα+1,2pβ+1) to a simpler form, using the continued fraction of α/β. We treat the case k=9 in detail and show explicitly how n(p9,2) depends on the class of p mod M(9)=3⋅5⋅11⋅17⋅43⋅257.