This preview shows page 1. Sign up to view the full content.
Unformatted text preview: n
There is a classiﬁcation of crystallographic reﬂection groups in EC (due to
V. Popov ).
First observe that any a ∈ EC deﬁnes a surjective homomorphism g → g from
the aﬃne group to the linear group of the corresponding complex linear space
V . We write any x ∈ EC in the form x = a + v, for a unique v ∈ V , and get
3 According to  some groups are missing in Popov’s list. REFLECTION GROUPS IN ALGEBRAIC GEOMETRY 17 g (a + v ) = g (a) + g (v ). This deﬁnition of g does not depend on the choice of a. In
particular, choosing a on a reﬂecting aﬃne hyperplane H , we see that g is a linear
reﬂection which ﬁxes H − a. This implies that the image of a crystallographic
reﬂection subgroup Γ of Cn U(n) is a ﬁnite reﬂection subgroup of U(n).
Theorem 3.2. Let G be a ﬁnite irreducible reﬂection group in U(n). Then the
following properties are equivalent:
(i) there exists a complex reﬂection group Γ in EC with linear part G;
(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  describes all possible lattices and the extensions for each G as
Recall from Theorem 3.1 that the algebra of invariant polynomials of a ﬁnite
complex reﬂection 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 aﬃne complex crystallographic groups
due to Bernstein-Shwarzman  and Looijenga .
Theorem 3.3. Assume that the linear part of a complex crystallographic group
Γ is a complexiﬁcation of a real ﬁnite reﬂection group W . Then the orbit space
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
Example 3.4. Let G be a ﬁnite complex reﬂection group arising from the complexiﬁcation of a real reﬂection group Gr . Any such group is realized as the linear
part of a complex crystallographic group Γ in aﬃne 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