arxiv:math/ v1 [math.mg] 1 Dec 2002

Size: px

Start display at page:

Download "arxiv:math/ v1 [math.mg] 1 Dec 2002"

Maryann Gregory
5 years ago
Views:

1 arxiv:math/01010v1 [math.mg] 1 Dec 00 Coxeter Decompositions of Hyperbolic Tetrahedra. A. Felikson Abstract. In this paper, we classify Coxeter decompositions of hyperbolic tetrahedra, i.e. simplices in the hyperbolic space IH. The paper together with [] completes the classification of Coxeter decompositions of hyperbolic simplices. 1 Introduction Definition 1. A convex polyhedron in a space of constant curvature is called a Coxeter polyhedron if all dihedral angles of this polyhedron are the integer parts of π. Definition. A Coxeter decomposition of a convex polyhedron P is a decomposition of P into finitely many tiles such that each tile is a Coxeter polyhedron and any two tiles having a common facet are symmetric with respect to this facet. Coxeter decompositions of hyperbolic triangles were studied in[], [], [], [7] and [1]. Coxeter decompositions of hyperbolic simplices of the dimension greater than three were classified in []. In this paper, we classify Coxeter decompositions of hyperbolic tetrahedra, i.e. simplices in the hyperbolic space IH. The paper completes the classification of the Coxeter decompositions of hyperbolic simplices. The work was partially written during the stay at the University of Bielefeld. The author is grateful to the hospitality of this University. The author would like to thank O. V. Schwarzman and E. B. Vinberg for their interest to the work. 1.1 Definitions The tiles in Definition are called fundamental polyhedra. Clearly, any two fundamental polyhedra are congruent to each other. A hyperplane α containing a facet of a fundamental polyhedron is called a mirror if α contains no facet of P. Definition. Given a Coxeter decomposition of a polyhedron P, a dihedral angle of P formed up by facets α and β is called fundamental if no mirror contains α β. A vertex A is called fundamental if no mirror contains A. 1

2 Notation. P is a tetrahedron equipped with a Coxeter decomposition; F is a fundamental polyhedron considered up to an isometry of IH ; Σ(T) is a Coxeter diagram of a Coxeter tetrahedron T; N is the number of the fundamental polyhedra inside P. ACoxeter tetrahedront canberepresented byitscoxeter diagramσ(t): the nodes v i of Σ(T) correspond to the facets f i of T, two nodes v i and v j are connected by a k-fold edge if the dihedral angle formed up by f i and f j equals π k. There are finitely many Coxeter hyperbolic tetrahedra. We denote a CoxeterhyperbolictetrahedronbyH i,whereiisanumberofthistetrahedron in Table. Types of Coxeter decompositions It is shown in [] that the large class of decompositions of simplices can be listed using the inductive algorithm explained in section 1 of []. Definition. Let Θ(P) be a Coxeter decomposition of a simplex P. Θ(P) is called a decomposition of the first type if the decomposition can be obtained by the inductive algorithm. Θ(P) is called a decomposition of the second type if all the dihedral angles of P are fundamental. Θ(P) is called a decomposition of the third type if Θ(P) is neither of the first type nor of the second. The decompositions of the first type where obtained using a computer. See Table for the list of the decompositions. The decompositions of the second type are studied in section. It was proved in section. of [] that any decomposition of the third type is a superposition of some decompositions. In Lemma we prove that no hyperbolic tetrahedron admits a decomposition of the third type. Decompositions without non-fundamental dihedral angles Suppose that P admits a Coxeter decomposition such that any dihedral angle of P is fundamental. In this case P is a Coxeter tetrahedron. The following properties are proved in []:

3 Lemma 1. Let P be a simplex in IH n admitting a Coxeter decomposition of the second type with fundamental polyhedron F. Then the following properties are hold: 1. F is a simplex.. If all the vertices of P are fundamental, then N n.. Volume property. Z, where Vol(T) is a volume of a simplex T. Vol(P) Vol(F). Subdiagram property. Let Σ(P) be a Coxeter diagram of P and Σ(F) be a Coxeter diagram of F. Let v be a node of Σ(P). Then there exists a node w of Σ(F) such that either Σ(P) \v = Σ(F) \ w or the simplex p determined by the subdiagram Σ(P)\v admits a Coxeter decomposition of the second type with fundamental simplex f determined by Σ(F)\w. All the volumes of hyperbolic Coxeter simplices are calculated in []. We reprint the list of volumes of hyperbolic Coxeter tetrahedra in Table. In the dimensions greater than three the Volume property together with the Subdiagram property are nearby a sufficient condition of the existence of a decomposition with given F and P. In particular, all but two pairs (F,P) satisfying these properties correspond to some decompositions of the second type. In the dimension three the properties are satisfied by a large number of pairs (F,P). Thus, we need some additional considerations in this case. There are finitely many bounded Coxeter tetrahedra and finitely many unbounded Coxeter tetrahedra in IH. It is evident that F and P should be bounded or unbounded simultaneously. Lemma. No bounded hyperbolic tetrahedron admits a Coxeter decomposition of the second type. Proof. There is a unique pair of bounded tetrahedra (F, P) satisfying the Volume property. These tetrahedra are F = H 1 and P = H. There exists a unique decomposition with (F,P)=(H 1,H ), and in this decomposition N =. Any decomposition with N = has a non-fundamental angle, and the lemma is proved. Consider the unbounded tetrahedra. Lemma. Let P be an unbounded tetrahedron. Then P has a non-fundamental vertex.

4 Proof. Suppose that any vertex of P belongs to a unique fundamental tetrahedron. Since each fundamental tetrahedron has an ideal vertex, N. This contradicts to the second part of Lemma 1. To prove the following lemma we need a list of Coxeter decompositions of Euclidean and spherical triangles p such that all the angles of p are fundamental and N. See Fig. 1 for the list. Figure 1: Decompositions of spherical and Euclidean triangles without non-fundamental angles (N in Euclidean case) a) b) 9 c) 1 9 d) e) 18 f) 1 The decompositions 1a 1e are Euclidean, the decomposition 1f is spherical. The numbers of fundamental triangles are written under the decompositions. Lemma. Suppose that any dihedral angle of P is fundamental. Then the decomposition is one of two decompositions shown in Fig.. Proof. By Lemma the tetrahedron P is unbounded. By Lemma P has a non-fundamental vertex. Let A be a non-fundamental vertex of P. Suppose that A is not an ideal vertex. Consider a small sphere s centered in A. The section of the decomposition by the sphere s is a Coxeter decomposition of a spherical triangle p = s P. Clearly, all angles of p are fundamental. The only such a decomposition consists of 1 triangles (see Fig. 1f). Hence, the number of tiles in P cannot be less than 1. The fundamental triangle in the decomposition shown in Fig. 1f has an angle π. Hence, the fundamental tetrahedron has a dihedral angle equal to π. But there is no pair of unbounded hyperbolic tetrahedra F and P such that Vol(P) 1 and Vol(F) F has a dihedral angle equal to π. Therefore, any non-fundamental vertex should be ideal. Let A be an ideal non-fundamental vertex of P. Consider a small horosphere centered in A. The section of the decomposition by this horosphere is a Coxeter decomposition of a Euclidean triangle p without non-fundamental angles. Since the maximal ratio of volumes of unbounded hyperbolic tetrahedra is, the number of triangular tiles f in p cannot be greater than.

5 Therefore, the decomposition of the triangle p is one of the decompositions shown in Fig. 1a 1e. Consider these decompositions of p. 1) Suppose that p is decomposed as shown in Fig. 1a 1c. Then all the angles of the triangles f and p are equal to π. Therefore, each of the Coxeter diagrams Σ(F) and Σ(P) has a subdiagram corresponding to a triangle with angles ( π,π,π ). All hyperbolic Coxeter tetrahedra satisfying this condition are shown in Fig.. The tetrahedra H and H cannot be fundamental for a Coxeter decomposition of the second type. Indeed, for any Coxeter tetrahedron T we have Vol(T) < and Vol(H ) Vol(T) Vol(H <. The maximal ratio of volumes of the tetrahedra shown ) in Fig. a c is 1. Therefore, p cannot be decomposed as the triangle shown in Fig.1c. Thus, F is one of the tetrahedra shown in Fig. a, P is one of the tetrahedra shown in Fig. a c and p is decomposed as shown in Fig.1a or 1b. k k =,,, H 1, H 17, H, H H H a) b) c) Figure : Diagrams of tetrahedra with subdiagram corresponding to the triangle ( π,π,π ). Now we are aimed to show that no of H 17, H and H can be a fundamental polyhedron for a decomposition of the second type. Indeed, suppose the contrary, i.e. Σ(F) is shown in Fig. a and k >. Then P has no dihedral angle which is equal to π, since Σ(P) Σ(F). Consider the set of fundamental tetrahedra having a common ideal vertex k whose neighborhood is decomposed as shown in Fig. 1a 1c. Each of these tetrahedra has its own edge with dihedral angle π. Since P has k no such a dihedral angle, each of these edges belongs to k distinct tetrahedra. Therefore, N n k, where n is the number of the tiles f in p, i.e. n = or 9. If n = 9, then n k 9 >. This is impossible. If n =, then n k = 1; but there is no Coxeter tetrahedron P having the volume big enough. Therefore, k =. The tetrahedron H 1 has no dihedral angle which is equal to π l, where l =,,. Thus, H 1 can tessellate only the tetrahedra H and H. These tessellations are the decompositions shown in Fig..

6 ) Suppose that p is decomposed as shown in Fig. 1d. Then the number of fundamental tetrahedra in the decomposition cannot be smaller than nine. Further, each of the Coxeter diagrams Σ(F) and Σ(P) has a subdiagram corresponding to a triangle with angles ( π,π,π ). A unique pair of tetrahedra (F,P) satisfying these conditions is (H 11,H 1 ). To prove that there is no such a decomposition, consider an ideal vertex A of P. Let F 1,...,F 9 be the fundamental tetrahedra incident to A. Let f i (i = 1,...,9) be a face of F i opposite to A. Since F i has a face which is not orthogonal to f i, the faces f i (i = 1,...,9) belong to three different planes (see Fig. ). Any of these planes contains at most four faces f i. Therefore, the decomposition contains at least five fundamental tetrahedra additional to F 1,...,F 9. This is impossible, since Vol(P) Vol(F) = 1 and 9+ = 1 > 1. Figure : The triangles shaded by distinct ways belong to distinct planes. These planes intersect each other and form up dihedral angle π. ) Suppose that p is decomposed as shown in Fig. 1e. Then the number of the fundamental tetrahedra in the decomposition of P cannot be smaller than 18. Further, Σ(F) has a subdiagram corresponding to a triangle with angles ( π,π,π ) and Σ(P) has a subdiagram corresponding to a triangle with angles ( π,π,π ). A unique pair of unbounded hyperbolic tetrahedra (F,P) satisfying these conditions is (H 10,H ). Since any dihedral angle of P equals π, the neighborhood of any vertex of P is decomposed as shown in Fig. 1e. Then N 18 > (F has a unique ideal vertex). Since Vol(P) =, such a decomposition does not Vol(F) exist. All the cases are considered, the lemma is proved. Lemma. There is no Coxeter decomposition of hyperbolic tetrahedron of the third type. Proof. It was proved in section. of [] that any decomposition of the third type is a superposition of some decompositions. Let P be a hyperbolic tetrahedron and Θ(P) be a decomposition of the third type. Suppose that P is a

7 smallest tetrahedron with the decomposition of the third type, that is for any tetrahedron P inside P the restriction of Θ(P) onto P is a decomposition either of the first or of the second type. Let Θ 1 and Θ be decompositions of the first type and Θ(P) be a superposition of Θ 1 and Θ. It follows from the construction of the inductive algorithm that Θ(P) is a decomposition of the first type. The contradiction shows that at least one of Θ 1 and Θ is a decomposition of the second type, i.e. at least one of two decompositions shown in Fig.. A superposition of any of these two decompositions with any other decomposition is a decomposition of the first type. Tables The tetrahedra with dihedral angles k iπ q i i = 1,..., are represented by the following diagrams: take a Coxeter diagram of the tetrahedron whose dihedral angles equal π q i i = 1,..., and subdivide the edges corresponding to the dihedral angles k iπ q i into k i parts. The list of decompositions of the first type was obtained by the inductive algorithm (see section 1 of []). All the non-trivial decompositions of the first type are listed here for each of the Coxeter tetrahedra. The Coxeter diagram of the fundamental tetrahedron is presented before the list of decompositions with this fundamental tetrahedron. Numbers (k,l ; m,n,p,q) under the diagrams describe the decompositions. k is a number of fundamental tetrahedra in the decomposition; l is a number of gluing necessary for construction of the decomposition; (gluing the tetrahedra with l = l 1 and l = l we obtain a tetrahedron with l = 1+max{l 1,l }); m and n are the numbers of the tetrahedra which should be glued together to obtain the decomposition; p and q are the numbers of the faces glued together of the tetrahedra m and n respectively, the nodes of the diagrams are numbered from the left to the right by the numbers 0,1,,. 7

8 Table 1: Hyperbolic Coxeter tetrahedra. The volumes are reprinted from []. Coxeter diagram Notation Volume H H H H H H H 7 H 8 H

9 Coxeter diagram Notation Volume H H H 1 H H 1 H 1 H 1 H H 18 H 19 H 0 H 1 H

10 Coxeter diagram Notation Volume H H H 7 H 8 H 9 H 0 H 1 H H H

11 1 Table : Decompositions of bounded tetrahedra of the first type. 0 1 (, ; 0,0,0,0) (, ; 0,0,,) (, ; 1,1,,) (, ;,,0,0) (8, ;,,0,0) 0 1 (, ; 0,0,0,0) (, ; 1,0,0,1) (, ; 1,1,,) (, ;,1,0,0) (, ;,,1,1) 0 1 (, ; 0,0,1,1) (, ; 0,0,,) (, ;,,0,0) 0 1 (, ; 0,0,0,0) (, ; 1,1,,) Table : Decompositions of unbounded tetrahedra of the first type (, ; 0,0,0,0) (, ; 0,0,,) (, ; 1,0,0,1) (, ; 1,1,,) (, ;,0,0,) (, ;,,0,0) (, ;,,1,1) (, ;,,,) (8, ;,,,) (8, ;,,,) (10, ;,,0,0) (10, ;,,1,1) (10, ;,,,) (1, ; 8,8,1,1) 11

12 1 (1,7 ; 9,9,,) 1 (1,7 ; 10,,0,0) 17 (0,7 ; 1,11,0,0) 18 (,7 ; 1,1,1,1) 19 (,8 ; 1,1,1,1) 0 1 (, ; 0,0,0,0) (, ; 0,0,,) (, ; 1,0,0,1) (, ; 1,1,,) (, ;,,0,0) (, ;,,0,0) 7 (, ;,,1,1) 8 (1, ;,,0,0) 9 (1, ;,,1,1) 0 1 (, ; 0,0,0,0) 0 1 (, ; 0,0,0,0) (, ; 0,0,,) (, ; 1,1,0,0) (, ; 1,1,,) (8, ;,,0,0) 0 1 (, ; 0,0,0,0) (, ; 0,0,,) 0 1 (, ; 0,0,0,0) (, ; 1,0,0,1) (, ; 1,1,,) (, ;,1,0,0) (, ;,,1,1) 1

13 7 0 1 (, ; 0,0,0,0) (, ; 0,0,,) (, ; 1,1,,) (, ; 0,0,0,0) (, ; 0,0,1,1) (, ; 0,0,,) (, ;,,0,0) (, ; 0,0,0,0) (, ; 1,1,0,0) (, ; 1,1,,) (, ; 0,0,0,0) (, ; 1,1,,) (, ; 0,0,0,0) (, ; 0,0,0,0) (, ; 0,0,0,0) 1

14 Figure : Hyperbolic tetrahedra of the second type. (Ideal vertices are marked by small circles.) a) N = N = 1 F = P = F = P = b) References [1] A. Felikson. Coxeter Decompositions of Hyperbolic Polygons. European Journal of Combinatorics, (1998) 19, [] A. Felikson, Coxeter decompositions of hyperbolic simplices, preprint, arxiv:math.mg/ [] N. W. Johnson, R. Kellerhals, J. G. Ratcliffe, S. T. Tschantz. The size of a hyperbolic Coxeter simplex, Transformation Groups, Vol., No, 1999, 9. [] E. Klimenko, M. Sakuma. Two-generator discrete subgroups of Isom(H ) containing orientation-reversing elements, Geom. Dedicata 7 (1998), 7-8. [] A. W. Knapp. Doubly generated Fuchsian groups, Mich. Math. J. 198, v 1, [] J. P. Matelski. The classification of discrete generator subgroups of PSL (R), Israel J. Math, 198,, [7] G. D. Mostow. On discontinuous action of monodromy groups on the complex n-ball, J. of the AMS, 1988, v.1 n, -8. 1

On the Volume Formula for Hyperbolic Tetrahedra

Discrete Comput Geom :347 366 (999 Discrete & Computational Geometry 999 Springer-Verlag New York Inc. On the Volume Formula for Hyperbolic Tetrahedra Yunhi Cho and Hyuk Kim Department of Mathematics,