We give a new proof of the finiteness of maximal arithmetic reflection groups. Our proof is novel in that it makes no use of trace formulas or other tools from the theory of automorphic forms and instead relies on the arithmetic Margulis lemma of Fraczyk, Hurtado and Raimbault.
[Ago06] Finiteness of arithmetic Kleinian reflection groups, Proceedings of the international congress of mathematicians (ICM), Madrid, Spain, August 22–30, 2006. Volume II: Invited lectures, European Mathematical Society, 2006, pp. 951-960 | MR | Zbl
[CHL21] A height gap in and almost laws (2021) (https://arxiv.org/abs/2110.15404)
[MHR22] Homotopy type and homology versus volume for arithmetic locally symmetric spaces (2022) (https://arxiv.org/abs/2202.13619)
[Nik07] Finiteness of the number of arithmetic groups generated by reflections in Lobachevsky spaces, Izv. Math., Volume 71 (2007) no. 1, pp. 53-56 translation from Izv. Ross. Akad. Nauk, Ser. Mat. 71, No. 1, pp. 55-60 (2007) | DOI | Zbl
[Rai22] Coxeter polytopes and Benjamini–Schramm convergence (2022) (https://arxiv.org/abs/2209.03002)