Computing equivalence classes of finite group actions on orientable surfaces

DOI10.1016/J.JPAA.2023.107578arXiv2203.05812OpenAlexW4389513595MaRDI QIDQ6199045FDOQ6199045

Roman Nedela, Mária Skyvová, Ján Karabáš

Publication date: 23 February 2024

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Abstract: This paper focuses on the classification of equivalence classes of discrete groups. By the Riemann-Hurwitz bound, there are just finitely many groups that act on an orientable surface $mathcal{S}_g$ of genus $ggeq2$. With each such action of a group $mathrmG$ on $mathcal{S}_g$ one can associate the fundamental group $Gamma=pi(mathcalO)$ of the quotient orbifold $mathcalO=mathcal{S}_g/mathrmG$, isomorphic to a Fuchsian group. Riemann existence theorem reduces the problem of the existence of an action of $mathrmG$ on $mathcal{S}_g$ to a purely group-theoretical problem of deciding whether there is an order-preserving epimorphism mapping the Fuchsian group $Gamma$ onto the group $mathrmG$. Using computer algebra systems such as Magma or GAP, together with the library of small groups, the generation of all discrete groups for a fixed small genus $ggeq2$ becomes almost a routine procedure. The difficult part is to determine the classes of these actions with respect to topological equivalence. To achieve this, one needs to investigate the action of the automorphism group of a Fuchsian group on the set of discrete groups of genus $g$ with the corresponding signature. There is a close relationship between the problem of determining equivalence classes of discrete groups and the investigation of generating sets of the mapping class groups of the orbifold $mathcalO$. While the two particular cases when $Gamma$ has a planar signature or when $Gamma$ is a surface group have already been studied in detail, in general, the problem of determining an appropriate generating set of a mapping class group of $mathcalO$ is not solved. In this paper we derive several results on the topological equivalence of discrete groups. As an application, we derive complete lists of discrete groups of genus $5$ and $6$ distinguished up to the topological equivalence.

Full work available at URL: https://arxiv.org/abs/2203.05812

zbMATH Keywords

group actionRiemann surfaceFuchsian group

Mathematics Subject Classification ID

Fuchsian groups and automorphic functions (aspects of compact Riemann surfaces and uniformization) (30F35) Fundamental groups and their automorphisms (group-theoretic aspects) (20F34) Compact Riemann surfaces and uniformization (30F10)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Magma algebra system. I: The user language
• CYCLIC GROUPS OF AUTOMORPHISMS OF A COMPACT RIEMANN SURFACE
• On Branch Loci in Teichmuller Space
• Classifying finite group actions on surfaces of low genus
• Enumeration of unrooted maps of a given genus
• A Multivariate Arithmetic Function of Combinatorial and Topological Significance
• On the algebraical braid group
• A simple presentation for the mapping class group of an orientable surface
• A presentation for the mapping class group of a closed orientable surface
• Riemann surface transformation groups
• Automorphism groups of compact Riemann surfaces of genus five
• Classifying the actions of finite groups on orientable surfaces of genus 4
• Some finitely presented subgroups of the automorphism group of a free group
• Presentations for the punctured mapping class groups in terms of Artin groups
• A finite presentation of the mapping class group of a punctured surface
• A finite presentation for the mapping class group of a nonorientable surface with Dehn twists and one crosscap slide as generators
• Über Automorphismen ebener diskontinuierlicher Gruppen
• Generating the mapping class group. (An algebraic approach)
• Classification of automorphism groups, up to topological equivalence, of compact Riemann surfaces of genus 4
• Generating the surface mapping class group by two elements

Cited In (1)

• Large automorphism groups of bordered tori

This page was built for publication: Computing equivalence classes of finite group actions on orientable surfaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6199045)