On hyperbolic Coxeter polytopes with mutually intersecting facets

From MaRDI portal
Publication:2469201



Abstract: We prove that, apart from some well-known low-dimensional examples, any compact hyperbolic Coxeter polytope has a pair of disjoint facets. This is one of very few known general results concerning combinatorics of compact hyperbolic Coxeter polytopes. We also obtain a similar result for simple non-compact polytopes.


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.




Cited in
(27)








This page was built for publication: On hyperbolic Coxeter polytopes with mutually intersecting facets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2469201)