1 Introduction

It is known that the moduli space \(\mathcal {M}_g\) of complex algebraic curves of genus g is a quasi-projective variety which can be defined in \({\mathbb {P}}^n({\mathbb {C}})\) by polynomials with rational coefficients. There is an anti-holomorphic involution \(\iota :\mathcal {M}_g\rightarrow \mathcal {M}_g\) which maps the class of a complex curve to its conjugate. The fixed points of such a mapping are called complex algebraic curves with real moduli. The defining equations of symmetric Riemann surfaces are over reals, and therefore, they are fixed by \(\iota .\) Earle [7] proved that not every curve with real moduli is a real curve. Seppälä [22] showed that the non-real complex algebraic curves with real moduli are coverings of real algebraic curves. They are called pseudo-real or asymmetric curves.

The existence of pseudo-real surfaces of every genus \(g\ge 2\) was proved in [5]. A characterization of automorphism groups of such surfaces and the minimal genus for the cyclic case was given in [2]. The topological types of actions of automorphism groups of pseudo-real surfaces of low genera were described in [4]. The pseudo-real surfaces with cyclic automorphism groups were studied in [9]. The hyperelliptic pseudo-real Riemann surfaces were considered in [3, 19] and [6]. The equations for non-hyperelliptic surfaces were found in [10] and [11]. The present paper can be seen as a continuation of papers [12,13,14, 24], where asymmetric p-hyperelliptic and (qn)-gonal surfaces, with cyclic automorphism group, were studied.

Let \(\mathrm{Aut}^\pm (X)\) be the group of all conformal and anti-conformal automorphisms of a Riemann surface X of genus \(g\ge 2\), and let \(\mathrm{Aut}^+ (X)\) be the subgroup of all conformal automorphisms. We say that a finite group H acts on the surface X, if it is isomorphic to a subgroup of \(\mathrm{Aut}^\pm (X)\). By \((X,Y)^H_g \), we denote a pair of Riemann surfaces X and Y of the same genus \(g\ge 2\) which have automorphism groups \(H_X\subseteq \mathrm{Aut}^\pm (X)\) and \(H_Y\subseteq \mathrm{Aut}^\pm (Y)\), such that \(H_Y\simeq H\simeq H_X\). In the paper, we deal with the so-called (a.s.)-pairs \((X,Y)^H_g \) for which X and Y are pseudo-real and symmetric surfaces, respectively.

The second chapter of the paper presents the most important facts from theory of non-euclidean crystallograpfic groups, called briefly NEC groups. They are discrete and co-compact subgroups of the group of isometries of the hyperbolic plane \({{\mathcal {H}}}\). Fuchsian groups are defined as discrete subgroups of conformal automorphisms of \({{\mathcal {H}}}\) and they are not always co-compact. However, in this paper, we will assume that they are co-compact and we will treat them as NEC groups. An NEC group not being Fuchsian group will be called a proper NEC group.

According to the Riemann uniformization theorem, a compact Riemann surface X of genus \(g\ge 2\) can be represented as the orbit space \(\mathcal {H}/\Gamma \) for some torsion-free Fuchsian group \(\Gamma \). Moreover, an automorphism group \(H\subseteq \mathrm{Aut}^\pm (X)\) of such a surface can be represented as the quotient group \(\Lambda /\Gamma \) for a proper NEC group or a Fuchsian group \(\Lambda \) according to whether H contains anti-conformal automorphisms or not. An action of H on X corresponds to a short exact sequence of homomorphisms \(1\rightarrow \Gamma \rightarrow \Lambda {\mathop {\rightarrow }\limits ^{\theta }}H \rightarrow 1\) and is denoted by \((\Lambda ,\theta ,H)\).

Let H be a finite group acting on a closed Riemann surface of genus \(g\ge 2\). Theorem 3.2 of chapter 3 provides a sufficient condition on H to construct an action of \(H'=H\rtimes {\mathbb {Z}}_2\) on another closed Riemann surface \(X'\) of the same genus as X, such that X/H and \(X'/H'\) are topologically equivalent orbifolds and \({\mathbb {Z}}_2\) component is generated by a symmetry. This condition is provided by the existence of an automorphism \(\varphi \in \mathrm{Aut}(H)\) of order 2 with certain properties on a set of (geometric) generators of H. It was solved by Singerman for a (klm)-group H generated by two elements \(h_1\) and \(h_2\) of orders k and l, respectively, whose product has order m. He proved in [21] that if such a group has an automorphism \(\varphi \in \mathrm{Aut}(H)\) induced by \(\varphi (h_1)=h_1^{-1}, \varphi (h_2)=h_2^{-1}\;\mathrm{or}\;\varphi (h_1)=h_2^{-1}, \varphi (h_2)=h_1^{-1}\), then an action of H on a Riemann surface X can be extended to an action of the semidirect product \(H\rtimes \langle \rho \rangle \) for a symmetry \(\rho \), such that \(\rho h_i\rho =\varphi (h_i)\) for \(i=1,2\). In this paper, we prove that for any (klm)-group H and \(n\in {\mathbb {N}}\), there is a symmetric Riemann surface of genus \(g_n\) with an automorphism group \(H\rtimes D_{2n}\), where \(g_n=1+2n|H|\) or \(g_n=1+2n|H|(1-\frac{1}{k})\) according to whether \(\varphi (h_1)=h_1^{-1}\) and \(\varphi (h_2)=h_2^{-1}\) or \(\varphi (h_1)=h_2^{-1}\) and \(\varphi (h_2)=h_1^{-1}\), respectively. This result is a particular case of Theorem 3.4 which claims that if a finite group H has a minimal generating set \(A=\{h_1,\ldots ,h_n\}\) and there is an automorphism \(\varphi \in \mathrm{Aut}(H)\) of order 2, such that for each \(h_i\in A\), \(\varphi (h_i)\in \langle h_j\rangle \) for some \(h_j\in A\), then for any even \(q\in {\mathbb {N}}\), there exists an extension of H by a dihedral group \(D_q=\langle \upsilon ,\rho \rangle \) which acts on a symmetric Riemann surface in such a way that \(\rho \) is a symmetry and \(\upsilon \) is a conformal involution of the surface.

In chapter 4, we study finite group actions on asymmetric Riemann surfaces. Theorem 4.2 determines conditions on generating vectors of the full automorphism group of such a surface. We prove that if A is a generating set of a finite group H and \(\mu _{A'}=\mathrm{card}(A)-\sum _{h\in A'}\frac{1}{\sharp (h)}\) for a subset \(A'\subseteq A\), then for any \(k\in {\mathbb {N}}\) and \(\varphi \in \mathrm{Aut}(H)\), such that \(4k\equiv 0\;(\sharp (\varphi ))\), there is an asymmetric Riemann surface X of genus \(g=1+4k|H|\mu _{A'}\) for which \(\mathrm{Aut}^\pm (X)\) is isomorphic to the semidirect product \(H_{\varphi ,4k}=H\rtimes \langle \delta :\delta ^{4k}\rangle \) with respect to the action \(\delta h\delta ^{-1}=\varphi (h)\) for \(h\in H\). If \(A'=A\) and \(\varphi ^2=\mathrm{id}_H\), then for any \(k\in {\mathbb {N}}\), there is an (a.s.)-pair \((X,Y)^{H_{\varphi ,4k}}_{g}\) with \(g=1+4k|H|\mu _A\).

The last chapter is devoted to actions without fixed points. We find the conditions on a generating vector of finite group H for which there exists an (a.s)-pair \((X,Y)^H_g\), such that Y/H is a hyperelliptic Klein surface. Finally, in Theorem 5.5, we prove that if \(p=\frac{g-1}{n}(\frac{n}{2}-1)\) for \(n,g\in {\mathbb {N}}\), such that \(g\ge 3\) is odd and n is an even divisor of \(g-1\), then there exists a symmetric p-hyperelliptic Riemann surface of genus g being n-sheeted unbranched covering of a hyperelliptic Klein surface of algebraic genus \(\frac{2(g-1)}{n}+1\). In particular, for any odd \(g\ge 3\), there exists a symmetric hyperelliptic Riemann surface of genus g with two commuting symmetries.

2 Preliminaries

2.1 Non-Euclidean Crystallographic Groups

We shall use the combinatorial approach, based on theory of non-Euclidean crystallographic groups (in short NEC groups) which are discrete and co-compact subgroups of the group of isometries of the hyperbolic plane \({{\mathcal {H}}}\), including those which reverse orientation. If such a subgroup contains only orientation preserving isometries, then it is called a Fuchsian group. Macbeath and Wilkie [15, 25] associated with every NEC group \(\Lambda \) a signature \(\sigma (\Lambda )\), which determines its algebraic structure. It has the form

$$\begin{aligned} \sigma (\Lambda )=(h;\pm ;[m_{1},\ldots \, \! ,m_{t}];\{C_1 ,\ldots \, \! ,C_u,(-),{\mathop {\ldots }\limits ^{v}},(-)\}). \end{aligned}$$
(1)

The orbit space \({\mathcal {H}}/\Lambda \) is a surface of topological genus h, having \(u+v\) boundary components, and being orientable or not according to the sign being \(+\) or −. The numbers \(m_{i}\ge 2\), called the proper periods, represent the branched indices over interior points of \(\mathcal {H}/\Lambda \) in the natural projection \(\mathcal {H}\rightarrow \mathcal {H}/\Lambda \). The non-empty brackets \(C_i=(n_{i1},\ldots \, \! ,n_{is_{i}})\) \(i=1,\ldots ,u\) and the empty ones \((-){\mathop {\ldots }\limits ^{v}}(-)\) with \(s_i=0\) for \(i=u+1,\ldots ,u+v\) are the period cycles. The numbers \(n_{ij}\ge 2\), called the link periods, represent branched indices over the ith hole of the surface.

The group with the signature (1) has the presentation given by the following generators and relations:

$$\begin{aligned} \begin{aligned} \left\{ \begin{array}{ll} \hbox {generators:}\\ \hbox {(a)} &{} x_{i}, i=1, \ldots , t ( \hbox {elliptic transformations}), \\ \hbox {(b)} &{} c_{ij}, i=1, \ldots , u+v, j=0, \ldots , s_{i} ( \hbox {reflections}), \\ \hbox {(c)} &{} e_{i}, i=1, \ldots , u+v ( \hbox {boundary transformations}), \\ \hbox {(d)} &{} a_{i}, b_{i}, i=1, \ldots , h ( \hbox {hyperbolic transformations}) \hbox {if the sign is} +, \\ &{} d_{i}, i=1, \ldots , h ( \hbox {glide reflections}), \hbox {if the sign} is -, \\ \hbox {relations:}\\ \hbox {(A)} &{} x^{m_{i}} _i=1, i=1, \ldots , t, \\ \hbox {(B)} &{} c^{2}_{ij-1}=c^{2}_{i j}=(c_{i j-1} c_{ij})^{n _{ij}} =1, i=1, \ldots , u+v, j=1, \ldots , s_{i}, \\ \hbox {(C)} &{} c_{is_{i}}= e^{-1}_{i} c_{i0}e_{i}, i=1, \ldots , u+v, \\ \hbox {(D)} &{} x_{1}\ldots x_{r}e_{1}\ldots e_{u+v} [a_{1}, b_{1}]\ldots [a_{h}, b_{h}]=1, \hbox {if the sign is} +,\\ &{} x_{1}\ldots x_{r} e_{1}\ldots e_{u+v} d^{2}_{1}\ldots d^{2} _{h}=1, \hbox {if the sign is} -. \end{array} \right. \!\!\!\!\!\!\!\!\!\!\!\! \end{aligned} \end{aligned}$$
(2)

Any generators of an NEC group satisfying the above relations are called canonical generators.

The hyperbolic area \(\mu (\Lambda )\) of any fundamental region of an NEC group \(\Lambda \) with the signature (1) is given by

$$\begin{aligned} 2 \pi \left( { \varepsilon h+u+v-2+\sum _{i=1}^{t}\left( 1-{\frac{1}{{m_{i}}}}\right) +{1\over 2}\sum _{i=1}^{u}\sum _{j=1}^{s_{i}}\left( 1- {\frac{1}{{n_{ij}}}} \! \right) }\right) , \end{aligned}$$
(3)

where \(\varepsilon =2\) if the sign is \(+\) and \(\varepsilon =1\) otherwise.

An abstract group with the presentation (2) can be realized as an NEC group if and only if (3) is positive.

If \(\Gamma \) is a finite index subgroup of an NEC group \(\Lambda \), then it is an NEC group itself and there is a Hurwitz–Riemann formula, which says that

$$\begin{aligned}{}[\Lambda :\Gamma ]=\frac{\mu (\Gamma )}{\mu (\Lambda )}. \end{aligned}$$

A Fuchsian group can be regarded as an NEC group with the signature \((h;+;[m_{1},\ldots \, \! ,m_{t}];\{-\})\), usually shortened to \((h;m_{1}, \ldots \, \! , m_{t})\).

An NEC group \(\Lambda \) with the signature (1) has the so-called canonical Fuchsian subgroup \(\Lambda ^+\) consisting of all conformal automorphisms in \(\Lambda \). Singerman [18] proved that \(\Lambda ^+\) has the signature

$$\begin{aligned} (\varepsilon h +u+v-1;m_1,m_1, \ldots ,m_t,m_t,n_{11},\ldots ,n_{1s_1},\ldots ,n_{u1},\ldots , n_{us_u}). \end{aligned}$$
(4)

2.2 Riemann Surfaces

Any compact Riemann surface X of genus \(h>1\) is uniformized by a torsion-free Fuchsian group \(\Gamma \) with the signature \((h;-)\) called a surface Fuchsian group. An automorphism group G of X is isomorphic to a quotient group \(\Lambda /\Gamma \) for some NEC group \(\Lambda \) normalizing \(\Gamma \). If there does not exist another NEC group containing \(\Lambda \) properly, then \(\Lambda \) is called a maximal NEC group and \(G=\Lambda /\Gamma \) is the full automorphism group of X. The detailed exposition of maximality can be found in [8].

A signature \(\sigma \) is called maximal, if for every \(\mathrm{NEC}\) group \(\Lambda '\) with a signature \(\sigma '\) containing an NEC group \(\Lambda \) with the signature \(\sigma \) and having the same Teichmüller dimension, the equality \(\Lambda =\Lambda '\) holds. For any maximal signature \(\sigma \), there exists a maximal NEC group with the signature \(\sigma \).

In the paper, we will use Macbeath’s formula [16] on the total number of fixed points of a conformal automorphism of a Riemann surface.

Theorem 2.1

Let \(H=\Lambda /\Gamma \subset \mathrm{Aut}^+(X)\) be an automorphism group of a Riemann surface \(X=\mathcal {H}/\Gamma \). If \(x_1,\ldots ,x_t\) are canonical elliptic generators of \(\Lambda \) with orders \(m_1,\ldots ,m_t\), respectively, and \(\theta :\Lambda \rightarrow H\) is an epimorphism with kernel \(\Gamma \), then the number f(h) of points fixed by an automorphism \(h\in H\) is given by the formula

$$\begin{aligned} f(h)=|N_H(\langle h\rangle )|\sum _{i}\frac{1}{m_i}, \end{aligned}$$

where \(N_H(\langle h\rangle )\) is the normalizer of \(\langle h\rangle \) in H and the sum is taken over indices i for which h is conjugate to a power of \(\theta (x_i)\).

2.3 Klein Surfaces

A Klein surface is a compact topological surface equipped with a dianalytic structure. A Riemann surface can be seen as an oriented Klein surface without boundary. For a given Klein surface X, Alling and Greenleaf [1] constructed certain double cover \(X^+\) being a Riemann surface. The algebraic genus of X is defined as the genus of \(X^+\), and for a surface of topological genus g having k boundary components, it is equal to \(d=\alpha g+k-1\), where \(\alpha =2\) if X is orientable and \(\alpha =1\) otherwise. Preston [17] proved that any compact Klein surface X of algebraic genus \(d\ge 2\) can be represented as \(\mathcal {H}/\Gamma \) for the so-called surface NEC group \(\Gamma \). If X has topological genus g and k boundary components, then \(\sigma (\Gamma )=(g;\pm ;[-];\{(-),{\mathop {\ldots }\limits ^{k}},(-)\})\). A finite group G is a group of automorphisms of \(X=\mathcal {H}/\Gamma \) if and only if \(G\simeq \Lambda /\Gamma \) for some NEC group \(\Lambda \) normalizing \(\Gamma \).

It is said that a Klein surface X is p-hyperellitic, if it has a an involution \(\delta \) for which the orbit space \(X/\langle \rho \rangle \) has algebraic genus p. The automorphism \(\delta \) is called a p-hyperelliptic involution. If \(p=0\), then the surface X is called hyperelliptic.

3 On Symmetric Generating Vectors

A finite group H acts on a Riemann surface X of genus \(g\ge 2\) if and only if there is a short exact sequence of homomorphisms

$$\begin{aligned} 1\rightarrow \Gamma \rightarrow \Lambda {\mathop {\rightarrow }\limits ^{\theta }}H \rightarrow 1, \end{aligned}$$
(5)

where \(\Lambda \) is an NEC group and \(\Gamma \) is a surface Fuchsian group isomorphic to the fundamental group of X. The action corresponding to this sequence is denoted by \((\Lambda ,\theta ,H)\). We say that H acts with the signature \(\sigma (\Lambda )\) and that \(\theta \) is a smooth epimorphism.

Two actions \((\Lambda ,\theta ,H)\) and \((\Lambda ',\theta ',H')\) on surfaces of the same genus g are topologically equivalent if \(\varphi \theta =\theta '\psi \) for some isomorphisms \(\varphi :H\rightarrow H'\) and \(\psi :\Lambda \rightarrow \Lambda '\). An action \((\Lambda ,\theta ,H)\) is called full if it is topologically equivalent to an action of the full automorphism group of at least one of Riemann surfaces of genus g.

In this chapter, we will consider actions of a finite group H with a signature

$$\begin{aligned} (\gamma ;\pm ;[m_1,\ldots ,m_r];\{-\}), \end{aligned}$$
(6)

where the sign is \(+\) for \(\gamma =0\) and it is − otherwise. Let \(\sharp (h)\) denote the order of an element \(h\in H\). Then, we have the following.

Lemma 3.1

A finite group H acts on a Riemann surface X with the signature (6), if and only if it has a generating set \(\{b_1,\ldots ,b_r,h_1,\ldots ,h_\gamma \}\), such that

$$\begin{aligned} \prod _{i=1}^rb_i\prod _{j=1}^\gamma h_j^2=1 \;\mathrm{and}\;\gamma -2+\sum _{i=1}^r \left( 1-\frac{1}{\sharp (b_i)}\right) >0 \end{aligned}$$
(7)

and no composition of generators containing an odd number of elements \(h_i\) is trivial. The surface X has genus

$$\begin{aligned} g=1+\frac{|H|}{2}\left( \gamma -2+\sum _{i=1}^r\left( 1-\frac{1}{\sharp (b_i)}\right) \right) . \end{aligned}$$
(8)

Proof

Suppose that there is an action \((\Lambda ,\theta ,H)\) for which \(\Lambda \) has the signature (6). Then, \(\Lambda \) is generated by glide reflections \(d_1,\ldots ,d_\gamma \) and elliptic elements \(x_i,\ldots ,x_r\) which satisfy the relations

$$\begin{aligned} x_i^{m_i}=1\quad \mathrm{for}\;1\le i\le r\;\mathrm{and}\;x_1 \ldots x_r d_1^2\ldots d_\gamma ^2=1. \end{aligned}$$

Since \(\Gamma =\mathrm{ker}\theta \) is a surface Fuchsian group, it follows that H is generated by conformal automorphisms \(b_i=\theta (x_i)\) of orders \(m_i\) and anti-conformal automorphisms \(h_i=\theta (d_i)\) which satisfy the relation \(\prod _{i=1}^rb_i\prod _{j=1}^\gamma h_j^2=1\). Any product of these generators containing an odd number of elements \(h_i\) is nontrivial, because otherwise \(\Gamma =\mathrm{ker }\theta \) would have an anti-conformal automorphism. In particular, all elements \(h_i\) have even orders. The hyperbolic area (3) of a fundamental region of \(\Lambda \) is positive what implies that \(\gamma -2+\sum _{i=1}^r\left( 1-\frac{1}{\sharp (b_i)}\right) >0\).

Conversely, if a finite group H has a generating set

$$\begin{aligned} \{b_1,\ldots ,b_r,h_1,\ldots ,h_\gamma \} \end{aligned}$$

satisfying the conditions (7) and any composition of these elements containing an odd number of \(h_i\) is nontrivial, then there is an action \((\Lambda ,\theta ,H)\) on the Riemann surface \(X=\mathcal {H}/\mathrm{ker}\theta \), where \(\Lambda \) is an NEC group with the signature (6), such that \(m_i=\sharp (b_i)\;\mathrm{for}\; 1\le i\le r\), and \(\theta :\Lambda \rightarrow H\) is an epimorphism induced by

$$\begin{aligned} \theta (d_i)=h_i\;\mathrm{and}\;\theta (x_j)=b_j\quad \mathrm{for}\;1\le i\le \gamma \;\mathrm{and}\;1\le j\le r. \end{aligned}$$
(9)

By the Hurwitz–Riemann formula, the surface X has genus (8).

An ordered sequence \(T_{r,\gamma }=[b_1,\ldots ,b_r,h_1,\ldots h_\gamma ]\) of generators of a finite group H which satisfies the conditions of Lemma 3.1 is called a generating vector of H. We say that this vector is essential or unessential according to whether \(\gamma >0\) or \(\gamma =0\), respectively. In the first case H has anti-conformal automorphism, and in the second case, it has only conformal automorphisms. We will also say that the vector \(T_{r,\gamma }\) is exceptional, if the group H has not a symmetry, by which we mean an anti-conformal automorphism of order 2. Clearly, each unessential vector \(T_{r,\gamma }\) is exceptional. In order to an essential vector \(T_{r,\gamma }\) was exceptional, no composition of its elements containing an odd number of \(h_i\) can have order 2, because otherwise H would have a symmetry. In particular, no \(h_i\) can be an involution and so \(\sharp (h_i)\equiv 0\;(4)\quad \mathrm{for}\; 1\le i\le \gamma \).

Throughout the paper, we use the following notation. The symbol \(m_{(n)}\) denotes m mod n for \(m,n\in {\mathbb {N}}\). If \(\varphi \) is an automorphism of a finite group H and \(q\in {\mathbb {N}}\) is an integer, such that \(q_{(\sharp (\varphi ))}=0\), then \(H_{\varphi ,q}\) denotes the semidirect product of H by a cyclic group \({\mathbb {Z}}_{q}=\langle \delta \rangle \) with respect to the action \(\delta h\delta ^{-1}=\varphi (h)\) for \(h\in H\).

In a particular case, when \(\varphi ^2=\mathrm{id_H}\) and \(\varphi \) fixes a central element \(z\in Z(H)\) of even order, then there is a normal subgroup \(\langle z^{-1}\delta ^2\rangle \) in \(H_{\varphi ,q}\) with \(q=2\sharp (z)\) and the quotient group \(H_{\varphi ,q}/\langle z^{-1}\delta ^2\rangle \) will be denoted by \(H_{\varphi /z}\).

Theorem 3.2

If a finite group H has a generating vector \(T_{r,\gamma }=[b_1,\ldots ,b_r,h_1,\ldots ,h_\gamma ]\) and there is an integer t in the range \(1\le t\le \lfloor \frac{r}{2}\rfloor \), such that

$$\begin{aligned} \sharp (b_i)=\sharp (b_{2t-i+1})\quad \mathrm{for}\; 1\le i\le t \end{aligned}$$
(10)

and the assignment

$$\begin{aligned} b_i\rightarrow & {} b_{2t-i+1}^{-1},\;b_{t+i}\rightarrow b_{t-i+1}^{-1} \quad 1\le i\le t\nonumber \\ b_{2t+i}\rightarrow & {} \left( \prod _{j=1}^{i-1}b_{2t+j}\right) b_{2t+i}^{-1}\left( \prod _{j=1}^{i-1}b_{2t+j}\right) ^{-1} \quad 1\le i\le r-2t \nonumber \\ h_j\rightarrow & {} \left( \prod _{i=1}^{r-2t}b_{2t+i}\right) \left( \prod _{i=1}^{j-1}h_i^2\right) h_j^{-1} \left( \prod _{i=1}^{j-1}h_i^2\right) ^{-1}\left( \prod _{i=1}^{r-2t}b_{2t+i}\right) ^{-1} \quad 1\le j\le \gamma \end{aligned}$$
(11)

induces an automorphism \(\eta \in \mathrm{Aut}(H)\), then there exists a Riemann surface of genus (8) with a symmetry \(\rho \), such that

$$\begin{aligned} H_{\eta ,2}=H \rtimes \langle \rho :\rho ^2=1\rangle \subseteq \mathrm{Aut}^\pm (X). \end{aligned}$$

Proof

Assume that a finite group H has a generating vector \(T_{r,\gamma }=[b_1,\ldots ,b_r,h_1,\ldots ,h_\gamma ]\) which satisfies the condition (10). Then, the signature (6) with \(m_i=\sharp (b_i)\) for \(1\le i\le r\) has the form

$$\begin{aligned} (\gamma ;\pm ;[m_1,\ldots ,m_t,m_t,\ldots ,m_1,m_{2t+1},\ldots ,m_{2t+s}];\{-\}),\end{aligned}$$
(12)

where \(s=r-2t\) and the sign is − for \(\gamma >0\) and it is \(+\) for \(\gamma =0\). Let \(y_1,\ldots ,y_a\) with \(a=\gamma +t\) be generating elliptic elements, and let \(c_0,\ldots ,c_{s}\) be generating reflections of an NEC group \(\Lambda '\) with the signature

$$\begin{aligned} (0;+;[2,{\mathop {\ldots }\limits ^{\gamma }},2,m_1,\ldots ,m_t];\{(m_{2t+1},\ldots ,m_{2t+s})\}). \end{aligned}$$
(13)

Then, \((c_{j-1}c_j)^{m_{2t+j}}=1\) \(\mathrm{for}\;1\le j\le s\), \(y_i^{2}=1\) \(\mathrm{for}\;1\le i\le \gamma \), \(y_{\gamma +i}^{m_i}=1,\) \(\mathrm{for}\;1\le i\le t\) and \((y_1\ldots y_a)c_0(y_1\ldots y_a)^{-1}c_s=1.\) Let

$$\begin{aligned} d_i= & {} (y_i\ldots y_a)c_0 (y_{i+1}\ldots y_a)^{-1} \quad \mathrm{for}\;i=1,\ldots ,\gamma \nonumber \\ x_j= & {} y_{\gamma +j}, x_{t+j}=c_0y_{\gamma +t-j+1}^{-1}c_0 \quad \mathrm{for}\;j=1,\ldots ,t\nonumber \\ x_{2t+j}= & {} c_{j-1}c_j \quad \mathrm{for}\; j=1,\ldots s. \end{aligned}$$
(14)

Then, \(d_id_{i+1}=y_iy_{i+1}\) for \(1\le i\le \gamma -1\) what implies that

$$\begin{aligned} \prod _{i=1}^\gamma d_i^2&=d_1y_1y_\gamma d_\gamma =(\Pi _{j=1}^ay_j)c_0(\Pi _{j=1}^ay_j)^{-1}(\Pi _{j=1}^ty_{\gamma +j}) c_0(\Pi _{j=1}^ty_{\gamma +j})^{-1}\\&=c_s(\Pi _{j=1}^ty_{\gamma +j})c_0(\Pi _{j=1}^ty_{\gamma +j})^{-1}. \end{aligned}$$

Thus

$$\begin{aligned} \prod _{j=1}^{2t+s} x_{j}=\left( \prod _{j=1}^{t}y_{\gamma +j}\right) c_0\left( \prod _{j=1}^{t}y_{\gamma +j}\right) ^{-1}c_0(c_0c_s)=\left( \prod _{i=1}^\gamma d_i^2\right) ^{-1}. \end{aligned}$$

The elements \(d_1,\ldots ,d_\gamma ,x_1,\ldots ,x_{2t+s}\) listed in (14) satisfy the relations

$$\begin{aligned} \prod _{j=1}^{2t+s}x_j\prod _{i=1}^\gamma d_i^2=1\;\mathrm{and}\;x_i^{m_i}=1\quad \mathrm{for }\;i=1,\ldots ,r, \end{aligned}$$

and so, they generate a subgroup \(\Lambda <\Lambda '\) with the signature (12).

Let \(\theta :\Lambda \rightarrow H\) be an epimorphism given by (9) and suppose that there exist a semidirect product of H by a group \({\mathbb {Z}}_2=\langle \rho :\rho ^2=1\rangle \) and a smooth epimorphism \(\theta ':\Lambda '\rightarrow H'=H\rtimes {\mathbb {Z}}_2\), such that \(\rho =\theta '(c_0)\) and \(\theta '|_H=\theta \). Then, by (14), we have

$$\begin{aligned} \theta '(y_{\gamma +i})=b_i\;\mathrm{for}\;1\le i\le t \end{aligned}$$
(15)

and \(\rho b_i\rho =b_{2t-i+1}^{-1}\;\mathrm{and}\;\rho b_{t+i}\rho =b_{t-i+1}^{-1}\). Thus

$$\begin{aligned} h_\gamma =\theta '(d_\gamma )&=\theta '\left( y_\gamma \prod _{i=1}^{t} y_{\gamma +i} c_0 \left( \prod _{i=1}^{t} y_{\gamma +i}\right) ^{-1}\right) =\\&=\theta '(y_\gamma )\left( \prod _{i=1}^t b_i\right) \rho \left( \prod _{i=1}^t b_i\right) ^{-1}=\\&=\theta '(y_\gamma )\prod _{i=1}^{2t} b_i\rho =\theta '(y_\gamma )B\rho \quad \mathrm{for}\;B=\prod _{i=1}^{2t} b_i. \end{aligned}$$

Since \(h_\gamma =\theta '(y_\gamma )B\rho \) and \(\rho B\rho =B^{-1}\), it follows that \(\theta '(y_\gamma )=h_\gamma B \rho \). The last element has order 2 what implies that \(\rho h_{\gamma }\rho =B^{-1}h_{\gamma }^{-1}B\). Using the equalities \(d_{i}d_{i+1}=y_iy_{i+1}\), we prove by induction that

$$\begin{aligned} \theta '(y_i)=h_ih_{i+1}^2\ldots h_\gamma ^2B\rho \quad \mathrm{for}\; i=1,\ldots ,\gamma . \end{aligned}$$
(16)

These elements have orders 2 if and only if

$$\begin{aligned} \rho h_i\rho&=B^{-1}(h_{i+1}^2\ldots h_\gamma ^2)^{-1}h_i^{-1}(h_{i+1}^2 \ldots h_\gamma ^2)B\\&=C(h_1^2\ldots h_{i-1}^2)h_{i}^{-1}(h_1^2\ldots h_{i-1}^2)^{-1}C^{-1} \end{aligned}$$

for \(C=\prod _{i=1}^sb_{2t+i}\). Next, by the equality \(x_{2t+1}=c_0c_1\), we get \(\theta '(c_1)=\rho b_{2t+1}\). Thus, \(\rho b_{2t+1}\rho =b_{2t+1}^{-1}\), because \(\theta '(c_1)\) has order 2. Similarly by the equality \(x_{2t+2}=c_1c_2\), we get \(\theta '(c_2)=\rho b_{2t+1}b_{2t+2}\) what implies that \(\rho b_{2t+2} \rho =b_{2t+1}b_{2t+2}^{-1}b_{2t+1}^{-1}\). In this way by induction, we prove that

$$\begin{aligned} \theta '(c_j)=\rho b_{2t+1}\ldots b_{2t+j}\quad \mathrm{for }\; 1\le j\le s \end{aligned}$$
(17)

and \(\rho b_{2t+j}\rho =(b_{2t+1}\ldots b_{2t+j-1})b_{2t+j}^{-1}(b_{2t+1}\ldots b_{2t+j-1})^{-1}\).

Conversely, if a finite group H has a generating vector \(T_{r,\gamma }\) for which the assignment (11) induces an automorphism \(\eta \in \mathrm{Aut}(H)\), then there is an action \((\Lambda ',\theta ',H_{\eta ,2})\) on the Riemann surface \(Y=\mathcal {H}/\mathrm{ker} \theta '\), where \(H_{\eta ,2}=H\rtimes \langle \rho :\rho ^2=1\rangle \) is the semidirect product with respect to the action \(\rho h\rho =\eta (h)\) for \(h\in H\), and \(\Lambda '\) is an NEC group with the signature (13), where \(m_i=\sharp (b_i)\) for \(1\le i \le t\), and \(\theta ':\Lambda '\rightarrow H_{\eta ,2}\) is a smooth epimorphism induced by (15), (16), (17) and \(\theta '(c_0)=\rho \). By the Hurwitz–Riemann formula, the surface Y has genus g given by (8) and it is symmetric, because \(\rho \) is an anti-conformal involution.

We will say that a generating vector \(T_{r,\gamma }=[b_1,\ldots ,b_r,h_1,\ldots ,h_\gamma ]\) of a finite group H is symmetric, if there is an integer t in the range \(1\le t\le \lfloor \frac{r}{2}\rfloor \) for which the condition (10) is satisfied and the assignment (11) induces an automorphism \(\eta \in \mathrm{Aut}(H)\). We will denote such a vector by \(T_{r,\gamma }^{t,\eta }\).

Corollary 3.3

Any finite group acts on infinite many symmetric Riemann surfaces.

Proof

Clearly, this statement is true for the trivial group. Let \(\{g_1,\ldots ,g_n\}\) be a set of nonidentity generators of a finite nontrivial group H. By repeating one of elements \(g_i\) two or three times if necessary, we can assume that \(n\ge 3\). Then, H has an unessential symmetric generating vector

$$\begin{aligned} T_{2n,0}^{t,\eta }=[b_1,\ldots ,b_{2n}]=[g_1,\ldots ,g_t,g_t^{-1}\ldots ,g_1^{-1}]\quad \mathrm{for}\;\eta =\mathrm{id}_H\;\mathrm{and }\;t=n, \end{aligned}$$

and according to Theorem 3.2, there is a Riemann surface of genus \(g=1+|H|(-1+\sum _{i=1}^t(1-\frac{1}{\sharp (g_i)}))\) with a symmetry \(\rho \), such that

$$\begin{aligned} H_{\eta ,2}=H\times \langle \rho :\rho ^2=1\rangle \subseteq \mathrm{Aut}^\pm (X). \end{aligned}$$

The group H acts on infinite many Riemann surfaces of different genera, because in the construction of generating vector, we can repeat generators of H an infinite number of times.

Theorem 3.4

Let \(A=\{a_1,\ldots ,a_n\}\) be a minimal generating set of a finite noncyclic group H, and suppose that there is an automorphism \(\varphi \in \mathrm{Aut}(H)\) of order 2, such that for each \(a_i\in A\), \(\varphi (a_i)\in \langle a_j\rangle \) for some \(a_j\in A\). Then for any even \(q\in {\mathbb {N}}\), there is a Riemann surface with an automorphism group \(H\rtimes D_q\), where \(D_q\) is a dihedral group generated by a conformal involution \(\upsilon \) and a symmetry \(\rho \), such that \(\rho h\rho =h\;{ and}\; \upsilon h\upsilon =\varphi (h)\quad \mathrm{for}\;h\in H.\)

Proof

Let \(m_i=\sharp (a_i)\) for \(i=1,\ldots ,n\), and let \(\alpha _{ij}\) be an integer, such that \(\varphi (a_i)=a_j^{\alpha _{ij}}\) for \(a_i,a_j\in A\) with \(\varphi (a_i)\in \langle a_j\rangle \). If \(j=i\), then \(a_i=\varphi ^2(a_i)=a_i^{\alpha _{ii}^2}\) what implies that \(\alpha _{ii}^2\equiv 1\;(m_i)\). Thus, for \(g_i=a_i\), we have \(\varphi (g_i)=g_i^{-1}\) or \(\varphi (g_i)=g_i\).

Now, assume that \(i\ne j\). Since \(\varphi (a_i)=a_j^{\alpha _{ij}}\), it follows that \(m_i\) divides \(m_j\). If \(\varphi (a_j)=a_k^{\alpha _{jk}}\) for \(k\ne i\), then \(a_i=\varphi ^2(a_i)\in \langle a_k\rangle \), against the assumption that A is the minimal generating set. Thus, \(\varphi (a_j)=a_i^{\alpha _{ji}}\) what implies that \(m_j\) divides \(m_i\). Consequently, \(m_i=m_j\) and \((m_i,\alpha _{ij})=1\). Since \(a_i=\varphi ^2(a_i)=a_i^{\alpha _{ij}\alpha _{ji}}\), it follows that \(\alpha _{ij}\alpha _{ji}\equiv 1\;(m_i)\). Thus, \(\varphi (g_i)=g_j^{-1}\) and \(\varphi (g_j)=g_i^{-1}\) for \(g_i=a_i^{-\alpha _{ji}}\) and \(g_j=a_j\).

Therefore, without lost of generality, we can assume that H has a generating set \(\{g_1,\ldots ,g_n\}\), such that

$$\begin{aligned} \varphi (g_{2i-1})= & {} g_{2i}^{-1},\;\varphi (g_{2i})=g_{2i-1}^{-1} \quad \mathrm{for}\;i=1,\ldots ,s,\nonumber \\ \varphi (g_{2s+i})= & {} g_{2s+i} \quad \mathrm{for}\;i=1,\ldots ,p,\nonumber \\ \varphi (g_{2s+p+i})= & {} g_{2s+p+i}^{- 1} \quad \mathrm{for}\;i=1,\ldots ,u \end{aligned}$$
(18)

for some integers \(s,p,u\ge 0\) with \(2s+p+u=n\).

For an even \(q\in {\mathbb {N}}\), let \(H'\) be the semidirect product \(H_{\varphi ,q}=H\rtimes \langle \delta :\delta ^{q}=1\rangle \) with respect to the action \(\delta h\delta =\varphi (h)\) for \(h\in H\). Then, for \(\gamma =u+2-u_{(2)}\) and \(r=2(s+p)\), there is a generating set \(\{b_1,\ldots ,b_{r},h_1,\ldots ,h_{\gamma }\}\) of \(H'\) which satisfies the conditions (7). It can be chosen as follows:

$$\begin{aligned} h_{u+1}= & {} \delta ^{-1}, \;\; h_{u+2}=\delta \;\mathrm{if}\;u_{(2)}=0, \nonumber \\ h_{i}= & {} \delta ^{(-1)^{i+1}} g_{2s+p+i},\; \;\mathrm{for} \;1\le i\le u \nonumber \\ b_i= & {} g_{2i}, \;\; b_{s+2p+i}=g_{2(s+1-i)}^{-1}, \;\; \mathrm{for} \;1\le i\le s.\nonumber \\ b_{s+i}= & {} g_{2s+i}, \;\;b_{s+p+i}=g_{2s+p+1-i}^{-1}, \;\; \mathrm{for} \;1\le i\le p. \end{aligned}$$
(19)

Any product of listed generators containing an odd number of \(h_i\) has the form \(h \delta ^l\) for some \(h\in H\) and an odd integer l. Therefore, it cannot be trivial, because otherwise \(1\ne \delta ^l\in H\), a contradiction. Thus, \(T_{r,\gamma }=[b_1,\ldots ,b_r,h_1,\ldots ,h_\gamma ]\) is a generating vector of \(H'\), such that the condition (10) is satisfied for \(t=s+p\). Let \(\eta :H'\rightarrow H'\) be the mapping induced by (11). Then, \(\eta (h_i)=h_i^{-1}\) for \(1\le i\le \gamma \). In particular, \(\eta (\delta )=\delta ^{-1}\) and

$$\begin{aligned} g_{2s+p+i}^{-1}\delta ^{(-1)^i}=h_{i}^{-1}=\eta (h_{i})=\eta (\delta ^ {(-1)^{i+1}})\eta (g_{2s+p+i})=\delta ^{(-1)^i}\eta (g_{2s+p+i}) \end{aligned}$$

what implies \(\eta (g_{2s+p+i})=\delta ^{(-1)^{i+1}}g_{2s+p+i}^{-1}\delta ^{(-1)^i}= \varphi (g_{2s+p+i}^{-1})=g_{2s+p+i}\) for \(1\le i\le u\).

Since \(\eta (b_i)=b_{t+1-i}^{-1}\), it follows that \(\eta (g_{2s+i})=g_{2s+i}\) for \(i=1,\ldots ,p\) and \(\eta (g_{2i})=g_{2i}\) for \(i=1,\ldots ,s\). By the last equalities, we get

$$\begin{aligned} \eta (g_{2i-1})=\eta (\varphi (g_{2i}^{-1}))=\eta (\delta g_{2i}^{-1}\delta ^{-1})=\delta ^{-1}g_{2i}^{-1}\delta =\varphi ^{q-1}(b_{2i}^{-1})=b_{2i-1}. \end{aligned}$$

Summing up, \(\mu |_{H}=\mathrm{id}_H\) and \(\eta (\delta )=\delta ^{-1}\). Thus

$$\begin{aligned} \eta (\delta g_i\delta ^{-1})=\delta ^{-1}g_i\delta =\delta ^{q-1}g_i\delta ^{1-q}= \varphi ^{q-1}(g_i)=\varphi (g_i)=\eta (\varphi (g_i)) \end{aligned}$$

what implies that \(\eta (\delta g_i\delta ^{-1})=\eta (\varphi (g_i))\) for \(i=1,\ldots ,n\). Therefore, \(\eta \) is an automorphism of the group \(H'\) and vector \(T_{r,\gamma }\) can be interpreted as a symmetric generating vector \(T_{r,\gamma }^{s+p,\eta }\). According to Theorem 3.2, there is a Riemann surface with an automorphism group \(H'_{\eta ,2}=H'\rtimes \langle \rho \rangle \) for a symmetry \(\rho \) and the last group is isomorphic to \(H\rtimes D_q\) for a dihedral group of order 2q generated by conformal involution \(\upsilon =\delta \rho \) and symmetry \(\rho \).

Corollary 3.5

If an automorphism \(\varphi \in { Aut}(H)\) satisfies the assumptions of Theorem 3.4 and preserves a central element \(z\in H\) of order 2, then there is a symmetric Riemann surface Y such that \(H_{\varphi ,2}=H\rtimes \langle \upsilon :\upsilon ^2=1 \rangle \subseteq { Aut}^+(Y)\), where \(\upsilon h\upsilon =\varphi (h)\) for \(h\in H\).

Proof

For any central element \(z\in Z(H)\) of order 2, such that \(\varphi (z)=z\), there is a normal subgroup \(\langle \delta ^2z^{-1}\rangle \) of \(H_{\varphi ,4}=H\rtimes \langle \delta :\delta ^{4}=1\rangle \). The quotient group \(H_{\varphi /z}=H_{\varphi ,4}/\langle \delta ^2z^{-1}\rangle \) has a symmetric generating vector \(T_{r,\gamma }^{s+p,\eta }\) defined by (19). Thus, according to Theorem 3.2, there is a Riemann surface Y with an automorphism group \(G=H_{\varphi /z}\rtimes \langle \rho \rangle \), where \(\rho \) is a symmetry, such that \(\rho \delta \rho =\delta ^{-1}\) and \(\rho h\rho =h\) for \(h\in H\). For \(\upsilon =\delta \rho \), the subgroup \(H\rtimes \langle \upsilon \rangle <G\) consists of all conformal automorphisms of G.

Using Theorems 3.2 and 3.4, we get the following examples of actions on symmetric Riemann surfaces:

Example 1. Let H be a (klm)-group generated by two elements \(g_1\) and \(g_2\) of orders k and l, respectively, whose product has order m. There is an action \((\Lambda ,\theta ,H)\) on the Riemann surface \(X=\mathcal {H}/\mathrm{ker \theta }\) for an NEC group \(\Lambda \) with the signature \(\sigma (\Lambda )=(0;+;[k,l,m];\{-\})\) and a smooth epimorphism \(\theta :\Lambda \rightarrow H\) which maps \(x_1\) and \(x_2\) to \(g_1\) and \(g_2\), respectively. Singerman proved that if H has an automorphism induced by the assignment

$$\begin{aligned} (g_1\rightarrow g_1^{-1}\;\mathrm{and}\; g_2\rightarrow g_2^{-1})\;\mathrm{or }\;(g_1\rightarrow g_2^{-1}\;\mathrm{and}\; g_2\rightarrow g_1^{-1}), \end{aligned}$$
(20)

then X is symmetric, where in the second case \(k=l\). This result can be justified by applying Theorem 3.2 for an unessential generating vector

$$\begin{aligned} T_{3,0}=[b_1,b_2,b_3]=[g_1,g_2,(g_1g_2)^{-1}] \end{aligned}$$
(21)

of the group H. First, assume that there is \(\varphi \in \mathrm{Aut}(H)\), such that \(\varphi (g_1)=g_1^{-1}\) and \(\varphi (g_2)=g_2^{-1}\). Let \(\eta =\varphi _{g_1}\circ \varphi \), where \(\varphi _{g_1}\) is the conjugation via \(g_1\) in H. Then

$$\begin{aligned} \eta (b_1)=b_1^{-1}, \eta (b_2)=b_1b_2^{-1}b_1^{-1}\;\mathrm{and}\;\eta (b_3)=(b_1b_2)b_3^{-1}(b_1b_2)^{-1}. \end{aligned}$$

Thus, vector (21) can be interpreted as a symmetric vector \(T_{3,0}^{0,\eta }\), and by the proof of Theorem 3.2, there is an action \((\Lambda ',\theta ',H_{\eta ,2})\) on symmetric Riemann surface \(Y=\mathcal {H}/\mathrm{ker}\theta '\), where \(\Lambda '\) is an NEC group with the signature \((0;+;[-];\{(k,l,m)\})\) and \(\theta ':\Lambda '\rightarrow H_{\eta ,2}=H\rtimes \langle \rho :\rho ^2=1\rangle \) is a smooth epimorphism given by \(\theta '(c_0)=\rho ,\theta '(c_1)=\rho g_1,\theta '(c_2)=\rho g_1g_2\) and \(\theta '(c_3)=\rho .\)

If \(l=k\) and there is \(\varphi \in \mathrm{Aut}(H)\) induced by the assignment \(\varphi (g_1)=g_2^{-1}\) and \(\varphi (g_2)=g_1^{-1}\), then vector (21) can be interpreted as a symmetric vector \(T_{3,0}^{t,\eta }\) for \(t=1\) and \(\eta =\varphi \). There is an action \((\Lambda ',\theta ',H_{\eta ,2})\) on symmetric Riemann surface for an NEC group \(\Lambda '\) with the signature \((0;+;[k];\{(m)\})\) and a smooth epimorphism \(\theta ':\Lambda '\rightarrow H_{\eta ,2}\) given by

$$\begin{aligned} \theta '(x_1)=g_1,\theta '(c_0)=\rho ,\theta '(c_1)=\rho (g_1g_2)^{-1}. \end{aligned}$$

There are another actions of a (klm)-group H on symmetric Riemann surfaces which involve an automorphism \(\varphi \) induced by the assignment (20). Let \(H'=H_{\varphi ,q}=H\rtimes \langle \delta :\delta ^{q}=1\rangle \) for an even \(q\in {\mathbb {N}}\), and let \(\eta \) be an automorphism of \(H'\) induced by \(\eta (\delta )=\delta ^{-1}\) and \(\eta (g_i)=g_i\) for \(i=1,2\). The group \(H'\) has a symmetric generating vector

$$\begin{aligned} T_{0,4}^{0,\eta }=[\delta g_1,\delta ^{-1} g_2,\delta ^{-1},\delta ]\;\mathrm{or}\; T_{2,2}^{1,\eta }=[g_1,g_1^{-1},\delta ^{-1},\delta ] \end{aligned}$$

according to whether \(\varphi \) is induced by the first or by the second assignment in (20), respectively. According to Theorem 3.4, there is a symmetric Riemann surface with an automorphism group \(H'_{\eta ,2}=H'\rtimes \langle \rho :\rho ^2=1\rangle \) for a symmetry \(\rho \). Vector \(T_{0,4}^{0,\eta }\) corresponds to an action \((\Lambda ',\theta ',H'_{\eta ,2})\) on the Riemann surface of genus \(g=1+q|H|\) for an NEC group \(\Lambda '\) with the signature \((0;+;[2,2,2,2];\{(-)\})\) and an epimorphism \(\theta ':\Lambda '\rightarrow H'_{\eta ,2}\) given by

$$\begin{aligned} \theta '(c_0)=\rho ,\theta '(x_1)=g_1^{-1}\delta ^{-1}\rho ,\theta '(x_2)=\delta ^{-1}g_2\rho , \theta '(x_3)=\theta '(x_4)=\delta \rho . \end{aligned}$$

Vector \(T_{2,2}^{1,\eta }\) corresponds to the action \((\Lambda ',\theta ',H'_{\eta ,2})\) on the Riemann surface of genus \(g=1+q|H|(1-\frac{1}{k})\) for an NEC group \(\Lambda '\) with signature \((0;+;[2,2,k];\{(-)\})\) and \(\theta '\) induced by

$$\begin{aligned} \theta '(c_0)=\rho ,\theta '(x_1)=\theta '(x_2)=\delta \rho \;\mathrm{and}\;\theta '(x_3)=g_1. \end{aligned}$$

Example 2. Let H be the group generated by four elements abcd which satisfy the relations

$$\begin{aligned} \begin{aligned} a^4&=1, \;\; b^4=1,\;\; c^4=1, \;\; d^4=1,\\ [a,b]&=a^2, \;\; [a,c]=a^2b^2, \;\; [a,d]=b^2, \;\; a^2=c^2\\ [b,c]&=a^2, \;\; [b,d]=a^2b^2, \;\; [c,d]=1, \;\; b^2=d^2.\\ \end{aligned} \end{aligned}$$

It has order 64. There are automorphisms \(\varphi _0,\varphi _1,\varphi _2\) of H induced by

$$\begin{aligned} \varphi _0(a)= & {} a^{-1}, \;\; \varphi _0(b)=b^{-1}, \;\; \varphi _0(c)=c^{-1},\;\; \varphi _0(d)=d^{-1},\\ \varphi _1(a)= & {} a^{-1}, \;\;\varphi _1(b)=b^{-1}, \;\; \varphi _1(c)=c,\;\; \varphi _1(d)=d,\\ \varphi _2(a)= & {} a, \;\; \varphi _2(b)=b, \;\; \varphi _2(c)=c^{-1},\;\; \varphi _2(d)=d^{-1}. \end{aligned}$$
  1. (i)

    The group H has unessential symmetric generating vectors

    $$\begin{aligned} \small {T_{8,0}^{4,{ id}_H}=[a,b,c,d,d^{-1},c^{-1},b^{-1},a^{-1}]\;{ and}\; T_{8,0}^{2,\varphi _2}= [a,b,b^{-1},a^{-1},c,d,c^{-1},d^{-1}]} \end{aligned}$$

    providing actions of H on symmetric Riemann surfaces of genus \(g=129\). Let \(H_{\eta ,2}=H\rtimes \langle \rho \rangle \). According to Theorem 3.2, vector \(T_{8,0}^{4,{ id}_H}\) corresponds to the action \((\Lambda ',\theta ',H_{\eta ,2})\), where \(\sigma (\Lambda ')=(0;+;[4,4,4,4];\{(-)\})\) and \(\theta '\) is given by

    $$\begin{aligned} \theta '(x_1)=a,\;\theta '(x_2)=b,\;\theta '(x_3)=c,\;\theta '(x_4)=d\;\mathrm{and}\;\theta '(c_0)=\rho , \end{aligned}$$

    and vector \( T_{8,0}^{2,\varphi _2}\) corresponds to the action \((\Lambda ',\theta ',H_{\eta ,2})\), where \(\sigma (\Lambda ')=(0;+[4,4];\{(4,4,4,4)\})\) and \(\theta '\) is given by

    $$\begin{aligned} \begin{aligned} \theta '(x_1)=a,&\theta '(x_2)=b,&\theta '(c_0)=\rho ,&\theta '(c_1)=\rho c,\\ \theta '(c_2)=\rho cd,&\theta '(c_3)=\rho d,&\theta '(c_4)=\rho .&\end{aligned} \end{aligned}$$
  2. (ii)

    There is a normal subgroup \(\langle \delta ^2a^2b^2\rangle <H_{\varphi _0,4}=H\rtimes \langle \delta :\delta ^{4}=1\rangle \) and the quotient group \(H'=H_{\varphi _0 ,4}/\langle \delta ^2a^2b^2\rangle \) has a symmetric essential generating vector

    $$\begin{aligned} T_{4,3}^{0,\eta }=[a,a,b,b,\delta c,\delta ^{-1}d,\delta ], \end{aligned}$$

    for \(\eta \in \mathrm{Aut}(H')\), such that \(\eta |_H=\varphi _1\) and \(\eta (\delta )=\delta ^{-1}\). Thus, there is an action \((\Lambda ',\theta ',H'_{\eta ,2})\) on a symmetric Riemann surface of genus \(g=257\) for \(H'_{\eta ,2}=H'\times \langle \rho :\rho ^2=1\rangle \), where \(\sigma (\Lambda ')=(0;+;[2,2,2];\{(4,4,4,4)\})\) and \(\theta '\) given by

    $$\begin{aligned} \begin{aligned} \theta '(x_1)=\delta c\rho ,&\theta '(x_2)=\delta d\rho ,&\theta '(x_3)=\delta \rho ,&\theta '(c_0)=\rho ,\\ \theta '(c_1)=\rho a,&\theta '(c_2)=\rho a^2,&\theta '(c_3)=\rho a^2b,&\theta '(c_4)=\rho a^2b^2. \end{aligned} \end{aligned}$$
  3. (iii)

    For an even integer \(q\in {\mathbb {N}}\), the group \(H''=G_{\varphi _0,q}=G\rtimes \langle \delta :\delta ^{q}=1\rangle \) has a symmetric essential generating vector

    $$\begin{aligned} T_{0,6}^{0,\eta }=[h_1,\ldots ,h_6]=\delta a,\delta ^{-1} b,\delta c,\delta ^{-1}d,\delta ^{-1},\delta ], \end{aligned}$$

    where \(\eta |_H=\mathrm{id}\) and \(\eta (\delta )=\delta ^{-1}\). There is an action \((\Lambda ',\theta ',H_{\eta ,2}'')\) on a symmetric Riemann surface of genus \(g=1+128q\), where \(H_{\eta ,2}''=H''\rtimes \langle \rho \rangle \), \(\Lambda '\) is an NEC group with the signature \((0;+;[2,2,2,2,2,2];\{(-)\})\) and \(\theta ':\Lambda '\rightarrow H''_{\eta ,2}\) is an epimorphism given by \(\theta '(c_0)=\rho \) and

    $$\begin{aligned} \theta '(x_1)=\delta ^{-1}a\rho ,&\theta '(x_2)=\delta ^{-1} b\rho ,&\theta '(x_3)=c^{-1}\delta ^{-1}\rho ,\\ \theta '(x_4)=\delta ^{-1}d\rho ,&\theta '(x_5)=\delta \rho ,&\theta '(x_6)=\delta \rho . \end{aligned}$$

4 On Asymmetric Generating Vectors

A Riemann surface of genus \(g\ge 2\) is called asymmetric or pseudo-real, if it has anti-conformal automorphisms, but none of them is a symmetry. The next result comes from [2]; however, its proof is different from the original.

Theorem 4.1

There is full action of a finite group H on an asymmetric Riemann surface X of genus \(g\ge 2\) if and only if H has an asymmetric generating vector by which we mean an essential exceptional generating vector \(T_{r,\gamma }=[b_1,\ldots ,b_r,h_1,\ldots ,h_\gamma ]\) not being symmetric for \((\gamma ,r)= (1,2),(3,0),(2,1)\). The genus g of the surface X is given by (8).

Proof

If \((\Lambda ,\theta ,H)\) is a full action on an asymmetric Riemann surface, then the group \(\Lambda \) must have glide reflections but no reflection, and therefore, it has the signature

$$\begin{aligned} (\gamma ;-;[m_1,\ldots ,m_r];\{-\}).\end{aligned}$$
(22)

A canonical generating set \(\{d_1,\ldots ,d_\gamma ,x_1,\ldots ,x_r\}\) of \(\Lambda \) corresponds to an essential generating vector

$$\begin{aligned} T_{r,\gamma }=[\theta (x_1),\ldots ,\theta (x_r),\theta (d_1),\ldots ,\theta (d_\gamma )] \end{aligned}$$

of H which is exceptional, because H acts on an asymmetric surface.

Conversely, if a finite group H has an essential exceptional generating vector \(T_{r,\gamma }=[b_1,\ldots ,b_r,h_1,\ldots ,h_\gamma ]\), then the orders of all generators \(h_i\) are divisible by 4, and any composition of elements of vector \(T_{r,\gamma }\) containing an odd number of \(h_i\) neither is trivial nor has order 2. The signature (22) with \(m_i=\sharp (b_i)\) for \(1\le i\le r\) appears on the lists of non-maximal signatures for \((\gamma ,r)= (1,2)\), (3, 0), (2, 1), and it is maximal for all remaining pairs \((\gamma ,r)\). There exists a maximal NEC group \(\Lambda \) with any maximal signature. Let \(\theta \) be an epimorphism induced by (9) from a maximal NEC group \(\Lambda \) with the signature (22) onto H. Then, \(\Gamma =\mathrm{ker}\theta \) is a surface Fuchsian group, and by the Hurwitz–Riemann formula, the genus of the Riemann surface \(X=\mathcal {H}/\Gamma \) is equal to (8).

Since \(\Lambda \) is a maximal NEC group, it follows that \(H\simeq \Lambda /\Gamma \) is the full automorphism group of X, because otherwise \(\Lambda \) would be contained properly in another NEC group what contradicts the maximality of \(\Lambda \). The surface X has anti-conformal automorphisms \(h_i\) and it has no symmetry, because no composition of elements of an exceptional vector containing an odd number of \(h_i\) has order 2. Therefore, X is asymmetric.

A signature (22) with \((\gamma ,r)\in \{(1,2),(3,0),(2,1)\}\) is non-maximal and any NEC group \(\Lambda \) with such a signature is a subgroup of another NEC group \(\Lambda '\). There are five such cases on the lists of non-maximal signatures

$$\begin{aligned} \begin{aligned} Case \quad&\sigma (\Lambda )\quad&\sigma (\Lambda ')\quad&\quad [\Lambda ':\Lambda ]\\ 1 \quad&(2;-;[m];\{-\})&(0;+;[2,2];\{(m)\})&\quad \quad 2\\ 2 \quad&(3;-;[-];\{-\})&(0;+;[2,2,2];\{(-)\})&\quad \quad 2\\ 3 \quad&(1;-;[m,u];\{-\})&(0;+;[2];\{(m,u)\})&\quad \quad 2\\ 4 \quad&(1;-;[m,m];\{-\})&(0;+;[2,m];\{(-)\})&\quad \quad 2\\ 5 \quad&(1;-;[m,m];\{-\})&(0;+;[-];\{(2,2,2,m)\})&\quad \quad 4. \end{aligned} \end{aligned}$$

All listed above pairs of signatures have been considered in the proof of Theorem 3.2. Indeed, in cases \((1)-(4)\), the signatures \(\sigma (\Lambda )\) and \(\sigma (\Lambda ')\) have the forms (12) and (13), respectively. In case (5), the group \(\Lambda '\) contains a subgroup \(\Lambda ''\) with the signature \((0;+;[2,m];\{(-)\})\) which in turn contains a subgroup \(\Lambda \) with the signature \((1;-;[m,m];\{-\})\). Now, \(\sigma (\Lambda )\) and \(\sigma (\Lambda '')\) have the forms (12) and (13), respectively. According to Theorem 3.2, if H has a symmetric vector \(T_{r,\gamma }\), then any action of this group with a non-maximal signature \(\sigma (\Lambda )\) on a Riemann surface X extends to an action of the group \(H\rtimes \langle \rho \rangle \) with the signature \(\sigma (\Lambda ')\) for some symmetry \(\rho \), where in case (5), we should take \(\sigma (\Lambda '')\) instead of \(\sigma (\Lambda ')\). It means that H is not the full automorphism group and the surface X is symmetric. Consequently, vector \(T_{r,\gamma }\) cannot be symmetric for any action of H with a non-maximal signature on an asymmetric Riemann surface.

Theorem 4.2

Let A be a generating set of a finite group H, and let \(\mu _{A'}=\mathrm{card}(A)-\sum _{h\in A'}\frac{1}{\sharp (h)}\) for a subset \(A'\subseteq A\). Then

  1. (i)

    for any \(k\in {\mathbb {N}}\) and \(\varphi \in \mathrm{Aut}(H)\) with \(4k_{(\sharp (\varphi ))}=0\), there is an asymmetric Riemann surface X of genus \(g=1+4k|H|\mu _{A'}\), such that

    $$\begin{aligned} \mathrm{Aut}^\pm (X)\simeq H_{\varphi ,4k}=H\rtimes \langle \delta :\delta ^{4k}\rangle \;\mathrm{and}\;\mathrm{Aut}^+(X)\simeq H\rtimes \langle \delta ^2\rangle . \end{aligned}$$
  2. (ii)

    if \(\varphi ^2=\mathrm{id}\) and \(\varphi (z)=z\) for an element \(z\in Z(H)\) of even order, such that \(\varphi (h)h\ne z\) for all \(h\in H\), then there is an asymmetric Riemann surface X of genus \(g=1+2|H|\mu _{A'}\) with \(\mathrm{Aut}^\pm (X)\simeq H_{\varphi /z}\) and \(\mathrm{Aut}^+(X)\simeq H\).

Proof

We will prove items (i) and (ii) simultaneously using symbol \(H'\) for \(H_{\varphi ,4k}\) and \(H_{\varphi /z}\), respectively. Let us write the generating set of H as a sum of two disjoint subsets \(A=\{g_{k_1},\ldots g_{k_s}\}\bigcup \{g_{l_1},\ldots g_{l_t}\}\). Then, \(H'\) has a generating vector \(T_{r,\gamma }=[b_1,\ldots , b_r,h_1,\ldots ,h_\gamma ]\) for \((\gamma ,r)=(2s+2,2t)\), where

$$\begin{aligned} h_{2s+1}= & {} \delta ^{-1}, \;\; h_{2s+2}=\delta \nonumber \\ h_{2i-1}= & {} \delta g_{k_i}, \;\; h_{2i}=(\delta g_{k_i})^{-1} \quad \mathrm{for} \;1\le i\le s\nonumber \\ b_j= & {} g_{l_j} b_{t+j}=g_{l_{t+1-j}}^{-1} \quad \mathrm{for} \;1\le j\le t. \end{aligned}$$
(23)

To show that \(T_{r,\gamma }\) is exceptional, we will prove first that \(h_1,\ldots ,h_\gamma \) have orders divisible by 4. Let \(\alpha _i=\sharp (\delta g_i)\) for \(g_i\in A\). Then

$$\begin{aligned} 1=(\delta g_i)^{\alpha _i}=\varphi (g_i)\varphi ^2(g_i)\ldots \varphi ^{\alpha _i}(g_i)\delta ^{\alpha _i}, \end{aligned}$$
(24)

and so, \(\delta ^{\alpha _i}\in H\). In the group \(H_{\varphi ,4k}\), this is possible only when \(\alpha _i\equiv 0\;(4k)\). In \(H_{\varphi /z}\), the element \(\delta ^{\alpha _i}\) belongs to H only for even \(\alpha _i\), because \(\delta ^2=z\in H\). Since \(\varphi ^2=\mathrm{id}_H\) and \(z\in Z(H)\), it follows by (24) that:

$$\begin{aligned} 1=(\delta g_i)^{\alpha _i}=(\varphi (g_i)g_i)^{\frac{\alpha _i}{2}}\delta ^{\alpha _i}= (\varphi (g_i)g_iz)^{\frac{\alpha _i}{2}}, \end{aligned}$$

and so, \(\sharp (\varphi (g_i)g_iz)\) divides \(\frac{\alpha _i}{2}\). On the other hand, \(\sharp (\varphi (g_i)g_i z)\) is divisible by \(\sharp (z)\) which by assumption is even. Thus, \(\alpha _i \equiv 0\;(4)\) also in the group \(H_{\varphi /z}\).

Let p be a composition of some generators listed in (23). If elements \(h_i\) occur an odd number of times in p, then \(p=h\delta ^\beta \) for some \(h\in H\) and an odd integer \(\beta \). Thus, p is nontrivial and \(p^2=h\varphi ^\beta (h)\delta ^{2\beta }\) for \(2\beta \not \equiv 0\;(4)\) what implies that \(\sharp (p)\ne 2\) in the group \(H_{\varphi ,4k}\), because otherwise we get a contradiction that \(1\ne \delta ^{2\beta }\in H\bigcap \langle \delta \rangle \). In the group \(H_{\varphi /z}\), we have \(p=h\delta ^\beta =hz^{\frac{\beta -1}{2}}\delta =h'\delta \) for \(h'=hz^{\frac{\beta -1}{2}}\in H\). Therefore, if \(\sharp (p)=2\), then \(h'\varphi (h')\delta ^2=1\) what implies \(z=\delta ^{2}=(h'\varphi (h'))^{-1}=\varphi (h'^{-1})h'^{-1}\). However, by assumption, z cannot be written in this form. We have proved that the orders of generators \(h_1,\ldots ,h_\gamma \) are divisible by 4 and any composition of elements of vector \(T_{\gamma ,r}\) containing an odd number of \(h_i\) neither is trivial nor has order 2. Thus, \(T_{\gamma ,r}\) is an essential exceptional generating vector and \((\gamma ,r)\) is different from (1, 2), (3, 0) and (2, 1). According to Theorem 4.1, there is full action of \(H'\) on an asymmetric Riemann surface X of genus \(g=1+|H'|(\mathrm{card}(A)-\sum _{j=1}^{t}\frac{1}{\sharp (g_{l_j})})\).

In case (i), the subgroup \(H\rtimes \langle \delta ^2\rangle \) of \(H_{\varphi ,4k}\) has index 2 and all its generators are conformal because \(\delta ^2=h_{2s+2}^2\) and any generator in A is one of elements \(b_j\) or \(h_{2s+1}h_{j}\). Thus, \(H\rtimes \langle \delta ^2\rangle =\mathrm{Aut}^+(X)\). By similar arguments, we get \(H=\mathrm{Aut}^+(X)\) in (ii).

For a finite nontrivial group H, let \((X,Y)^H_g \) denotes a pair of Riemann surfaces X and Y of the same genus \(g\ge 2\) which have subgroups \(H_X\subset \mathrm{Aut}^\pm (X)\) and \(H_Y\subset \mathrm{Aut}^\pm (Y)\), such that \(H_X\simeq H\simeq H_Y\). We say that \((X,Y)^H_g\) is an (a.s.)-pair, if X is asymmetric and Y is symmetric. A generating vector of H for which there exists (a.s.)-pair \((X,Y)^H_g \) is called (a.s)-generating vector.

Theorem 4.3

Let \(\mu =\sum _{j=1}^n (1-\frac{1}{\sharp (g_{j})})\) for a generating set \(A=\{g_1,\ldots ,g_n\}\) of a finite group H, and let \(\varphi \) be an automorphism of H, such that \(\varphi ^2=\mathrm{id}_H\). Then, for any \(k\in {\mathbb {N}}\), there is an (a.s.)-pair \((X,Y)^{H_{\varphi ,4k}}_{g=1+4k|H|\mu }\). Moreover, if \(\varphi \) preserves a central element \(z\in Z(H)\) of order 2, then there is an (a.s.)-pair \((X,Y)^{H_{\varphi /z}}_{g=1+2|H|\mu }\).

Proof

Let \(H'=H_{\varphi ,4k}=H\rtimes \langle \delta :\delta ^{4k}=1\rangle \) or let \(H'=H_{\varphi /z}=(H\rtimes \langle \delta :\delta ^{4}=1\rangle )/\langle \delta ^2z\rangle \) on condition that there is a central element \(z\in H\) of order 2 fixed by \(\varphi \). Then, \(H'\) has an asymmetric generating vector

$$\begin{aligned} T_{2n,2}=[g_1,\ldots ,g_n,g_n^{-1},\ldots ,g_1^{-1},\delta ^{-1},\delta ]. \end{aligned}$$

Let \(\eta :H'\rightarrow H'\) be the mapping, such that \(\eta (\delta )=\delta ^{-1}\) and \(\eta (h)=h\) for \(h\in H\). Then, \(\eta (\delta h \delta ^{-1})=\delta ^{-1}h \delta =\delta ^{4k-1}h \delta ^{1-4k}=\varphi ^{4k-1}(h)=\varphi (h)=\eta (\varphi (h)\). Thus, \(\eta \) is an automorphism of \(H'\) and vector \(T_{2n,2}\) can be interpreted as a symmetric vector \(T_{2n,2}^{n,\eta }\). According to Theorems 4.1 and 3.2, there is (a.s.)-pair \((X,Y)^{H'}_g\), where \(g=1+4k|H|\mu \) or \(g=1+2|H|\mu \) according to whether \(H'=H_{\varphi ,4k}\) or \(H'=H_{\varphi /z}\), respectively.

5 On Fixed Point Free Generating Vectors

We say that an action \((\Lambda ,\theta ,H)\) on the Riemann surface \(X=\mathcal {H}/\mathrm{Ker}\theta \) is fixed point free, if none automorphism in H has fixed points. In this chapter, we study fixed point free actions for which \(\Lambda \) has a signature \(\sigma _\gamma =(\gamma ;-;[-];\{-\})\) with \(\gamma \ge 3\). Then, H has a generating vector

$$\begin{aligned} T_{0,\gamma }=[h_1,\ldots ,h_\gamma ]=[\theta (d_1),\ldots ,\theta (d_\gamma )], \end{aligned}$$

where \(d_1,\ldots ,d_\gamma \) are canonical generating glide reflections of \(\Lambda \). By Theorem 4.1, there is full fixed point free action of a finite group H on an asymmetric Riemann surface X if and only if H has an exceptional generating vector \(T_{0,\gamma }\) which is not symmetric for \(\gamma =3\).

Theorem 5.1

Let H be a finite group admitting a symmetric generating vector \(T_{0,\gamma }^{0,\eta }=[h_1,\ldots ,h_\gamma ]\), where \(\gamma >3\) and \(\eta \in \mathrm{Aut}(H)\) is induced by the assignment

$$\begin{aligned} h_j\rightarrow (h_{1}^{2} \ldots \cdot h_{j-1}^{2})h_j^{-1}(h_{1}^2 \ldots h_{j-1}^2)^{-1}\quad \mathrm{for}\;1\le j\le \gamma . \end{aligned}$$
(25)

Then, there exists a pair \((X,Y)^H_{g}\) for \(g=1+|H|(\gamma -2)/2\), such that Y/H is a hyperelliptic Klein surface of algebraic genus \(\gamma -1\) Moreover, \((X,Y)^H_{g}\) is an (a.s.)-pair, if vector \(T_{0,\gamma }^{0,\eta }\) is exceptional.

Proof

Assume that a finite group H has a generating vector \(T_{0,\gamma }=[h_1,\ldots ,h_\gamma ]\). If \(\gamma >3\), then the signature \(\sigma _\gamma \) is maximal and there is full action \((\Lambda _{max},\theta ,H)\) on the Riemann surface \(X=\mathcal {H}/\mathrm{ker}\theta \) of genus \(g=1+|H|(\gamma -2)/2\), where \(\Lambda _{max}\) is a maximal NEC group with the signature \(\sigma _\gamma \) and \(\theta \) is induced by \(\theta (d_i)=h_i\) for \(1\le i\le \gamma \). If vector \(T_{0,\gamma }\) is exceptional, then there is no symmetry in H and X is asymmetric. On the other hand, if the assignment (25) induces an automorphism \(\eta \in \mathrm{Aut}(H)\), then there is an action \((\Lambda ',\theta ',H_{\eta ,2})\) on a symmetric Riemann surface Y, where \(\Lambda '\) is an NEC group with the signature \((0;+;[2,{\mathop {\ldots }\limits ^{\gamma }},2];\{(-)\})\) and \(\theta ':\Lambda '\rightarrow H_{\eta ,2}=H\rtimes \langle \rho :\rho ^2=1\rangle \) is given by

$$\begin{aligned} \theta '(c_0)=\rho \quad \mathrm{and }\quad \theta '(y_i)=h_i h_{i+1}^2\ldots h_\gamma ^2\rho \quad \mathrm{for}\;1\le i\le \gamma \end{aligned}$$

for a canonical generating reflection \(c_0\) and canonical elliptic generators \(y_1,\ldots ,y_\gamma \) of \(\Lambda '\). The surface Y is isomorphic to \(\mathcal {H}/\Gamma \) for \(\Gamma =\mathrm{ker}\theta '\) and it has the same genus as X. The elements \((y_i\ldots y_\gamma )c_0(y_{i+1}\ldots y_\gamma )^{-1}\) for \(i=1,\ldots ,\gamma \) generate a subgroup \(\Lambda <\Lambda '\) of index 2 being an NEC group with the signature \(\sigma _\gamma \) and \(H\simeq \Lambda /\Gamma \). Thus, the orbit space \(Z=Y/H\simeq \mathcal {H}/\Lambda \) is a Klein surface of algebraic genus \(p=\gamma -1\) and

$$\begin{aligned} {\mathbb {Z}}_2\simeq H_{\eta ,2}/H\simeq (\Lambda '/\Gamma )/(\Lambda /\Gamma )\simeq \Lambda '/\Lambda . \end{aligned}$$

Since the algebraic genus of \(\Lambda '\) is equal to 0, it follows that \({\mathbb {Z}}_2\) is generated by a hyperelliptic involution of the Klein surface Z.

Example 3. There is an infinite family of groups acting with the signature \(\sigma _3\) on asymmetric Riemann surfaces. It was constructed by Marston Conder in [14]. Let H be the 33-rd group of order 64 in the Small Groups Database. It is generated by two elements \(g_1\) and \(g_2\) satisfying the following relations:

$$\begin{aligned}{}[g_2,g_1^2]=[g_1,[g_1,g_2]],\;[[g_1,g_2],g_1^2]=g_2^2\;\mathrm{and}\; [g_1,[g_1,[g_1,g_2]]]=g_2^2. \end{aligned}$$

Using MAGMA, it can be checked that

$$\begin{aligned} T_{0,3}=[h_1,h_2,h_3]=[g_1, g_1\cdot [g_1,[g_1,g_2]],g_2] \end{aligned}$$

is an exceptional generating vector of H and the assignment (25) does not induce an automorphism of this group. Thus, by Theorem 4.1, there is an action \((\Lambda ,\theta ,H)\) on an asymmetric Riemann surface \(X=\mathcal {H}/\mathrm{ker}\theta \) of genus 33, where \(\Lambda \) is an NEC group with the signature \(\sigma _3\) and \(\theta :\Lambda \rightarrow H\) is induced by \(\theta (d_i)=h_i\) for \(i=1,2,3\).

Let \(\Gamma _m\) with \(m\in {\mathbb {N}}\) be the characteristic subgroup of \(\Gamma =\mathrm{ker}\theta \) generated by the commutator \([\Gamma ,\Gamma ]\) and all mth powers of the generators of \(\Gamma \) and their conjugates. Then, \(\Gamma _m\) is also torsion-free and \(\Gamma /\Gamma _m\) is an abelian group of order \(m^{66}\) what implies that \(\mu (\Gamma _m)=\mu (\Gamma )\cdot m^{66}\). The quotient group \(G_m=\Lambda /\Gamma _m\) acts on the asymmetric Riemann surface \(\mathcal {H}/\Gamma _m\) which by the Hurwitz–Riemann formula has genus \(g=1+|G_m|/2=1+|\mu (\Gamma _m)/\mu (\Lambda )|/2=32m^{66}+1\).

Corollary 5.2

The lower sharp bound on the genus g of an asymmetric Riemann surface with a fixed point free action of the automorphism group \(H=\mathrm{Aut}^\pm (X)\) is equal to \(1+|H|\) or \(1+\frac{|H|}{2}\), according to whether H is abelian or nonabelian.

Proof

An automorphism of an asymmetric Riemann surface X of genus \(g\ge 2\) may have fixed points only when it is conformal. Thus, the group \(H=\mathrm{Aut}^\pm (X)\) acts without fixed points on X with the signature \(\sigma _\gamma \) for \(\gamma \ge 3\), and by the Hurwitz–Riemann formula, X has genus \(g=1+\frac{|H|}{2}(\gamma -2)\). According to Theorem 4.1, an action of H with the signature \(\sigma _3\) is possible on condition that the assignment (25) does not induce an automorphism of H. In particular, H is not abelian. By Example 3, the lower sharp bound on g in nonabelian case is equal to \(g=1+\frac{|H|}{2}\). In abelian case, this bound is equal to \(1+|H|\), because for any g satisfying the congruence \(g\equiv 1\;(4)\), the cyclic group \(Z_{g-1}=\langle \delta \rangle \) has an exceptional generating vector \(T_{0,4}=[\delta ,\delta ,\delta ^{-1},\delta ^{-1}]\) providing an action of \(Z_{g-1}\) with the signature \(\sigma _4\) on an asymmetric Riemann surface of genus g.

Theorem 5.3

Let \(G=\langle g_1,\ldots ,g_n\rangle \) be a finite group which has an automorphism \(\varphi _0\) induced by

$$\begin{aligned} \varphi _0(g_i)=g_i^{-1}\;\mathrm{for}\;1\le i\le n.\end{aligned}$$
(26)

Then, for any \(k\in {\mathbb {N}}\) and \(\varphi \in \mathrm{Aut}(G)\), such that \((\varphi \varphi _0)^2=1\) and \((4k)_{(\sharp (\varphi ))}=0\), there is an (a.s.)-pair \((X,Y)^{G}_{1+4kn|H|}\) for which \(\mathrm{Aut}^\pm (X)\simeq {G_{\varphi ,4k}}=G\rtimes \langle \delta :\delta ^{4k}=1\rangle \) and \(\mathrm{Aut}^\pm (Y)\supseteq G_{\varphi ,4k}\rtimes \langle \rho \rangle \) for a symmetry \(\rho \), where

$$\begin{aligned} \rho g_i\rho =\varphi \circ \varphi _0(g_i)\;\mathrm{and}\; \rho \delta \rho =\delta ^{-1}. \end{aligned}$$
(27)

If \(\varphi ^2=1\) and \(\varphi (z)=z\) for a central element \(z\in Z(G)\) of order 2, such that \(h\varphi (h)\ne z\) for all \(h\in G\), then there is an (a.s.)-pair \((X,Y)^{G}_{1+2n|H|}\), such that \(\mathrm{Aut}^+(X)\simeq G\) and \(G\rtimes \langle \upsilon \rangle \subset \mathrm{Aut}^+(Y)\) for a conformal involution \(\upsilon \), where \(\upsilon g_i\upsilon =\varphi _0(g_i)\), \(1\le i\le n\).

Proof

Let \(H_1\) denotes the semidirect product \(G_{\varphi ,4k}=G\rtimes \langle \delta :\delta ^{4k}=1\rangle \) with respect to the action \(\delta g_i\delta ^{-1}=\varphi (g_i)\) for \(1\le i\le n\). In the case when \(\varphi ^2=1\) and there is an element \(z\in Z(G)\) of order 2, such that \(\varphi (z)=z\) and \(h\varphi (h)\ne z\) for all \(h\in G\), let \(H_2\) be the group \(G_{\varphi /z}= G_{\varphi ,4}/\langle \delta ^2z\rangle \). The group \(H_j\) for \(j=1,2\) has an asymmetric generating vector

$$\begin{aligned} T_{0,2n+2}=[h_1,\ldots ,h_\gamma ]=[\delta g_1,(\delta g_1)^{-1},\ldots ,\delta g_n,(\delta g_n)^{-1},\delta ^{-1},\delta ], \end{aligned}$$
(28)

such that \(\eta (h_i)=h_i^{-1}\) for \(1\le i\le \gamma =2n+2\), where \(\eta :H_j\rightarrow H_j\) is the homomorphism induced by (25). We have \(\eta (\delta )=\delta ^{-1}\) and

$$\begin{aligned} g_i^{-1}\delta ^{-1}=h_{2i-1}^{-1}=\eta (h_{2i-1})=\eta (\delta )\eta (g_i)=\delta ^{-1}\eta (g_i) \end{aligned}$$

what implies that \(\eta (g_i)=\delta g_i^{-1}\delta ^{-1}=\varphi \circ \varphi _0(g_i)\;\mathrm{for}\;1\le i\le n\) and so \(\eta |_H=\varphi \circ \varphi _0\). Since by the assumptions \((\varphi \circ \varphi _0)^2=\mathrm{id}_H\), it follows that \(\eta |_H\circ \varphi =\varphi _0\). Thus

$$\begin{aligned} \eta (\varphi (g_i))=\varphi _0(g_i)=\delta ^{-1}\eta (g_i) \delta =\eta (\delta )\eta (g_i)\eta (\delta )^{-1}=\eta (\delta g_i\delta ^{-1}). \end{aligned}$$

Therefore, \(\eta \) is an automorphism of the group \(H_{\varphi ,4k}\) and vector (28) is not only an asymmetric generating vector, but it can be also interpreted as a symmetric generating vector \(T_{0,\gamma }^{0,\eta }\). According to Theorems 4.2 and 3.2, there is an (a.s.)-pair \((X,Y)^{H_j}_g\) with \(g=1+n|H_j|\), such that \(\mathrm{Aut}^\pm (X)=H_j\) and \(\mathrm{Aut}^\pm (Y)\supseteq H_j\rtimes \langle \rho :\rho ^2=1\rangle \), where \(\rho g_i\rho =\varphi \circ \varphi _0(g_i)\) and \(\rho \delta \rho =\delta ^{-1}\). The element \(\upsilon =\delta \rho \in H_j\) is a conformal involution and \(G\subset H_j\) is a subgroup generated by conformal automorphisms. Thus, for \(j=2\), \(\mathrm{Aut}^+(X)=G\) and \(\mathrm{Aut}^+(Y_2)\supseteq G\rtimes \langle \upsilon \rangle \), where \(\upsilon g_i\upsilon =g_i^{-1}\) for \(1\le i\le n\).

Corollary 5.4

For any finite noncyclic group \(G=\langle g_1,\ldots ,g_m\rangle \) which has an automorphism \(\varphi _0\in \mathrm{Aut}(G)\) induced by (26) and for any \(k\in {\mathbb {N}}\), there is an (a.s.)-pair \((X,Y)^{G_{\varphi _0,k}}\), such that

$$\begin{aligned} \mathrm{Aut}^\pm (X)= G_{\varphi _0,k}\;\mathrm{and}\;\mathrm{Aut}^\pm (Y)\supseteq G_{\varphi _0,k}\rtimes \langle \rho :\rho ^2=1\rangle , \end{aligned}$$

where \(\rho g_i\rho =g_i\) and \(\rho \delta \rho =\delta ^{-1}\).

Proof

This is the particular case of Theorem 5.3 for \(\varphi =\varphi _0\).

Theorem 5.5

Let \(p=\frac{g-1}{n}(\frac{n}{2}-1)\) for \(n,g\in {\mathbb {N}}\), such that \(g\ge 3\) is odd and n is an even divisor of \(g-1\). Then, there exists a symmetric p-hyperelliptic Riemann surface of genus g being n-sheeted unbranched covering of a hyperelliptic Klein surface of algebraic genus \(\frac{2(g-1)}{n}+1\). In particular, for any odd \(g\ge 3\), there exists a symmetric hyperelliptic Riemann surface of genus g with two commuting symmetries.

Proof

Let \(\Lambda '\) be an NEC group with the signature

$$\begin{aligned} (0;+;[2,{\mathop {\ldots }\limits ^{2t}},2];\{(-)\})\;\mathrm{for}\;t=\frac{g-1}{n}+1, \end{aligned}$$

and let \(H'\) be a semidirect product \(\langle \delta :\delta ^{n}=1\rangle \rtimes \langle \rho :\rho ^2=1\rangle \) with respect to the action \(\rho \delta \rho =\delta ^{-1}\). Then, there is a smooth epimorphism \(\theta ':\Lambda '\rightarrow H'\) induced by

$$\begin{aligned} \theta (c_0)=\rho \;\mathrm{and}\;\theta (y_1)=\cdots =\theta (y_{2t})=\delta \rho , \end{aligned}$$

where \(c_0\) is the canonical reflection and \(y_1,\ldots ,y_{2t}\) are canonical elliptic elements of the group \(\Lambda '\). Applying the Hurwitz–Riemann formula for \(\Lambda '\) and \(\Gamma =\mathrm{ker }\theta '\), we calculate that the Riemann surface \(Y=\mathcal {H}/\Gamma \) has genus g. Clearly, Y is symmetric, because \(\rho \) is an anti-conformal involution. The group \(\Lambda '\) has a subgroup \(\Lambda \) of index 2 with the signature \(\sigma _{2t}=(2t;-;[-];\{-\})\) generated by glide reflections \(d_i=(y_i\ldots y_{2t})c_0(y_{i+1}\ldots y_{2t})^{-1}\) for \(i=1,\ldots ,2t\). Let \(\theta =\theta '|_\Lambda \). Then, \(\theta :\Lambda \rightarrow {\mathbb {Z}}_n\) is a smooth epimorphism and \(H={\mathbb {Z}}_n\) has a symmetric generating vector \(T_{0,2t}^{0,\eta }=[\theta (d_1),\ldots ,\theta (d_{2t})]=[\delta ,\delta ^{-1},{\mathop {\ldots }\limits ^{t}},\delta ,\delta ^{-1}]\), where \(\eta (\delta )=\delta ^{-1}\). Thus, by Theorem 5.1, there exists a pair \((X,Y)^{{\mathbb {Z}}_n}_g\), such that Y/H is the Klein surface \(\mathcal {H}/\Lambda \) of algebraic genus \(2t-1=\frac{2(g-1)}{n}+1\).

The subgroup \(G<H'\) generated by \(\delta ^2\) and \(\upsilon =\delta \rho \) has index 2 and it consists of all conformal automorphisms in \(H'\). Thus, \(G=\Lambda '^+/\Gamma \) for the canonical Fuchsian subgroup \(\Lambda '^+<\Lambda '\) which by (4), has the signature \((0;+;[2,{\mathop {\ldots }\limits ^{4t}},2];\{-\})\). The elements \(x_i=y_i\) and \(x_{2t+i}=c_0 y_{2t+1-i} c_0\) for \(1\le i\le 2t\) can be taken as the canonical generators of \(\Lambda '^+\). Let \(\mu =\theta '|_{\Lambda '^+}\). Then, \(\mu (x_i)=\upsilon \) and \(\mu (x_{2t+i})=\rho \upsilon \rho =\delta ^{-2}\upsilon \) for \(1\le i\le 2t\). Any element \(h\in G\) has the form \(h=\delta ^s\upsilon ^r\) for an even s and \(r=1\) or 0. Thus, \(h (\delta ^{-2}\upsilon )h^{-1}=v\) if and only if \(\delta ^{2s\pm 2}=1\). By the last equality, \(\frac{n}{2}\) divides an odd integer \(s\pm 1\) which is possible only when \(n\equiv 2\;(4)\). Thus, there are 4t or 2t elements \(\mu (x_i)\) which are conjugate with \(\upsilon \) in G, according to whether \(n\equiv 2\;(4)\) or \(n\equiv 0\;(4)\), respectively. Moreover, \(N_G(\langle \upsilon \rangle )=\{1,\upsilon \}\) in the first case and \(N_G\langle \upsilon \rangle )=\{1,\upsilon , \delta ^{\frac{n}{2}},\upsilon \delta ^{\frac{n}{2}} \}\) in the second one. Thus, by Theorem 2.1, \(\upsilon \) fixes 4t points on X, and so, \({\mathbb {Z}}_2=\langle \upsilon \rangle =\Delta /\Gamma \) for an NEC group \(\Delta \) with the signature \((p;+;[2,{\mathop {\ldots }\limits ^{4t}},2];\{-\})\), where p denotes the genus of the orbifold \(X/\langle \upsilon \rangle \). Applying the Hurwitz–Riemann formula for \((\Delta ,\Gamma )\), we get \(p=\frac{g+1}{2}-t=(t-1)(\frac{n}{2}-1)=\frac{g-1}{n}(\frac{n}{2}-1)\). In particular, \(p=0\) for \(n=2\), and so, there exists a symmetric Riemann surface Y with two commuting symmetries \(\delta \) and \(\rho \), such that \(\delta \rho \) is the hyperelliptic involution.

Corollary 5.6

For any \(p,d\in {\mathbb {N}}\), such that d divides p, there exists a symmetric p-hyperelliptic Riemann surface of genus \(g=\frac{2p(d+1)}{d}+1\) being \(2(d+1)\)-sheeted unbranched covering of a hyperelliptic Klein surface of algebraic genus \(\frac{2p}{d}+1\). In particular, for any \(p\ge 1\), there exists a symmetric p-hyperelliptic Riemann surface of genus \(g=4p+1\) being 4-sheeted unbranched covering of a hyperelliptic Klein surface of algebraic genus \(2p+1\).

Proof

This is a particular case of Theorem 5.5 for \(n=2(d+1)\) and \(t=\frac{p}{d}+1\).