On s-extremal Riemann surfaces of even genus

We consider Riemann surfaces of even genus g with the action of the group Dn×Z2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal {D}_n\times \mathbb {Z}_2$$\end{document}, with n even. These surfaces have the maximal number of 4 non-conjugate symmetries and shall be called s-extremal. We show various results for such surfaces, concerning the total number of ovals, topological types of symmetries, hyperellipticity degree and the minimal genus problem. If in addition an s-extremal Riemann surface has the maximal total number of ovals, then it shall simply be called extremal. In the main result of the paper we find all the families of extremal Riemann surfaces of even genera, depending on if one of the symmetries is fixed-point free or not.


Introduction
All Riemann surfaces in this paper are compact. A symmetry of a Riemann surface X = H/ of genus g ≥ 2, where is a Fuchsian surface group, is just an antiholomorphic involution σ ∈ G = Aut ± (X ). The set of points fixed by σ consists of no more than g +1 disjoint simple closed curves called ovals, see Harnack [10]. If the set X \Fix(σ ) is disconnected, then we call σ to be separating and we call it non-separating in the other case. In addition, we define the topological type of σ to be a symbol ±k, where k ≥ 0 denotes the number of ovals of σ , and the sign depends on the separability of σ : + for separating, − for a non-separating symmetry.
The starting point for this paper is the results of Gromadzki and Izquierdo from [6,7], where they prove that the number of non-isomorphic Klein surfaces (X , σ ) for a fixed compact Riemann surface X of even genus is at most 4, and this bound is attained only for the automorphism group of the underlying surface being isomorphic to D n × Z 2 , where D n denotes the dihedral group of order 2n and Z 2 is the group of order 2, for some even integer n. Also, the bound for the total number of ovals of the set of symmetries, in terms of g and n is proposed. By an extremal Riemann surface of even genus we shall understand a surface which attains the maximal number of 4 non-conjugate symmetries and the symmetries have the maximal possible total number of ovals-the bound is given in terms of g and n. If the surface of even genus has 4 conjugacy classes of symmetries, without any assumption on the number of ovals, then it shall be called s-extremal. In general, a Riemann surface shall be called s-extremal if it admits the maximal number of non-conjugate symmetries, o-extremal if it admits the maximal total number of ovals for a configuration of k non-conjugate symmetries, and simply extremal if both conditions hold simultaneously.
The case of commuting symmetries, that is n = 2, was considered in the author's previous paper [12], where all possible topological types of the 4 symmetries were found. In this paper we shall mainly focus on the non-commuting case, that is n ≥ 4. The goal of the first part of the paper is to find all possible topological types of symmetries of extremal Riemann surfaces of even genera in the non-commuting case. We consider two cases, letting one of the symmetries be fixed point free or not. As a result of these investigations we obtain a family of Riemann surfaces, which from now on shall be called the button-like Riemann surfaces. These are the only extremal Riemann surfaces of even genera with a non-abeliam automorphism group and one fixed point free symmetry. An interesting property of these surfaces is that one of the central symmetries is fixed point free whereas the other has the maximum of g + 1 ovals. We also investigate the hyperellipticity degree of such a surface. In this part of the paper we show various results on s-extremal Riemann surfaces of even genera. For example we improve the bound on the total number of ovals given in [7]. We also show that a Riemann surface of even genus has at most 3 separating symmetries. For completeness, we also investigate the case when all the symmetries have fixed points. This one, however, is not so interesting, as it only allows one symmetry type configuration for any even g.
In the next part of the paper we find the minimal genus for an s-extremal Riemann surface whose automorphism group is isomorphic to D n × Z 2 .
The next part of the paper focuses on the problem of the minimal possible number of ovals. In [9] we provided some results concerning the minimal number of ovals that an s-extremal Riemann surface can admit. Here we provide a similar result in the case of even genus, by allowing one of the symmetries to be fixed-point free.
The last part of the paper stands in opposition to the title, as it concerns Riemann surfaces of odd genus, but there is a common trait which justifies it. Namely, of all the o-extremal Riemann surfaces, only the ones with 4 or 5 symmetries can be realized with a non-abelian group. As the methods are exactly the same, we provide the topological types of 5 symmetries on an o-extremal Riemann surface with nonabelian automorphism group. Note, that the abelian case was solved in [13].

Non-euclidean crystallographic groups
We shall use the combinatorial approach, based on Riemann uniformization theorem, Fuchsian groups and non-euclidean crystallographic groups. Recall that an NEC group is just a discrete and cocompact subgroup of the group G of isometries of the hyperbolic plane H, including those which reverse orientation, and if such a subgroup contains only orientation preserving isometries, then it is called a Fuchsian group. For every NEC group we have the associated signature, which determines its algebraic structure. It has the form The numbers m i ≥ 2 are called the proper periods, the non-empty brackets C i = (n i1 , . . . , n is i ), i = 1, . . . , k, or the empty ones (−) are the period cycles, the numbers n i j ≥ 2 are the link periods and h ≥ 0 is said to be the orbit genus of . The orbit space H/ is a surface of topological genus h, having k boundary components, and being orientable or not according to the sign being + or −. The group with the signature (1) has the presentation given by the following generators and relations where s i = 0 if i > k: The generators x 1 , . . . , x r are called canonical elliptic generators, e 1 , . . . , e k+l are called the canonical connecting generators and c i j are the canonical reflections of .
A Fuchsian group can be regarded as an NEC group with the signature which is usually shortened to (h; m 1 , . . . , m r ); a Fuchsian group without proper periods is called a Fuchsian surface group. An epimorphism θ : → G, where is an NEC group and G is a finite group, is said to be smooth if ker θ is a surface group. Any set of generators of an NEC group satisfying the above relations is called a canonical set of generators, and reflections c i j−1 , c i j are said to be consecutive. Every NEC group has an associated fundamental region, whose hyperbolic area μ( ), for an NEC group with signature (1), is given by where ε = 2 if the sign is + and ε = 1 otherwise. Now, if is a finite index subgroup in an NEC group , then it is an NEC group itself and the Hurwitz-Riemann formula applied to the covering H/ → H/ says Finally it is known that an abstract group with the presentation given by the generators and the relations in (2) can be realized as an NEC group with the signature (1) if and only if (4) is positive. Let us also remind, that the notion of maximality is explained in [4]. It is used in this paper to ensure, that the surfaces obtained here have the required total automorphism groups.

Topological type of a symmetry
To retrieve the topological type of a symmetry, one needs to find its number of ovals and determine its separability type. The following two results are essential in solving this problem. Theorem 2.1 (Gromadzki [5]) Let X = H/ be a Riemann surface whose group of automorphisms is G = / for some NEC group containing as a normal subgroup, let G = / for some NEC group and let θ : → G be the canonical epimorphism. Then the number of ovals of a symmetry σ of X equals where C stands for the centralizer and the sum is taken over a set of representatives of all conjugacy classes of canonical reflections whose images under θ are conjugate to σ .
For a symmetry σ we shall denote by σ the number of its ovals. In addition, we denote X the number of ovals of all non-conjugate symmetries on the surface X .
The centralizers that appear in Theorem 2.1 have been described by Singerman in [15] and we shall use the following result, where * stands for free product. [15]) Let c 0 , c 1 , . . . , c s , e be the system of canonical reflections corresponding to a period cycle (n 1 , . . . , n s ) of an NEC group with signature (1). If all n i are even, then the centralizer C( , c i ) equals

Theorem 2.2 (Singerman
Now to determine the separability type, one can use the following technique described by Hoare and Singerman in [11]. Let us recall, that if is a set of generators for and˜ is a subgroup of , then a right Schreier transversal S is a set of words in such that every initial segment of a word in S is also in S and the mapping a →˜ a is a 1 − 1 correspondence from S to the cosets of˜ in . Now for each a ∈ S and α ∈ there exists a unique b ∈ S such that˜ b =˜ aα. With these notations, the Schreier generators of˜ are all the elements of the form aαb −1 .
If is a group with generators and˜ is its subgroup, then the Schreier coset graph K is the graph whose vertices are the cosets of˜ in and labelled directed edges at every vertex for each a ∈ such that a :˜ α →˜ αa. Now if a is a reflection and˜ αa =˜ a, then the corresponding directed edge a :˜ α →˜ αa is called a reflection loop. Let us delete all the reflection loops from K. In such a way we obtain the Schreier graphK. Observe, that each path inK corresponds to a word in , and so also to an element of . We shall call a path positive if it corresponds to an orientation preserving element of , otherwise we shall call a path negative.
We are ready to state the main result of [11]: Theorem 2.3 (Hoare and Singerman [11]) With the above notations, the following statements are equivalent: (i) X /˜ is orientable (ii) the only orientation reversing Schreier generators are involutions (actually conjugations in ) (iii) all circuits ofK are positive (iv) the cosets of˜ in divide into two disjoint classes such that in the action a : γ → (γ a) orientation preserving elements of fix the classes and (apart from reflections fixing cosets) orientation reversing elements interchange the classes. Now let us assume that we have an epimorphism θ : → G, where is an NEC group and G ∼ = / for = ker θ is the group of all, including orientation reversing, automorphisms of X = H/ . Let us also assume that σ ∈ G is a symmetry of X . Now let us consider the subgroup σ = θ −1 ( σ ) of . It is an NEC group as the index [ : σ ] < +∞. In addition it is a surface group, so its signature has the form which also determines the topological type of the symmetry σ , i.e. the sign decides about the separability, as it decides about the orientability of the orbit space H/ σ . Moreover, the number of period cycles is equal to the number of connected components of the boundary of this space and hence it is equal to the number of ovals of the symmetry σ . We shall use the theorem above taking˜ = σ , which will allow us to determine the separability character of the symmetry σ .

Fixed points and the degree of hyperellipticity
Let us recall that a Riemann surface X is called p-hyperelliptic if it admits a conformal involution ρ such that X /ρ has topological genus p. This integer ρ is called the hyperellipticity degree of X with respect to ρ. Now, to retrieve the hyperellipticity degree of a surface it is convenient to use the famous Macbeath theorem from [14], which allows us to compute the number of points fixed by any conformal automorphism of X . The number of fixed points m ρ and the hyperellipticity degree p ρ of an involution ρ of X are connected by the formula m ρ = 2g + 2 − 4 p ρ , so the values of m ρ and p ρ mutually determine each other. It is worthwhile mentioning that a similar result concerning automorphisms of Klein surfaces with fixed points was obtained in [3].
By N G ( g ) we mean the normalizer in G of the subgroup generated by g.
where the sum is taken over those i for which g is conjugate to a power of θ(x i ).

The button-like Riemann surfaces as the only extremal Riemann surfaces of even genera with one fixed point free symmetry
We start with a simple example of a surface of genus 4 whose automorphism group is G = D 4 × Z 2 = σ 1 , σ 2 × τ , admitting four non-conjugate symmetries σ 1 , σ 2 , τ, τ (σ 1 σ 2 ) 2 of topological types +1, +3, +5, 0 respectively. Let be an NEC group with signature and we define an epimorphism θ : → G to map the consecutive canonical reflections of the only period cycle to σ 1 , τ, σ 2 , τ, σ 2 , σ 1 . Here, by the Hurwitz-Riemann formula we have so indeed we obtain a Riemann surface X = H/ ker θ of genus 4. Now let us look closer at the topological types of symmetries σ 1 , σ 2 , τ . We will find the number of ovals and separability character of the symmetry σ 2 , as for the other symmetries we have the same argument. Observe first, that the centralizer of σ 2 in G has order 8. In addition, we have two reflections, c 2 and c 4 , which are mapped to σ 2 . By Theorem 2.2, the centralizer of c 2 in is generated by c 2 , c 1 c 2 and c 2 c 3 and its image in G is generated by σ 2 , τ σ 2 , which is a subgroup of order 4 in G. Hence by Theorem 2.1, reflection c 2 contributes with 8 4 = 2 ovals to σ 2 . Now, the centralizer of reflection c 4 in is generated by c 4 , c 3 c 4 , (c 4 c 0 ) 2 and so its image in G is generated by σ 2 , τ, (σ 1 σ 2 ) 2 and has order 8. Therefore the contribution of c 4 to σ 2 is equal to 8 8 = 1. This means that σ 2 has 3 ovals in total. Now we shall check the separability character of σ 2 using Theorem 2.3. Let σ 2 = θ −1 ( σ 2 ). Of course we have c 2 , c 4 ∈ σ 2 . Observe now that we have eight cosets These are the vertices of our Schreier coset graph. The edges are labelled with c 0 , c 1 , c 2 , c 3 , c 4 , but it is easy to see that actually edges labelled by c 2 or c 4 are exactly the same and the same thing we have for edges c 1 , c 3 . The Schreier graph is presented in Fig. 2.

Fig. 2 Schreier coset graph
It is clear that the graph is bipartite and so all the circuits in our graph are positive and σ 2 is separating. As a matter of fact, the signature of σ 2 is and the corresponding orbit space has topological genus 1 and its border consists of 3 connected components (ovals). In an analogous way we can show that σ 1 and τ are separating.
This example illustrates the simplest case of what we shall call a button-like surface. We later generalize it for any even integers g, n such that n divides g, where g denotes the genus of the surface and 2n is the order of the dihedral group generated by two non-central symmetries. Observe that, by Theorem 2.4, the number of points fixed by the orientation preserving involutions are respectively m σ 1 τ = 2, m σ 2 τ = 6 and m (σ 1 σ 2 ) 2 = 2. Therefore, the corresponding hyperellipticity degrees are respectively 2, 1, 2, which is concordant with our intuition while looking at how the respective involutions act on the surface (see Fig. 1).
Observe that the above surface bears many interesting properties, which justify our interest. First of all, we shall prove that this type of surface is an extremal Riemann surface, meaning that it admits the maximal possible number of non-conjugate symmetries together with the maximal number of ovals for 3 symmetries in the automorphism group in question. The third interesting property is that a Riemann surface of even genus can have at most three separating symmetries. We shall prove this result in the latter part of the paper, and the button-like surface is an interesting example of such a configuration, as it also involves a symmetry which attains the maximum number g + 1 of ovals given by Harnack's theorem, [10].
In [6] Gromadzki and Izquierdo showed that a Riemann surface of even genus g can admit at most 4 non-conjugate symmetries and the group of automorphisms is isomorphic to G = D n × Z 2 in such a case. In addition, they remarked in [7], that the total number of ovals of three non-conjugate symmetries generating G is bounded from above by 2g n + g + 2 + n 2 if 2g n is even and by 2g n + g + 3 if 2g n is odd. We shall show that in fact, if an extremal Riemann surface of even genus has one fixed point free symmetry, then n divides g and we propose a sharp bound in that case. Also, following the ideas of [7], as we look for the numbers of ovals of our symmetries and conjugate ones have the same numbers of ovals, we can actually assume, by Sylow Theorem, that our symmetries in fact generate a 2-group and so n is a power of 2. Theorem 3.1 Let g, n > 2 be even integers. Then, with the assumption that one of the symmetries is fixed point free, the 3 symmetries generating the automorphism group D n × Z 2 acting on a Riemann surface X of genus g can have at most 2g n + g + 3 ovals in total and the bound is attained if and only if X is a button-like surface.
Proof Let g, n > 2 be integers as in the theorem and let G = D n ×Z 2 = σ 1 , σ 2 × τ be the automorphism group of a Riemann surface X = H/ , where is the kernel of a smooth epimorphism from an NEC group with general signature (1) to G. We shall look for the numbers of ovals of symmetries σ 1 , σ 2 , τ . Observe that there is an odd number of link periods equal n in the signature of . Indeed, g is an even integer, and so we have that g−1 2n is a fraction with odd numerator and denominator equal to 2n, as it cannot be reduced. Now by the Hurwitz-Riemann formula we have and both sides can be seen as fractions with denominator 2n and so the right-hand side also has an odd numerator. But it basically means that the number of link periods equal to n in the signature of is odd. Hence there is at least one non-empty period cycle in the signature of . First of all, we shall prove that there exists a canonical reflection c, with θ(c) = τ such that the neighboring reflections of c have images, without loss of generality, equal to σ 1 and σ 2 . Here we treat reflections in the non-empty period cycle as situated on a circle. Observe, that there is a non-empty period cycle which involves, without loss of generality, σ 1 , σ 2 and τ . Indeed, if the period cycle involves only symmetries σ 1 , σ 2 and their conjugates, then the number of link periods equal n in such a cycle must be even, as the first and the last reflection in the cycle are conjugate and a link period equal n, being a power of 2, only arises as a product of a symmetry conjugate to σ 1 and a symmetry conjugate to σ 2 . So, there exists a non-empty period cycle involving all three symmetries. We may assume that the cycle starts with the symmetry σ 1 and the first link period is n. Observe that we can only skip from a conjugate of σ 1 to a conjugate of σ 2 , without using τ , by using a link period n. Therefore in the beginning we have some sequence of link periods n, we may assume that their number is odd, so the sequence starts with σ 1 and finishes with σ 2 . Then, after perhaps some sequence of symmetries conjugate to σ 2 , a symmetry τ must appear. If its right-hand side neighbor is a symmetry conjugate to σ 1 , we finish the procedure. If not, then we have to continue until a symmetry conjugate to σ 1 appears. If it appears right after τ , then we finish the procedure. If it appears after a symmetry conjugate to σ 2 , then again we start a sequence of link periods equal n and we repeat the previous steps. If we reach a symmetry τ with neighbors conjugate to σ 1 and σ 2 , we finish the procedure. So let us assume that we reach the last link period n and such a situation did not happen. As there is an odd number of link periods equal n, and we started with σ 1 , the righthand side neighbor of the last link period n must be conjugate to σ 2 . Now there are no more link periods equal n which we may use, so we proceed with a sequence of symmetries conjugate to σ 2 and a symmetry τ . As the first and last reflection of the cycle are conjugate and the image of the first reflection was σ 1 , a symmetry conjugate to σ 1 must appear. As it cannot appear after a symmetry conjugate to σ 2 -we have no more link periods equal n-it must appear after a symmetry τ and again we finish the procedure. Summing up, we have proved that there is at least one appearance of a symmetry τ with neighbors conjugate to σ 1 , σ 2 . Now by Theorems 2.1 and 2.2 observe, that this particular reflection with image τ contributes with only 1 oval. We shall use this fact in the latter part of the proof. Now we shall prove the bound on the total number of ovals of the symmetries σ 1 , σ 2 and τ , proposed in the statement. By the Hurwitz-Riemann formula there exists a nonnegative integer s such that Suppose first that l > 0. By Theorems 2.1 and 2.2, a central symmetry of the nonempty period cycle contributes at most n ovals if its neighbors coincide and at most n/2 ovals if its neighbors are distinct. On the other hand, the number of ovals of a central symmetry connected to an empty period cycle is at most 2n, whereas the corresponding values for a non-central symmetry are, respectively, 2, 1 or 4.Thus, the total number X of ovals of the surface X satisfies the inequality X ≤ (s/2 − 1) · n + 1 + (s/2 − 1) · 2 + 2 + 2nl, as there is an appearance of τ which contributes only one oval and there are at least two appearances of σ 1 and σ 2 , connected with link periods n, which contribute one oval to both of the symmetries. Now, using the inequality (5) on s, we obtain X ≤ (s/2 − 1)(n + 2) + 3 + 2nl ≤ g + 2g n + 3 − 4l < g + 2g n + 3 and the proof in this case is finished. Now let us assume that l = 0 in the signature of . Then inequality (5) says and again Finally, assume that l = 0, k = 1 in the signature of . In such a case s ≤ 2g n + 2 and the equality holds if and only if h = r = 0 in the signature of and all but one link periods are equal 2. Then Now observe that if the bound is attained, then the signature of is exactly where s = 2g n + 2. In addition, to have equality in (6), we have to take care that the epimorphism θ : → G = D n × Z 2 = σ 1 , σ 2 × τ is defined so that exactly one appearances of symmetries σ 1 , σ 2 , τ contribute with 1 oval and the other with 2 or n ovals respectively, which basically means, that except of these three special appearances, all the symmetries have neighbors with the same images under θ . Hence, without loss of generality, the epimorphism θ : → G has to map the consecutive canonical reflections of the only period cycle to for some nonnegative integers α and β. Here clearly 2α + 2β = 2g n + 2, hence 2g n must be even. By the usual methods of computing centralizers in G and in given in Theorems 2.1 and 2.2, we can easily calculate that: It is important for us that One can also easily check, by the results concerning Schreier coset graph method, that σ 1 , σ 2 , τ are all separating-in fact τ must be separating as it has g + 1 ovals. For σ 1 and σ 2 we can draw a bipartite Schreier coset graph similar to the one in Fig. 2, but with 2n cosets. Obviously the surface described above holds the conditions announced in the theorem and it is unique in a sense of uniqueness of the class of epimorphisms. This means that there is exactly one connected family of extremal surfaces in the conditions of Theorem 3.1. The real dimension of the family is s − 2 ≥ 1. From now on such a surface shall be called a button-like Riemann surface. On Fig. 3 we see a button-like Riemann surface with automorphism group D 8 × Z 2 with α = β = 2.

Fig. 3 A button-like Riemann surface of genus 24
Proof We should use the unique epimorphism (8) and Theorem 2.4. By Theorem 2.4 we can easily see that the number of points fixed by σ 1 τ, σ 2 τ, (σ 1 σ 2 ) n/2 is respectively equal to 4α − 2, 4β + 2 and 2, as every appearance of a product σ 1 τ or σ 2 τ contributes with 2 fixed points and the appearance of (σ 1 σ 2 ) n/2 contributes with 2 fixed points as well. Therefore, by using the formula m = 2g + 2 − 4 p we see that p σ 1 τ = g 2 + 1 − α, p σ 2 τ = g 2 − β and p (σ 1 σ 2 ) n/2 = g 2 , where as before α + β = g n + 1. Remark 3. 3 One might ask what happens if we assume all the symmetries to have fixed points. By [7] it is known, that the bound on the total number of ovals is 2g + 2. This situation is, however, less interesting, as it was proven in [12] that the only admissible symmetry type for such an extremal Riemann surface is {+1, +1, −g, −g}. It is not difficult to obtain the degree of hyperellipticity of the involutions in the automorphism group. As before, the respective numbers of fixed points m ρ are 2, 2, 2g + 2, 2g + 2 and so the hyperellipticity degrees can be easily calculated and are equal to g 2 , g 2 , 0, 0.

Some properties of s-extremal Riemann surfaces of even genus
In this part of the paper we show some results concerning the possible configurations of topological types of symmetries on an s-extremal Riemann surface.

Theorem 4.1 A Riemann surface of even genus g has at most 3 separating symmetries.
Proof It is enough to show that if a Riemann surface of even genus g is s-extremal, that is, it admits 4 non-conjugate symmetries, then at least 1 of them must be nonseparating. So let us assume that X = H/ is a Riemann surface of even genus g, admitting 4 non-conjugate symmetries. In such a case, by the results of [6] we know that its automorphism group is G = D n ×Z 2 = σ 1 , σ 2 × τ . Let be an NEC group with general signature (1) such that G = / and let θ : → G be the canonical epimorphism. We have 4 non-conjugate symmetries σ 1 , σ 2 , τ, τ (σ 1 σ 2 ) n/2 in G. If all of these have fixed points, then there exist canonical reflections c σ 1 , c σ 2 , c τ , c τ (σ 1 σ 2 ) n/2 mapped respectively to the symmetries above. We also have the corresponding NEC subgroups σ 1 , σ 2 , τ , τ (σ 1 σ 2 ) n/2 of , defined as described in Preliminaries. Now observe that for each of the symmetries, the corresponding Schreier coset graph has negative circuits. For example, let us consider the symmetry τ (σ 1 σ 2 ) n/2 . The negative circuit is produced by following the path labelled by a sequence of reflections Hence clearly τ (σ 1 σ 2 ) n/2 is non-separating. Similarly one can built a negative circuit in a Schreier coset graph corresponding to τ .
The previous result leads to the following interesting corollaries.

Corollary 4.2 If X is a Riemann surface of even genus g admitting four non-conjugate symmetries with fixed points, then at least two of them are central and non-separating.
Proof The first part follows easily by the results of [6], as we know that if a Riemann surface X of even genus admits 4 non-conjugate symmetries, then Aut(X ) = D n ×Z 2 . Therefore at least two of the symmetries in question are central. Now, as all the symmetries have fixed points, then by the proof of the previous theorem both of these central symmetries must be non-separating.

Corollary 4.3
If X is a Riemann surface of even genus g admitting four non-conjugate symmetries, and one of them has g + 1 ovals, then one of the remaining symmetries is fixed-point free.
Proof If X admits a symmetry with the maximal number of g + 1 ovals, then the symmetry must be central and separating. The second statement is obvious. As for the first one, observe that a non-central symmetry can have at most g/2 + 1 ovals. Indeed, by the results of [2], the bound for the total number of ovals of two symmetries is 4g/n + 2, where n denotes the order of their product. Hence, if we assume, by way of contradiction, that a non-central symmetry has g + 1 ovals here, then n = 4 and the other non-central symmetry has only 1 oval. Nevertheless, using the notations from the proof of Theorem 3.1, we may show in an analogous way, that the number of ovals of a non-central symmetry is bounded from above by (s/2 − 1)2 + 1 + 4l ≤ g/2 + 1 as s ≤ g/2 + 2. Therefore the symmetry with g + 1 ovals must be central in our case. Now if the other central symmetry would have fixed points, then by the previous corollary, both of the central symmetries would be non-separating, a contradiction.
Observe that, as a byproduct of the previous proof, we have showed

Corollary 4.4 A non-central symmetry on a Riemann surface of even genus g, admitting
four non-conjugate symmetries, has at most g/2 + 1 ovals.
Next we prove some results concerning surfaces admitting a symmetry with g + 1 ovals. Observe, that by Corollary 4.3, such a symmetry is unique in the automorphism group if there are non-central symmetries in the group, which is our case here. Proposition 1 A Riemann surface of even genus g whose automorphism group is G = D n × Z 2 for some even integer n > 2 admits a symmetry with g + 1 ovals if and only if g is divisible by n.
Proof For the sufficient condition let b = g n + 1, that is a positive integer since g is divisible by n, and let be an NEC group with signature . . ., 2, n)}).
Consider an epimorphism θ : → G = σ 1 , σ 2 × τ which maps the consecutive canonical reflections c 0 , . . . , c 2b+1 corresponding to the unique period cycle in the signature of to The Riemann surface X = H/ ker θ has genus n(b − 1) = g and, by Theorems 2.1 and 2.2, τ is a symmetry of X with τ = g + 1 ovals, as announced in the statement.
Observe that in fact this is a button-like surface. However, these are not the only surfaces that admit a symmetry whose number of ovals is maximum. Conversely, let X be a Riemann surface of even genus g whose automorphism group is the group G in the statement, admitting a symmetry τ with g + 1 ovals. Let also be an NEC group with general signature (1). By the Hurwitz-Riemann formula there exists a non-empty period cycle in the signature of with an odd number of link periods equal to n. By the proof of Theorem 3.1 the symmetry τ appears at least once as the image of a canonical reflection c i ∈ . We may assume, without loss of generality, that σ 1 and σ 2 are the images of the neighbors c i−1 and c i+1 of c i . Moreover, by the proof of Theorem 3.1 the symmetry τ appears at least once as an image of the canonical reflection with neighbors, without loss of generality, σ 1 , σ 2 . Observe that by Theorems 2.1 and 2.2, an empty period cycle contributes at most 2n ovals to the central symmetry with g + 1 ovals. Let s denote the number of link periods equal 2-these are the only ones interesting for us, as they can involve a central symmetry. Hence again and by the Hurwitz-Riemann formula l + s 4 ≤ g 2n + 1 2 and the equality holds if and only if h = r = 0 in the signature of , k = 1 and all the link periods except one are equal 2. Observe that the equality τ = g + 1 implies that the only non-empty period cycle is of the form (2, . . . , 2, n) where the consecutive canonical reflections are mapped as in the case of the button-like surface, that is (8). In addition, all the connecting generators are mapped to 1 and the reflections of the empty period cycles to τ . It also follows that s = 2b is even and so g = n(b + l − 1). Observe that in the special case l = 0 we obtain exactly the button like-surface.

The surface of minimal genus
Along this section we fix an even integer n > 2 and denote n the set of all (compact) Riemann surfaces whose automorphism group is D n × Z 2 . Let g n be the minimum of the genera of those X ∈ n whose genus is even.
(2) If X ∈ n has genus g n , then X is hyperelliptic. In addition, X admits two symmetries with 1 oval and a symmetry with 3 ovals. (3) Let g be a positive even integer divisible by n/2. Then there exists Y ∈ n whose genus equals g.
Proof Along the proof we fix two elements σ 1 , σ 2 of order 2 in the dihedral group D n whose product has order n, and a generator τ of the cyclic group Z 2 .
(1) Let 0 be an NEC group whose signature is (0; +; [−]; {(2, 2, 2, n)}) and denote c 0 , c 1 , c 2 , c 3 , c 4 the consecutive canonical reflections of 0 corresponding to the unique period cycle in the signature of 0 . Then, the assignment c 0 → σ 1 , c 1 → τ, c 2 → σ 2 (σ 1 σ 2 ) n/2 , c 3 → σ 2 and c 4 → σ 1 induces an epimorphism θ 0 : 0 → D n ×Z 2 whose kernel 0 is a surface NEC group. Thus, X = H/ 0 ∈ n . Let us compute the genus g of X . By the Hurwitz-Riemann formula, On the other hand, Consequently, so g = n 2 . This proves that g n ≤ n 2 . To prove the converse inequality, let Y ∈ n . Then there exist an NEC group and an epimorphism θ : → D n × Z 2 whose kernel is a surface NEC group and Y = H/ . Let g be the genus of Y . By the Hurwitz-Riemann formula, and, as g − 1 is odd, there must be an odd number of link periods equal n in the signature of . As the surface Y has three nonconjugate symmetries with ovals, the signature of has, at least, three link periods equal 2. Therefore, and g ≥ n/2 = g n . This proves the first part in the statement.
(2) Let X ∈ n with genus g n . The number m of points in X fixed by the orientation preserving automorphism γ = (σ 1 σ 2 ) n/2 is, by the well-known Macbeath theorem in [14], m = n + 2 = 2g n + 2. As the hyperellipticity degree p of X with respect to γ satisfies m = 2g n + 2 − 4 p it follows that p = 0, that is, X is hyperelliptic. Note in addition that, by Theorems 2.1 and 2.2, the symmetries σ 1 and τ of X have 1 oval, whereas the symmetry σ 2 has 3 ovals.
(3) Let a ≥ 2 be an integer such that g = an/2 and let be an NEC group with signature and let θ : → D n × Z 2 be the epimorphism which maps, respectively, the consecutive canonical reflections corresponding to the unique period cycle of the signature of to σ 1 , τ, . . . , σ 1 , τ, a+1 σ 2 (σ 1 σ 2 ) n/2 , σ 2 , σ 1 if a is odd and if a is even. Then Y = H/ ker θ ∈ n has genus g and we are done.

Remark 5.2
Defining equations of the hyperelliptic surface X ∈ n of genus n/2 constructed in the theorem above can be found in [1], as it is a hyperelliptic surface. In addition, a different approach was presented also in [16], where the case n = 4 is treated in detail.

Surface with the minimal number of ovals
As in the precedent section we denote n , for every even integer n > 2, the set of all Riemann surfaces whose automorphism group is D n × Z 2 .
In [9] we have considered the minimal total number of ovals that a maximal set of symmetries can admit. In case of even g the maximal number of symmetries is 4 and we proved that in fact 4 symmetries, with fixed points must have at least 5 ovals and the bound is sharp. However, one can consider the minimal number of ovals for the symmetries in the automorphism group D n × Z 2 , and let some of them to be fixed point free.
Proposition 2 Let n be an even integer, let σ 1 and σ 2 be generators of order 2 of the dihedral group D n whose product has order n and let τ be a generator of the cyclic group Z 2 of order 2.
Proof (1) As X ∈ n there exist an NEC group and an epimorphism θ : → D n × Z 2 whose kernel is a surface NEC subgroup such that X = H/ . Let g be the genus of X . By the Hurwitz-Riemann formula, and, since g is even, the number of link periods in the signature of equal to n is odd. As σ 1 and σ 2 are not conjugate, n ≥ 4. In particular the only non-empty period cycle in the signature of is not (n, n). Thus, it does not happen that τ (σ 1 σ 2 ) n/2 and τ are fixed-point free and σ 1 = σ 2 = 1, which is the unique situation with σ 1 + σ 2 + τ < 3.
(2) Let a = g/n and choose an NEC group whose signature is Then X ∈ n and if g denotes the genus of X we have, by the Hurwitz-Riemann formula, that is, g = an. Finally, σ 1 = σ 2 = 1, so σ 1 + σ 2 + τ = 3.

The case of 5 symmetries
Although the paper focuses on Riemann surfaces of even genus, there is a common trait with the surfaces having 5 symmetries. Namely, the values 4 and 5 are the only ones that can be realized with a non-abelian automorphism group. Therefore here, as the last part of the paper, we find the possible topological types of the symmetries for an o-extremal Riemann surface admitting 5 non-conjugate symmeries, two of which are non-central. Note that the sharp upper bound on the number of ovals of 5 non-conjugate symmetries of a Riemann surface was found in [8]. In the paper it was also stated (see Corollary 4.1), that the group generated by the 5 symmetries on a o-extremal Riemann surface is isomorphic to D n × Z 3 2 = σ 1 , σ 2 : σ 2 1 = σ 2 2 = (σ 1 σ 2 ) n × τ 1 : τ 2 1 × τ 2 : τ 2 2 × τ 3 : τ 2 3 .
Of course if we take n = 2 then we obtain a configuration of commuting symmetries and the possible topological types are already found in [13]. So let us assume that in fact n ≥ 4. Let X = H/ be an o-extremal Riemann surface of genus g, having 5 symmetries generating the group G = D n × Z 3 2 . We know that G = / for some NEC group and a Fuchsian surface group . We also have the canonical epimorphism θ : → G. By the results of [8] we know that in fact the signature of is of the form where s = g−1 2n + 1. In addition, for the symmetries to have a maximal total number of ovals, it must be that non-central symmetries σ 1 , σ 2 (or their conjugates, to be precise), appear only once in the sequence of images of consecutive canonical reflections. Moreover, they have central neighbors and there is no central symmetry with two noncentral neighbors. In addition, the number of symmetries with distinct neighbors is exactly 4. Therefore these 4 must be exactly neighbors of our non-central symmetries. Summing up, our epimorphism has the general form: τ 1 σ 1 τ 1 τ 2 τ 1 . . . τ 2 2α τ 1 σ 2 τ 1 τ 3 τ 1 . . . τ 3 2β τ 1 as this is the only possible way we can satisfy the above conditions. It can be easily seen that all the central images of canonical reflections with the same neighbors contribute 16n 8nα + 8nβ + 16 = 2g + 14 ovals, which is the maximum value we expected. Also, by the results of [11] we easily see that all the symmetries are separating. Therefore we can conclude with the following Theorem 7.1 If a Riemann surface X g admits five non-conjugate symmetries generating a non-abelian group D n × Z 3 2 with a maximal total number of 2g + 14 ovals, then their topological types are {+8, +8, +4nα, +4nβ, +4n(α + β)}, where 4nα + 4nβ + 1 = g.
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.