Geometrical study of prime order automorphisms on Klein surfaces (Q365173)

A Klein surface \(X\) of algebraic genus \(p \geq 2\) is called \((n,q)\)-\textit{gonal} if it admits an automorphism \(\varphi\) of order \(n \geq 2\) such that the quotient surface \(X/\langle\varphi\rangle\) has algebraic genus \(q\). The case \(n = 2\) corresponds to \(q\)-hyperelliptic surfaces. In this paper, the authors consider the case where \(n\) is an odd prime and \(n \geq p\). In particular, they undertake a geometrical study of the fundamental hyperbolic polygons of the non-Euclidean crystallographic (NEC) groups which uniformise the corresponding Klein surfaces. The NEC-groups themselves can be found from earlier work by \textit{J. J. E. Gordejuela} in [Glasg. Math. J. 26, 75--81 (1985; Zbl 0561.30038)], and it follows from that work that \(n\) has to be \(p\) or \(p+1\). By considering the fundamental polygons of the corresponding NEC groups, the authors determine geometrical conditions which then give a way to construct such surfaces, and obtain parameters which characterise them.