Connected fundamental domains for congruence subgroups

This paper constructs canonical sets of right coset representatives for the congruence subgroups Γ0(N)\Gamma_0(N), Γ1(N)\Gamma_1(N), and Γ(N)\Gamma(N) to prove that their corresponding fundamental domains are connected, utilizing a study of the projective line P1(Z/NZ)\mathbb{P}^1(\mathbb{Z}/N\mathbb{Z}) and a multiplicity function MM that is shown to be one less than a more computable function WW.

Zhaohu Nie, C. Xavier Parent2026-03-05🔢 math