Improved computation of fundamental domains for arithmetic Fuchsian groups

DOI10.1090/MCOM/3777MaRDI QIDQ5103765zbMATH OpenOpenAlexFDO

Authors James Rickards

Publication date 8 September 2022

Published in Mathematics of Computation (Search for Journal in Brave)

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

zbMATH Keywords

algorithmfundamental domainquaternion algebraShimura curve

Mathematics Subject Classification ID

Structure of modular groups and generalizations; arithmetic groups (11F06) Quaternion and other division algebras: arithmetic, zeta functions (11R52) Number-theoretic algorithms; complexity (11Y16) Fuchsian groups and their generalizations (group-theoretic aspects) (20H10)

Abstract: A practical algorithm to compute the fundamental domain of an arithmetic Fuchsian group was given by Voight, and implemented in Magma. It was later expanded by Page to the case of arithmetic Kleinian groups. We combine and improve on parts of both algorithms to produce a more efficient algorithm for arithmetic Fuchsian groups. This algorithm is implemented in PARI/GP, and we demonstrate the improvements by comparing running times versus the live Magma implementation.

Recommendations

• Computing fundamental domains for Fuchsian groups
• On fundamental domains of arithmetic Fuchsian groups
• Computing arithmetic Kleinian groups
• Fundamental domains for genus-zero and genus-one congruence subgroups.
• An algorithm to construct arithmetic Fuchsian groups derived from quaternion algebras and the corresponding hyperbolic lattices.

Cites work

• Computing arithmetic Kleinian groups
• Computing fundamental domains for Fuchsian groups
• Computing intersections of closed geodesics on the modular curve
• Counting arithmetic lattices and surfaces
• Cutoff on hyperbolic surfaces
• Explicit methods for Hilbert modular forms
• Improved Methods for Calculating Vectors of Short Length in a Lattice, Including a Complexity Analysis
• Quaternion algebras
• Small generators of cocompact arithmetic Fuchsian groups
• The Magma algebra system. I: The user language

Cited in

(5)

• Computing fundamental domains for Fuchsian groups
• Fundamental domains for genus-zero and genus-one congruence subgroups.
• On fundamental domains of arithmetic Fuchsian groups
• A reduction point algorithm for cocompact Fuchsian groups and applications
• Small diameters and generators for arithmetic lattices in \(\mathrm{SL}_2 (\mathbb{R})\) and certain Ramanujan graphs

This page was built for publication: Improved computation of fundamental domains for arithmetic Fuchsian groups

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