Genus spectra for split metacyclic groups (Q2731115)

An integer \(n>1\) is said to be a genus of a finite group \(G\) if there is a compact Riemann surface of genus \(n\) on which \(G\) acts as a group of automorphisms. The genus spectrum of a finite group \(G\) is the set of all integers \(n>1\) such that \(G\) acts effectively as a group of biholomorphic homeomorphisms (automorphisms) of some compact Riemann surface of genus \(n\). Kulkarni has shown that given a finite group \(G\), there exists a positive integer \(N_G\), determined by the Sylow subgroup structure of \(G\), such that the following statements hold: the genus spectrum contains only integers of the form \(1+mN_G\), where \(m\) is a positive integer; except for finitely many \(m\), all integers of this form belong to the genus spectrum.NEWLINENEWLINENEWLINEIf \(1+mN_G\) belongs to the genus spectrum, \(m\) is called a reduced genus of \(G\). There is a minimum reduced genus, \(\mu_0\), and a minimum stable reduced genus; that is, a smallest integer \(\sigma_0\) such that all \(m\geq\sigma_0\) are reduced genera for \(G\). The integers in the interval \([\mu_0,\sigma_0]\) that are not reduced genera are called, collectively, the reduced gap sequence of \(G\). The genus spectrum is completely determined by \(\mu_0\) and the reduced gap sequence (\(\sigma_0\) being one more than the last element in the reduced gap sequence).NEWLINENEWLINENEWLINEIn this paper, formulae are given for the minimum genus, minimum stable genus and the gap sequence, i.e., the (finite) set of non-genera, for a split metacyclic group of order \(pq\), where \(p\) and \(q\) are primes. The split metacyclic group \(D_{pq}\) of order \(pq\) has presentation \(D_{pq}=\langle a,b\mid a^q=b^p=1\), \(bab^{-1}=a^r\rangle\), where \(r\) is any solution (other than 1) to the congruence \(r^p\equiv 1\bmod q\).