In this chapter, we document algorithms for arithmetic Fuchsian groups. Let F be a totally real number field. Let A be a quaternion algebra over F, a central simple algebra of dimension 4 (see Chapter QUATERNION ALGEBRAS), such that A is split at exactly one real place, corresponding to the injective map ι_∞:A to M2(R). Let O be a maximal order in A (see also Section Orders), let O * denote the group of elements of O of reduced norm 1, and let Γ(1)=ι_∞(O * )/{∓ 1} ⊂PSL2(R). An arithmetic Fuchsian group Γ is a discrete subgroup of PSL2(R) which is commensurable with Γ(1) (for some choice of F and A).
The classical case of the modular groups corresponds to F=Q, A=M2(Q), O=M2(Z), and Γ(1)=PSL2(Z). Specialized algorithms for this case apply, and they are treated in detail in Chapter CONGRUENCE SUBGROUPS OF PSL2(R). To exclude this case, we assume throughout that A is a division ring, or equivalently A not isomorphic to M2(Q).
The group Γ acts properly and discontinuously on the upper half-plane Hh, and the quotient Γ \ Hh = X(Γ) can be given the structure of a compact Riemann surface, called a Shimura curve.
We exhibit methods for computing with arithmetic Fuchsian groups Γ, including the basic invariants of Γ and a fundamental domain for X(Γ). We provide further specialized algorithms for triangle groups. Along the way, we also present an interface for computing with the unit disc, parallel to that for the upper half-plane (see Chapter CONGRUENCE SUBGROUPS OF PSL2(R)).
The algorithm used to compute fundamental domains is described in [Voi09]. We recommend the following additional reading concerning the algorithms in this section. For an introduction to Fuchsian groups, see Katok [Kat92] and Beardon [Bea77], and for their relationship to quaternion algebras, see also Vignéras [Vig80]. For a computational perspective on arithmetic Fuchsian groups and Shimura curves, see Alsina-Bayer [AB04], Elkies [Elk98], and Voight [Voi05], and for a discussion of triangle groups, see Voight [Voi06].