On a certain family of asymmetric Riemann surfaces with the cyclic automorphism group (Q502115)

A Riemann surface is called asymmetric (or pseudo-real) if it admits an anticonformal automorphism but no anticonformal involution. Let \(X\) be a compact surface of genus \(g\geq 2\). If \(X\) admits a conformal involution \(\rho\) such that \(X/\rho\) is an orbifold of genus \(p\), \(X\) is said to be \(p\)-hyperelliptic. This is a particular case of \((q,n)\)-gonal surfaces. A surface is \((q,n)\)-gonal if it admits a conformal automorphism \(\delta\) of prime order \(n\) such that \(X/\delta\) has order \(q\). In the paper under review, the authors continue their study begun in [Ann. Acad. Sci. Fenn., Math. 40, No. 2, 669--682 (2015; Zbl 1333.30058)]. In that work, asymmetric Riemann surfaces with the full automorphism group \(\mathbb{Z}_{4n}\) were studied. In the present paper, necessary and sufficient conditions for the existence of an asymmetric Riemann surface with full automorphism group \(G=\mathbb{Z}_{2^s n}\) (for \(s\geq 3\) and \(n=1\) or \(n\) an odd prime) are obtained in Theorem 3.1, and \((q,n)\)-gonal automorphisms and \(p\)-hyperelliptic involutions in \(G\) are also studied. In several theorems, numerical relations that the numbers \(g\), \(p\) and \(q\) must satisfy are given. In one exceptional case, the parameter \(s\) is allowed to have the value 2, then \(G=\mathbb{Z}_{4n}\). Non-Euclidean crystallographic groups are the main tool for the study, the necessary definitions and results about them are provided in a preliminary section.