4 an odd lattice in1 1 n 1 is reective if and only if

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: M )+ = O(M ) ∩ O(n, 1)+ , O(M ) = O(M )+ × {±1}, where O(n, 1)+ is the subgroup of index 2 of O(n, 1) defined in section 2.2. Note that every Refk (M ) is a normal subgroup of O(M )+ . Let P be a fundamental polyhedron of Refk (M ) in H n . Since O(M ) leaves invariant the set of root vectors α with fixed (α, α), it leaves invariant the set of reflection hyperplanes of Refk (M ). Hence, for any g ∈ O(M )+ , there exists s ∈ Refk (M ) such that g (P ) = s(P ). This shows that (4.5) O(M )+ = Refk (M ) S (P ), where S (P ) is the subgroup of O(M ) which leaves P invariant. Example 4.5. Let M = Ep,q,r with finite Ref(M ). Then Ref(M ) = W (p, q, r ) from Example 2.7, where (p, q, r ) = (1, 1, n)(An ), (2, 2, n − 2)(Dn ), (2, 3, 3)(E6 ), (2, 3, 4) (E7 ), (2, 3, 5)(E8 ). We have S (P ) = Z/2Z(An , E6 , Dn , n ≥ 5), S (P ) = S3 (D4 ) and S (P ) is trivial for E7 , E8 . The standard notations for the finite reflection groups W (p, q, r ) are W (T ), where T = An , Dn , E6 , E7 , E8 . The corresponding lattices Ep,q,r are called finite root 22 IGOR V. DOLGACHEV lattices. Their reflection groups are the Weyl groups of the corresponding root systems. In general Ref(Ep,q,r ) is larger than the group W (p, q, r ) (see Example 4.11). Example 4.6. Let M = II25,1 be an even unimodular hyperbolic lattice of rank 26. According to Theorem 4.4 ∼ II25,1 = U ⊥ E 3 . 8 The lattice II25,1 contains as a direct summand an even positive definite unimodular lattice Λ of rank 24 with (v, v ) = 2 for all v ∈ Λ. A lattice with such properties (which determine uniquely the isomorphism class) is called a Leech lattice. Thus II25,1 can also be described as (4.6) II25,1 = U ⊥ Λ. The description of Ref(II25,1 ) = Ref2 (II25,1 ) was given by J. Conway [22]. The group admits a fundamental polytope P whose reflection hyperplanes are orthogonal to the Leech roots, i.e. root vectors of the form (f − (1 + (v,v) )g, v ), where 2 v ∈ Λ and f, g is a basis of U with Gram matrix ( 0 1 ). In other words, a choice 10 of a decomposition (4.6) defines a fundamental polyhedron for the reflection group with fundamental roots equal to the Leech vectors. We have where S (P ) ∼ Λ = O(II25,1 )+ = Ref(II25,1 ) O(Λ). S (P ), Define a hyperbolic lattice M to be reflective if its root vectors span M and Ref(M ) is of finite covolume (equivalently, its index in O(M ) is finite).6 In the hyperbolic case the first condition follows from the second one. It is clear that the reflectivity property of M is preserved when we scale M , i.e. replace M with M (k) for any positive integer k. The following nice result is due to F. Esselmann [42]. Theorem 4.7. Reflective lattices of signature (n, 1) exist only if n ≤ 19 or n = 21. The first example of a reflective lattice of rank 22 was given by Borcherds [12]. We will discuss this lattice later. An important tool in the classification (yet unknown) of reflective lattices is the following lemma of Vinberg [112...
View Full Document

Ask a homework question - tutors are online