Essential hyperbolic Coxeter polytopes (Q2017111)

A fundamental domain for a reflection group in hyperbolic space is called a Coxeter polytope. That is a polytope all of whose dihedral angles are integer parts of \(\pi\). In general the class of compact Coxeter polytopes is infinite. Explicit constructions in dimensions 4 to 6 are known. However, in dimensions greater or equal to \(4\), a finite list of \textit{essential} Coxeter polytopes plays the role of the building blocks of all the known examples of infinite series of Coxeter polytopes. The present paper introduces the notion of \textit{essential} Coxeter polytopes and reduces the problem of classification of all hyperbolic reflection groups to the classification of essential Coxeter polytopes. A class of compact Coxeter polytopes \(\mathcal{P}\) is studied which contains all known essential Coxeter poytopes of dimension at least 6. The authors construct a finite algorithm (and implement it in dimension 4) that lists all elements of \(\mathcal{P}\). In dimension two and three compact hyperbolic Coxeter polytopes have been classified. One question that remains open is whether the number of essential compact hyperbolic Coxeter poytopes of dimension greater than three is in fact finite.