Coxeter decompositions of hyperbolic simplexes (Q4655253)

A convex polyhedron in the \(n\)-dimensional hyperbolic space \(H^{n}\) is called a Coxeter polyhedron if all its dihedral angles are integer parts of \(\pi\). A Coxeter decomposition of a convex polyhedron \(P\subset H^n\) is a decomposition of \(P\) into finitely many tiles such that each tile is a Coxeter polyhedron and tiles having common facet are symmetric with respect to this facet. Coxeter decompositions of hyperbolic triangles and tetrahedra in \(H^n\), \(n=2,3\), were studied by E. Klimenko and M. Sakuma, A. Knapp, J. P. Matelski, G. D. Mostow, A. Felikson. The author describes all Coxeter decompositions of simplexes in \(H^n\), \(n\geq 4\). Because of reflection symmetry, the tiles of a Coxeter decomposition of a polyhedron \(P\subset H^n\) are congruent to a Coxeter polyhedron \(F\) called fundamental. It is demonstrated, that if \(P\) is a simplex then \(F\) is also a simplex. Moreover, if a Coxeter simplex \(F\) in \(H^n\) is given, there exist finitely many Coxeter decomposition of simplexes in \(H^n\) with fundamental polyhedron \(F\). Besides, the ratio \(\text{Vol}(P) / \text{Vol}(F)\) is integer. The author proposes an inductive algorithm to construct a Coxeter decompositions of a simplex in \(H^n\) from a given fundamental Coxeter simplex \(F\). As consequence, all the Coxeter decompositions of simplexes in \(H^n\) can be described with the help of Coxeter diagrams of Coxeter simplexes. Corresponding descriptions are presented in the form of five extensive tables of diagrams.