Peter Turbek

A necessary and sufficient condition for lifting the hyperelliptic involution

Let X denote a Riemann surface which possesses a fixed point free group of automorphisms with a hyperelliptic orbit space. A criterion is proved which determines whether the hyperelliptic involution lifts to an automorphism of X. Necessary and sufficient conditions are stated which determine when a lift of the hyperelliptic involution is fixed point free. A complete determination is made of the abelian groups which may arise as automorphism groups of surfaces which possess a fixed point free lift. Hyperelliptic Riemann surfaces are natural objects of interest and have been studied quite extensively. They have simple defining equations and, since they admit an involution, they constitute a family of Riemann surfaces whose members admit a nontrivial automorphism. Covering surfaces of hyperelliptic surfaces have also been closely examined. The question of when a hyperelliptic surface can have a hyperelliptic cover was investigated in [2], [5], [8], and [10]. It was shown in [6] that if a Riemann surface X admits an abelian, fixed point free automorphism group H, then the hyperelliptic involution lifts to X. In addition, in [6] it was stated that if H is cyclic of prime order, then the lift of the hyperelliptic involution is never fixed point free. Further results concerning when the hyperelliptic involution lifts to a covering surface are contained in [1]. Let X be a compact Riemann surface which admits a fixed point free automorphism group H < Aut(X) with a hyperelliptic orbit space. In this paper we give necessary and sufficient conditions which determine when the hyperelliptic involution lifts to X. In addition, we give necessary and sufficient conditions which determine when such a lift is fixed point free. A complete determination is made of the abelian groups which may arise as automorphism groups of surfaces which possess a fixed point free lift. These results are combined with results in [12] to yield specific examples of automorphism groups yielding a hyperelliptic orbit space.

Sufficient conditions for a group of automorphisms of a Riemann surface to be its full automorphism group

Abstract There are few examples in the literature of Riemann surfaces whose defining algebraic equations and full automorphism groups are completely determined. Although explicit examples of Riemann surfaces which admit automorphisms may be constructed by the use of symmetries in the defining equations of the surface, determining whether the admitted automorphisms constitute the full automorphism group is usually intractable. In this paper, it is proved that for many groups a simple lifting criterion determines whether the admitted automorphisms form the full automorphism group. The criterion is employed to give numerous examples of Riemann surfaces whose defining equations and full automorphism groups are determined.

ALGEBRAIC CURVES, RIEMANN SURFACES AND KLEIN SURFACES WITH NO NON-TRIVIAL AUTOMORPHISMS OR SYMMETRIES

The explicit defining equations of a new family of curves whose members have a trivial automorphism group are given. Each member is defined for characteristic zero and all but a finite number of characteristics greater than zero. This family, in conjunction with a previously appearing family of the author’s, provides explicit examples of algebraic curves which possess only the trivial automorphism for each genus greater than three. The family is then used to construct Riemann surfaces without anticonformal automorphisms and Klein surfaces with no non-trivial automorphisms.