Dirichlet-Ford domains and arithmetic reflection groups. (Q429108)

The main result of the paper shows that a finitely generated, finite coarea Fuchsian group admits a Ford domain which is also a Dirichlet domain, for some center, if and only if it is an index \(2\) subgroup of a reflection group. This result has an important application to the problem of classification of hyperbolic reflection groups which I will discuss in more detail. Let \(\mathbb H^n\) denote the hyperbolic \(n\)-space. A `hyperbolic reflection group' is a discrete subgroup of \(\mathrm{Isom}(\mathbb H^n)\) generated by reflections in the faces of a hyperbolic polyhedron. A reflection group \(\Gamma\) is `maximal' if there is no reflection group \(\Gamma'\) such that \(\Gamma<\Gamma'\). By \textit{I. Agol, M. Belolipetsky, P. Storm} and \textit{K. Whyte}, [in Groups Geom. Dyn. 2, No. 4, 481-498 (2008; Zbl 1194.22011)], it was shown that there are only finitely many conjugacy classes of arithmetic maximal hyperbolic reflection groups. In higher dimensions this proof becomes surprisingly effective if one restricts to a subclass of congruence arithmetic reflection groups [see \textit{M. Belolipetsky}, Transform. Groups 16, No. 4, 939-954 (2011; Zbl 1255.20039)]. A natural question raised in the above mentioned papers is ``Are there any maximal hyperbolic reflection groups which are not congruence?'' The author answers this question by constructing an explicit example of such a group in dimension \(2\). He also mentions that a group with these properties in dimension \(3\) is constructed in his Ph.D. thesis. The situation in higher dimensions remains unclear but the present work provides an insight indispensable for further study.