Finiteness of arithmetic hyperbolic reflection groups

Abstract

We prove that there are only finitely many conjugacy classes of arithmetic maximal hyperbolic reflection groups.