Coxeter polytopes with a unique pair of non-intersecting facets (Q1024346)

Compact Coxeter polytopes in hyperbolic spaces are studied which have a unique pair of non-intersecting facets. This is motivated by the fact that all compact hyperbolic Coxeter polytopes with mutually intersecting facets are known. The authors use (also) Coxeter diagrams to obtain and present the following results, yielding with older results a complete classification: A compact hyperbolic Coxeter \(d\)-polytope with exactly one pair of non-intersecting facets has at most \(d+3\) facets, and no such polytopes do exist in dimensions \(d\geq 9\) and \(d=7\). Since neither simplices nor products of simplices (except for prisms) have non-intersecting facets, this can also be formulated as follows: Any compact hyperbolic Coxeter \(d\)-polytope with exactly one pair of non-intersecting facets is either a prism or a polytope with \(d+3\) facets. The authors give a complete list of all such polytopes via their Coxeter diagrams.