On hyperbolic Coxeter polytopes with mutually intersecting facets (Q2469201)

While spherical and Euclidean Coxeter polytopes have been classified long ago [\textit{H. S. M. Coxeter}, Ann. Math. (2) 35, 588-621 (1934; Zbl 0010.01101)], the situation is very different for hyperbolic Coxeter polytopes. For instance, it was proved by \textit{E. B. Vinberg} [Funct. Anal. Appl. 15, 128--130 (1981; Zbl 0468.51006)] that there exist no compact hyperbolic Coxeter polytopes in dimensions \(d\geq30\), and by \textit{M. N. Prokhorov} [Math. USSR, Izv. 28, 401--411 (1987; Zbl 0613.51010)] and \textit{A. G. Khovanskij} [Funct. Anal. Appl. 20, 41--50 (1986); translation from Funkts. Anal. Prilozh. 20, No.~1, 50--61 (1986; Zbl 0597.51014)] that there exist no Coxeter polytopes of finite volume in dimensions \(d\geq996\). Moreover, some combinatorial types of hyperbolic polytopes have been classified. In the present paper, the authors prove the following results about \(d\)-dimensional hyperbolic Coxeter polytopes \(P\). \(\bullet\) First, let \(P\) be compact. If \(d>4\), then \(P\) has a pair of disjoint facets; if \(d\leq4\) and \(P\) has no pair of disjoint facets, then \(P\) is either a simplex or one of seven \textit{Esselmann polytopes}, certain \(4\)-dimensional polytopes with mutually intersecting facets. \(\bullet\) Now let \(P\) be simple and of finite volume, but non-compact. If \(d>9\), then \(P\) has a pair of disjoint facets; if \(d\leq9\) and \(P\) has no pair of disjoint facets, then \(P\) is either a simplex or a certain \(4\)-dimensional polytope with 6 facets. The proof proceeds by extensive, computer-supported case analysis of Coxeter diagrams in dimensions up to 6, and induction for \(d\geq7\). The case \(d=4\) additionally involves Gale diagrams.