Finiteness theorems for congruence reflection groups. (Q413942)

The author proves that for every \(n\geq 2\) there are only finitely many conjugacy classes of congruence reflection subgroups of the real hyperbolic isometric group, and that if \(n\) is sufficiently large then the real hyperbolic isometric group does not contain any congruence reflection subgroups. The author also obtains explicit bounds for the dimensions and arithmetic invariants of the congruence reflection groups. As the author remarks, it is interesting to consider the analogues in the setting of complex hyperbolic space.