On a Conjecture of Magnus on the Hurwitz Monodromy Group.
We prove that k (k ≥ 9) non-conjugate symmetries of a Riemann surface of genus g have at most 2g - 2 + 2r - 3(9 - k) ovals in total, where r is the smallest positive integer for which k ≤ 2r - 1. Furthermore we prove that for arbitrary k ≥ 9 this bound is sharp for infinitely many values of g.
Studying commuting symmetries of p-hyperelliptic Riemann surfaces, Bujalance and Costa found in [3] upper bounds for the degree of hyperellipticity of the product of commuting (M - q)- and (M - q')-symmetries, depending on their separabilities. Here, we find necessary and sufficient conditions for an integer p to be the degree of hyperellipticity of the product of two such symmetries, taking into account their separabilities. We also give some results concerning the existence and uniqueness of symmetries...
A compact Riemann surface X of genus g > 1 is said to be p-hyperelliptic if X admits a conformal involution ϱ, called a p-hyperelliptic involution, for which X/ϱ is an orbifold of genus p. If in addition X admits a q-hypereliptic involution then we say that X is pq-hyperelliptic. We give a necessary and sufficient condition on p,q and g for existence of a pq-hyperelliptic Riemann surface of genus g. Moreover we give some conditions under which p- and q-hyperelliptic involutions of a pq-hyperelliptic...
We classify up to topological type nonorientable bordered Klein surfaces with maximal symmetry and soluble automorphism group provided its solubility degree does not exceed 4. Using this classification we show that a soluble group of automorphisms of a nonorientable Riemann surface of algebraic genus q ≥ 2 has at most 24(q-1) elements and that this bound is sharp for infinitely many values of q.