Congruence Subgroups of PSL(2, Z) of Genus Less than or Equal to 24 (Q4811528)

The article under review reports on recent work in which the authors ``have computed a complete list of congruence groups up to genus 24''. Since the full tables are too extensive to be included in the paper the authors provide only ``tables containing a full list of the congruence groups up to genus 3''. The full tables are available online at \url{http://www.uncg.edu/mat/faculty/pauli/congruence/}. The authors' calculations are based upon two important inequalities -- that of Cox and Parry relating the genus of a congruence subgroup to its level and that of Zograf and Kim and Sarnak relating the genus to the index. This interesting paper has its genesis in a deep fact: there exist only finitely many congruence subgroups in \(\text{SL}(2,\mathbb{Z})\) of fixed genus. This theorem has resulted from extensive work by several mathematicians (most notably D. McQuillan, J. B. Dennin jun., J. Thompson and D. Cox/W. R. Parry) during the period 1965--1984, work inspired by the conjecture of Hans Rademacher for the case of genus 0: there exist only a finite number of congruence subgroups of genus 0. This was ultimately proved by \textit{J. B. Dennin jun.} [Ill. J. Math. 16, 502--518 (1972; Zbl 0255.10029)], who settled the case of general genus as well [Proc. Am. Math. Soc. 51, 282--288 (1975; Zbl 0313.10022)]. Further proofs were given by \textit{J. G. Thompson} [Proc. Symp. Pure Math. 37, 533--555 (1980; Zbl 0448.20044)] and \textit{D. A. Cox} and \textit{W. R. Parry} [J. Reine Angew. Math. 351, 66--112 (1984; Zbl 0531.10028)].