Unformatted text preview: surface [20], [24].
The inertia subgroups of ﬁnite index of W (p, q, r ) deﬁned in these examples have
the quotient groups isomorphic to simple groups O(8, F2 )+ , Sp(6, F2 ), O(10, F2 )+
and Sp(8, F2 ), respectively.
Remark 6.4. It is popular in group theory to represent a sporadic simple group or
a related group as a ﬁnite quotient of a Coxeter group W (p, q, r ). For example, the
Monster group F1 is a quotient of W (4, 5, 5). The Bimonster group F1 2 is a quotient
of W (6, 6, 6) by a single relation [61], [88]. Is there a geometric interpretation of
these presentations in terms of the Cremona action of W (p, q, r ) on some special
subset of points in Xp,q,r ? Mukai’s construction should relate the Monster group
with some special conﬁgurations of 10 points in (P3 )4 or 9 points in (P4 )4 . The
Bimonster group could be related to special conﬁgurations of 12 points in (P5 )5
(see related speculations in [3]).
7. Invariants of finite complex reflection groups
Let Γ ⊂ GL(n + 1, C) be a ﬁnite linear complex reﬂection group in Cn+1 and
¯
let Γ be its image in PGL(n, C). The reﬂection hyperplanes of G deﬁne a set of
hyperplanes in Pn and the zeroes of Ginvariant polynomials deﬁne hypersurfaces
in Pn . The geometry, algebra, combinatorics and topology of arrangements of
reﬂection hyperplanes of ﬁnite complex reﬂection groups is a popular area in the
theory of hyperplane arrangements (see [89], [90]). On the other hand, classical
algebraic geometry is full of interesting examples of projective hypersurfaces whose
symmetries are described in terms of a complex reﬂection group. We discuss only
a few examples.
We begin with the group J3 (4) of order 336 (No. 24 in the list). It has funda¯
mental invariants of degrees 4, 6 and 14. Its center is of order 2, and the group Γ
10 A pseudoautomorphism is a birational transformation which is an isomorphism outside a
closed subset of codimension > 2. 40 IGOR V. DOLGACHEV is a simple group of order 168 isomorphic to PSL(2, F7 ). The invariant curve of
degree 4 is of course the famous Klein quartic, which is projectively equivalent to
the curve
3
3
3
F4 = T0 T1 + T1 T2 + T2 T0 = 0.
There are 21 reﬂection hyperplanes in P2 . They intersect the curve at 84 points,
forming an orbit with stabilizer subgroups of order 2. The invariant F6 of degree 6
deﬁnes a nonsingular curve of degree 6, the Hessian curve of the Klein quartic. Its
equation is given by the Hesse determinant of second partial derivatives of F4 .
The double cover of P2 branched along the curve F6 = 0 is a K3 surface X . The
automorphism group of X is an inﬁnite group which contains a subgroup isomorphic
¯
to Γ.
¯
Next we consider the group L3 of order 648 (No. 25). The group Γ is of order 216
11
and is known as the Hessian group. It is isomorphic to the group of projective
transformations leaving invariant the Hesse pencil of plane cubic curves,
(7.1) λ(t3 + t3 + t3 ) + µt0 t1 t2 = 0.
0
1
2 It is known that any nonsingular plane cubic curve is projectively isomorphic to
o...
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 MichiganDearborn.
 Fall '04
 IgorDolgachev
 Algebra, Geometry, The Land

Click to edit the document details