Computing equivalence classes of finite group actions on orientable surfaces

DOI10.1016/J.JPAA.2023.107578OpenAlexW4389513595MaRDI QIDQ6199045FDOQ6199045

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

Publication date 23 February 2024

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

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)

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.

Recommendations

• Classifying finite group actions on surfaces of low genus
• Finite group actions on bordered surfaces of small genus
• Generating functions for finite group actions on surfaces
• A SAGE Package for n-Gonal Equisymmetric Stratification of
• Classifying the actions of finite groups on orientable surfaces of genus 4

Cites work

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

Cited in

(2)

• Large automorphism groups of bordered tori
• Topological types of actions on curves

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)