Extending Harvey’s surface kernel maps

Abstract

Let S S be a compact Riemann surface and G G a group of conformal automorphisms of S S with S 0 = S / G S_0=S/G . S S is a finite regular branched cover of S 0 S_0 . If U U denotes the unit disc, let Γ \Gamma and Γ 0 \Gamma _0 be the Fuchsian groups with S = U / Γ S= U/\Gamma and S 0 = U / Γ 0 S_0 = U/\Gamma _0 . There is a group homomorphism of Γ 0 \Gamma _0 onto G G with kernel Γ \Gamma and this is termed a surface kernel map. Two surface kernel maps are equivalent if they differ by an automorphism of Γ 0 \Gamma _0 . In his 1971 1971 paper Harvey showed that when G G is a cyclic group, there is a unique simplest representative for this equivalence class. His result has played an important role in establishing subsequent results about conformal automorphism groups of surfaces. We extend his result to some surface kernel maps onto arbitrary finite groups. These can be used along with the Schreier-Reidemeister Theory to find a set of generators for Γ \Gamma and the action of G G as an outer automorphism group on the fundamental group of S S putting the action on the fundamental group and the induced action on homology into a relatively simple format. As an example we compute generators for the fundamental group and an integral homology basis together with the action of G G when G G is S 3 \mathcal {S}_3 , the symmetric group on three letters. The action of G G shows that the homology basis found is not an adapted homology basis.