Torsion-free genus zero congruence subgroups of \(\text{PSL}_2(\mathbb R)\)
type: Item
instance of: scholarly article
title: Torsion-free genus zero congruence subgroups of \(\text{PSL}_2(\mathbb R)\)
zbMATH Open document ID: 1012.11031
DOI: 10.1215/S0012-7094-01-11028-4
author: Abdellah Sebbar
published in: Duke Mathematical Journal
publication date: 2002-10-27T00:00:00Z
review text: This paper deals with the problem of classifying the set of discrete, torsion-free, genus zero congruence subgroups of \(\text{PSL}_2({\mathbb R})\), up to conjugacy. Such groups are of interest because of their relation to Moonshine, and previously, only finiteness results were known by the work of J. Thompson. The main result of the paper is a complete classification of this set. The author shows that there are exactly 15 conjugacy classes of such subgroups of PSL\(_2({\mathbb R})\) (theorem 1), and he gives a list for the representatives of each conjugacy class. The proof of the main result is obtained by a series of steps. First, the author shows that every torsion-free genus zero discrete subgroup of \(\text{PSL}_2({\mathbb R})\) commensurable to the modular group is conjugate to a subgroup of \(\text{PSL}_2({\mathbb Z})\) (theorem 2), thereby transferring the problem to one of classifying torsion-free genus zero congruence subgroups of \(\text{PSL}_2({\mathbb Z})\). Next, he shows that any such subgroup is conjugate to a Larcher congruence subgroup (proposition 6.1), a special class of congruence subgroups introduced by Larcher. It is in the class of Larcher congruence subgroups that the classification is affected, since there are only a fairly small number of possibilities to be considered here. Finally, the author gives an application to modular curves by exhibiting the finite set of values of \(z\) for which the curve \({\mathbb P}^1\setminus \{0,1,\infty, z\}\) is a modular curve (theorem 9.2).
Mathematics Subject Classification ID: 11F06
Mathematics Subject Classification ID: 20H05
Mathematics Subject Classification ID: 11F03
zbMATH DE Number: 1820860
zbMATH Keywords: torsion-free
zbMATH Keywords: congruence subgroups
zbMATH Keywords: genus zero
zbMATH Keywords: modular curves
reviewed by: Ser Peow Tan
MaRDI profile type: Publication
cites work: Hecke operators on \(\Gamma_0(m)\)
cites work: Monstrous Moonshine
cites work: On the Commensurability Class of the Rational Modular Group
cites work: The cusp amplitudes of the congruence subgroups of the classical modular group
cites work: The cusp amplitudes of the congruence subgroups of the classical modular group. II
cites work: Fuchsian groups, Schwarzians, and theta functions
cites work: Fuchsian groups, automorphic functions and Schwarzians
cites work: Subgroups of the Classical Modular Group
cites work: Q4154638
cites work: Classification of torsion-free genus zero congruence groups
cites work: Modular Subgroups, Forms, Curves and Surfaces
cites work: Q5625265
cites work: Q3894124
cites work: A spectral proof of Rademacher's conjecture for congruence subgroups of the modular group.
description: scientific article; zbMATH DE number 1820860