Any such group is realized as the linear part of a

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: n There is a classification of crystallographic reflection groups in EC (due to 3 V. Popov [93]). n First observe that any a ∈ EC defines a surjective homomorphism g → g from ¯ the affine group to the linear group of the corresponding complex linear space n V . We write any x ∈ EC in the form x = a + v, for a unique v ∈ V , and get 3 According to [50] some groups are missing in Popov’s list. REFLECTION GROUPS IN ALGEBRAIC GEOMETRY 17 g (a + v ) = g (a) + g (v ). This definition of g does not depend on the choice of a. In ¯ ¯ particular, choosing a on a reflecting affine hyperplane H , we see that g is a linear ¯ reflection which fixes H − a. This implies that the image of a crystallographic reflection subgroup Γ of Cn U(n) is a finite reflection subgroup of U(n). Theorem 3.2. Let G be a finite irreducible reflection group in U(n). Then the following properties are equivalent: n (i) there exists a complex reflection group Γ in EC with linear part G; n (ii) there exists a G-invariant lattice Λ ⊂ EC of rank 2n; (iii) the number of the group G in Table 2 is 1, 2(m = 2, 3, 4, 6), 3(m = 2, 3, 4, 6), 4, 5, 8, 12, 24 − 29, 31 − 37. If G is not of type G(4, 2, n), n ≥ 4 (number 2), or GL(2, 3) (type 12) or EN4 (number 31),4 then Γ is equal to the semi-direct product Λ G. In the exceptional cases, Γ is either the semi-direct product or some nontrivial extension of G with normal subgroup Λ. A table in [93] describes all possible lattices and the extensions for each G as above. Recall from Theorem 3.1 that the algebra of invariant polynomials of a finite complex reflection group Γ in Cn is a polynomial algebra. This can be restated as follows. One considers the induced action of Γ in Pn−1 (C) and the orbit space Pn−1 (C)/Γ which exists as a projective algebraic variety. Now the theorem asserts that this variety is isomorphic to a weighted projective space P(q1 , . . . , qn ),5 where the weights are equal to the degrees of free generators of the invariant algebra. The following is an analog of Theorem 3.1 for affine complex crystallographic groups due to Bernstein-Shwarzman [11] and Looijenga [75]. Theorem 3.3. Assume that the linear part of a complex crystallographic group Γ is a complexification of a real finite reflection group W . Then the orbit space n EC /Γ exists as an algebraic variety and is isomorphic to a weighted projective space P(q0 , . . . , qn ), where the weights are explicitly determined by W . It is conjectured that the same is true without additional assumption on the linear part. Example 3.4. Let G be a finite complex reflection group arising from the complexification of a real reflection group Gr . Any such group is realized as the linear part of a complex crystallographic group Γ in affine space and Γ is the semi-direct product of G and a G-invariant lattice. Suppose Gr is of ADE type. Let e1 , . . . , en be the norm vectors of the Coxeter polytope in Rn . For any τ = a +...
View Full Document

This note was uploaded on 02/24/2012 for the course MATH 285 taught by Professor Igordolgachev during the Fall '04 term at University of Michigan-Dearborn.

Ask a homework question - tutors are online