arXiv:math/0311272v2 [math.MG] 11 Jun 2004 hr xssacmlt lsicto fhproi ipie 8,[1 an [11] [8], simplices hyperbolic of classification n complete a exists There etcso eua 2 regular of vertices r aee codn otefloigrules: following the to according labeled are 1],addmnino o-opc oyoeo nt ouede no ex does not volume does in finite polytope of polytopes Coxeter Coxeter polytope non-compact [9]). compact (see of of dimension o dimension and classification that complete [12]), no known is is there cases It Euclidean and spherical to yterflcin ihrsett aesof facets to respect with reflections the by π tnadtwo-dimensional standard a aesaeprle h oe r ondb odeg,adi hyd they if and cosh( edge, by bold labeled edge a dotted by a joined by are joined are nodes nodes the parallel are facets hoe 1. theorem: following Theorem the is note this of result h facets. the > n with iga orsodt aeso oyoe w oe r ondb joined are nodes Two a polytope. or of facets to correspond diagram aes t oee iga speetdbelow. presented is diagram Coxeter its facets; ffiievlm o-opc oyoein polytope non-compact volume finite of pltpswith -polytopes n oee polytope Coxeter Any . yeblcCoxeter Hyperbolic n[]Eslanpoe that proved Esselmann [5] In fseilitrs r yeblcCxtrpltpso nt volum finite of polytopes Coxeter hyperbolic are interest special Of 1. )Ec ae sannngtv nee,tesmo aesequals labels of sum the integer, non-negative a is label Each 1) oyoei alda called is polytope A )Lbl fnihoigvrie a o eeult eosimultane zero to equal be not can vertices neighboring of Labels 2) 2. vr obntra yeof type combinatorial Every m ,adteeapefudb uano[]in [3] Bugaenko by found example the and 8, n lbldeg ftecrepnigdhda nl equals angle dihedral corresponding the if edge -labeled orpeetCxtrpltpsoecnuse can one polytopes Coxeter represent To osdracne polytope convex a Consider 3 + hti sunique. is it that Abstract. aesthen facets opc oee oyoeo nt ouein volume finite of polytope Coxeter compact of parts integer are angles aesde o exceed not does facets ieso ffiievlm o-opc yeblcCoxeter hyperbolic non-compact volume finite of Dimension n k aes[](e lo[3) 5,[10]). [5], [13]), also (see [7] facets 2 + gnin -gon oyoei alda called is polytope A n ≤ P oee polytope Coxeter 6 eas n neapein example an find also We 16. I R safnaetldmi ftedsrt ru generated group discrete the of domain fundamental a is aediagram Gale 2 IH etrda h rgnad(osby h rgnwhich origin the (possibly) and origin the at centered n n pltp with -polytope 3 16 n P .Tumarkin P. pltpswith -polytopes r opeeycaatrzdb nre 1,[2]. [1], Andreev by characterized completely are π In . pltpswith -polytopes nti ae epoeta fanon- a if that prove we paper this In . in n IH dmninlhproi space hyperbolic -dimensional 1 P IH se o xml,[].Ti osssof consists This [6]). example, for (see, fisdhda nlsaeitgrprsof parts integer are angles dihedral its if 16 oee polytope Coxeter . 15 hr xssauiu oyoewith polytope unique a exists there ih1 aes(e 1].Temain The [13]). (see facets 18 with oee diagrams Coxeter n IH ρ ,where ), aescnb ersne by represented be can facets 3 + n 8 aesd o xs in exist not do facets 3 + suiu.Teei nexample an is There unique. is IH n a exactly has ρ IH m fisdihedral its if π stedsac between distance the is 16 n ftecorresponding the If . ( a y n show and 3 + oe fCoxeter of Nodes . uhpolytopes. such f n m vrete the then iverge 3. + n .I contrast In e. − ously. +3 facets xed995 exceed t ed2 (see 29 ceed hyperbolic d IH )fl edge 2)-fold n n -polytope . IH 19 n , 3) Labels of opposite vertices can not be equal to zero simultaneously. 4) The points that lie in any open half-space bounded by a hyperplane through the origin have labels whose sum is at least two. The combinatorial type of a convex polytope can be read off from the Gale diagram in the following way. Each vertex ai, i = 1,..., 2k, with label µi corresponds to µi facets fi,1,...,fi,µi of P . For any subset I of the set of facets of P the intersection of facets {fj,γ|(j, γ) ∈ I} is a face of P if and only if the origin is contained in the set conv{aj|(j, γ) ∈/ I}. By pyramid in IHn we mean a convex hull of a point (apex) and an (n − 1)- dimensional polytope that is not a simplex. It is easy to see that a polytope P is a pyramid if and only if the origin has non-zero label in the Gale diagram of P . In Section 3 we suppose that P is not a pyramid. 3. A connected Coxeter diagram S is called a Lann´er (quasi-Lann´er) diagram if any subdiagram of S is elliptic (elliptic or parabolic), and the diagram S is neither elliptic nor parabolic. All Lann´er diagrams are classified in [8]. Let G be the standard Gale diagram of polytope P . Denote by Sm,l the follow- ing subdiagram of Coxeter diagram S(P ): Sm,l corresponds to l − m + 1 (mod 2k) consecutive vertices am,...,al of G. The following two lemmas can be easily derived from the definition of Gale diagram and Theorems 3.1 and 3.2 of the paper [13].

Lemma 1. Suppose that the labels of vertices ai,ak+i are not equal to zero. Then 1) the labels of vertices ai and ak+i equal 1, and Coxeter diagrams Si+1,k+i−1 and Sk+i+1,i−1 are connected and parabolic; 2) if the labels of vertices ai+1 and ak+i+1 are not equal to zero then the Coxeter diagram Si+1,k+i is quasi-Lann´er diagram; 3) if the label of vertex ai+1 equals zero then the Coxeter diagram Si+2,k+i is quasi- Lann´er diagram.

Lemma 2. Suppose that labels of vertices ai,ak+i−1 are equal to zero. Then the Coxeter diagram Si+1,k+i−2 is Lann´er diagram. Note that the number of vertices of any Lann´er diagram does not exceed 5 (see [8]), and the number of vertices of any quasi-Lann´er diagram does not exceed 10 (see [11]). Using Lemma 2 and statements 2) and 3) of Lemma 1 we derive the following

Lemma 3. Suppose that the labels of vertices ai and ai+2 are equal to zero. Then the sum of labels of all vertices does not exceed 20. An examination of the rest cases shows that dimension of polytope does not exceed 17. Thus, the sum of all labels of Gale diagram does not exceed 20, so the number of vertices with non-zero labels does not exceed 20, either. From the other hand, if k and the number of vertices with zero labels are big enough then the corresponding Coxeter diagram contains at least two Lann´er diagrams. In the latter case n ≤ 15. This implies the restriction on k: if n ≥ 16 then k ≤ 13. Hence, we rest with a finite number of cases. Examining them case by case we obtain the following result: there is no polytope for n = 17, and there is a unique one in IH16. 4. Now we only need to check the case when P is a pyramid.

2 Lemma 4. Suppose that P is a hyperbolic finite volume Coxeter n-polytope with n +3 facets and P is a pyramid. Then the combinatorial type of P is a pyramid over a product of three simplices. All the polytopes of this combinatorial type can be easily classified. Their dimension does not exceed 11. References

[1] E. M. Andreev, On convex polyhedra in Lobachevskii spaces. Math. USSR Sbornik 10 (1970), 413–440. [2] E. M. Andreev, On convex polyhedra of finite volume in Lobachevskii spaces. Math. USSR Sbornik 12 (1970), 255–259. [3] V. O. Bugaenko, Arithmetic crystallographic groups generated by reflections, and reflective hyperbolic lattices. Adv. Sov. Math. 8 (1992), 33–55. [4] F. Esselmann, The classification of compact hyperbolic Coxeter d-polytopes with d +2 facets. Comment. Math. Helvetici 71 (1996), 229–242. [5] F. Esselmann, Uber¨ kompakte hyperbolische Coxeter-Polytope mit wenigen Facetten. Universit¨at Bielefeld, SFB 343, Preprint No. 94-087. [6] B. Gr¨unbaum, Convex Polytopes. John Wiley & Sons, 1967. [7] I. M. Kaplinskaja, Discrete groups generated by reflections in the faces of simpli- cial prisms in Lobachevskian spaces. Math. Notes 15 (1974), 88–91. [8] F. Lann´er, On complexes with transitive groups of automorphisms. Comm. Sem. Math. Univ. Lund 11 (1950), 1–71. [9] M. N. Prokhorov, The absence of discrete reflection groups with non-compact fundamental polyhedron of finite volume in Lobachevsky space of Large dimension. Math. USSR Izv. 28 (1997). [10] P. Tumarkin, Hyperbolic Coxeter n-polytopes with n + 2 facets. arXiv:math.MG/0301133. [11] E. B. Vinberg, Discrete groups generated by reflections in Lobachevskii spaces. Mat. USSR sb. 1 (1967), 429–444. [12] E. B. Vinberg, The absence of crystallographic groups of reflections in Lobachevsky spaces of large dimensions. Trans. Moscow Math. Soc. 47 (1985), 75–112. [13] E. B. Vinberg, Hyperbolic reflection groups. Russian Math. Surveys 40 (1985), 31–75.

Independent Univ. of Moscow e-mail: [email protected]

3