Professional Documents
Culture Documents
Lie Groups and Lie Algebras, Chapters 4-6 - Nicolas Bourbaki
Lie Groups and Lie Algebras, Chapters 4-6 - Nicolas Bourbaki
Lie Groups and Lie Algebras, Chapters 4-6 - Nicolas Bourbaki
Springer
ELEMENTS OF MATHEMATICS
Springer
Berlin
Heidelberg
New York
Barcelona
Hong Kong
London
Milan
Paris
Tokyo
NICOLAS BOURBAKI
ELEMENTS OF MATHEMATICS
' Springer
Originally published as
GROUPES ET ALGEBRES DE LIE
Hermann, Paris, i968
Translator
Andrew Pressley
Department of Mathematics
King's College London
Strand, London WC2R 2LS
United Kingdom
e-mail: anp@mth.kcl.ac.uk
This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned,
specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on
microfilm or in any other way, and storage in data banks. Duplication of this publication or parts thereof is
permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and
permission for use must always be obtained from Springer- Verlag. Violations are liable for prosecution under the
German Copyright Law.
Springer· Verlag Berlin Heidelberg New York
a member of BertelsmannSpringer Science+Business Media GmbH
http://www.springcr.de
©Springer-Verlag Berlin Heidelberg 2002
Printed in Germany
The study of semi-simple (analytic or algebraic) groups and their Lie algebras
leads to the consideration of root systems, Co:r:eter groups and Tits systems.
Chapters IV, V and VI are devoted to these structures.
To orient the reader, we give several examples below.
I. Let g be a complex semi-simple Lie algebra and IJ a Cartan subalgebra
of g1 . A root of g with respect to 1J is a non-zero linear form a on 1J such
that there exists a non-zero element x of g with [h, x] = a(h)x for all h E IJ.
These roots form a reduced root system R in the vector space IJ* dual to
IJ. Giving R determines g up to isomorphism and every reduced root system
is isomorphic to a root system obtained in this way. An automorphism of g
leaving IJ stable defines an automorphism of IJ* leaving R invariant, and every
automorphism of R is obtained in this way. The Wey! group of R consists of
all the automorphisms of IJ" defined by the inner automorphisms of g leaving
1J stable; this is a Coxeter group.
Let G be a connected complex Lie group with Lie algebra g, and let I'
be the subgroup of G consisting of the elements h such that expc(27rih) = 1.
Let K be the root system in IJ inverse to R, let Q(K) be the subgroup of IJ
generated by R- and let P(K) be the subgroup associated to the subgroup
Q(R) of I)* generated by R (i.e. the set of h. E IJ such that >..(h) is an integer
for all ).. E Q(R)). Then P(K) ~ I' ~ Q(R-). Moreover, the centre of G
is canonically isomorphic to P(K)/ I' and the fundamental group of G to
I'/Q(K). In particular, I' is equal to P(K) if G is the adjoint group and I'
is equal to Q(K) if G is simply-connected. Finally, the weights of the finite-
dimensional linear representations of G are the elements of the subgroup of
IJ* associated to r.
II. Let G be a semi-simple connected compact real Lie group, and let g be its
Lie algebra. Let T be a maximal torus of G, with Lie algebra t, and let X be
the group of characters of T. Let R be the set of non-zero elements a of X
such that there exists a non-zero element .r of g with (Ad t).x = o(t)x for all
t E T. Identify X with a lattice in the real vector space V = X @z R; then R
is a reduced root system in V. Let N be the normaliser of T in G; the ac~ion
1 In this Introduction, we use freely the traditional terminology as well as the
notions defined in Chapters IV, V and VI.
VI TO CHAPTERS IV, V AND Vl
of Non T defines an isomorphism from the group N/T to the Weyl group of
R. We have P(R) ::> X ::> Q(R); moreover, X = P(R) if G is simply-connected
and X = Q(R) if the centre of G reduces to the identity element.
The complexified Lie algebra 9(C) of g is semi-simple and t(c) is a Cartan
subalgebra of it. There exists a canonical isomorphism from V(c) to the dual
of t(c) that transforms R into the root system of 9(C) with respect to t(c).
III. Let G be a connected semi-simple algebraic group over a commutative
field k. Let T be a maximal element of the set of tori of G split over k and
let X be the group of characters of T (the homomorphisms from T to the
multiplicative group). We identify X with a lattice in the real vector space
V = X ®z R. The roots of G with respect to T are the non-zero elements a of
X such that there exists a non-zero element x of the Lie algebra g of G with
(Ad t).x = a(t)x for all t E T. This gives a root system R in V, which is not
necessarily reduced. Let N be the normaliser and Z the centraliser of T in G
and let N(k) and Z(k) be their groups of rational points over k. The action
of N(k) on T defines an isomorphism from N(k)/Z(k) to the Wey! group of
R.
Let U be a maximal element of the set of unipotent subgroups of G, de-
fined over k and normalised by Z. Put P = Z.U. Then P(k) = Z(k).U(k) and
P(k) n N(k) = Z(k). Moreover, there exists a basis (a 1 , ... , O'.n) of R such
that the weights of T in U are the positive roots of R for this basis; if S de-
notes the set of elements of N(k)/Z(k) that correspond, via the isomorphism
defined above, to the symmetries s 0 , E W(R) associated to the roots ai, the
quadruple (G(k), P(k), N(k), S) is a Tits system.
IV. In the theory of semi-simple algebraic groups over a local field, Tits
systems are encountered whose Wey! group is the affine Wey! group of a.
root system. For example, let G = SL(n + 1, Qp) (with n 2: 1). Let B be
the group of matrices (aij) E SL(n + 1, Zp) such that a;,; E pZP for i < j,
and let N be the subgroup of G consisting of the matric~s having only one
non-zero element in each row and column. Then there exists a subset S of
N/(BnN) such that the quadruple (G,B,N,S) is a Tits system. The group
W = N/(B n N) is the affine Wey! group of a root system of type An; this is
an infinite Coxeter group.
Numerous conversations with J. Tits have been of invaluable assistance to ·ns
in the preparation of these chapters. We thank him ver·y cordially.
CONTENTS
§ 1. Coxeter Groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
I. Length and reduced decompositions . . . . . . . . . . . . . . . . . . . . . 1
2. Dihedral groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
3. First properties of Coxeter groups . . . . . . . . . . . . . . . . . . . . . . 4
4. Reduced decompositions in a Coxeter group . . . . . . . . . . . . . . 5
5. The exchange condition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
6. Characterisation of Coxcter groups . . . . . . . . . . . . . . . . . . . . . . 10
7. Families of partitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
8. Subgroups of Coxeter groups . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
9. Coxeter matrices and Coxeter graphs . . . . . . . . . . . . . . . . . . . . 13
§ 2. Tits Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1. Definitions and first properties . . . . . . . . . . . . . . . . . . . . . . . . . 15
2. An example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
3. Decomposition of G into double cosets . . . . . . . . . . . . . . . . . . 18
4. Relations with Coxeter systems . . . . . . . . . . . . . . . . . . . . . . . . . 19
5. Subgroups of G containing B . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
6. Parabolic subgroups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
7. The simplicity theorem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
Appendix. Graphs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
L Definitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2. The connected components of a graph . . . . . . . . . . . . . . . . . . . 27
3. Forests and trees . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
Exercises for § 1. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
Exercises for § 2. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
VIII CONTENTS
§ 2. Reflections . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
1. Pseudo-reflections . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
2. Reflections . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
3. Orthogonal reflections . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
4. Orthogonal reflections in a euclidean affine space . . . . . . . . . 73
5. Complements on plane rotations . . . . . . . . . . . . . . . . . . . . . . . . 74
§ 1. COXETER GROUPS
Let (s 1 , ••• , sp) and (s~, ... , s~) be reduced decompositions of w and w'
respectively. Thus l(w) = p and l(w') = q. Since ww' =- s 1 •.. sps'1 •.. s~, we
have l(ww') ( p + q, proving (1). Since S =- s- 1 and w- 1 = s; 1 ... sj 1 , we
have l(w- 1 ) ( p = l(w). Replacing w by w- 1 gives the opposite inequality
l(w) ( l(w- 1 ), proving (2). Replacing w by ww'- 1 in (1) and (2) gives the
relations
Exchanging wand w' in (4) gives l(w') - l(w) ~ l(ww'- 1 ) by (5), proving
(3).
2. DIHEDRAL GROUPS
Example. Let M be the multiplicative group {1, -1}, and let m. be an integer
~ 2 (resp. m = oo). Then M acts on the group Z/mZ (resp. on Z) by (-1).;.c =
-x, and the corresponding semi-direct product of M by Z/rnZ (resp. of M
by Z) is denoted by Dm. The elements of Dm are thus the pairs (c, x) with
€ = ±1 and x E Z/m.Z (resp. x E Z); the group law on Dm is given by the
formula
(€,x).(€ 1 ,x') = (€€ 1 ,€1 X + x'). (6)
We denote by i the class of 1 modulo m (resp. i = 1) and set
(9)
§ 1. COXETER GROUPS 3
for every integer n. Since Wis generated by {s, s'}, and hence by {s,p}, the
subgroup P is normal. It follows that TP is a subgroup of W, and since TP
contains sands' = sp, we have W = TP = PUsP. To prove (i), it is therefore
enough to show that W i P. If W = P, the group W would be commutative,
so p 2 = s 2 s' 2 = 1. But then the only elements of W = P would be 1 and p,
contradicting the hypothesis that Vv contains at least three elements, namely
1, sands'.
(ii) Since sf s', we have pi 1 and so m ~ 2. Since Pis of order m and
(W : P) = 2, the order of W is 2m. If m is finite (resp. infinite), there exists
an isomorphism i.p' from Z/mZ (resp. Z) to P taking n top. Moreover, there
exists an isomorphism t.p 11 from M = {1, -1} to T taking -1 to s. The group
W is the semi-direct product of T and P. In view of the formulas (9) and
pn"' p- 1 = n-n, t.p 1 and t.p11 induce an isomorphism t.p from Dm to W such that
i.p(p) = s and cp( 7r) = p, and hence t.p(p') = s'. The uniqueness of <p follows
from the fact that Dm is generated by {p, p1 }.
Recall that from now on we assume that the elements of S are of order 2.
1 This means that (W, S) has the following universal property: given a group G and
a map f from S to G such that (J(s)f(s'))rn.(s,s') = 1 for (s, s') in I, there exists
a homomorphism g from W to G extending f. This homomorphism is unique
because S generates W. An equivalent form of this definition is the following. Let
W be a group, f a homomorphism from W to W and h a map from S to W such
that f(h(s)) =sand (h(s)h(s'))"'(s.s') = 1 for (s, s') in Sand such that the h(s)
(for s E S) generate W. Then f is injective (and hence is an isomorphism from
W to W).
§ 1. COXETER GROUPS 5
PROPOSITION 3. As.mme that (W, S) ·is a Coxeter system. Then, two ele-
ments s and s' of S are conj'ugate2 in W if and only ·~f the fol lowing condd·ion
is satisfied:
(I) There exists a finite sequ,ence (s 1 ,. .. , sq) of elements of S such that s 1 =
s, Sq= s' and SjSJ+l ·is of finite odd o·rder for 1 ~ j < q.
Let s and s' in S be such that p = ss' is of finite order 2n + 1. By (9),
sp-n = pn s hence
(10)
R = {l, -1} x T.
Lemma 1. (i) Let w E W and t ET. The num/1er (-l)n(s,t) has the same
value Tf(w,t) for all sequences s = (s 1 ,. . .,sq) of elements of S such that
W = S1 ... Sq·
(ii) For w E W, let Uw be the map from R to itself de.fined by
Uw(E,t) = (E.Tf(W- 1,t),wtw- 1) (€ = ±l,t ET). (12)
2 Recall that two elements (resp. two subsets) of a group Ware said to be conjugate
·· if there exists an inner automorphism of W that transforms one into the other.
6 COXETER GROUPS AND TITS SYSTEMS Ch. IV
(14)
Us(e:,t) = U 50 (e:.(-l)n(s',tl,w'tw'- 1 )
But P(s) = (P(s'), w'- 1Sqw') and n(s, t) = n(s', t) + Ow'-'s q w' , t> proving
formula (14).
Now let s, s' E S be such that p = ss' has finite order m. Let s =
(s 1 , ... , s 2m) be the sequence of elements of S defined by Sj = s for j odd
and Sj = s' for j even. Then s 2 m ... s 1 = p-m = 1 and formula (11) implies
that
(15)
Since p is of order m., the elements ti, ... , tm are distinct and tj+m = tj for
1 ~ j :::;; m. For all t E T, the integer n(s, t) is thus equal to 0 or 2 and
(14) shows that Us= IdR· In other words, (UsUs')m = IdR. Thus, by the
definition of Coxeter systems, there exists a homomorphism w >---> Uw from
W to the group of permutations of R such that Us is given by the right-hand
side of (13). Then Uw =Us for every sequences= (s 1 , ... ,sq) such that
w =Sq ... s 1 and Lemma 1 follows immediately from (14).
Lemma 2. Lets= (s1, ... sq), <P(s) = (t 1 , ... ,tq) and w = s 1 •.• sq. Let
1
Lemma 3. Let w E W ands E S be such that l(sw) :::;; l(w). For any sequence
s = (s 1 , ... , Sq) of elements of S with w = .s 1 ... Sq, there exists an integer j
such that 1 :::;; j ~ q and
Let p be the length of w and w' = sw. By the Remark of no. 3, l(w') =
l(w) + 1 mod. 2. The hypothesis l(w') :::;; l(w) and the relation
b) l(sw) = l(w) - 1 and there exists an integer j such that 1 ::;; j ::;; q,
(s 1 , ... ,Sj-I, Sj+I, ... , Sq) is a reduced decomposition of sw and ~s, s1 , .. ., Sj-1,
s j +1 , ... , Sq) is a reduced decomposition of w.
Put w' = sw. By formula (3) of no. 1, we have
\l(w) - l(w')I::;; l(s) = 1.
We distinguish two cases:
a) l(w') > l(w). Then l(w') = q + 1 and w' = ss 1 •.. sq, so
(s, S1,. .. , Sq)
is a reduced decomposition of w'.
b) l(w')::;; l(w). By (E), there exists an integer j such that 1 ::;; .i::;; q and
(16) is satisfied. Then w = ss 1 ... Sj-ISj+I ... Sq and hence
I
W =SJ ... S,j-JSj+l · .. Sq.
Since q - 1::;; l(w')::;; q, it follows that l(w') = q- 1 and that (s 1 ,. . .,Sj-J,
sJ+ 1 , ... , Sq) is a reduced decomposition of w'.
b) There exists ands' in S such that s1 = sA: =s and Bk = s'i = s' for j
odd and k even.
Then F is constant.
A) Let s, s' E D and put t = (s~, s 1 , ... , Sq_i). We are going to show
that if F(s) -f. F(s') then t E D and F(t) -1- F(s). Indeed, w = s~ and s; ...
hence s;w = s2 ... s~ is of length < q. By Prop. 4, there exists an integer
.i such that 1::;; .i::;; q and the sequence u = (s;,s 1 , ... ,Sj-i,sJ+ 1 , ... ,sq)
belongs to D. We have F(u) = F(s') by condition a); if .i I q we would have
F(s) = F(u) for the same reason, and hence F(s) = F(s') contrary to our
hypothesi8. Thus j = q and hence t = u ED and F(t) = F(s') =I F(s).
B) Let s and s' belong to D. For any integer j with 0 ::;; .i ::;; q + 1 define
a sequence Sj of q elements of S as follows:
so = (s'1 , ... , s~)
s1 = (s1, ... , sq)
Sq+l-k = (s 1 ,s~, ... ,s 1 ,s;,s1,s2, ... ,sk)
(17)
for q - k even and 0 ::;; k ::;; q
Sq+l-k = (s~,s1, ... ,s1,s~,s1,s2, ... ,sk)
for q - k odd and 0 ::;; k ::;; q.
§ 1. COXETER GROUPS 9
for w' = s 1 ... Sq-I and w" = s 2 ... Sq and the induction hypothesis show
that Fw(s) = Fw(s') if s1 = s~ or Sq= s~.
b) Suppose that there exist two elements sands' of S such that Sj = s~ =
s and Sk = sj = s' for j odd and k even. It suffices to treat the case s I- s'.
The sequences s and s' are then two distinct reduced decompositions of w in
the dihedral group generated by s and s'. By the Remark in no. 2, the order
m of ss' is necessarily finite and, in the notation of that remark, s = Sm and
s' = s~. Consequently, F w(s) = a(s, s') and F,,,(s') = a(s', s) and hence
Fw(s) = Fw(s').
10 COXETER GROUPS AND TITS SYSTEMS Ch. IV
7. FAMILIES OF PARTITIONS
Suppose that (W,S) is a Coxeter system. For any s ES, let Ps be the set of
elements win W such that l(sw) > l(w). We have the following properties:
(A) n Ps = {l}.
sES
Wj = S1 ... Sj
for 1 :,;; .i ~ q; also put w 0 = 1. Since wo E P, by (A') and since w = Wq is
not in P 8 , there exists an integer j with 1 ~ .i ~ q such that Wj-l E P s and
Wj = w1 _ 1 s.i does not belong to P 8 • By (C),
which implies that sw = s 1 ... Sj-!Sj+l ... sq and l(sw) < l(w).
b) w E P 8 : put w' = sw, so that w' rf. Ps by (B'). By a), we then have
l(sw') < l(w'), that is l(w) < l(sw).
Comparison of a) and b) proves that P s consists of those w E W such
· thitt l(sw) > l(w). The exchange condition follows from this as we have seen
.in:a), hence (W, S) is a Coxeter system (Th. 1 of no. 6).
12 COXETER GROUPS AND TITS SYSTEMS Ch. IV
In this number, we assume that (W, S) is a Coxeter system. For any subset
X of S, we denote by Wx the subgroup of W generated by X.
(23)
Prop. 4 of no. 5 shows that Ssw' C { s} U Sw' for s E S and w' E W, which
implies the formula
(24)
by induction on the length of w. By (23) and (24), the set U of w E W such
that Sw c Xis a subgroup of W; we have X c Uc Wx, hence U = Wx.
ls(xw) ~ ls(w) = q.
Let x 1 , ... , Xq be elements of X such that w = ~x 1 ... Xq· Since (W, S) satisfies
the exchange condition (Th. 1 of no. 6), there exists an integer j such that
1 ~ j ~ q and xx 1 ... x 1 _ 1 = x 1 ... Xj_ 1 x 1 . Thus, (Wx, X) satisfies the
exchange condition and is therefore a Coxeter system (Th. 1 of no. 6). This
proves (i).
Assertions (ii) and (iii) follow immediately from Cor. 1 of Prop. 7.
when m ~ 3 (or
if m. = 3) and by
0 0
(n - 1 vertices.).
We show later (Chap. V, § 4) that, conversely, any Coxet.er matrix is the matrix
of a Coxeter system.
by Th. 2 of no. 8. Since W is generated by the union of the Wi, this proves
the proposition.
§ 2. TITS SYSTEMS
The group W = N/(B n N) is sometimes called the Weyl group of the Tits
~ystem (G,B,N,S).
5
Every element of W is a coset modulo B n N, and is thus a subset of G; hence
products such as BwB make sense. More generally, for any subset A of W, we
denote by BAB the subset U BwB.
wEA
16 COXETER GROUPS AND TITS SYSTEMS Ch. IV
B.C(w) = C(w),
we obtain
C(s).C(s).C(w) = C(w) U C(sw). (5)
Taking the inverses of the sets entering into formulas (2), (3) and (5) and
then replacing w by w- 1 , we obtain the formulas
where (i 1 , ... ,ip) denotes the set of strictly increasing seqv.ences of integers
in the interval ( 1, q).
We argue by induction on q, the case q = 0 being trivial. If q ~ 1, we
have C(s 1 ... s 9 ).C(w) c C(s 1 ).C(s 2 .•. s 9 ).C(w). By the induction hypothe-
sis, C(s 2 ... s 9 ).C(w) is contained in the union of the C(sj 1 . . . sivw), where
By (T3), the set C(s 1 ).C(sj, ... SJv w) is contained in the union of the sets
C(s 1 sJ 1 • . • SJpw) and C(sj, ... SJpw). This proves the lemma.
2. AN EXAMPLE
or equivalently,
Identify Gj with GL(2,k); the group BnGj is then identified with the upper
triangular subgroup B 2 of GL(2, k), while the group B' n GJ is identified
18 COXETER GROUPS AND TITS SYSTEM.S Ch. IV
with B2 when w(j) < w(j + 1) and with the lower triangular subgroup B2
otherwise. In the first case, the formula to be proved can be written
this follows for example from the fact that B2 is the stabilizer of a point for
the action of GL(2, k) on the projective line P 1 (k), and acts transitively on
the complement of this point. In the second case, the formula to be proved
can be written -
GL(2, k) = B2B2 U B2sB2;
since B2 = sB 2 s, this follows from the preceding formula by multiplying on
the right by s.
By the induction hypothesis, C(sw') is distinct from C(w) and from C(sw);
from formula (2) it follows that
It would follow that C(s).C(s).C(w) = C(w) and, by formula (5), this would
imply that C(w) = C(sw), which would contradict Th. 1.
We verify (C). Lets, s' ES and w, w' E W with w' = ws'. The assumption
that w E P s and w' t/. P s implies that
by (3).
From (9) and the relation w = w's', it follows that
C(s).C(w') = C(s)w'B,
formula (10) shows that C(s)w' meets C(w') and a fortiori that C(s)w's'B
meets C(w')s'B. It follows from formulas (11) and (12) that the double coset
C(sw) is equal to one of the double cosets C(ws') and C(w); since sw oJ w,
Th. 1 allows us to conclude that sw = ws'.
If u = s2 ... Sq, then w = s1u and ls(s 1v.) > ls('u), so C(w) = C(s1).C(u) by
the theorem. The required formula follows from this by induction on q.
E1:ample. Th. 2, applied to the Tits system described in no. 2, shows that the
symmetric group 6n, with the set of transpositions of consecutive elements,
is a Coxeter gmup.
§ 2. TITS SYSTEMS 21
5. SUBGROUPS OF G CONTAINING B
GxwGv = BWxwWvB.
22 COXETER GROUPS AND TITS SYSTEMS Ch. IV
6. PARABOLIC SUBGROUPS
and
7. SIMPLICITY THEOREMS
61 .
H-H is a subgroup of a group G, the normaliser of H in G is the subgroup 'Jl(H)
consisting of the elements g of G such that gHg- 1 = H. A subgroup H' is said to
(l.onnalise H if H' C 'Jl(H), in which case HH' =- H'H is a subgroup of G in which
!Us normal.
24 COXETER GROUPS AND TITS SYSTEMS Ch. IV
Remarks. 1) Assumptions (2), (3), (4) were not used in the proof that
(G', B', N', S') is a Tits system.
2) Suppose that Zn U = {1}. Since Zand U are normal in B, it follows
that every element of Z commutes with every element of U, and hence with
every element of G 1 . In view of the preceding corollary, it follows that G 1 n Z
is the centre of G 1 .
3) Assumption (3) is implied by the following condition:
(3') U is generated by the commutators b-Lu- 1 bu with u E U and
bEBnG 1 .
and so is (2) since U is soluble. Condition (4) is satisfied if n;;:: 2. One can
show (cf. Algebra, Chap. II,§ 10, Exerc. 13) that (3) is satisfied if n;;:: 3 and
Card(k);;:: 4. Under these conditions, we conclude that Gi/(G 1 nZ) is simple
and that G 1 n Z is the centre of G 1 (cf. Remark 2).
When k is commutative, G 1 = SL(n, k) (cf. Algebra, Chap, III,§ 8, no. 9).
*2) Let g be a simple Lie algebra over C, and let G be the group of inner
automorphisms of g (cf. Chap. III, § 6, no. 2, Prop. 2). By using Th. 5, one
can show that G is simple non-abelian .•
APPENDIX
GRAPHS
1. DEFINITIONS
Let I' = (A, S) be a graph. The elements of A arc called the edges and
those of S the vertices of I'; two vertices are said to be jo·ined if {x, y} is an
edge. A vertex is called terminal if it is joined to at most one vertex, and a
ramification po·int if it is joined to at least three vertices.
In accordance with the general definitions (Sets R., §8), an isomorphism.
from the graph I' to a graph I" = (A', S') is a bijection from S to S' that
takes A to A'. A graph I"= (A', S') is called a subgraph of I' if S' c Sand
A' c A; I' is called a full subgraph of I' if S' c S and A' = An ~(S). It is
clear that every subset of S is the set of vertices of exactly one full subgraph
of r.
To make the arguments easier to follow, we represent a graph by a diagram
having points corresponding to the vertices, two points being joined by a line
if and only if the vertices they represent are joined in the graph. For example,
the diagram
od
;---;--;<o e
represents a graph whose vertices are a, b, c, d, e and whose edges are {a, b},
{b,c}, {c,d} and {c,e}.
P~t I' == (A, S) be a graph. If a and b are two vertices, a path joining a and
;b. is a sequence (Xo, ... , Xn) of vertices of I' with :ro = o., :z:n = b, the vertices
t~ and Xi+l being joined for 0 ~ i < n; the integer n ~ 0 is the length of the
·path · · sai'd to
,,.;"'--. : .Th e pa ti1 (Xo, ... , .Tn ) is · . . 1·t· x; r-t. x,; 1'f"z r-t. .J.· If' a
· b e m.1ect1vc
:.path (xo, ... , Xn) joining a and bis of minimal length among such paths, it is
28 COXETER GROUPS AND TITS SYSTEMS Ch. IV
necessarily injective; for if not, there would exist i and j with 0 ~ i <j ~ n
and xi = Xj and then the sequence
Suppose now that I' is connected and let (S', S") be a partition with the
stated property. By Prop. 1, (iv), the set S' contains at least one connected
component, so S' = S and S" = 0, a contradiction.
of distinct vertices of I' such that n ~ 3, x; is joined to .-ri+l for 1 ::::; i < n
and Xn is joined to .7: 1 . I' is callee\ a forest if there is no circuit in I'; every
subgraph of I' is then also a forest. A connected forest is called a tree; the
connected components of a forest are thus trees.
For any integer n ~ 1, denote by An the graph whose vertices are the
integers 1, 2, ... ,n and whose edges are the pairs {i,j} with i - j = ±1:
2 3 n-1 n
0-----0-----0· .......... ~o------o
§1
such tha.t si E Y and t.i E Z and use Cor. I of Prop. 7 of no. 8).
Show that
7) Construct a group W and two subsets S and S' of W such that (W, S) and
(W, S') are isomorphic Coxeter systems, but such that there exists no inner
automorphism of W transforming S to S' (use Exerc. 4 arid Exerc. 6).
8) Construct a group Wand two subsets Sand S' of W such that (W, S) and
(W, S') are non-isomorphic Coxeter systems, one of them being irreducible
and the other not (for W take a dihedral group of order 12 generated by
{s, s'} where s and s' are of order 2 and s =f:. s', and put S = {s, s'} and
S' = {(ss') 3 ,s',s'(ss') 2 }).
9) Let (W, S) be a Coxeter system with matrix (m(s, s')), and let w+ be
the subgroup of W consisting of the elements of even length. Let so E S. Put
g 8 = sso. Show that the family (gs).sES-{so} and the relations g;'(s,so) = 1 for
m(s,so) i- oo and (g 5 g.~ 1 )m(s,s') = 1 for s,s' E S-{so} and m(s,s') =f:. oo,
form a presentation of w+. (Let H+ be the group defined by the above
presentation. Show that there exists an automorphism a of H+, with square
the identity, that transforms g_. to g; 1 for alls E S-{s0 }. If Ha is the
semi-direct product of {1, -1} and H+, relative to a, define mutually inverse
homomorphisms H0 --> W an cl W --> Ho:.) Show that if the elements of S
are conjugate (cf. Prop. 3), the group w+ is the comm·u.tator subgrov.p of W
(remark that the elements 9s are then commutators).
*11) Let (W, S) be a Coxeter system. Let I'= be the graph whose set of
vertices is S, two vertices .s, .s' being joined by an edge if and only if m(s, s') =I
oo. Let Sa be the connected components of I'00 • Show that W can be identified
with the free product of the W s". In particular, every w E W can be written
uniquely as a product w 1 ... wh with w.; =f:. 1, w; belonging to W 5 0 and,
lengths of the wi .•
.12),Let (W, S) be a Coxeter system such that m(.s, s') is even ifs =I s' and
let X be a subset of S. Show that there exists a unique homomorphism fx
from W to Wx such that fx(s) = s for s EX and fx(s) = 1 for s E S-X.
Deduce that 'vV is the semi-direct product of Wx and the kernel of fx. Show
that if X c Y c S, there exists a unique homomorphism fx,Y from W y to
Wx such that fx = Fx,Y o fy and that W can be identified with a subgroup
34 COXETER GROUPS AND TITS SYSTEMS Ch. IV
of the projective system thus obtained from the Wx as X runs through the
filtered set of finite subsets of S.
, 13) Let (W, S) be a Coxeter system. For s, s' E S, define the sequence
a(s, s') by means of the following rules:
(i) if ss' is of infinite order, a(s, s') is the empty sequence;
(ii) if ss' is of finite order m the sequence a(s, s') is of length m and its even
(resp. odd) numbered terms are equal to s' (resp. s).
Denote by a(s, s 1 ) the product of the sequence a(s, s').
a) Show that the generating set S and the relations s 2 = 1 a11d a( s, s') =
a( s', s) form a presentation of the group W.
b) Let q be an integer ~ 1. Let Eq be the set of sequences of q elements of
S and let Rq be the smallest equivalence relation on Eq for which sequences
of the form (A,a(s,s'),B) and (A,a(s',s),B) (where s,s' ES and A and B
are sequences of clements of S) are equivalent. Let E~ be the set of sequences
s = (s 1 , ... , sq) such that w(s) = s 1 ... Sq is of length q. Show that sequences
s, s' E E~ are equivalent modulo Rq if and only if w(s) = w(s') (argue by
induction on q and apply Prop. 5 of no. 5).
c) Show that a sequences E Eq does not belong to E~ if and only ifs is equiv-
alent modulo Rq to a sequence in which two consecutive terms are equal. (Ar-
gue by induction on q and reduce to the case of a sequence (s 1 , ... , sq) which
does not belong to E~ but which is such that (.s 1 , ... ,s"_ 1 ) and (s 2 , ... ,sq)
belong to E;_
1; use Exerc. 1 to show that s 1 ... sq-I = s 2 ... .s 9 and apply
b).)
*14) Let (W, S) be a Coxeter system and let (r f) be its Coxeter graph. Let
k be an integer ?: 3. If a is an edge of r, put h(a) = f(a) if f(a) i oo
and fk.(a) =kif f(a) = oo. Let (W1;:, S) be a Coxeter system whose Coxeter
graph is equal to (I',h:) (Chap. V, §4, no. 3, Cor. of Prop. 4). Show that
there exists a unique homomorphism 'Pk from W to Wk inducing the identity
on S. Show that if k divides k', there exists a unique homomorphism 'Pk,k'
from Wk' to W, such that 'Pk = 'Pk,k' o 'Pl:'. Show that the homomorphism
(rpk) from W to the projective limit of the Wk is injective (use Exerc. 13) c)),
but in general not surjective (for example, in the case of the infinite dihedral
group) .•
15) 7 Let A be a set and e: a subset of ~(A). The elements of Q'. are called the
chambers of A and a subset F of a chamber C is called a facet, the codimens-ion
of F in C being the cardinal of C- F. A facet F is said to be a panel of C if
F is of codimension 1 in C. Two chambers C and C' arc said to be adjoining
7 Exercises 15 to 24, as well as Exercises 3 to 17 of § 2, are hitherto unpublished
and were communicated to us by J. Tits.
§ 1. EXERCISES 35
16) Let (W, S) be a Coxeter system. For s E S, denote by wrsJ the subgroup
Ws-{s} of W, by A the set of subsets of W of the form wW(s) for w E Wand
s E S, and by <!: the set of subsets of A of the form Cw = {wW(s) I s E S} for
w E W, which we call the chambers of A (Exerc. 15).
a) Show that the map w >--->Cw is a bijection from W onto<!'..
b) Show that two distinct chambers Cw and Cw' are adjoining if and only if
there exists s ES such that w' = ws. Deduce that A (together with Q:) is an
apartment (Exerc. 15), which we call the apartment of(W,S). Show that the
length of a minimal gallery with ends Cw and Gw' is equal to ls(w- 1w').
c) Let ;y- be the set of facets of A and let F E ~. Show that there exist a unique
subset X of S and an element w E W such that w W x =
.. .
n
'i. Then F is said
iEF
to be of type X. Show that the codimension of F is equal to the cardinal of
?C~ Show that the map .i : F >--->
' ·
n
i is a strictly decreasing biject'ion (with
iEF
respect to inclusion) from J to the set of subsets of W of the form wWx for
'!;.:E W and X C S. Show that every facet of type X contains a unique facet
of t;y_p.e Y for every Y such that X C Y c S.
36 COXETER GROUPS AND TITS SYSTEMS Ch. IV
d) Let W act on A be left translations and put C = Ce. Show that W acts
simply-transitively8 on Q'.. Let C 1 , ... , Cn be chambers of A. Show that the
following conditions are equivalent:
(i) the sequence I'= (Co = C, C 1 , ••• , Cn) is an injective gallery;
(ii) there exists a sequence S = (s1, ... , Sn) of elements of S such that C.i =
t.i(Cj_i) for 1 ~ j ~ n, where tj is the element of <P(s) defined in no. 4,
formula (11).
Show that if these conditions are satisfied, the sequence--s is unique and
Cn = s 1 ... sn(C). Show that the gallery I' is minimal if and only if the
sequence s(I') =sis a reduced decomposition of w = s 1 ... s 11 •
e) Let T be the union of the conjugates of S. Fort ET, the set Lt of points
of A invariant under t is called the wall defined by t. Show that Lt is a union
of panels and that a panel F is contained in Li if and only if j(F) is of the
form wW {s} with t = wsw- 1 . Deduce that, for any panel F, there is a unique
element t = t(F) E T such that F C L1.: L1 is callee\ the support of F.
Show that if w(Lt) = L1 (for w E W), then w = 1 or w = t.
f) Let w', w" E W. Put C' = w'(C), C" = w"(C) and let I' = (Co =
C',C 1 , ... ,Cn = C") be an injective gallery with ends C' and C". Let tj
be the element of T defining the support wall of the panel Cj n C.)_ 1 (for
1 ~ j ~ n). Show that the sequence lft(T) = (w'- 1 t_1 w')i~j~n coincides
with the sequence <P(s(w'- 1 (I')). For t E T, let n(r t) be the number of
times w'- 1 tw' appears in lft(I'). Deduce from Lemma 1 of no. 4 that the
number (-1 )n(I',t) depends only on C' and C" and not on I': we denote it by
q(C', C", t). Show that the relation 'f/(C', C", t) = 1 is an equivalence relation
between C' and C" that has two equivalence classes that are permuted by t.
Denote by <r+(t) the equivalence class containing C and by <!:-(t) the other.
Show that, for w E W and s E S, the chamber w(C) belongs to <r+(s) if
and only if l(sw) > l(w).
g) Let A+ ( t) (resp. A - ( t)) be the union of the chambers belonging to (!'.+ ( t)
(resp. ([-(t)) (fort ET). Show that A+(t) n A-(t) =Lt. (To show that
A +(t) n A-(t) c L1i reduce to the case t E S. If a E A +(t) n A-(t), put
a,= ww<sJ withs ES and w being (0,S-{s})-reduced (Exerc. 3). Ifw(C) E
'I-(t), then l(tw) < l(w) and w = ts 1 ... , sq with Sj ES and l(w) = q + 1.
Since a E A-(t), there exists :i: E w<sl such that wx(C) E <r+(t). Then
l(twx) = 1+l(w:i:)=1 + l(w) + l(x),
but since twx = s 1 ... SqX this is a contradiction. Thus, w(C) E l!:+(t) and
l(tw) = 1 + l(w). If x E W(s) is such that l(twx) < l(w:r:), deduce from
Exerc. 1 that t·wx = wx' with x' E w<sJ, and hence that ta = a and a E Li-)
8 Let H be a group and E a non-empty set on which H acts. H is said to act simply-
transitively on E if the map h ,_. h.x is a bijection from H onto .E for all x E E;
then E is said to be a pr·incipal homogeneous set for H.
§ l. EXERCISES 37
The subsets A+(t) and A-(t) are called the halves of A determined by
the wall Lt. Two points of A are said to be on the same side (resp. strictly on
opposite sides) of Lt if they belong (resp. do not both belong) to one of the
two halves. Any facet is contained in one of the halves determined by Lt. If
two facets are contained in different halves, they are said to be on opposite
sides of Li, or to be separated by L1 .
h) Let w E W. Show that l(w) is equal to the number of walls separating C
and w(C).
i) Show that the map tp that takes the half A+(t) (resp. A-(t)) to (1,t)
(resp. ( -1. t)) is a bijection from the set 9J1 of halves of A onto the set
R = {1, -1} x T (cf. 110. 4). With the notation of Lemma 1 of no. 4, show
that tp(w(M)) = Uw(<p(M)) for all w E Wand ME 911.
17) We retain the notation of Exerc. 16 and assume that W is fin'ite. Let
Sj be the set of walls of A. To any H E .fj, we associate the half H+ of A
determined by H containing C. Show that the elements of Sj can be numbered
in such a way that the map j 1-> n Ht is strictly decreasing on the interval
i~j
( 1, Card (Sj)). (Consider the family J' of intersections of the sets H + ordered by
inclusion and co11sider a strictly decreasing sequence (F 0 , ... , Fq) of elements
of J' of maximal length. For auy HE .fj, there exists an i such that H+ ~ Fj
for j :? i and H+ f; F;_ 1: show that Fi = H+ n F;_ i-)
-rr(C) = C; (1)
d(C, Ci) < d(C, C2); (2)
7r (C)
1 i= C. (3)
Show that (1) ==? (2) ==? (3) and deduce that the three conditions are
·equivalent. Show that r. (resp. -rr') is the unique folding of A taking C 2 (resp.
38 COXETER GROUPS AND TITS SYSTEMS Ch. IV
Ci) to C 1 (resp. C 2) (assume that (2) is satisfied and let (C 1 , Cz, ... , C~ = C)
be a minimal gallery: show that 7r1 (Cj+ 1 ) is the unique chamber distinct from
7r'(Cj) and containing the panel 7r'(C'i n C}+ 1 )). Show that 7r(<!) and 7r 1('I)
form a partition of the set 'I of chambers of A and that 7r(a) = 7r 1 (a) = a
for all a E 7r(A) n 7r1 (A). Show that the map from A to itself that coincides
with Jr' on 7r(A) and with 7l' on 7r 1 (A) is an involutive automorphism of A. It
is called the reflection with respect to the panel C 1 n C2. Show that it is the
only non-trivial automorphism of A leaving fixed all the points of C 1 n C 2
(use Exerc. 15 b)).
c) Suppose that A is the apartment associated to a Coxeter system (W, S)
and retain the notation of Exerc. 16. Let C 1 and C 2 be two neighbouring
chambers and let t be the element of T such that the wall Lt is the support
of C 1 n C 2. Let Mj be the half of A determined by Lt and containing Cj (for
j = 1, 2). Show that the map 7l' defined by 7r(a) =a if a E M 1 and 7r(a) = t(a)
if a E M 2 is a folding of A such that 7r(C2) = C 1 and that the reflection with
respect to the panel C 1 n C2 is the map a i-+ t(a).
19) Let A be an apartment. Assume that, for any two distinct neighbouring
chambers C 1 and C2, there is a folding (Exerc. 18) of A taking C 1 to C 2 .
Let C be a chamber of A and (Ci)iEI the family of chambers neighbouring
C and distinct from C. Denote by si the reflection with respect to the panel
C n Ci (Exerc. 18 b)). Put S = {si \ i E I} and denote by W the group of
automorphisms of A generated by the Si·
a) Show that, for any chamber C', there exists w E W such that C' = w(C)
(argue by induction on d(C, C')).
b) Show that (W, S) is a Coxeter system (for i EI, put
21) Let (W, S) be a Coxeter system and A the associated apartment (cf.
Exerc. 16, of which we retain the notation).
a) Show that there exists a unique numbering of A (called the canonical
numbering) for which the type of a facet F is that defined in Exerc. 16 c).
We shall always consider A to be equipped with this numbering.
b) Show that the allowed automorphisms of A are the operations of W.
c) Let D be a subset of A containing at least one chamber. Show that the
following conditions are cqnivalent:
(i) D is the intersection of the halves of A (Exerc. 16 g)) that contain D;
(ii) D is convex;
(iii) whenever two facets F 1 and F2 arc contained in D, the convex hull of
F 1 U F 2 is contained in D;
(iv) whenever a chamber C 1 and a facet Fare contained in D and (C1, ... , Cn)
is a gallery of minimal length such that F C C,., we have C; c D for 1 ~ i ~ n.
(To show that (iii)-==? (iv), use Exerc. 15 b). To show that (iv)~ (i), ar-
gue by contradiction. Let D' be the intersection of the halves of A containing
D; let a ED' - D, let Co be a chamber contained in D and let (C 0 , C 1 , ... , Cn)
be a gallery of minimal length such that a E Gn. Then Ci c D' for all j.
Show that there exists an integer j with 0 ~ j < n such that C.i c D and
qJ+I ¢:. D. Let M (resp. M') be the half of A determined by the support wall
9fthe panel CjnCJ+l and containing Cj (resp. Cj+d· Show that D ¢:. M. Let
.~ E D n (A- M) and let I' = (CJ, C~, ... , C~) be a gallery of smallest possible
length such that b EC~. Then C~, c D for 1 ~ k: ~ p and C~ c M'. Let 7r be
.~he;folding of A with image M' (Exerc. 18 c)): then 7r(C.i) = CJ+ 1 and the
¢allery n(I') is not injective (Exerc. 18 a)). If I'' = (CJ+ 1 , C~, ... , C~_ 2 , C~)
40 COXETER GROUPS AND TITS SYSTE!v!S Ch. IV
is the gallery obtained from rr(I') by suppressing one of the two equal con-
secutive chambers, the gallery (C1 1 CJ+ 1 , C~, ... , C~_ 2 , C~) is minimal by the
definition of I'. Deduce from (iv) that C1+ 1 c D. Contradiction.)
23) We retain the notation of Exerc. 16. Let Aut(A) be the group of auto-
morphisms of the apartment A. Show that. if cp E Aut(A), then <p permutes
the walls of A, and <ptcp- 1 ET for all t ET (use Exerc. 18). Deduce that W
(identified with a subgroup of Aut(A)) is normal and that Aut(A) is the semi-
direct product of the subgroup E of automorphisms preserving the chamber
C by W. Show that the action of Aut(A) on W defines an isomorphism from
E to the group of automorphisms of the Coxeter system (W, S), or to that oJ
the Coxeter graph of (W, S) (cf. also Exerc. 19).
,then P1(a) =a for all a E C and d(C, Ci) < d(C, C2) (consider a minimal
gallery I' with extremities C and C 1 and apply c) to show that p1 (I') is
·minimal; then use Exerc. 15 b)). Show that, if d(C, C 2 ) < d(C, C 1), then
)J1(C) =IC and PI(C) = p1 (C) (take a minimal gallery I' with extremities C
•and C2 and use c) to show that p 1 (I') is a gallery of smallest possible length
·having one extremity equal to p1 (C) and the other containing C 1 nC 2 ; deduce
':.that d(C 1 ,p 1(C 1 )):::;; d(C 2 ,p1(Ci))).
42 COXETER GROUPS AND TITS SYSTEMS Ch. IV
25) Let I be a set and let J" be the set of finite subsets of I. For any A E ~'
put E(A) = (-l)Card(A). Let G be an abelian group written additively, and
let r.p and 1,b be two maps from J to G. Show that the following properties are
equivalent:
r.p(A) = L
Be A
'l/;(B) for all A E J; (i)
26) Let (W, S) be a Coxeter system, with S finite. For any subset H of W,
denote by H(t) the formal power series wit.h integer coefficients defined by
H(t) = L t1(w).
·wEH
W(t) = tmW(C 1 )
(use Exerc. 22).
c) Let X be a subset of S. Denote by Ax the set of (X, 0)-reduced elements of
W (Exerc. 3) and Wx the subgroup of W generated by X. We know (Exerc. 3)
that an element w E W belongs to Ax if and only if l(xw) = l(w) + 1 for
all x E X, that every element w E W can be written uniquely in the form
w = v.v with u E Wx and v E Ax, and that in that case l(w) = l(u) + l(v).
Deduce the formula
W(t) = Wx(t).Ax(t).
d) Retain the above notation and denote by Bx the set of w E Ax such that
l(sw) = l(w) - 1 for alls E S-X. Show that
Ax(t) = L Bv(t).
XCYCS
Deduce that
Bx(t) = L E(Y-X)Ay(t) with E(Z) = (-lfard(Z)
XCYCS
0= L E(Y) .
Yes Wv(t)
g) Show that the formal power series W(t) is a rational function oft (use
f) and argue by induction on Card(S)). Show that this rational function
vanishes whenever tis a root of unity, and that 1/W(oo) is an integer. Show
that wd-i) E Z[[t]].
44 COXETER GROUPS AND TITS SYSTE!v!S Ch. IV
§2
C(w') = C(w).C(s).
Moreover,
and also
C(w) = C(u).C(t)
C(s).C(u).C(t) = C(u).C(t)
and multiplying on the right by C(t), we obtain that C(u) U C(w) =
C(s).C(u) U C(w). Since C(u) f C(s).C(u) by the induction hypothesis, we
have, by b),
C(.s).C(v,) = C(w),
and hence
C(v.) c C(s).C(s).C(v) = C(s).C(w) = C(w),
which is absurd).
d) Let s E S. Show that the map Ps : w f---7 s.w (resp. q5 : w ,_.. w * s) is a
permutation of W and that p; = Id (resp. q,~ = Id). Show that Ps o q1 = qt o Ps
for alls, t ES (study the product C(s).C(w).C(t) for w E Wand show that
(s.w)*t E {w,s.W,W*t,s.(w*t)}; show that (s.w)*t (/: {s.w,w*t} and that
~f.(s.w) * t = w then s.w = w * t and w = s.(w * t)).
e) Show that the group of permutations P (resp. Q) generated by the Ps (resp.
Qs) for s ES acts simply-transitively on W (to show that Pis transitive, use
(2) and argue as in Lemma 1 of no. l; to show that Pis simply transitive, use
d)), Deduce that W has a unique group structure such that the map p ,_.. p(e)
46 COXETER GROUPS AND TITS SYSTEMS Ch. IV
4) Let (G,B,N,S) and (G',B',N',S') be two Tits systems with G = G' and
B = B', and with Weyl groups Wand W'. Let j be the bijection from \\T to
W' defined by the relation
BwB = B'j(w)B'.
Show that j is a group isomorphism between W and W' and that j(S) = S'.
5) Let E = (G, B, N, S) be a Tits system. Put T = B n N and let N be the
normaliser of N.
a) Let b EB n N. Show that bnb- 1 n- 1 EB n N for all n EN (put bn = n'b
and use Th. 1) and that b belongs to the intersection T of the conjugates
nBn- 1 for n EN. Show that T n N = T.
If T = T, E is said to be satv.rated.
b) Put N = N.T. Show that N is a subgroup of G containing T a.5 a normal
subgroup and that N n B = T. Show that the injection of N into N defines
an isomorphism from the Wey! group W of E to N/T.
c) Show that (G, B, N,j(S)) is a satmated Tits system, which is said to be
associated to E.
(Go) Given three distinct chambers C, C' and C" containing the same panel,
there exists an clement g E G such that g(C) =C and g(C') = C".
Choose a chamber C of I and denote by B the stabilizer of C iu G.
a) Show that G acts transitively on the set of chambers of I.
b) Let C' and C" be two chambers. Show that t(C, C') = t(C, C") if and
only if there exist:::; b E B such that C" = b(C') (if t(C, C') = t(C, C") = w,
consider a reduced decomposition s of w alld a minimal gaJlery I'' (resp. I'")
with extremities C and C' (resp. C") and of type s. Argue by induction on
l(w) using (Go) and a)). Deduce that there exists a bijection w r---> B(w) from
W to B\G/B.
c) Let F be the facet of C of type S- {s}. Show that the stabilizer of F in
G is equal to BU B(s) (if g(F) = F, then t(C, g(C)) = 1 or s). Show that
BC B(s)B(s) (use (Go)).
d) Show that B is a Tits subgroup of G and that the Coxeter system of
(G, B) is canonically isomorphic to (W, S). (Let w E W and s E S be such
that ls(sw) = ls(w) + 1. Let g E B(w) and v E B(s); lets= (s 1 , ... ,sn)
be a reduced decomposition of w, (C = C 0 ,C 1 , .. .,Cn = g(C)) a minimal
gallery of types and choose an element.<;; E B(si); show, by using (Go), that
there exist elements b; EB such that G;. = bis 1 •.• b;s 1 (C). Put C'. = 11(Ci-i)
and show that the gallery (C,'u( C), u( C 1 ), ... , v.( Cn)) is of type ( s, s). and is
therefore minimal. Deduce that ug E B(sw) and that B(s)B(w) = B(sw). If
now l(sw) = l(w) - 1, put w' = sw: theu B(s)B(w') = B(w) and hence
12) Let (G, B, N, S) be a Tits system, W = N/(B n N) its Weyl group, I the
(W, SJ-building associated to (G, B) (Exerc. 10) and C = Ce the canonical
chamber of I. Let A 0 be the apartment associated to the Coxctcr system
(W, S) (§ 1, Exerc. 16). For all g E G, let r.p 9 be the map from Ao to I that
takes a point wW(s) of Ao (w E W, s ES) to the point gwG(s) of I.
Show that, for all g E G, the map <p9 is an isomorphism of numbered
buildings from Ao to a subset of I that is the union of chambers gn(Ce)
for n E N. Show that I, equipped with the set ti of \Og(A 0 ) for g E G,
is a structured building (§ 1, Exerc. 24) (to prove (SB 2), remark that, if
g',g" E G, there exist b',b" EB and n EN such that 91 - 1 911 = l/nb";
then put g = g'b'n and show that g'(C) and g"(C) are contained in \Og(Ao)·
To prove (SB 3), reduce to the case of two apartments A' = 'Pe(Ao) and
§ 2. EXERCISES 51
A"= <l'b(A 0 ), with b EB, and show that the map a........, b(a) leaves the points
of A' n A" fixed by using Prop. 2 of no. 5). Show that the Coxeter system
(W,S) and the numbering of I are adapted to (1,11) (§ 1, Exerc. 24 e)) and
that the set J of allowed isomorphisms from Ao to the various elements of 11
is the set of <p9 for g E G.
14) Let (G, B, N, S) be a Tits system and (I,11) the associated numbered
structured building (Exerc. 12). Show that G, considered as a group of au-
tomorphisms of I, satisfies the conditions of Exerc. 13. With the notation of
Exerc. 12, put A= 'Pe(A 0 ) and C = 'Pe(Ce); show that B is the stabilizer of
C in G. Let N be the stabilizer of A in G; show that N/(B n N) can be iden-
tified with W and that (G, B, N, S) is the saturated Tits system associated to
(G,B, N, S) (Exerc. 5).
15) We use the hypotheses and notation of Exerc. 10. Assume moreover that
the Weyl group W of (G, B) is finite and denote by w 0 the longest clement
of W (§ 1, Exerc. 22). Two chambers C and C' are said to be opposed if
:t(C, C') = w 0 •
52 COXETER GROUPS AND TITS SYSTEMS Ch. IV
a) Show that if C and C' are opposed, so are C' and C. Show that there
exists a chamber opposed to any given chamber C. Show that the stabilizer
of a chamber C in G acts transitively on the set of chambers opposed to C.
b) Let C and C' be two opposed chambers. Show that for all w E W, there ex-
ists a unique chamber Cw having the following property: if (s 1 , ... , sk) (resp.
(s'1 , ... , s;,.)) is a reduced decomposition of w (resp. of w' = wow- 1 ), there ex-
ists a minimal gallery (Co= C, C 1, ... , Gn = C') of type (s1, ... ,sk, s~, ... ,s/J
(with n = h + k) such that Gw = Ck (use Exerc. 22of~1 and Exerc. 10, d)
and e)). Show that Cw and Cwwo are opposed. .
c) Let 9J1 be the set of pairs of opposed chambers. For m = (C, C') E 9.n,
let Am be the union of the chambers Cw constructed above. Show that I
equipped with the set U of Am for m E 9J1 is a structured building (§ 1,
Exerc. 24) and that the Coxeter system (W,S) and the numbering of I are
adapted to (I, ti); define a canonical bijection from 9J1 to the set denoted by
J in Exerc. 24 of § 1. We identify these two sets.
d) Let m = (C, C') E 9J1 with C = Ce, and let N be the stabilizer of Am in
G. Show that N/(B n N) can be identified with W and that (G, B, N, S) is a
saturated Tits system (use Exerc. 13).
17) We retain the hypotheses and notation of Exerc. 15 and 16. Choose an
element <p E J taking the canonical chamber C of A0 (§ 1, Exerc. 16) to the
canonical chamber Ce of I and, as in Exerc. 15 d), denote by N the stabilizer
of the apartment cp(Ao) E 11 in the group G. For any subset D of A 0 , denote
by Bo the subgroup of G leaving fixed all the points of cp(D): we have B =Be
and B n N = B Ao.
a) Let o: be a half of Ao containing C. Show that Ba acts transitively on
the semi-apartments of I distinct from cp( a) whose wall is the wall L of cp( o:)
(let X be such a semi-apartment, F a panel contained in L and C' a chamber
of cp(o:) containing F; show, by using Exerc. 16 c) and Exerc. 13 a), that.
there exists g E G such that g(X U cp(o:)) = cp(Ao) and g(C') = C'; show
that g(F) = F and deduce from Exerc. 22 c) of§ 1 that g E Bal· Deduce
that BL acts doubly transitively on the semi-apartments with wall L and
that (BL, B°', BL n N) is a Tits system whose Wey! group is of order 2 (cf.
Exerc. 7).
b) Let D 1 and Dz be two convex subsets of Ao such that C c D 1 c Dz
and that there exists a unique half o: of Ao with 0 1 C o: and D2 c/- o::
then D 1 = D 2 no: (§ 1, Exerc. 21 c)). Show that Bo, = BaB0 2 and that
Ban B02 = B n N (by considering a gallery of smallest possible length having
one extremity equal to C and the other containing a point a E Dz - D 1 ,
show that there exist two neighbouring chambers C~ and C~ of A0 such that
C~ c D 1 , Cz c D2, C~ cf. D 1 and C~ n c; contained in the wall L' of o:.
Put C, = cp(C~), F = cp(C~ n C2) and L =- cp(L'). Show that the convex hull
of D 1 Uc; is equal to Dz. Let b E Bo,: then b(Ci) = C 1 , so b(F) = F and
b(C2) i= C 1 . Deduce that the convex hull of b(Cz) UL is a semi-apartment X
distinct from cp( 0:) and with wall L, and that there exists b' E Ba such that
b1 (<p(Ao)) =XU <p(o:).
Show that b'b(a) =a for all a E cp(D 1 UC~) and that b'b E Bo 2 ).
c) Let (o:i)i(i(q be the halves of Ao containing C, numbered so that the map
.i I-+ n
l(i(j
o:,
s
~s strictly decreasing (cf. 1, Exerc. 17). Show that B = B 0 , . . • Bu 0 and that
if bi,b~ E B0c, with b1 ... bq =Vi ... b~, then b~ E b;(B n N) for 1,::;: i,::;: q.
18) We use the hypotheses and notation of no. 2. Let V, be the vector sub-
:Space of kn generated by c 1 ..•• , e; (for 1 ,::;: i,::;: n - 1).
54 COXETER GROUPS AND TITS SYSTEMS Ch. IV
a) Show that, for any subset X of S, the subgroup Gx (no. 5) consists of the
elements g E G such that g(Vi) =Vi for all i such that si 1- X.
b) Let I be the building associated to a Tits system (G, B, N, S) (Exerc. 10
and 12). Show that the map j that associates to the point gG(i) of I (where
G(i) denotes the subgroup Gs-{s;} of G, in other words the stabilizer of Vi)
the vector subspace g(Vi) is a bijection from I to the set~ of vector subspaces
of kn that are 1- {O} and f. kn, compatible with the action of G.
c) If E is a vector space, a fiag of E is a set of vector sub~paces of E that is
totally ordered by inclusion. Show that elements a1, ... , ak of I belong to the
same facet of I if and only if {.j(ai), ... ,j(ak)} is a flag of kn.
d) Show that G acts doubly-transitively on the set of I-dimensional vector
subspaces of k". Suppose that n ;?: 2 and let N 1 be the subgroup of G gen-
erated by the element that interchanges e 1 and e2 and leaves fixed the other
ei. Show that (G, G(l), N 1 ) is a Tits system whose Wey! group is of order 2.
e) Assume that k is commutative. Set
G' = SL(n, k), B' = G' n B, N' = G' n N and T' = N' n B' = T n G'.
Show that N' /T' can be identified with 6n. and that ( G', B', N', S) is a Tits
system (argue as in no. 2).
20) We use the notation of no. 2, and assume that k is commutative. Consider
the following cases:
(Bt) n = 2l + 1 (with l;?: 1), k is of characteristic =I 2 and kn is equipped
with the quadratic form Q = X1Xn + · · · + x1X1+2 + xl+i;
(Ci) n = 2l (with l ;?: 1) and kn is equipped with the alternating form If>
such that <l>(ei, ei) = 0 for 1 ~ i ~ n, 1 ~ .i ~ n and i ~ .f, except when i ~ l,
.i = n + l - i, when <l>(ei, ej) = l;
(0 1) n = 2l (with l ;?: 2), k is of characteristic i 2 and kn is equipped
with the quadratic form Q = X1Xn + · · · + x1x1+1·
Denote by G 1 the special orthogonal group SO(Q) in cases (Bi) and (D1),
and the symplectic group Sp(<P) in case (Ci). Put
belongs to L and that the map rp * 1/; : x ,....... µ(Ox) belongs to L. Moreover,
if rp E H then <p * 110 E H. Show that the map (rp, 1/;) ,....... <p * 'lj; makes H into
an algebra over k, having as as its unit element, and makes L into a right
H-module.
The algebra H is called the Hecke algebra of G with respect to H and is
denoted by Hk(G, B).
§ 2. EXERCISES 57
at * at' = I:
I"
m( t, t'; t")at",
where m(t, t'; t") is the number of cosets with respect to B contained in
t n gt'- l for all g E t".
e) Let G act on L by left translations. Show that the action of Hon L defines
an isomorphism from H to the commutant of the linear representation of G
on L thus obtained.
*f) Assume that G is finite and that the characteristic of k does not divide
the order of G. Show that Hk(G, B) is absolutely semi-simple over k (Algebra,
Chap VIII, § 7, no. 5) (use Maschkc's Theorem (Chap. V, Appendix) and
Prop. 3 of Algebra, Chap. VIII,§ 5, no. 1).*
g) Assume that G is a topological group and that B is a compact open
subgroup of G. Show that conditions (i) and (ii) are satisfied and that, when
k = R or C, the product i.p *'cf; is simply the convolution product relative
to the right Haar measure on G, normalised by the condition µ(B) = 1 (cf.
Integration, Chap. VIII, § 4, no. 5).
23) Let CW, S) be a Coxetcr system and k a commutative ring. Suppose that
we are given, for all s E S, two elements ,\, and µ 8 of k such that As = As'
and µ._, = µs' whenever s and s' are conjugate in W. Put E = k(W) and let
{ew} be the canonical basis of E.
a) Show that E has a unique algebra structure such that, for s E S and
wEW,
_ { e.,w if l(sw) > l(w)
e... ew - AsCw +µ 8 esw if l(sw) < l(w)
(introduce the endomorphism P s of E defined by the above formulas, where
e8 .ew is replaced by Ps(w), and the endomorphism Qs = jP,j- 1 , where j
denotes the automorphism of E defined by j (ew) = ew-,; show that P 5 Qt =
QtPs for s, t ES by remarking that the conditions l(swt) = l(w) and l(sw) =
l(wt) imply that sw = wt; then argue as in Exerc. 3 e)). The module E,
equipped with this algebra structure, will be denoted by Ek((A 5 ), (µ 8 )). Show
that E((O), (1)) is the group algebra k:[W] of W (Algebra, Chap. lll, § 2, no. 6).
b) Show that the family of generators (es)sES and the relations
e; = A5 e 8 +/.ls for s E S
(esetr = (et es)' for s, t E S such that st is of finite even order 2r
(e_.etr es = (e 1esY et for s, t E S such that st is of finite odd order 2r +1
:form a presentation of the algebra E (argue as in the proof of Th. 1 of no. 6
of§ 1).
58 COXETER GROUPS AND TITS SYSTEIVJS Ch. IV
25) We use the notation of Exerc. 8. Assume in addition that, for all s E S,
the index q5 of B n gBg- 1 in B is finite for all g E BsB.
a) Show that the pair (G, B) satisfies conditions (i) and (ii) of Exerc. 22.
b) Show that, for all I E r' the map x f-> ')'X)'- l defines an automorphism (J
of the Hecke algebra Hk ( G. B) and that a depends only on the class w of I
in Q = I'/(I' n B).
c) Let k:[D] be the group algebra of Q and (ew) its canonical basis. Show that
the linear map j from k[f.?] '2h Hk(G, B) to Hk(G, B) defined by j(ew CZI a.swB)
= aswwB (in the notation of Exerc. 22), for w E Q and w E W, is bijective
and that
F 1(J(eu. (?) x)j(ew' Q9 y)) = Cww' 0 aw(:r)y
for w, w' E Jl and :r, y E Hk(G, B).
let (Xi}__!)e indeterminates. Show that the characteristic polynomial of the cl-
ement I: X;ei of E1 ©K K[(X;)] (resp. Eo ®k k[(X;)]) is of the form P =
1.
P?j n
J
(resp. Q = fIQZ'•), where (n1 1 ••• ,nr) (resp. (m1 1 ••• ,ms)) is the numeri-
k
cal invariant of E 1 (resp. E 0 ), with dcg(Pj) = n.i (resp. dcg(Qk) = mk)·
Show that P; E V[(X;)] and that Q = <p(P). Deduce that there exist integers
c1 k ~ 0 such that
*27) Let (G, B, N, S) be a Tits system and let k be a commutative field. As-
sume that G is finite and that the characteristic of k divides neither the order
of G nor the order of the Wey! group W = N/(BnN). Show that the algebras
Hk(G, B) (Exerc. 22) and k[W] are absolutely semi-simple and have the same
numerical invariant, and hence are isomorphic when k is algebraically closed
(let Qs be the index of B n gBg- 1 in B for g E BsB, s E S. Consider the
algebra Eqxj((X(qs - 1)), (1 + X(qs - 1))) constructed as in Exerc. 23 from
the Coxeter system (W, S) and the polynomial ring k[X] and use Exerc. 26
a) and b), remarking that, by Maschke's theorem (Chap. V, Appendix), the
bilinear form Trk[WJ/d:ry) is non-degenerate) .•
1. NOTATIONS
If A consists of a single point a, we write DH (a) and D'l'l (a) instead of DH ( {a})
and D\)'J({a}).
62 GROUPS GENERATED BY REFLECTIONS Ch. V
2. FACETS
The set of points of E that do not belong to any hyperplane H of the set 5)
is open since f) is locally finite. More precisely, we have the following result:
F =Ln n DH (a).
HE'l'l
(2)
F= Ln n DH(a).
HE':l'l
(3)
It is clear that the right-hand side contains the left-hand side. Conversely,
let x E Ln n
HE'l'l
DH (a). The open segment with extremities 0. and .7; is contained
in Land in each of the Dn(a) for H E 91, and hence in F. It follows that xis
in the closure of F, hence the formula.
F'=Ln n
HE'.l1'
Hn n
HE 1Yl"
DH(a), (4)
F = Ln n D1-1(a) n n
HE'.l1' HE'H"
DH(a), (5)
hence F' CF. We cannot have 91' = 0, for this would imply that F = F' by
(2) and (4), contrary to the hypothesis that b f- F and b E F'. The support
of F' is the set L' = L n n
H; we have a E L, but a f- H for H in 91', so
HE'.l1'
L' /:-Land finally dim L' <dim L, that is dim F' <dim F. This proves (ii).
Let H be in 91' and let D be the open half-space bounded by H and
distinct from DH(a); we have b E H n L, and it is immediate that D n Lis a
half-space of L bounded by the hyperplane H n L of L; consequently, every
neighbourhood of b in L meets D n L, and since D n L is disjoint from F by
(3), we see that the point b of F - F cannot be in the interior of F in the
topological space L. Since F is open in L we have (iii). Q.E.D.
COROLLARY. Let F and F' be two facets. ffF = F', the facets F and F' are
equal.
This follows from (iii).
If these cond'itions are satisfied, L n D'Yl(F) is the unique facet with support
L contained in F.
(i) ==> (ii): Since Fis a union of facets (Prop. 3, (ii)), every facet that
meets F meets a facet contained in F, and so is equal to it.
(ii) ==> (iii): Every point x of F' satisfies (iii) since every hyperplane of
SJ containing x contains F', and hence L.
(iii) ==> (i): Let x be a point satisfying (iii) and let F' be the facet con-
taining x; it is clear that F' meets F. Let H E SJ; then x rt H if H E 91 and
clearly x E H if H rt 91; consequently the support of F' is the intersection of
the hyperplanes of SJ - 91, and is equal to L.
Finally, let F' be a facet with support L contained in F, and let x be a
point of F'; since no hyperplane of 91 c fJ passes through x, Prop. 1 shows
that there exists a convex open neighbourhood U of .T that does not meet
any hyperplane of 91. Since xis in the closure of F, Un F =f: 0; now 91 is the
set of hyperplanes H E fJ that do not contain F', and for all H in 91 we have
DH(x) = Dtt(U) = DH(U n F) = DH(F) and formula (2) implies that
3. CHAMBERS
Let U be the open set in E consisting of the points that do not belong to
any hyperplane of fJ; since a hyperplane of .f) must contain any facet that it
meets, the chambers are the facets contained in U; every chamber is a convex
(hence connected) open subset of Eby Prop. 3, (i); since the chambers form a
partition of U, they are exactly the connected components of U. Every convex
subset A of U is connected, and thus contained in a chamber, which is unique
if A is non-empty. It is clear that the chambers are the facets with support
E, and Prop. 3, (iii) shows that every chamber is the interior of its closure.
Finally, let C be a chamber and A a non-empty subset of C; formulas (2) and
(3) imply that
C = n DH(A) = DfJ(A), -c = n -
DH(A) (6)
HEfJ HEfJ .
since DH(A) = Du(o.) for all a EA.
Remarks. 1) It follows from formula (6) and Prop. 9 that the closure of a
chamber C is the intersection of the closed half-spaces that are bounded by
a wall of C and contain C.
2) Let F be a facet whose support is a hyperplane L; we shall show that F
is a face of two chambers. Let IJ1 be the set of hyperplanes H i= L belonging
to 5); put A = Dl)1 (F) and denote by D+ and o- the two open half-spaces
bounded by L. The set A is open and contains F C L, and since every
point of L is in the closure of D+ and o-, the sets c+ = A n D+ and
c- =Ano- arc non-empty; these are chambers. Moreover, the hyperplane
L meets D<n(F) = D'Yl(C+); Prop. 4 shows that L is a wall of c+ and that
§ 1. HYPERPLANES, CHAMBERS AND FACETS 67
5. INTERSECTING HYPERPLANES
Recall (Algebra, Chap. II, § 9·, no. 3) that two affine subspaces P and P' of E
are said to be para.IIel if there exists a vector t in T such that P' = t + P. It
is clear that the relation "P and P' are parallel" is an equivalence relation on
the set of affine subspaces of E.
Lemma 2. Let H and H' be two distinct hyperplanes of E, and f, f' two affine
functions on E such that H (resp. H') consists of the points a in E S'uch that
f(a) = 0 (resp. f'(a) = O). Finally, let 1 be a hyperplane of E. Assume that
one of the .following hypotheses is satisfied:
a) The hyperplanes H, H' and 1 are parallel.
b) The hyperplanes H and H' are not parallel, and H n H' c L.
Then there exist real numbers >., A', not both zero, such that L consists of
those points a E E at which the affine .function g = >..f + >.' .f' vanishes.
The lemma being trivial when L = H, we assume that there exists a point
a in 1 with a¢ H. Put>.= f'(a), >.' = -.f(a) and
g = >..f + >.'.f';
then >.' f. 0 since a ¢ H; moreover, since H ::f. H', there exists b E H such
that b ¢ H', so that f(b) = 0, f'(b) i= 0, and thus g(b) = - f(a)..f'(b) is non-
zero. The set 1 1 of points where the affine function g =/: 0 vanishes is then a
hyperplane of E; we have g(a) = 0, so a E 1 1 .
· a) Assume that H and H' are parallel: g and f both vanish at every point
of 11 n H, hence so does f' since >.' i= O; thus every point of 1 1 n H belongs
·to H'; but since H and H' are parallel and distinct, they are disjoint, so
11 n H = 0, and Lemma 1 shows that 1 1 is parallel to H. Since a E L and
a E 1 1 , we thus have L = 1 1 .
b) Assume that H and H' are not parallel: by Lemma l, there is a point c
in H n H'; we give E the vector space structure obtained by taking c as the
68 GROUPS GENERATED BY REFLECTIONS Ch. V
PROPOSITION 10. Let C be a chamber, let H and H' be two walls of C, and
let L be a hyperplane meeting DH(C) n Dw(C). Assume that H is d·istinct
.from H' and that one of the following conditions ·is satisfi,ed:
a) The hyperplanes I-1, H' and L are parallel. _
b) The hyperplanes H and H' are not parallel, and H n H' c L.
Then, L meets C.
Let b (resp. b') be a point of the face of C with support H (resp. H'); it is
immediate that every point of the segment [bb'] distinct from b and b' belongs
to C.
Introduce an affine function J that vanishes at every point of H and is such
that f(x) > 0 for x in DH(C); similarly, introduce an affine function f' having
an analogous property with respect to H'. By applying Lemma 2, we can find
numbers ,\ and ,\ 1 and an affine function g having the properties stated in the
lemma. We have (,\, ,\') i= (0, 0), and for every point :c of Ln D 8 (C) n Dw (C),
we have f(x) > 0, f'(x) > 0 and A.f(x) + >.'.f'(.'.C) = 0, so ,\)/ < 0. On the
other hand, we have g(b) = >.'.f'(b) and g(b') = ,\.f(b'), and since f(b') > 0,
J'(b) > 0, we have g(b)g(b') < 0. The points b and b' are thus strictly on
opposite sides of the hyperplane L, hence there exists a point c of L which
belongs to [bb'], and is distinct from b and b', hence that belongs to C.
a) Let a be a point of E, and (ei, ... , ed) a basis of T; every point of E can
thus be written uniquely in the form
(7)
with ~ 1 , ... , ~d being real numbers. Denote by e;the affine function on E
which, at any x E E, written in the form (7), takes the value ~i- Denote by
Hi the hyperplane formed by those x such that e~(x) = 0, and by .fJ the set
of hyperplanes H 1 , ..• , Hd. For every subset J of the set I= {l, 2, ... , d}, put
HJ = n
iEJ
Hi; for every sequence (€1: ... 'Ed) of nm~bers equal to 0, 1 or -1,
denote by F(£t, ... , Ed) the set of those x E E such that e~(:1:) is of sign ci
for all i in I (General Topology, Chap. 4, § 3, no. 2). It is immediate that the
facets defined by .lj in E are the sets F(c 1 , ... , cd) and that these sets are
pairwise distinct; the support of F(c 1 , ... , cd) is equal to HJ if J is the set of
i E I such that ci = O; in particular, the chambers are the sets of the form
F(c 1 , ... , cd) where each of the numbers£; is equal to 1 or -1.
The set C = F(l, ... , 1) formed by those x with e;(:r) > 0 for all i EI is
a chamber, called the open simpl·icial cone with vertex a defined by the basis
§ 1. HYPERPLANES, CHAMBERS AND FACETS 69
(e 1 , ••• , ed). Its closure consists of the points x such that e;(x) :;:;: 0 for all
i E I when d:;:;: l; otherwise, its closure is empty. For every subset J of I, let
CJ be the set of points :r of E such that e;(x) = 0 for i E J and e;(x) > 0 for
'i E I - .J. Then C.1 is a facet with support HJ, and it is an open simplicial cone
with vertex a in the affine space Hi; moreover, C = LJ CJ. In particular, the
Jc I
walls of C are the hyperplanes Hi for i E I, and the face of C contained in Hi
is equal to c{i}·
None of the sets H;, HJ, C, CJ and F(E 1 , ... , c:d) change if we replace the
basis (e 1, ... ,ed) by a basis (,\ 1 e 1 , ... ,,\ded) with A;> 0 for all i.
b) Suppose now that we are given an affinely free ::;ystem of points of E,
say (a 0 , a 1 , ..• , ad)· We know that every point of E can be written uniquely
in the form x = fo.a 0 + · · · + ~d.a.d, where (a, ... , ~d are real numbers with
fo+· · -+~d = 1 (Algebm, Chap. 2, § 9, no. 3). Define affine functions fo, ... , fd,
the function fi associating to the point x, written a::; above, the number ~i·
Denote by Hi the hyperplane of E defined by f; (x) = 0 and by Sj the set of
hyperplanes Ho,H 1 , ... ,Hd; finally, put I= {0,1, ... ,d}. The open simplex
with vertices ao, ... , ad is the set C of points x of E such that fi (:z:) > 0 for
all i E I; it is one of the chambers defined by Sj in E. The closure of C is the
set C of points x such that f;(x) :;:;: 0 for all i E I; it is the convex envelope
of the finite set {a.a, . .. , ad} and it is easy to see that the extreme points of
C are ao, ... , ad.
For any subset J of I distinct from I, put H.1 = n iEJ
H; and let C.J be the set
of points :r: of E such that f;(x) = 0 for i E J and f;(x) > 0 for i E I-J. The
set CJ is an open simplex in the affine space H1 with vertices the points ai
for i E 1-J; we have C 0 = C, C = U CJ and C.1 i C.1' if J =I .J'; moreover,
JI!
CJ is a facet with support H.1. In particular, the walls of C are H0 , ... , Hd
and c{i} is the face contained in H.;.
For any non-empty subset K of I, let BK be the set of points x of E such
that fi(:r:) > 0 for i E K and fi(x) < 0 for i E I- K. The sets BK are the
chambers defined by Sj in E and we have I31 = C. It is easy to see that C is
compact; on the other hand, if K is a subset of 1 distinct from I, of cardinal
p, the chamber BK contains the sequence of points x,.. defined for n :;:;: 2 by
for i EK
f;(Xn) = { (1 - pn)/(d + 1- p) for i E I- K
§ 2. REFLECTIONS
1. PSEUDO-REFLECTIONS
2. REFLECTIONS
Recall that from now on, unless stated otherwise, the field K is assumed to
be of characteristic different from 2. A reflection in V is a pseudo-reflection
s such that s 2 = l; ifs is a reflection, we denote by v;the kernel of s - 1
and by v; that of s + 1.
and hence that sa,n.• is a reffoction if and only ~f (a, a.*) = 2. In this case, we
have Sa,a.• (a) = -a.
§ 2. REFLECTIONS 73
3. ORTHOGONAL REFLECTIONS
B(x,a)
s (x ) = :r - 2---.o. for any x EV, (4)
B(a,a)
by Algebra, Chap. IX, § 6, no. 4, formula (6). The reflection s is also called
the orthogonal reflection wit.Ji. respect to H.
PROPOSITION 4. Assv.me that V is .finite dimensional. Let B be a non.-
degenerate symmetric bilinear form. on V, X a subspace of V and x 0 the
orthogonal complement of X with respect to B; .finally, lets be the orthogonal
reflect-ion with respect to a non-isotropic hyperplane H of V. The .following
conditions arc equivalent:
(i) X is stable under s.
(ii) x0 is stable under s.
(iii) H contains X or x 0 .
We have Vi = H, and by what we have said, v.; is the orthogonal
complement H 0 of H with respect to B. By Prop. 3, Xis stable under s if and
only if X C H or H° C X; but the relation H 0 c X is equivalent to x° C H by
Algebra, Chap. IX, § 1, no. 6, Cor. 1 to Prop. 4. This proves the equivalence
of (i) and (iii); that of (ii) and (iii) follows by interchanging the roles of X
and X 0 , since (X 0 ) 0 = X.
We retain the notation of the preceding number, and let E be an affine space
of which V is the space of translations. Giving the form B on V provides E
·. with the structure of a euclidean space (Algebra, Chap. IX, § 6, no. 6).
Let H be a non-isotropic hyperplane of E. The symmetry with respect
to H (Algebra, Chap. IX, § 6, no. 6) is also called the orthogonal reflection
with respect to H; we often denote it by SH. We have s~ = 1 and SH is the
unique displacement (loc. cit., Def. 3) of E, distinct from the identity and
leaving fixed the elements of H. The automorphism of V associated to SH
·is the orthogonal reflection with respect to the direction of H (which is a
~:non-isotropic hyperplane of V).
74 GROUPS GENERATED BY REFLECTIONS Ch. V
SH ( h + V) = h - V.
PROPOSITION 5. Let H and H' be two parallel, non-isotropic hyperplanes
of E. There exists a unique vector v E V orthogonal to H and such that
H' = H + v. The displacement SH'SH is the translation by the vector 2v.
The existence and uniqueness of v are immediate. The automorphism of
V associated to sw SH is the identity; thus SH' SI-I is a translation. On the
other hand, let a EH'; then a - v EH and
is thus a real number 8 such that 0 :::;; () < 27r (resp. 0 :::;; () < 7r) (General
Topology, Chap. VIII,§ 2, no. 3 and no. 6). By abuse of language, for any real
number 8, WC shall use 8 to denote an angle Whose measure is{) and denote
by Po the rotation with angle() (Algebra, Chap. IX, § 10, no. 3).
COROL~RY. Let D and D' be two lines of V and let() be a measure of the
angle (D, D'). Then sn,sn =PW·
We know that sn' so is a rotation since it is of determinant 1. Let L'i and
Ll' be two half-lines starting at the origin carried by D and D'. We have
COROLLARY. Let C be the open angular sector formed by the union of the
·open half-lines L'i 1 starting at the origin and such that 0 < (L'i-;Lii) < e. Then
76 GROUPS GENERATED BY REFLECTIONS Ch. V
1. PRELIMINARY RESULTS
Fig. 1
(ii) Let C' be a chamber and a' E C'. By what we have proved, there
exists w E Wrm such that w- 1 (a 1 ) EC; hence, the chamber C' meets w(C);
since w(C) is the union of w(C) and facets with empty interior (§ 1, no. 2,
Prop. 3), we have C' = w(C).
(iii) We have to prove that W = Wm and for this it suffices to prove
that sw E Wm for all H' E Sj. Now H' is a wall of at least one chamber
C' (§ 1, no. 4, Prop. 8); we have seen that there exists w E W!J.J1 such that
C' = w(C); consequently, there exists a wall H of C such that H' = w(H),
hence SH' = W.SH.w- 1 E w<JJI.
of H; hence, the chambers sw (C) and C are on opposite sides of the hy-
perplane w- 1 (H). Let a be a point of the face of C with support H'. The
point a= SH' (n) is in the closure of the two chambers C and sH' (C) that are
contained respectively in the two open half~spaces bounded by w- 1 (H); thus,
a E w- 1 (H), so H' = w- 1 (H). From this we deduce that sH' = w- 1 s1-1w,
hence WS[-!I = SH'W·
Assertions (i) and (ii) follow from this and Prop. 6 of Chap. IV,§ 1, no. 7.
Moreover, we have (loc. cit., condition (A))
n
HE9'Jl
Ptt = {l}. (3)
from S to S' = S(C'), and we have m(f(s), .f(s')) = m(s, s'). It follows that,
if W acts on the set X of pairs (C, s), where C is a chamber and s E S(C),
by w.(C, s) = (w(C), wsw- 1 ), each orbit i of W in X meets each of the
sets {C} x S(C) in exactly one point, which we denote by (C, si(C)). Thus,
if I is the set of orbits and i,j E I, the number mi.i = m(si(C), sj(C)) is
independent of the choice of chamber C. The matrix M(W) = (mij)i,JEI is a
Coxetcr matrix called the Coxetcr matri.1; of W. The Coxeter graph associated
to M(W) (Chap. IV,§ 1.. no. 9) is called the Coxeter graph of W.
Let C be a chamber. For any i E I, denote by Hi (C) the wall of C such
that si(C) is the reflection with respect to Hi(C) and by ei(C) the unit vector
orthogonal to H;(C) on the same side of H;.(C) as C. The map if--> Hi(C) is
called the canonically indexed family of walls of C.
(resp. H;). Then (a' - ale;)> 0 and (a - a'le1) > 0, which excludes the case
e.; =ej and proves (i).
Assume now that Hi and Hj are not parallel. Choose an origin a E HinHj
and identify T with Eby the bijection t ,.._.. a+t. Let V be the plane orthogonal
to Hif\Hj and passing through a. Put I'= VnDH; (C)nDH; (C) (where DH(C)
denotes the open half-space bounded by Hand containing C (§1, no. 1)) and
let D (resp. D') be the half-line in V contained in H; n V (resp. Hj n V) and
in the closure of I'. For a suitable orientation of V, the set I' is the union of
the open half-lines L1 in V such that
Lemm.a 3. Let q be a positive qu.adral'ic for-m on a real vector space V and let
B be the associated symmetric bilinear form. Let a. 1 , . .. , an be elements of V
such that B(a;,a-;) ~ 0 fori f=.j.
(i) If c 1 , ... , Cn are real numbers su.ch that q (2( c;a,) = 0, then
Then:
(i) The kernel N of q is of dimension 0or1. If dimN = 1, N is generated
by a vector all of whose coordinates are > 0.
(ii) The smalle8t eigenvalue of Q is of multiplicity 1 and a corresponding
eigenvector has all its coordinates > 0 or all its coordinates < 0.
Since q is a positive quadratic form, the kernel N of q is the set of isotropic
vectors for q (Algebra, Chap. IX, § 7, no. 1, Cor. of Prop. 2). Let a 1 , ••. , an
be the canonical basis of R". If L C-iUi E N, Lemma 3 shows that we also
have L
.,
jcija; E N, and hence L ~Jilc;j =
!
0 for all j. Let I be the set of i
such that c., f= 0. If j ¢ I, then QJi lei I :( 0 for i E I and Qji [c; I = 0 for
i rt I, so Qii = 0 for .i ¢ I and i E I. Assumption b) thus implies that either
I = 0 or I = { 1, ... , n}. Consequently, every non-zero vector in N has all
its coordinates i 0. If dim N ): 2, the intersection of N with the hyperplane
with equation Xi = 0 would be of dimension ): 1, contrary to what we have
just shown. The preceding argument also shows that, if dim N = 1, then N
contains a vector all of whose coordinates are > 0. This proves (i).
On the other hand, we know that the eigenvalues of Q are real (Algebra,
Chap. IX, § 7, no. 3, Prop. 5) and positive since q is positive. Let ). be the
smallest of them. The matrix Q' = Q- Al,, is then the matrix of a degenerate
positive form q' and the off-diagonal elements of Q' are the same as those of
Q. Consequently, Q' satisfies conditions a), b) and c) of the statement of the
lemma. Since the kernel N' of q' is the eigenspace of Q corresponding to the
eigenvalue >., assertion (ii) follows from (i).
of the quadratic form q on R", with matrix Q, is the set of (c 1 , ... , en) ER"
such that 2:= c;ei = 0. If N = {O}, the ei are linearly dependent and we are
i
in case 1). If dimN > 0, Lemma 4 (i) shows that we arc in case 2).
Lemma 6. Let (e 1 , ... , en) be a basis of T S'uch that (eilej) :;;:; 0 for i =I j.
(i) If x = 2:= cie.; E T is S'UCh that (xlei) ~ 0 for all i, then Ci ~ 0 for all i.
t
(ii) !f x and y arc two elements of T such that (xlei) ~ 0 and (ylc;) ~ 0
for all i, then (xly) ~ 0. If (xlei) > 0 and (yje.;) > 0 for all i, then (::i:jy) > 0.
Under the hypotheses of (i), assume that Ci < 0 for some i. Let f be the
linear form on T defined by f (ei) = 1 and
The vectors - .r, e 1 , ... , en then satisfy the hypotheses of Lemma 3 (ii) (taking
for q the metric form on T). We conclude that they are linearly independent,
which is absurd. Hence (i). Moreover, if x = 2:= c.;e; E T and if y E T, then
i
6. FINITENESS THEOREMS
Lemma 'l. Let A be a set of ·un:it vectors in T. If there e.rists a real nmnber
>. < 1 ,mch that (a.la') :;;:; >. for a, a' E A and a =f o.', then the set A is finite.
For a, o.' E A such that a. f:. a.', we have
Since 9J1 is finite, they are finite in number. Since a facet meets only finitely
many hyperplanes belonging to f), the set of hyperplanes belonging to f) and
meeting C is finite, hence so is the set A(C) of unit vectors in T orthogonal to
some hyperplane belonging to f) and meeting C. Consequently, there exists
a real number>.< 1 such that (ala')~>. for a,a/ E A(C) and a =fa'.
Let A be the set of unit vectors in T orthogonal to a hyperplane belonging
to f). Let a, a' E A with a =f a'. If a and a' are parallel, then a = -a' and
(ala')= -1. Otherwise, let HE f) (resp. H' E fJ) be such that a (resp. a') is
orthogonal to H (resp. H'). We have HnH' =f 0, and if x E HnH' there exists
an element w E W such that x E w(C). The vectors U(w).a and U(w).a' then
belong to A(C), we have
Let I be the set of vertices of the Coxeter graph of W (no. 4) and let J be
a subset of I such that no vertex in .J is linked to any vertex in I - J. Ley C
be a chamber, s the canonical bijection from I to the set of reflections with
respect to the walls of C, and let W 1 ,c be the subgroup generated by the
image s(J). It follows from Chap. IV, § 1, no. 9, Prop. 8, that Wis the direct
prod11.ct of the two subgroups W1,c and W1-J,C· Let C' be another chamber
and s' the corresponding injection of I into W. We have seen (no. 4) that if
w E W transforms C into C', then s'(i) = ws(i)w- 1 for i EI. Since WJ,C is
normal in W, it follows that s'(i) E W1,c for all i E J. We deduce that the
S?tbgroup W1.c does not depend on C. We denote it simply by w_, from now
on.
(i) Let i be in Jp; since ei E T P and T is the direct sum of the mutually
orthogonal subspaces T 0, T 1 , ... , Ts, the hyperplane of T orthogonal to ei is
of the form Li + T~, where L; is the hyperplane of T P orthogonal to e;. The
affine hyperplane H; of E is of the form L; + T;>
+ x, with x E E, and we have
H; = Eo x E 1 x · · · x Ep- 1 x H~ x Ep+ 1 x · · · x Es (6)
D; = Eo x E1 x · · · x Ep-1 x D~ x Ep+1 x · · · x E .. ,
9. STRUCTURE OF CHAMBERS
Let C be a chamber, let 9Jl be the set of walls of C, and for H E 9Jl let eH be
the unit vector orthogonal to H on the same side of H as C.
only if it is on the same side of Hm as tm for 0 :::.; m. :::.; d; this translates into
the inequalities (tlt 1 ) > 0, ... , (tltd) > 0, and (tlto) > -c, or equivalently
by 6 > 0, ... , t:d > 0, c 1t: 1 + · · · + C<1{<1 < r:. Since C is non-empty, c > 0.
Put am = a 0 + _s_ Cm
.t~ for 1 :::.; m :::.; d; then the chamber C consists of the
d
points of E of the form ao + I: A,.,,.. (am - ao) with A1 > 0, ... , Ad > 0 and
m=l
A1 +···+Ad < 1, so C is the open simplex with vertices a 0 , ... , ad. Q.E.D.
Assume (iii). Let HE Sj; take H' as in (iii). Then sH'(a) =a, so SH' E Wa;
since H is parallel to H', the element w = swsH of W is a translation (§ 2,
no. 4, Prop. 5), sow EL; then SH= 8H W E W 0 .L. Since Wis generated by
1
the family (sH)HEfJ• it follows that W = Wa.L and hence (iii) implies (i).
When W is finite and essential, there is only one special point for W, namely
the unique point invariant under W. Thus, the consideration of special points
is interesting mainly when W is infinite.
PROPOSITION 11. Assume that W is essential. Let a lie a special point for
W. The chambers relative to W a are the open simplicial cones with vertex
a. For every chamber C' relat-ive to W a, there exists a uniq·ue chamber C
relative to W contained in C' and such that a E C. The union of the w' (C)
for w' E W a is a closed neighbourhood of a in E. Every wall of C' is a. wall of
C. If W is infinite and 'irreducible, the walls of C are the walls of C' together
w1.th an affine hyperplane not parallel to the walls of C'.
Let f)' be the set of H E Sj containing a. The group W a is generated by
the SH for HE Sj' (no. 3, Prop. 2). The chambers relative to Wa. are the open
simplicial cones with vertex o. (no. 9, Prop. 7). Let C' be such a chamber and
let U be a non-empty open ball with centre a not meeting any element of
fJ - Sj'. Since a E C', there exists a point b in Un C'. Then b tf_ H for all H E f),
so b belongs to a chamber C relative to Sj. Since Sj' c f), we have C c C'. The
set Un C' does not meet any H E Sj and is convex, so Un C' c C; thus a E C.
Conversely, let C 1 be a chamber relative to Vv contained in C' and such that
§ 3. GROUPS OF DISPLACEMENTS 93
since the union of the w' (C) for w' E W a is dense in E, the union of the
Un w' (C) = Un w' ( C') is dense in U, and the union of the w' (C) for w' E W a
thus contains U. Finally, if H is a wall of C', there exist a point c E U n H
and an open neighbourhood V c U of c such that V n C' is the intersection
of V and the open half-space bounded by H containing C'; since V n C' =
V n U n C' = V n U n C = V n C, it follows that H is a wall of C. If W is
infinite and irreducible, C is an open simplex (no. 9, Prop. 8) and so has one
more wall than the open simplicial cone C'.
Remark. 2) The set L(a) is contained in the set of special points, but in
general is distinct from it (cf. Chap. VI, § 2, no. 2 and Plates I to VI).
94 GROUPS GENERATED BY REFLECTIONS Ch. V
§ 4. GEOMETRIC REPRESENTATION OF A
COXETER GROUP
In this paragraph, all the vector spaces considered are real vector spaces.
Let S be a set and let M = (m(s, s')s.s'ES) be a Coxeter matrix (Chap. IV,
§ 1, no. 9) of type S. Recall that this means:
(1) The elements of M are integers or +oo.
(2) M is symmetric.
(3) m(s, s) = 1 for alls.
(4) m(s, s') ~ 2 for s =Is'.
Let E = R(S), let (es)sES be the canonical basis of E, and let BM be the
bilinear form on E such that
7f
B1v1(es,e 8 )=-cos
1 ( ).
m. s,s'
The form BM is symmetric. It is called the assocfoted .form of the matrix
M. We have
and in particular
7r
as(e,1)=es 1+2cos ( ')"es.
m. s,s
Since e 8 is not isotropic for BM, the space Eis the direct sum of the line Res
and the hyperplane Hs orthogonal to e 8 • Since a, is equal to -1 on Res and
to 1 on H" it follows that as preserves the form BM. When S is finite and
BM is non-degenerate (a case to which we shall return in no. 8), it follows
that a 5 is an orthogonal refiection (§ 2, no. 3).
§ 4. GEOMETRIC REPRESENTATION OF' A COXETER GROUP 95
In this number, we denote by s and s' two elements of S with s i= s'. Put
m = m(8, s') and denote by Es.s' the plane Res@ Re.5 1 •
which shows that B;v1 is positive on Es,s', and that it is non-degenerate there
if and only if sin :!;i i= 0. The proposition follows.
The reflections <7 s and <7s' leave Es,s' stable. We are going to determine
the order of the restriction of <7 8 <7 s' to Es,s'. We distinguish two cases:
a) m = +oo.
Let u = es+ e8 1. \Ve have BM('u, P.s) = Brv1(u, es') = 0, sou is invariant
under <7 8 and a 8 1. .Moreover,
orient Es,s' so that the angle between the half:. lines R+ es and R+ es' is equal
to 7r - :!;i. If D and D' denote the lines orthogonal to es and es',
- - 1T
(D',D) = 7r - (D,D') = - .
rn
Now, the restrictions as and as' of <7 s and cr s' to Es,s' are the orthogonal
symmetries with respect to D and D'. By the Cor. to Prop. 6 of§ 2, no. 5, it
follows that 0' 8 0 8 is the rotation with angle ;;: . In particular, its order ism.
1
We now return to E:
from a) above. When m(s, s') is finite, it follows from Prop. 1 that Eis the
direct sum of Es,s' and its orthogonal complement V s,s'; since as and as' are
the identity on V s,s', and since the restriction of a 5 a s' to Es.s' is of order
m(s, s') by b), the order of a 5 <J5 is indeed equal to m(s, s').
1
Cl : W --> GL(E)
such that a(g 8 ) = <J5 for alls E S. The elements of a(W) preserve the bilinear
form BM.
To prove the existence and uniqueness of Cl, it is enough to show that
(ClsCls' rn·<s,s') = 1 if m(s, s') :/- +oo. Now, ifs = s', this follows from the
fact that Cls is of order 2; ifs:/-- s', it follows from what we proved in no. 2.
Finally, since the reflections a,, preserve BM, so do the elements of <J(W).
Remark. 1) We shall see in no. 4 that Cl is injective; the group W can thus
be identified with the subgroup of GL(E) generated by the <J 5 •
S r--+ 9s >-7 as
4. CONTRAGREDIENT REPRESENTATION
Let E* be the dual of E. Since W acts on Evia (J, it also acts, by transport
of structure, on E*. The corresponding representation
(J* : W ~ GL(E*)
o*(W) n U = {l};
thus, (J*(W) is a discrete subgroup of GL(E*). By transport of structure, it
follows that o(W) is discrete in GL(E).
98 GROUPS GENERATED BY REFLECTIONS Ch. V
Proof of Theorem 1.
If w E W, denote by l(w) the length of w with respect to S (Chap. IV,
§ 1, no. 1).
We are going to prove the following assertions, where n denotes an integer
~ 0:
(Pn) Let w E: W, w'ith l(w) = n, ands ES. Then:
either w(C) C As;
or w(C) c s(A,) and l(sw) = l(w) - 1.
(Qn) Let w E W, with l(w) = n, and s,s' ES, sf:. s'. Let Ws,s' be !:he
s·ubgroup of W generated by s and s'. There exists u E vV s,s' such that
w(C) C u(As n A,,) and l(w) = l(u) + l(u- 1 w).
Lemma 1. Let s, s' E S, with s is', and let v E W s,s'. Then v(As n As') is
contained in either As or in s( A,), and in the second case l( sv) = l (v) - 1.
or
s'u(As n As') C s(As) and a fortiori w(C) C s(A 5 ).
Moreover, in the second case, l(ss'u) = l(s'u) - 1. Hence
Then
w(C) C sv(As n As')
and
l(w) = 1 + l(sw) = 1 t- l(v) + l(v- 1 sw)
? l(sv) + l((sv)- 1 w):;::: l(w),
so the inequalities above must be equalities. It follows that (Qn+il is satisfied
with u = sv.
Proof of the theorem.
Let w E W, with w jc l. We can write win the form sw' withs ES and
l(w') = l(w) - 1. By (P 11 ), applied tow' and n = l(w'), we have w'(C) C As,
since the case w'(C) c s(A,) is excluded because l(sw') = l(w) = l(w') + 1.
So w(C) = sw'(C) C s(A,), and o;incc As and s(A 5 ) are disjoint, we have
C n w(C) = 0. Q.E.D.
5. PROOF OF LEMMA 1
Let E;,,, be the dual of the plane E,,,s' =Res (B Re 5 1 (no. 2). The transpose
of the injection Es,s' __, E is a surjection
p : E* __, E;,,,
that commutes with the action of the group W s,s'. It is clear that A 5 , As'
and As n As' a.re the inverse images under p of corresponding subsets of E;,s'
(considered as the space of the contragredient representation of the Coxeter
group W s,s'). Moreover, since the length of an clement of W s,s' is the same
with respect to {s,s'} and with respect to S (Chap. IV,§ 1, no. 8), we are
reduced finally to the case where S = {s,s'}: if m = m(s,s'), the group Wis
then a dihedral group of order 2m.
We now distinguish two cases:
a) m = +oo.
Let (E,E 1 ) be the dual basis of (e,,e 5 1). Then
S.E=-E+2E 1 , S 1 .E=E,
S.E 1 = E1 , S 1 .E 1 = 2E - E1 •
100 GROUPS GENERATED BY REFLECTIONS Ch. V
e
be the affine bijection t .-.. @( t) = tc: + (1 - t )c:'. Let In be the image under
of the open interval )n, n + 1(, and let Cn be the union of the ,\In for ,\ > 0.
Then Co = C; moreover, by the Remark of § 2, no. 4, applied to the affine
space D, the In are permuted simply-transitively by W; hence so arc the Cn.
If v E W, v( C) is equal to one of the Cn, hence is contained in As if n ~ 0
and in s(A,) if n < 0. In the second case, Io and In are on opposite sides of
the point c-'; hence l(sv) = l(v) - 1 (lac. cit.).
b) m is finite.
The form BM is then non-degenerate (no. 2) so we can identify E* with E.
We have seen that E can be oriented so that the angle between the half-lines
R+es and R+es' is equal to K - ;;;. Let D (resp. D') be the half~line obtained
from R+es (resp. R+es') by a rotation of' 7f /2 (resp. -11 /2), cf. Fig. 2. The
chamber C is the set of x E E whose sea.Jar product with Cs and Cs' is > O; this
is the open a.ngula.r sector with origin D' and extremity D. By the Remark
of § 2, no 5, every element v of W transforms C into an angular sector that
is 011 the same side of D as C (i.e. is contained in As) or on the opposite side
(i.e. contained in s(A,)), and in the latter case
l(sv) = l(v) - 1,
D D'
Fig. 2
§ 4. GEOMETRIC REPRESENTATION OF A COXETER GROUP 101
Cx = ( n Hs) n ( n
sEX sES-X
As) .
We have Cx CC, C0 = C and Cs= {O}. The sets Cx, for XE B(S), form a
partition of C.
On the other hand, recall (Chap. IV, §I, no. 8) that Wx denotes the
subgroup of W generated by X. Clearly w(x*) = x* for w E Wx and x* E Cx.
C nw(C) c Hs.
Then s(x*) = x* for all x* EC n w(C), and a fortiori for all
x* E Cx' n w(Cx).
Consequently, the relation Cx' n w(Cx) I- 0 implies on the one hand
that Cx· n Hs i 0, and hence that s E X', and on the other hand that
Cx, n sw(Cx) :/; 0. The induction hypothesis then implies that X = X' and
swWx = Wx' = Wx, so sw E Wx and w E Wx since s E Wx. It follows
that wWx = Wx' and that w(Cx) = Cx = Cx'·
Now let U be the union of the w(C) for w E W, and let ;J be the set of
subsets of U of the form w(Cx), with X C S and w E W. By the above, 3' is
a partition of U.
102 GROUPS GENERATED BY REFLECTIONS Ch. V
We retain the notation of the preceding nos., and assume that S is finite.
that, for all s E S, E' i:;; contained in the hyperplane H,, orthogonal to e,,.
Since the intersection of the Hs is equal to E 0 , this proves the proposition.
8. FINITENESS CRITERION
We retain the notation of the preceding nos., and assume that S is finite.
Ti Ti 1
BM(es,es+ 1 ) =-cos-~ -cos-~--?.,
' ' ni; 3 _
and similarly for BM (es,,, e5 i). Since the other terms in the sum are ~ 0, we
obtain
BM(x,x)~n-n=O,
2 The roots of the equation z 3 - 1 = 0 are 1 and -J~iv'3. Thus cos~ = - ~ and
consequently cos j = ~. Note also that sin 2; = 1, hence
• 1T J3 71 511 J3 . 7r . 57T l
s111 3 = T, cos 6 = - cos 6 = 2 , sm 6 = sin 6 = 2.
In this number, we assume that Sis finite, that (W, S) is irreducible, and that
the form BM is positive and degenerate.
with the orthogonal group of the Hilbert space T and is thus compact. On
the other hand, G is a locally compact group countable at infinity and A is
a Bail'e space: it follows (Integration, Chap. VII, Appendix, Lemma 2) that
the map ·tj; : g f-4 g(a) defines a homeomorphism from G/Ga to A. Thus G
acts properly on A (General Topology, Chap. III,§ 4, no. 2, Prop. 5). Since W
is a subgroup of G, it can be identified with a group of displacements of A.
We are going to show that this group satisfies the assumptions of § 3. More
precisely:
PROPOSITION 10. The group W provided with the discrete topology acts
properly on A; it is generated by orthogonal reflections; it is infinite, irre-
ducible and essential (§ 3, no. 7). The intersection C n A is a chamber of A
for W. If Ls denotes the hyperplane of A formed by the intersection of A
with the hyperplane of E* orthogonal to es, the Ls for s E S are the walls of
CnA. ff E., is the unit vector ofT orthogonal to L, on the same side of Ls as
C n A, then (cslc 1 ) = - cos(11'/m(s, t)) (for s, t ES) and the Coxeter matri.T
of W (§ 3, no. 4) is ident~fied w·ith M.
By Cor. 3 of Th. 1, W is discrete in GL(E), and hence in G, and acts
properly on A. Let s E S. Since Card S ~ 2, the hyperplane of E* orthogonal
to es is not orthogonal to v and its intersection L,. with A is indeed a hyper-
plane. The displacement corresponding to s is thus a displacement of order 2
leaving fixed all the points of Ls: it is necessarily the orthogonal reflection as-
sociated to Ls. It follows that W is generated by orthogonal reflections. Th. 2
now shows that it is infinite and Prop. 7 that it is e::;sential and irreducible.
Since C is an open sirnplicial cone, whose walls arc the hyperplane::; with
equations (x*, es) = 0 (for s E S), the intersection C n A is a convex, hence
connected, open and closed subset of the complement of the union of the
L, in A. Moreover, C n A is non-empty, for if x* E C we have (x*, v) =
Lv 8 (x*,e,) > 0 and (x\v)- 1:c* E CnA. It follows that CnA is a chamber
s
of A relative to the system of the L8 • l\foreover, w(C n A) n Ls = 0 for all
w E W (cf. no. 4, property (P n)) and it. follows that C n A is a chamber of A
relative to the system consisting of the transforms of the Ls by the elements
of W; by the Cor. of Th. 1 of§ 3, no. 2, it follows that C n A is a chamber of
A relative to W.
Let a;be the vertex of the simplex C n A not in L8 • We have
which shows that cs is the image of the class of es under the isomorphism
from E/E0 to T given by the quadratic form BM. It follows that
It is then immediate that 1f;(Ls) = Ns for all s E S and that 1/1 transforms
the scalar product of AM into a multiple of that on A. It follows at once that
1/J commutes with the action of W. Finally, the uniqueness of 1/J is evident,
for a 8 for example is the unique point of AM invariant under the reflections
t E S, t :/: s.
108 GROUPS GENERATED BY REFLECTIONS Ch. V
Let M' be another graded K-module of type Z, and (M~)nEZ its grading.
Assume that M~ is zero for n less than a certain number. Then
(I)
and, if M @KM' is provided with the total grading (Algebra, Chap. II, § 11,
no. 5),
(2)
of di that are multiples of Q. This number is zero for q sufficiently large. The
number of di equal to Q is thus determined uniquely by descending induction.
The integers di are called the characteristic degrees of S. The number of
them is equal to the transcendence degree of S over K when K is a field; we
shall also call it the transcendence degree of S over K in the general case. It
is the multiplicity of the root 1 of the polynomial N(T).
Let S = EBn~o Sn be a commutative graded K-algebra, and R = EBn~o Rn
a graded subalgebra of S. Assume that each Rn is free and of finite type,
and that the R-modv.lc S admits a finite bas·is consisting of homogeneous
elements z 1 , z2, ... , ZN of degrees Ji, fz, ... , fN. Then, if M denotes the graded
N
K-module L Kzj,
j=l
the graded K-module Sis isomorphic to R®K M, so each
Sn is free and of finite type and
(4)
For any graded algebra A = Ao EB A 1 EB· · ·EB An EB·· ·, denote by A+ the ideal
EBn>O An·
gs(y) - y = h(y)v.
Since S is integral and v is non-zero, this element is determined uniquely by
y; it is immediate that h is an endomorphism of degree -1 of the R-modulc
S. Thus, gs - ls = mv o h, where mv denotes the homothety with ratio v in
S. Hence,
T(.qs) - lT(S) = T(gs - ls)= T(mv) o T(h),
the image of which is contained in vT(S), proving our assertion.
c) We show that any element of T(S) invariant under G is zero. Indeed,
let Q be the endomorphism of the R-module S defined by
Q(y) = q- 1 L gs(Y)
gEG
for ally E S. Then Q(S) = R. We can thus write Q = i o Q', where Q' is a
homomorphism from the R-module S to the R-module Rand 'i denotes the
canonical injection of R into S. Thus T(Q) = T(i) o T(Q') and T(Q') = 0
since T(R) = Kcr(R+ 0 R --t H.) = 0. Thus
0 = T(Q) = q- 1 L
gEG
T(.qs).
But q- 1 L T(gs) leaves fixed the clements ofT(S) invariant under G. These
gEG
elements are therefore zero.
d) Assume that T(S) -=J 0. There exists in T(S) a homogeneous element
u -=J 0 of minimum degree. By b), u is invariant under G. By c), ·u = 0. This
is a contradiction, so T(S) = 0. Q.E.D.
Remarks. l) It follows from Algebra, Chap. II, §11, no. 4, Prop. 7 that, if
(z 1 , ..• , zq) is a family of homogeneous elements of S whose canonical images
in S/(R+S) form a basis of S/(R+S) over K, then (z 1 , ... , zq) is a basis of S
over R.
2) Let g be a pseudo-reflection of V, whose order n ~ 2 is finite and co-
prime to the characteristic of K By Maschke's theorem (Appendix, Prop. 2),
V can be decomposed as DEB H, where His the hyperplane consisting of the
elements of V invariant under g and D is a line on which g acts by multipli-
cation by a primitive nth root of unity. When K = R, this is possible only
when n = 2, and g is then a reflection; in this case, the groups to which Th. 1
112 GROUPS GENERATED BY REFLECTIONS Ch. V
applies are the finite Coxeter groups. (For K = C, on the other hand, Th. 1
applies to certain groups that are not Coxeter groups.) 3
Th. 3 follows from Prop. 2 (i), Th. 1 and the following lemma:
/31 E R for all i, and the (3; are not all zero; (7)
deg Yk > 0 for all k: (8)
r
a; = I:
k=I
d;kYk for all i; (9)
s
L /3;d,k
i=l
= 0 for all k. (IO)
Let X 1 , ... , Xs be indcterminates and give K[X 1 , ... , X,] with the graded
algebra structure for which X, has degree k;. There exist non-zero homoge-
neous elements H(X1, ... ,Xs) of K[X 1 , .. .,Xs] such that H(a1,. .. ,a 5 ) =
O; choose H to be of minimum degree. If 8H/8X; f= 0, the polynomial
J:;(, (a 1 , ... , as) is a non-zero homogeneous element of R: ir p f= l, H is not
of the form Hi with Hi E K[X1, ... , Xs]· Take
8H
/3i = ki fJXi (a1, ... , as)·
Since K is perfect, the polynomials DH/ 8X, E K[X 1 , ... , X5 ] are not all zero
(Algebra, Chap. V, § 1, no. 3, Prop. 4); in view of the assumption made about
the k;, neither are the /Ji.
On the other hand, S can be identified with a graded algebra of poly-
nomials K[x 1 , ... , Xr] for appropriate indet.erminates .r 1 , ..• , Xr with suitable
degrees m; > 0. Let D1c be the partial derivative with respect to .Tk on S. Take
114 GROUPS GENERATED BY REFLECTIONS Ch. V
dik = ki 1 Dk(O!i). Then the equality (J.O) holds because its left-hand side is
Dk(H(0!1, ... , 0! 8 )). On the other hand, if we put Yi = 1n1X1, ... , Yr= m,.:rr,
the equality (9) follows from the equality (5) of no. 1.
2) Let b be the ideal of R generated by the /3i; there exists a subset J of
{3j = L
iEJ
"/jif3i
.
(j E I - J). (11)
L. f3i
tE.l
(dik L. "/j·idjk) = o.
+ JE!.l (12)
Put
(13)
Thus
L
iEJ
f3iUik = 0. (14)
Write Uik = L Oik>..Z>.., where the O;k>.. belong to R. Relation (14) implies that
A.EA
L
iEJ
{3.;0;u = 0 for all k and A. If one of the 0-;k>.. had a non-zero homogeneous
component of degree 0, the preceding equality would imply that one of the /3;
(i E J) is an R-linear combination of the others, contradicting the minimality
of (/3;);EJ. Thus O;k>.. E R+ and consequently 'Uik E R+S for all i and k:. Thus,
s
there exist 'Uikh ES such that u;1c = L V-ikhO'h, in other words, by (13),
h=l
s
d;k . L "/jidjk = h=l
+ .JEl-.J L 'Uikho:h. (15).i.k
Multiply both sides of ( 15 );k by Yk and add for i in J fixed and k = 1, 2, ... , r;
in view of (9), we find that
s ,.
Ct'; L 'YjiO'j. = h=l
+ jEl-J L k=l
L UikhYkO'h·
Take the homogeneous components of degree k; of both sides. Since deg Yk >
0, O'; is an S-Jinear combination of the CXJ for .i ¥ i. Since S is free over Rand
0! 1 , ... , a 8 E R, it follows that a.; is an R-linear combination of the <l'.j with
j I i (Commutative Algebra, Chap. I, § 3, no. 5, Prop. 9 d) ).
§ 5. INVARIANTS IN THE SYMMETRIC ALGEBRA 115
and consequently
q- 1 L (det(l - gT))- 1 .
gEG
l
= -L ((1+2T+···+(ki-l)Tk'- 2 ) TI(l+T+···+Tkj- 1 ))
i=l .i¥i
§ 5. INVARIANTS IN THE SYMMETRIC ALGEBRA 117
so
Q(l) = t
i=I
(ki - l)ki flk.i
2 rtfi
= (h kj) (t 1).
J=l i=l
k; -
2
Returning to ( 17), we have on the other hand
Q(1) = ( TI
l
j=l
kj ) ( I::
gEH
1
1 - A(g)
) .
Thus,
l
I:: ki - 1 = I:: 1 ( 18)
i=l 2 gEtl 1 - >..(g)
Now the elements of G that leave fixed the points of a given hyperplane leave
stable a complementary line of the hyperplane (Appendix, Prop. 2), and so
form a cyclic subgroup G' of G by Algebra, Chap. V, § 11, no. 1, Th. 1. Let
t be the order of G'; the values of >..(g) for g E G' are B, 02 , ... , et-i with e a
primitive tth root of unity. We have 1 ~ 0 ; + = 1, so l-b•-·
I:: gEG',g#l
l-l( ) -
9
~(t - 1) = !Card(H n G'). The equality (18) thus proves the proposition.
4. ANTI-INVARIANT ELEMENTS
g(z) = (detg)- 1 z
for all g E G.
Let H be the set of pseudo-reflections belonging to G and distinct from
1. For all g E H, there exist e9 E V and f 9 E V* such that
the product of the at-l for those a E V such that t > l, and these elements
of S are mutually coprime. Since S is factorial, z is divisible by D.
c) By a) and b), J is divisible by Din S. Now
l
deg J = L (k.;
i=l.
- 1) = Card(H)
(Prop. 3), so clegJ = degD, hence J = >.D with>. EK. Since J =f. 0, >.EK*.
This proves (ii).
d) Parts a) and c) of the proof show that D is anti-invariant under G.
Next, if y E R, it is clear that yD is anti-invariant under G. Finally, if z E S
is anti-invariant under G, we have seen in b) that there exists y ES such tha.t
z = yD. Since Sis integral, y E R.. This proves (i).
§ 5. INVARIANTS JN THE SYMMETRIC ALGEBRA ll9
* 5. COMPLEMENTS 4
S/(SC\'1 + · · · + Sa,-iJ
·is not a zero divisor in this ring.
120 GROUPS GENERATED BY REFLECTIONS Ch. V
The fact that div(DR' /R) is zero shows that div(d) = 0 ( Commv.tative Alge-
bra), which means that d belongs to K*. On the other hand TrR';R(Q;Qj)
is a homogeneous element of degree Qi + Qj, and d is homogeneous of degree
2 L Qi· Thus, L Qi = 0, i.e. qi = 0 for all i, which means that R' = R, and
i 1:
so G' = G by Galois theory. This proves that G is generated by pseudo-
reflections. Q.E.D.
(ii) Identify S with the algebra K [X 1 , ... , Xi] by choosing a bas·is ( X1 , ... , X1)
of V, and let P 1 , ... , P1 be algebraically independent homogeneous elements
generating the algebra R. Then the jacobian J = clet ( g~~) is of the form >.D
where ,\ E K*.
l
(iii) L (deg(P;) - 1) = Card(H).
i=l
(iv) The set of anti-invariant elements of S is RD.
Assertion (i) follows from Lemma 4. Assertion (ii) follows from the fact
that SJ is the different of S over R. (Commutative Algebra.). Assertion (iii) is
obtained by writing down the fact that the homogeneous polynomials D and
J are of the same degree. The proof of (iv) is then the same as that given in
no. 4 (proof of Prop. 5, parts b) and d)).*
§ 6. COXETER TRANSFORMATION
Lemma 1. Let X be a finite forest, and x >-> gx a map fmm X to a group I'
such tha.t 9x and 9y are conjugate whenever x and y are not linked in X. Let
T be the set of total orderings on X. For all ~ E T, let Pt, be the product in
I' of the sequence (gx )xEX defined by ~. Then the elements P<, are conjugate
. in r.
122 GROUPS GENERATED BY REFLECTIONS Ch. V
Since all Coxeter transformations are conjugate (no. 1, Prop. 1), they all have
the same characteristic polynomial P(T). Leth be the Coxeter number of W.
Then
P(T) = .IT
J=l
(T - i7rmj) ,
exp 2
h
where m 1 , m 2 , ... , mi are integers such that
§ 6. COXETER TRANSFORMATION 123
z=a1e 1 + .. ·+a1e1,
z" = a1e 1 + · · · + arer E V 11 n C,
z' = a 1 -+ 1 er+l + · · · + a1e 1 EV' n C,
and let P be the plane generated by z' and z". Then P n C is the set of
linear combinations of z' and z" with coefficients> 0. The relation q(z) = az
l l
gives L ajej = r=l
;=l
L aajeJ; scalar multiplying by ek (where k ~ r) gives
l
ak + . L ai(ej\ek) = aak; thus
J=·t+l
l l
= - L a e1 + j=rtl
j=r+l J
L a..J eJ
l
= -z' L a.·e·.
+ j=r+l .I J
Thus, (a.- 1 )z 11 + z' is orthogonal to e 1 , ... , e1·, that is, to V". Hence, s 11 leaves
stable the plane generated by z 11 and (a - l)z 11 + z', that is, P. Similarly, s'
leaves P stable. Since z' E P n V' and z 11 E P n V", s'IP and s"IP are the
reflections with respect to Rz' and Rz 11 •
is the subgroup W' of W generated by s' and s", and induces on P the group
W" generated by the orthogonal reflections with respect to Rz', Rz 11 • Tbe
transform of C by an element of W' is either disjoint from -C or equal to
-C. Thus, the transform of P n C by an element of W" is either disjoint
§ 6. COXETER TRANSFORMATION 125
Remark. Retain the notation of the preceding proof. Let c' be the C-linear
extension of c to V ®a C, and c" the restriction of c' to P ©a C. From our
study of cJP, c" has an eigenvector x corresponding to the eigenvalue exp 2::',
and this eigenvector does not belong to any of the sets D ®a C, where D
denotes a line of P (since D is not stable under c). Now, for any H E Sj, we
have seen that H n P is a line; thus, :r iJ/. H ®a C.
Wis irreducible, there exists a constant (3 such that f(x) = (J(xlx) (§ 2, no. 1,
Prop. l). If (xi)i~i~I is an orthonormal basis of V for the scalar product (.rly),
then
l l l
(Jl = I:: ,B(xilxi) = I:: f(xi) = i=l
I:: uERo
I:: (x;lu) 2
i=l. i=l
= I:: 1 = Card(Ro) = 2Card(f:J) = hl.
uERo
(c ® 1) ( X Pi
1
-1. )
Xa(j) =
( 2i 7r ( PJ - 1 + ma(J) ) )
exph (
X p11 - l )
Xa(j) .
l l l
Card(SJ) =L (pj - 1) = L m 1 + h .i=l
L µJ·
j=l .i==l
l
Taking into account formula (3) and Th. l (ii), we obtain h L µ,j = 0, so
j=l
µJ = 0 for all j, and finally PJ - 1 = m1 for all j.
exp (-2i11)
h
and exp (--2i1T)
h
-
'
2Z1Tm ·) h/2
( expT = exp(i'ifmJ) = -1;
(Loe. cit.) that p = q and, after a suitable permutation of the N_i, that M.; is
isomorphic to Ni and nri is equal to ns.; for 1 ~ 'i ~ p. Thus, V is isomorphic
to W.
I>) Assume that K is an infinite field. The assumption implies that V
and W have the same dimension over K. Let (ei) 1 ;:;;;;:;;m and (c~)i;:;;;;:;;m be
bases of V and W over K, and (a>.) a basis of A over K. An isomorphism
u : V 0K L --> W 0K L is a bijective L-linear map and at the same time an
(A 0K L)-homomorphism, in other words it satisfies the conditions
Put O.>.Ci = ~r>.'iie:1, a>,e~ = ~~f~ijej, where the r>.ii and "Y~ij belong to K,
J J
and u(e;) = Lfoej, where the fo belong to L. The conditions (1) can be
:I
written
(2)
for all ,\, i, k. By assumption, the homogeneous linear equations (2) have a
solution (fo) E V 12 such that det( fo) i O. Since the coefficients of the
system (2) belong to K, we know (Algebra, Chap. II, § 8, no. 5, Prop. 6)
that this system also admits non-trivial solutions in Km''; let E be the vector
130 GROUPS GENERATED BY REFLECTIONS Ch. V
= q- 1 L p(s)- 1 p(p(st)x)
sEC
= f(p(t)x).
Thus f commutes with p(G), so Ker(f) is a complement of F stable under
G.
§ 2.
Sx,y• = l -1.p(x©y*),
2) With the notation of Exerc. 1, show that det(sx,y·) = l - (x, y*) if Eis a
free K-module of finite type.
~ 3) Let V be a complex Hilbert space with basis e 1 , ... , e1• For 1 ::::; i ::::; l, let
si be a unitary pseudo-reflection, with vector ei, such that si(ei) = ciei, with
Ci i= l; an element of V is invariant under Si if and only if it is orthogonal to
ei. Let W be the subgroup of GL(V) generated by the Si.
a.) Let i be an integer ? 1. Show that every element of/\ i V invariant under
Wis zero. (Argue by induction on l; if V' is the subspace of V generated by
e 1 , ... , e1_ 1 , and if e is a. non-zero vector orthogonal to V', any element of
/\'; V can be written in the form a+ (b A e), with a E /\i V' and b E /\i-l V';
if a+ (b A e) is invariant under W, a and b are invariant under the subgroup
W' generated by s 1 ,. • ., s1- i, and the induction hypothesis applies.)
b) Assume that W is .finite. Show, by using a), that, for any endomorphism
A ofV,
134 GROUPS GENERATED BY REFLECTIONS Ch. V
L det(A - w) = Card(W).det(A)
wEW
L <let(l-Aw) = Card(W).
wEW
Deduce that, for any A E End(V), there exists w E W such that Aw has no
non-zero fixed point.
c) Let I' be the graph whose set of vertices is (1, l), the arrows being the
sets {i, j} such that c; and ej are not orthogonal. Show that V is a simple
W-module if and only if I' is connected and non-empty.
d) Assume that Vis a simple W-module. Show that the W-modulcs /\iV
(0 :::::; i :::::; l) are simple. (Show that there exists an integer j such that the
graph I' - {.j} is connected. Argue by induction on l, and apply the induction
hypothesis to the subspace V' generated by the e;, i i j.) Show that these
modules are pairwise non-isomorphic 6 .
§ 3.
1) The notation and assumptions being those of no. 1, show that the chambers
relative to W are open simplices if and only if \V is infinite and irreducible.
Show that E/W is compact if and only if W is a product of infinite irreducible
groups.
F the dihedral group generated by the sd,, and A the discrete subgroup of
R 2 generated by the e;, a subgroup that is stable under F. Show that W is
not generated by reflections.
I = L c:(J)
Card(W) .Jes Card(W.1) ·
(-C) n E = n (E -
HES
EH),
so
Car~(W) = µ(C nE) = l JJs ( 1- IPEH )dµ
=
Jes
n E1-1) .
I: c:(.J)tt ( HEJ
Conclude by remarking that n EH is the intersection with E of a chamber
HE.J
of WJ, and hence has measure equal to 1/Card(WJ).)
Recover formula (*) by means of Exerc. 26 e) of Chap. IV, §I (putt= 1
in the identity proved in the exercise in question).
Deduce that Aij = µ(i(j for some constantµ.. By considering the Aii, show
thatµ,> 0.)
c) Show that ( 1 , ... , (n are proportional to ~, ... , ~.
§4.
In the exercises below, (W, S) denotes a Coxeter system. We assume that Sis
finite; its cardinal is called the rnnk of (W, S). We identify W with a subgroup
of GL(E) by means of CJ (cf. nos. 3 and 4).
2) a) Let I'w be the set of extremal generators of the cone w(C) and let A
be the union of the I'w for w E W. Show that A, equipped with the set
{I'wlw E W}, is a building (Chap. IV,§ 1, Exerc. 15). Show that the map j
from the apartment Ao associated to the Coxeter system (W, S) (Chap. IV,
§ 1, Exerc. 16) to A that transforms the point wW(s) of Ao (for w E W and
s ES) to the generator w(Re 5 ), is an isomorphism from Ao to A, compatible
with the action of W. Show that, if t = wBw- 1 , with w E Wand s ES, the
image under _j of the wall L 1 defined by t (resp. of a half of Ao defined by Lt)
(loc. cit.) is the set of elements of A contained in the hyperplane (resp. the
closed half-space) that is the transform by CJ* ( w) of the hyperplane e .• = 0
(resp. of one of the closed half-spaces e 5 ;? 0 or e 5 ~ 0).
b) Show that W is finite if and only if there exists an element w 0 E W such
that w 0 (C) = -C. This element w 0 is then unique and is the longest element
of W (use Exerc. 22 of Chap. IV, § 1). Show that in that case j (-a) = - j (a)
for all a E Ao (cf. Exerc. 22 c) of Chap. IV, § 1).
c) Show that W is finite if and only if the cone U formed by taking the union
of the cone closures w(C) for w E W is equal to the whole of E* (if W is
finite, use b) and the convexity of U. If U = E*, consider an element w E W
such that w(C) n (-C) -f- 0 and show that w(C) = - C).
d) Let H be a finite subgroup of W. Show that there exists a subset X of S
such that W x is finite and contains a conjugate of H. (Argue by induction
on Card(S). Let x E C and x = L h(x). Show, by using c) above, that Wis
hEH
finite if x = 0. If x -f- 0, there exist w E W and Y C S, Y -f- S, such that w(.'f)
belongs to Cv (in the notation of no. 6), and hence H C w- 1 Wvw; apply the
induction hypothesis to Y.)
4) Assume that Card(S) = 3. Ifs ES, let a(s) = m(u,·v), where {u,v} =
S - {s}. Let A= I: l/a(s).
sES
a) If A > 1, show that B1vr is non-degenerate and positive (in which case W
is finite), ·-
b) If A= 1, show that BM is degenerate and positive.
c) If A < 1, show that BM is non-degenerate and of signature (2, 1) (cf.
Algebra, Chap. IX, § 7, no. 2).
Show that, in case a), the order q of W is given by the formula q =
4/(A - 1) (use Exerc. 5 of§ 3).
m(.s, t) = 3 ~ Xs =.rt
8) Let s E Sand w E W. Show that, if l(ws) > l(w), the element w(es) is
a linear combination with coefficients ;;::: 0 of the ei for t E S; show that, if
l(ws) < l(w), w(es) is a linear combination with coefficients ~ 0 of the et.
(Apply property (Pn) of no. 4 to w- 1 , and argue by polarity.)
fl= w
(-B(.r))n/2"
Show that fl is the inverse image under the canonical projection 7f : H - t PH
of a differential form fl on PH. Show that the positive measure v associated
to fl (Differentiable Varieties R, 2nd part) is invariant under G, and that it
is the only such measure, 11p to a scalar factor.
c) Let C be an open simplicial cone with vertex 0 in Rn (§ 1, no. 6). Assume
that C is contained in H, and denote by PC the image of C under 7r : H - t PH.
Show that, if n ~ 3, then v(PC) < oo (identify PH with the subspace of
n-1
Rn- l consisting of the (x 1 , ... , :cn-l) such that L x~ < 1, and determine
i=l
the measure corresponding to v on this subspace). Show that PC is relatively
compact in PH if and only if C is contained in H.
, 12) Assume that the form x.y = BM(x, y) is non-degenerate and that W
is infinite. Identify E with its dual E* by means of BM; in particular, denote
by (e;) the basis of E dual to the basis (e 8 ), and by C the interior of the
simplicial cone C generated by the e;. Let G be the orthogonal group of BM,
and letµ be a Haar measure on G; the group G is unimodular and contains
W.
a) Show that, if 11(W\G) < oo (where 11 is a non-zero positive measure
invariant under G), the form BM is of signature (n - 1, 1), with
n = dim(E) = Card(S),
and that x.x < 0 for all x E C.
(Let .T E C be such that x.x i 0, and let Lx be the hyperplane orthogonal
to x. Show, by using Exerc. 10, that the restriction of BM to Lx is either
positive or negative; show that the second case implies that B11:1 is of signature
(l,n- 1) and that this is impossible. Deduce that .r.x ~ 0 for all x EC, and
hence .T.X < 0 since C is open.)
§ 4. EXERCISES 141
is proper. Deduce that, for all x E H+, the functions w >-t ip(w.x) and
w H f(w.x) attain their maximum for a value w 1 E W (use the fact that
G acts properly on PH. cf. Exerc. 11, and that W is discrete in G ); show
that these properties are equivalent to w 1 (x) E C. Deduce that C n 1-1+ is a
fundamental domain for the action of W in H+, and that the image of this
fundamental domain in PH has finite measure for the invariant measure v
on PH (use Exerc. 11). Conclude that 1/(W\G) < oo. Show that W\G is
compact if and only if C is contained in H+, i.e. if e; .e; < 0 for all s E S (in
which case W, or (W, S), or the corresponding Coxeter graph, is said to be
of compact hyperbolic type).
~ 13) Show that (W, S) is of hyperbolic type (cf. Exerc. 12) if and only if the
following two conditions are satisfied:
(Hi) The form BM is not positive.
(H 2 ) For any subset T of S distinct from S, the form BM(T) associated to
the Coxeter system (WT, T) is positive.
(If (W, S) is of hyperbolic type, we have seen that e;.e; ~ 0 for alls ES,
the notation being that of Exerc. 12. The restriction of Btv1 to the hyperplane
E( s) orthogonal to e; is thus ~ O; since E( s) is generated by the et for
t f s, (H2) follows. Conversely, assume that (H 1 ) and (H 2 ) are satisfied; let
x = ~ a 5 e 5 be an clement of E such that x ..x < O; let :i:+ (resp ..r_) be the
s
sum of the a 5 e8 for which a 8 is> 0 (resp. ~ O); show that either x+.X+ < 0
or x_.x_ < 0. IfV denotes the open simplicial cone generated by thee,, and
H the set of .x E E such that x.x < 0, deduce that there exists a connected
component Ho of H that meets V; by using (H2), show that H 0 does not
meet the walls of V, so Ho CV. Deduce that the form B~,1 (x,y) = x.y is
non-degenerate of signature (n - 1, 1), and that C is contained in - Ho, hence
the fact that (W, S) is of hyperbolic type.)
14) Show that (W, S) is of compact hyperbolic type (Exerc. 12) if and only
if the following two conditions arc satisfied:
142 GROUPS GENERATED BY REFLECTIONS Ch. V
, 15) *a) Show that the nine Coxeter graphs below 7 are of compact hyperbolic
type, and that they are, up to isomorphism, the only graphs of rank 4 with
this property (use the classification of Chap. VI, § 4): ..
CJ o D tJ CJ
b) The same question for rank 5, the list consisting of the following five graphs:
16) *Show that any Coxeter graph of hyperbolic type of rank ~ 4 that has
an edge with coefficient 6 is isomorphic to one of the following eleven graphs
(which are non-compact and of rank 4):
O,__---<O>----<O,...._c6,,_0
*
7 In these graphs, any edge that has no label next to it is taken to have coefficient
3 (cf. Chap. IV, § 1, no. 9).
§ 4. EXERCISES 143
17) *Show that the hyperbolic Coxeter graphs of higher rank are the following
three graphs (which are of rank 10):
*
~ 18) Assume that (W, S) is of hyperbolic type, and that W leaves stable a
lattice I' of E. Let G be the orthogonal group of BM, and let G(I') be the
subgroup of elements g E G such that gI' = I'. Show that G(I') is a discrete
subgroup of G. Show that Wis a subgroup of finite index of G(T) (use the
fact that the measure of W\ G is finite).
*If (W, S) is actually of compact hyperbolic type, show that the corre-
sponding Coxetcr graph is isomorphic to one of the following (use Exercs. 4,
6 and 15):
Show that all the groups corresponding to the graphs of Exerc. 16 (with
the exception of the la.st four) leave stable a lattice (use the method of Exerc.
6) .•
19) Let (W, S) be the Coxetcr system corresponding to the graph
This is a system of compact hyperbolic type (cf. Exerc. 15). The coefficients
of the form BM with respect to the basis (es) belong to the subring A of the
field Q( J5) consisting of the elements of this field that are integers over Z.
a) Let a be the embedding of K into R that maps J5 to -JS. Show that
the transform a(BM) of the form BM by a is 11011-degenerate and positive.
b) Let G be the orthogonal group of BJVI, and let Ga be that of a(BM)· Let
GA be the subgroup of G consisting of the elements whose matrices with
respect to (es) have coefficients in A. Show that GA can be identified with a
discrete subgroup of G x Ga and then, using a), show that GA is a discrete
subgroup of G.
144 GROUPS GENERATED BY REFLECTIONS Ch. V
, 20) For every subset { s, s'} of S such that m(s, s') = oo, let r(s, s') be a
real number ~ -1. Equip E with the bilinear form Br such that
7T
Br(e 8 , es')= BM(es, es') = - cos ( ') if m(s, s') =f. oo
m s,s
Br(es, es') = r(s, s') if m(s, s') = oo.
We define, as for BM, the reflections a 8 with vector es, leaving the form B,.
invariant.
a) Show that there exists a unique homomorphism ar : W -> GL(E) such
that O' r (gs) is equal to the reflection O's defined above.
b) Show that the assertions in Prop. 4, Th. 1, its Corollaries, and Lemma 1
remain true for a r.
§ 5.
8 As E. Vinberg has shown, the group W corresponding to this last graph is not a
subgroup of G of "arithmetic" type. The same situation arises for various other
graphs of hyperbolic type (non-compact, this time), notably for the last four in
Exerc. 16.
§ 5. EXERCISES 145
Let S(E) be the symmetric algebra of E, and let S(E)G be the subal-
gebra of S(E) consisting of the elements invariant under G. Show that, for
any homomorphism from A into a field k, S(E)G ® k can be identified with
S(E ® k)G. Deduce, by applying Th. 4, that S(E)G is a graded polynomial
algebra over A.
WJ = dPi 1 • • .dPir·
Show that the w1 are linearly independent over S, and that they belong to
the subalgebra EG consisting of the elements of E invariant under G. Deduce
that, for all w E EG, there exist a, c1 E sc, with a. f:. 0, such that
a.w = Lcrw1.
I
a(X, Y) = TI 1 + Y.Xp,-1
i=l 1- XP;
where Pi = deg(Pi)·
9 For more details, see L. SOLOMON, Invariants of finite reflection groups, Nagoya
Math. Journal, v. XXII (1963), p. 57-64.
146 GROUPS GENERATED BY REFLECTIONS Ch. V
(iii) (iv) follows from the Zeros Theorem ( Cornrnv.tat·ive Algebra, Chap.
{:::=}
This is an element of S.
Show that
g.Le = det(g)Le for all g E G.
(Remark that, if g.Xi = LaijXj, then g.Xf = LaijX1qc.) In particular, Le
J J
belongs to R 1 .
b) Let j E [1, n]. Put
Show that T divides all the Le. Deduce that T = Len, where en =
(0, 1, ... , n - 1), and that Tis invariant under G1.
c) Denote by ei (1 :::;; i:::;; n -1) the sequence (0, 1, ... , i- 1, i + 1, ... , n), and
put Yi = Le)T, cf. b). Show that the Yi belong to R and that deg(Y;) =
qn _ qi.
d) Let S' = K[X 1 , ..• , Xn_iJ, and let T', Y~, ... , Y~,_ 2 be the elements of S'
defined in the same way as T, Y 1 , ... , Yn-l (but replacing n by n - 1). Let
f : S ___, S' be the homomorphism defined by
J(X.;) =Xi (1:::;; i:::;; n - 1), .f(Xn) = 0.
Show that
e) Show that the family (T, Y 1 , ... , Y n-i) satisfies condition (iv) of Exerc. 5.
(Let x = (x 1 , •.. , .rn) be a zero of the system (T, Y 1 , ... , Yn-l) in an exten-
sion R of K. Since x is a zero of T, the Xi satisfy at least one non-trivial
linear relation with coefficients in K. Transforming ;r; by an element of G 1 if
necessary, we can assume that Xn = 0. Conclude by applying d) and arguing
by induction on n.)
.f) Show that R1 = K[T, Y 1, ... , Yn-1L and that T, Yi, ... , Y n- l are alge-
braically independent ("Dickson's Theorem" - apply e) and Exerc. 5, remark-
ing that the order of G 1 is equal to deg(T) = Ldeg(Yi)).
t
§ 5. EXERCISES 149
11 Cf.
M. AUSLANDER, On the purity of the branch locus, Amer. J. of Math., v.
LXXXIV (1962), p. 116-125.
15.0 GROUPS GENERATED BY REFLECTIONS Ch. V
§ 6.
In the exercises below (with the exception of Exerc. 3), the assumptions and
notation are those of § 6.
a) Show that the elements of Sj are the s 1 s 2 ... s,, _ 1 H,, for it = 1, 2, ... , lh/2.
b) Let s' = s1 ... Sr and s" = Sr+l ... s1, so that c = s's" is the Coxeter
transformation associated to the ordered chamber C. Let w 0 be the element
of W that transforms C to -C (cf. § 4, Exerc. 2). Show that, if h is odd,
b) Let C be the matrix of c with respect to the basis (e;). Let U = (u.;1 ) and
V = (v;1 ) be the matrices defined by
152 GROUPS GENERATED BY REFLECTIONS Ch. V
if i < j if i < j
otherwise, otherwise.
C = (I - V) (I + U)- 1 .
Deduce that
det(,\I - C)-= det((.\ - l)I -t V + .\U),
in other words
det(-AI - C) =
(.\-l)+all .\a12 .\a13
a21 ,\ (,\ - 1 ) + a22 -Aa23
a31 a32 (,\ - 1) + a33
(,\ - 1) +au
c) Let I' = (I, S) be the graph whose set of vertices is I = [l, I] and whose set
S of arrows is the set of subsets {i, j} of I with 2 elements such that a;j i 0 or
aj, i 0. If a= {i,j} belongs to S, denote by 0- 0 the transposition of i and j
(considered as an element of the symmetric group S 1 ), and put a°'= - a; 1 aji·
Let ~ be the set of subsets of S consisting of the arrows whose vertices
are disjoint. If X E ~' denote by C(X) the set of i E I that are not vertices
of any arrow of X, and put a-x = IT <JO!, ax = IT a".
aEX O!EX
Let a E S1 , and let du be the term corresponding to a in the expansion
of the determinant of(.\ - l)I + V +-AU. Show that, if a is of the form ax,
with X E ~' then
du= axACard(X) IT (,\ - 1 + a,i)·
iEC(X)
Assume now that I' is a forest (Chap. IV, Appendix, no. 3). Show that, if
a E St is not of the form ax with X E ~' then du = 0. Deduce the formula
det(.\ - c) = L ax,\Carc\(X) IT (,\ - 1 +a,;).
XE~ iEC(X)
4) With the assumptions and notation of no. 1, denote by niJ the order of
SH,sH 1 , and put aii = -2cos;.j. Then a.ii= 2 and aiJ:::::; 0 if'i I= j, cf. §3.
ao a.12 x
where m 1 , ... , m1 are the exponents of W.
§ 1. ROOT SYSTEMS
By Lemma 1, the reflection s0<,<> (and hence also the linear form O'.-) is
determined uniquely by O'., so (RSm) makes sense. We put s"'·"'- = s"'. Then
s"'(x) = x - (O'.',:r)O'. for all x EV.
The elements of R are called the roots (of the system considered). The
dimension of V is called the rank of the system.
The automorphisms of V that leave R stable are called the automorphisms
of R. They form a finite group denoted by A(R). The subgroup of A(R)
generated by the s"' is called the Weyl group of R and is denoted by W(R),
or simply by W.
(xly) = L (a-,x)(o:-,y).
aER
since ( 1g)(R-) = R-. Ifx,y E VQ, then (xly) E Q by (RSrn). If z E VR, then
(zjz) = L (a·, z) 2 ;;::: 0, and (zlz) > 0 if z-::/: 0 by Prop. 1, so the canonical
°'ER
158 ROOT SYSTEMS Ch. VI
It follows that
n(a., (3) = 0 ¢==;. n(/3, a) = 0 (01,8) = 0 ¢==;. 8"' and sµ commute. (8)
¢==;.
. n(/3, a) (Pl/3)
If (ol/3) :f: 0, then - (
n a,
(3) = -(-) .
a10
(9)
§ 1. ROOT SYSTEiV!S 159
Let V be a vector space over k that is the direct sum of a family (V;) 1 ~;~r
of vector spaces. Identify V* with the direct sum of the Vi. For all i, let R;
be a root system in V;. Then R = UR; is a root system in V whose inverse
system is R" = LJ R;·; the canonicai bijection from R to R. extends, for a.11
i, '
the canonical bijection from R; to R;.. The set R is called the d'irect sum
of the root systems Ri· Leto: E R;. If j -f. i, the kernel of a· contains V1 , so
Sa induces the identity on v.i; on the other hand, kn <;;; V;, so Sa leaves V.;
r
stable. These remarks show that W(R) can be identified with Il \.V(R;).
i=I
A root system R is said to be irreducible if R =/= 0 and if R is not the
direct sum of two non-empty root systems.
that Card R' < Card R, Card R" < Card R, and the induction hypothesis
applies to R' and R". To prove uniqueness, it suffices to prove that, if R
is the direct sum of R' and R", every Ri is necessarily contained either in
R' or in R". Let V', V", v;, v;' be the vector subspaces of V generated by
R', R", R' n Ri, R" n Ri· Since the sum V' + V" is direct, the sum v; v;'
+ is
direct. Since Ri ~ R' U R", R; is the direct sum of the root systems R' n R;
and R" n Ri; hence either R' n R; = 0 or R" n Ri = 0, which proves the
assertion.
The Ri are called the irred·uC'ible components of R For any non-zero scalars
A;, the union of the .-\;Ri is a root system in V, whose inverse system is the
union of the \- 1 Ri·, and whose Wey! group is W(R).
B'(v;,w(vj)) = B'(v;,vi),
Recall that we ass·urne from now on that k = R. (We leave to the reader the
task of extending the definitions and results to the general case, by using the
method indicated in Remark 2 of no. 1.)
ThroughoiLt the fallowing, R denotes a root system in a vector space V;
and V is equipped with a scalar product (x, y) r--+ (xly) invariant ·under W(R),
cf. Prop. 3.
Let er., (3 E R. By formula (7) of no. 1,
Thus, the integer n( n, /3)n(,8, o:) must take one of the values 0, 1, 2, 3, 4. In
view of Chap. V, § 2, no. 5, Cor. of Prop. 6, and of the footnote on the page
of Chap. V, § 4, no. 8, we see that the only possibilities are the following, up
to interchanging a and /3:
1) n(o:, /]) = n({3, o:) = O; (~) = ~; Sa.Sf:) of order 2;
2) n(a, ;3) = n({3, o.) = l; (Ct,/]) = i; SaSf3 of order 3;
I o: 11=11 /3 II;
3) n(o:,/3) = n((J,o:) = -1; (;)) = 2;; SaSf3 of order 3;
11~1=11/311;
4) n(a,(3) = 1, n(/3,n) = 2; (a,/]) = %; sas/3 of order 4;
I /3 II= v'2 I a II;
5) n(o,/3) = -1, n(/],a) = -2; (;)) = 3:; SaSf3 of order 4;
ll!jl= v'2 ii o.11;
6) n(o:,,8) = 1, n(/3,o:) = 3; (n,,6) = ~; Sasµ of order 6;
II f3 II= v3 II o: JI;
7) n(o:, /3) = -1, n(f], a) = -3; (;)) = 5;; SaSf3 of order 6;
II f3 II= V'3 ii a II;
8) n(a,/3) = n((J,o:) = 2; 0: = (3;
9) n(a,/3) = n((J,a) = -2; a= -/3;
10) n(a,/3) = 1, n({J,a) = 4; /3 = 2a;
11) n(o,(3) = -1, n(,8,o:) = -4; /3 = -2n.
In particular:
PROPOSITION 8. (i) ff' two roots are proportional, the .factor of proportion-
ality can only be ±1, ±~, ±2.
(ii) If a and f3 are two non-proportional roots, and if II a 11~11 /3 [[, then
n( a, (3) takes one o.f the valv.es 0, 1, -1.
The set S is called the a-chain of roots defined by (3, (3 - qn is its origin,
(3 +pa is its end, and p + q is its length.
COROLLARY. Let S be an a-chain of roots, o.nd "'/ the or'igin ofS. The length
of S is - n(1, o:); it is equal to 0, 1, 2 or 3.
The first assertion follows from Prop. 9, (iii), applied to (3 =/,and using
the fact that q = 0.
On the other hand, since / is not proportional to a, the list given at the
beginning of this no. shows that In(/, o:)I ~ 3, hence the corollary.
v+ a y y +a y Y +a
~IX
/ t p-"\._
y y +a y + 2a
~a
/Jl3"{~
y y+ a y + ia y + 3 a
We shall see (Plate X, Systems A2 , B 2 , G2) that all these cases are actually
realised.
Let S be the a-chain defined by /3, 1· its origin; its length l is :;:: 1 since
f3 +a is a root. The following cases are possible:
1) l = l; then f3 = -y,q = 0,p = 1, (/3 + u)/3 +a)= (/31/3).
2) l = 2, /3 = 1; then q = 0,p = 2, ((J + a)/3 + o:) = ~(,61,6).
3) l = 2, ,6 =I'+ o:; then q = l,p = 1, (,6 + a),6 +a)= 2(,8),6).
164 ROOT SYSTEMS Ch. VI
n(2'Y, 'Y') = 2n('Y, 'Y') = 4n('Y, 2'Y') E 4Z, and /n('Y, 'Y')/ ::::;; 1
since 'Y and 'Y' have the same length, so n('Y, 'Y') = 0 and bl'Y') = 0.
PROPOSITION 14. Assume th.at R is irreducible and reduced, and that (aln)
takes the values A and 2-X for o: E R. Let A be the set of roots a such that
(adn) = .X. Assume that any two non-proportional elements of A are orthog-
onal. Then R 1 = RU 2A is an irreducible non-reduced root system and R is
the set of indivisible roots of R 1 .
It is clear that R 1 satisfies (RS1) and (RSm). We show that, if a., (3 E R 1 ,
then (a-,(:J) E z. This is clear if a.ER. Since (2at= 1a- a
for EA, it is also
immediate if a, /3 E 2A. Finally, assume that /3 E R and that a = 2'Y with
'YE A.
1) If'Y = ±/3, then (a-,/3) = ±~('Y-,'Y) = ±1.
2) If 'Y is not proportional to (3 and if (3 E A, the assumption on A implies
that ('Y~(3) = 0, so (o:-,/3) = 0.
3) If (3 E R - A, then ({:J/(3) = 2-X = 2('Yh ), so ((3, 'Y-) is equal to 0, 2 or
-2 by the list in no. 3. Thus ((3,o:-) = ~(f3,'Y-) E Z.
Thus R 1 is a root system in V, and the other assertions are clear.
Remarks. 4) Assertion (vi) of Th. 2 shows that the map C 1--> B(C) is a
bijection from the set of chambers to the set of bases. Consequently, W(R)
acts simply-transdively on the set of bases.
5) Let C be a chamber of R, and let B be the corresponding basis. If
a EB, put rp(a) = n· if 2a ~ Rand rp(a) = ~a:- if 2a E R. Then rp(B) is the
basis of R- defined by c-; this follows from the fact that the walls of c· are
the L"'·, for a EB.
§ 1. ROOT SYSTEMS 167
(o:lf:J) II a: II 7f
n(o:,{3) = 2(f31f3) = -2urrcos m(a,p)' (11)
where m(a:,,8) denotes as above the order of sus13. If n: f=- /3, n(a,fJ) = 0,
-1, -2 or -3 (cf. no. 3).
Remarks. 6) The Cartan matrix (n( a, /J)) should not be confused with the
Coxeter matrix (m(a:,,8)). Note in particular that the Cartan matrix is not
necessarily symmetric.
7) Canonical indexing. If B and B' are two bases of R, there exists a
unique element w E W such that w(B) = B'. \Ve have
a>---> w(a)
from B to B'.
The Cartan and Coxetcr matrices can actually be defined canonically in
the following way. Let X be the set of pairs (B, a), where B is a basis of R
and a E B. The group W acts in an obvious way on X and each orbit.of
W on X meets each of the sets {B} x B in exactly one point. If I is the set
of these orbits, each basis B admits a canonical inde:ring (ni)iEI· Moreover,
there exists a unique matrix N = ( nij) (resp. M = (mi.i)), of type I x I, such
that for any basis B, the Cartan (resp. Coxeter) matrix associated to B can
be obtained from N (resp. M) by composing with the canonical indexing of
B; it is called the canonical Cartan matri.x (resp. Coxeter matrix) of R.
COROLLARY. Let R 1 and R.2 be two redv.ced root systems in vector spaces
V1 and V2, and let B 1 and B2 be bases of R1 and R2· Let f: B1--> B2 be a
bijection th.at transforms the Cartan matrix of R 1 to th.at of R2. Then there
168 ROOT SYSTEMS Ch. VI
follows from Th. 2 that all the chambers and bases of R are obtained in this
way.
6. POSITIVE ROOTS
can assume that o: is indivisible. Now the group P is clearly stable under the
s-y, for 1 E B(C), hence also under W(R) by Th. 2. Since o: is of the form
w(/3), with w E W(R) and f3 E B(C) (cf. Prop. 15), we have o: E P. Q.E.D.
Denote by R+ (C) the set of roots that are positive for C. Thus,
R = R+ (C) u (- R+ ( C))
is a partition of R.
Thus, if"/ is proportional to a, then "/ =n 0 0:, which proves the corollary.
Now let S be the set of reflections s<:> for n E B(C) and let T be the
union of the conjugates of S under W. For o: E B(C) and w E W, the
element t = ws 0 w- 1 of T is the orthogonal reflection Sf3 associated to the
root f3 = w(a); conversely, for any indivisible root (3, there exists an element
w E W such that a: = w- 1 ((3) E B( C) (Prop. 15) and Sf3 = ws 0 w- 1 E T.
It follows that a bijection '(j; from the set of indivisible roots to { ± 1} x T is
obtained by associating to an indivisible root f3 the pair (c:, Sf3), where c: = +l
if f3 is positive and c: = -1 if f3 is negative.
On the other hand, (W, S) is a Coxeter system (Th. 2) and the results of
Chap. IV, § 1, no. 4 can be applied. We have seen that, if w is an element
of W of length (with respect to S) equal to q, there exists a subset Tw of T,
with q elements, such that, if w = s 1 ... Sq with Si E S and if
(for 1 ~ i ~ q), then Tw = { t 1 , ... , tq}. Recall that we have also defined in
no. 4 of§ 1anumber17(w,t) (for w E Wand t ET) equal to +1 if t ~ Tw
and to -1 if t E Tw. Finally, recall that, if we define a map U w from the set
{±1} x T to itself by the formula
Uw(c:,t) = (c:77(w- 1 ,t),wtw- 1 ),
the map w >---> Uw is a homomorphism from W to the group of permutations
of the set {±1} x T (Chap. IV,§ 1, no. 4, Lemma 1).
s(p) = L n-y(s(p))T.
-yEB(C)
If pi {3, there exists an element"( E B(C) with "f i {3, such that n-y(p) > 0,
and we have n-y(s(p)) = n-y(p) > 0 (no. 1, formula (5)). Hence s(p) is positive.
We deduce immediately that.
Comparison of (12) and (13) now shows that Us(-1{1("1)) = ·l{l(s("Y)) for all roots
"I and alls ES. Since S generates W, (i) follows.
On the other hand, saying that w(n:) is negative is equivalent to saying
that
'l/'(w(o:)) = (-1, WSaW- 1 ),
or, by (i), that Uw(4;(o:)) = (-l,ws"'w- 1 ). If in addition a is positive, then
·l{l(o.) = ( +1, Sn) and Uw(1f.1(a)) = (17(w- 1, Sn), ws,;w- 1 ), hence (ii).
Finally, by (ii), 11(w, s<>) = -1 if and only if one of the roots a and
w- 1 (a) is positive and the other negative. This is equivalent to saying that
(ajx).(w- 1 (0)1x) = (a1x).(n1w(x)) < 0 for all x EC, hence the first assertion
in (iii). The second assertion in (iii) follows immediately. ·
COROLLARY 1. Let fJ E B(C). The reffoction S(J permutes the positive roots
not proport'ional to (3.
vVc reduce immediately to the case in which R. is reduced. In that case,
our assertion follows from (ii) and the fact that Tsr; = Sfi·
Let X be the set of O'. > 0 such that w(a:) < 0. By (ii),
Card(X) = Card(Tw-1) = l(w- 1 ) = l(w) = q.
On the other hand, if n E X it is clear that there exists i E (1, q) such that
PROPOSITION 18. Let x EV. The following three properties are equivalent:
(i) x EC;
(ii) x ~ s,,(x) for all C\' E B(C) (with respect to the order relation defined
by C};
(iii) .T ~ w(x) for all w E W.
Since s°'(x) = x - (x, o:")o: and since C is the set of elements x EV such
that (x, an
~ 0 for all a E B(C), the equivalence of (i) and (ii) is obvious. On
the other hancl, it is clear that (iii) ==} (ii). We show that (i) ==} (iii). Let
x EC, and let w E W. We argue by induction on the length l(w) of w. The
case l(w) = 0 is trivial. If l(w) ~ 1, w can be written in the form w = w's°',
with a E B(C) and l(w') = l(w) - 1. Then
Now So: E Tw-t, and Prop. 17 (ii) shows that w(a) < 0. Hence the result.
172 ROOT SYSTEMS Ch. VI
PROPOSITION 19. Let (.Bi)i,,;i,,;n be a sequnce of positive roots for the cham-
ber C such that /31 + ,82 + · · · + .Bn is a root. Then there exists a permutation
7r E 6n such that, for all i E {1, 2, ... , n}, .Btr(l) + .Brr(2) + · · · + .B"(iJ is a root.
COROLLARY l. Let a: E R+(C). Then a: E B(C) if and only ~la: is the sum
of two positive roots.
If a: is the sum of two positive roots, Th. 3 shows that a: E B(C). If
n
a:¢ B(C), Th. 3 shows that a:= L .Bk .with .Bk E B(C) for all k and n ~ 2.
k=l
n-1
Permuting the .Bk if necessary, we can assume that L is a root (Prop. 19),
k=l
n-l
and hence that a: is the sum of the positive roots L .Bk and ,B.,,.
k=l
which shows that X and X' are both generated by P, and hence coincide. But
the half-lines generated by the elements of B (resp. by B') are the extreme
generators of X (resp. X'); since such a half-line contains only one indivisible
root, B = B'.
f3 - n(/3, 0t)0t E P
since P is closed and symmetric. Thus, s 0 , 01 -(P) = P, and P satisfies (RSu).
It is clear that P satisfies (RSrn). Thus, P satisfies (ii), and we have proved
the last assertion of the proposition at the same time.
(ii) =;. (iii): we show that, if condition (ii) is satisfied, then I' n R = P.
It is clear that P ~ I' n R. Let f3 E I' n R.. Since f3 E I' and P = -P,
f3 = 0t1 + 0t2 + · · · + Olk with o: 1 , ... , Olk E P. We shall prove that /3 E P. This
is clear if k = 1. We argue by induction on k. We have
178 ROOT SYSTEMS Ch. VI
k
L: (,Blai),
o < (,Gl,8) = i=l
so (,Bini)> 0 for some index i. If /3 =a;, then /3 E P. Otherwise, ,8 - o:; E Il
(Cor. of Th. 1, no. 3), so /3-a.i E P by the induction hypothesis, hence f3 E P
since P is closed.
The conditions of Prop. 23 can be realised with V 1 = V and yet P f R. For
example, this is the case when R is a system of type G2 and P a system of type
A2; cf. Plate X.
8. HIGHEST ROOT
(o: IC\:i') = L
iEI
n;(a; I0'.; 1 ) <0
since (aj Ink) :;:;; 0 whenever j and k are distinct, which would contradict 2).
Thus J' = 0 and n; > 0 for all i.
4) We have (fJ Io:;) ? 0 for all i by 2). We cannot have (/JI o;) = 0 for all
i since /J =J 0. We deduce from 3) that
((1 I a) =L i
n; ((31 o:;) > 0.
in (i) is said to be the highest rnot of R (with respect to C). Note that, by
(i), we haven; ;;:: 1 for all i.
PROPOSITION 26. The set of x E V s1tch that (x, y*) E Z for all y* E
Q(R") (or, equivalently, for all y* E R") is a discrete subgroup G of V con-
taining Q(R). ff B' is a basis of R', the basis of V d11.al to B' is a basis of
G.
P(R)/Q(R), P(K)/Q(K)
are finite groups in duality over Q/Z, and hence are isomorphic. The common
order of these two groups is called the connection index of R (or of K).
If R is a direct sum of root systems R;, the group Q(R) (resp. P(R)) is
identified canonically with the direct sum of the Q(R;) (resp. P(Ri)).
If w = S0: 1 Sa 2 ••• Sa,., with 0.1, ... , O.r E R1, it is still true that p- w(p) E Q1,
as we see by induction on r.
The group A(R) leaves P(R) and Q(R) invariant, and hence acts on the quo-
tient P(R)/Q(R). By Prop. 27, the group W(R) acts trivially on P(R)/Q(R).
Passing to the quotient, we see that the q·uot-ient group A(R)/W(R) (cf. Prop.
16, no. 5) acts canonically on P(R)/Q(R).
a= I:
,BEB
n(D',(3)w,e. (14)
The Cartan matrix is thus the transpose of the matrix of the canonical in-
jection
Q(R) ~ P(R)
with respect to the bases Band (wa)0:EB of the Z-modules Q(R) and P(R).
A weight w is said to be dominant if it belongs to C, in other words if
its coordinates with respect to (wa )aEB are integers ~ 0, or equivalently it'
g(w) ~ w for all g E W(R) (no. 6, Prop. 18). Since C is a fundamental domain
§ 1. ROOT SYSTEMS 181
for W(R) (Th. 2), there exists, for any weight w, a unique weight w' such that
w' is a transform of w by W(R.).
We have
\wo, rn = (wo I (f32if3)) = bo{3
for o:, fJ E B ( c50 f3 denoting the Kronecker symbol), hence
COROLLARY. Let a- be half the sum of the elements > 0 of R" (for B). For
all C\' E V, the sum of the coordinates of a with respect to the basis B is (o:, a-).
If o. ER, this s1tm is eq1wl to~ L n(a,,13).
/3ER+(C)
Interchanging the roles of R and R. above, we have (a:, a-) 1 for all
a E B, hence the corollary.
" (a I /3) 2
n1 + · · · + n1 + 1 = 2 + 2 o:ER+,a#fl
L, ( I )(/3 I /3)
a a
L (al/3)2 (/31/3)-1 L a I 2
= 2 o:ER+ (o I a)(/31 (3) = <>ER ( Tinlf (3) .
L,
'°"' (-1a-II I fJ) 2 = h(/31 f3)
aER Ia
so n1 + · · · + n1 + 1 = h.
PROPOSITION 32. Assume that R is irreducible, and that all roots ha.ve the
same length. Let a E: R. The n·u.mber of elements of R not orthogonal to a is
4h - 6.
Let R' be the set of roots not proportional to and not orthogonal to a.
By Chap. V, § 6, no. 2, Cor. of Th. 1,
that is
If (3 E: R', then (a/ /3) =±~(a I 0:) by the list in no. 3. Hence
1 I I
4cardR = h - 2, Ca.rdR = 4h - 8,
PROPOSITION 33. Assume that R is irreducible and red·uced. Put Sn, = Si,
and let I' be the subgroup of W generated by C = S1 ... S/.
(i) Let ()i = 81S1_ 1 ... si+1(oi) (i = l, ... ,l). Then, Bi> 0,c(Bi) < 0.
(ii) If a is a root > 0 such that c( o:) < 0, then o is equal to one of the Bi.
(iii) The farrt"ily (fii)i~i~l is a basis of Q(R).
(iv) Let fti be the orbit of B, under I'. The sets fli are pairwise disjoint,
they are all the orbits of I' on R, and each has h elements.
Observe first that (s 1 , ... , s1) is a reduced decompo.5if'ion of c (Chap. IV,
§ 1, no. 1) with respect to the set S of the Si· Indeed, otherwise there would
exist a subset X = S- {j} of l - 1 elements of S such that c E Wx, which
would contradict Cor. 2 of Prop. 7 of Chap. IV, § 1, no. 8.
Applying Cor. 2 of Prop. 17 of no. 6 to c gives assertions (i) and (ii).
Let Qi be the subgroup of Q(R) generated by the a 1 , j > i. It is immediate
that Qi is stable under the s1 , j > i, and that sj(o:;) =a; mod. Qi for .i > ·i.
Hence:
Bi= s1 ... si·H(a;) = ai mod. Q;.
184 ROOT SYSTEMS Ch. VI
ei = o:i L: cijO:j.
+ j>i
Part (iii) follows immediately.
h-1
Finally, let o: be a root. The element L ck (a) is invariant under c, and
k=O
hence zero (Chap. V, § 6, no. 2). The ck(a) cannot therefore all have the
same sign, and there exists a k such that ck(a) > 0 and ck+ 1(a) < O. By (ii),
ck(a) is one of the e.;.
Thus every orbit of I' on R is one of the fli. Extend
(x J y) to a hermitian form on V ® C. Each orbit of r in R has at most h
elements, and there are at most l distinct orbits, by the above remarks. Now
(Chap. V, § 6, no. 2, Theorem 2, ii)), the cardinal of R is equal to hl, which
immediately implies (iv).
<PR(x,y) = Bn.-(a(x),a(y)) =
oER
L (o.,a(x))(a,a(y)).
<Pn(x,y) L <l>R(o:,:r)<P(o.,y).
= <>ER (16)
In view of Prop. 7 of no. 2, <f>R is the only non-zero symmetric bilinear form invariant
under W(R) which satisfies the identity (16).
For /3 E R, (16) gives
hence
(17)
L: PR(a,x)<PR(a,y)<PR(a,a)- 2 .
= 4 <>ER
It follows that, if R is irreducible, there exists a constant l'(R) > 0 such that
{18)
for x*, y* E V*. This proves that 1(R) = 1(W). On the other hand, for /3 E R.,
so, by (16),
or finally
{19)
Further, if all the roots of R have the same length >. for <PR, (16) and (18) show
that
(20)
Moreover, if his the Coxeter number of W, the Cor. of Th. 1 of Chap. V, § 6, no.
2 shows that:
h<PR(x,.r) = L: ~) 2 for all x EV.
aER
(x, A
{21)
Finally, formula (19) shows that the roots of W have length >. for <Pw.
10 ,k = {x E EI (a, x) = k}
and let Sa,k be the orthogonal reflection with respect to La,k· Then
ii:= l:n;ai
iEI
be the highest root of R (§ 1, no. 8), and let J be the set of 'i E I such that
ni = 1.
PROPOSITION 5. Let C be the alcove contained in C' and containing 0 in
its clos'ure (Prop. 4).
188 ROOT SYSTEMS Ch. VI
(i) C is the set of x EE such that (ai, x) > 0 for all i E I and (a, x) < 1.
(ii) The set C n P(K) consists of 0 and the wi for i E J.
Let D be the set of x E E such that (&, x) < 1 and set C 1 = C' n D.
Since 0 E C, we have C <::;: D and hence C <::;: C 1 . We are going to show
that, for all a: E R and all k E Z, the sets C and C 1 are 011 the same side
of the hyperplane LCl,k· This will prove that C1 <::;: C and so will establish
assertion (i). If k = 0, the whole of the chamber C' is on one side of L0 , 0 ,
which establishes our assertion in this case. If k i= 0, we may, by replacing a
by -a, assume that k > 0. Then (a, x) < k on C, since 0-E C. On the other
hand, & - a is positive on C' (§ 1, no. 8, Prop. 25). Thus, for y E C 1, we
have (a, y) ~ (&, y) < 1 ~ k. Consequently, C and C 1 are on the same side
of La,k·
Now let w E P(R-). Then w = l;:piwi, with Pi E Z (§ 1, no. 10), and
w E C' ' positive. If w E C', then
if and only if the integers p; are w E C if and
only if (&,w) = °2:n;pi is~ 1, hence (ii).
'
COROLLARY. The alcove C is an open simplex with vertices 0 and the
wi/n;,
i EI.
This follows from (i).
3. NORMALISER OF W a
In this no., we assume that the chosen scalar product on V is invariant not
only under W but ·u.nder the whole of the group A(R). We identify A(R) and
A(R-).
Let G be the normaliser of W a. in the group of displacements of the affine
euclidean space E. If g is a displacement of E, and s is the orthogonal reflection
with respect to a hyperplane L, the displacement gsg- 1 is the orthogonal
reflection with respect to the hyperplane g(L). It follows that G is the set of
displacements of E that permute the hyperplanes La,k (for o: E Rand k E Z).
Now, the group of automorphisms of E is the semi-direct product of the
orthogonal group U of V* and the group T of translations. If u E U and
v EV*, the hyperplane La,k is transformed by g = uot(v) into the hyperplane
with equation
(u- 1 (a),x) = k + (a:,v).
Consequently, g E G if and only if, on the one hand tu permutes the roots, in
other words belongs to A(R), and on the other hand (a, v) E Z for all a E R,
that is v E P(K). In other words, the group G is the semi-direct product of
A(R) by P. Since Q <::;: P and W <::;: A(R), the quotient group G/Wa is the
semi-direct product of A(R)/W by P(K)/Q(R-); it is immediately checked
that the corresponding action of A(R)/W on P(W)/Q(R-) is the canonical
action (§1, no. 9).
§ 2. AFFINE WEYL GROUP 189
Let (w 1 , ... , wt) be the basis of P(R") dual to B. By the Cor. of Prop. 5, the
open simplex C with vertices 0, n;- 1w 1 , ... , n1 1w1 is an alcove of E. Choose
a Haar measure µon the additive group V*. Let A be the set of elements of
V* of the form l, 1w1 + · · · + l,1w1, with 0 <Si < 1 for i = 1, ... , l. By Cor. 2
of Prop. 15 of Integration, Chap. VII, § 1, no. 10,
(5)
On the other hand, let A' be the set of elements of V* of the form
6a1- + · · · + l,101·,
with 0 <Si < 1 for i = 1, ... , l. Since (a 1·, •.. , al) is a basis of the Z-module
Q(R"), we can apply Lemma 1 with X = V*, G = Wa, G' = Q, U = C and
U' =A'. This gives
The proposition now follows by comparing formulas (5), (6) and (7).
and the element SH' o SH of G is the translation by the vector 2>..a (Chap. V,
§ 2, no. 4, Prop. 5). Consequently, H + 2n>.o. = (sH'stt)"(H) and H + (2n +
l)>..a = (swsH)n(H') belongs to .fJH- On the other hand, if L E fJH, there
exists ~ E R such that L = H + ~>..a and there exists an integer n such that
and there exist 'Y E Rand n E N* such that Ls"(/3),l = L,,,n. Then
H~ =Ha+ (1/2)o-;
since the translation t(a-) by the vector a- is the product sH;,SH" (Chap. V,
§ 2, no. 4, Prop. 5), it belongs to T and a:-= t(a:-)(0) is a special point for G.
Consequently, for all /3 E R, there exists a hyperplane Lp,k passing through
ex-, with k an integer, which shows that (/3, o:") E Z, and proves (RSm).
d) Finally, it is clear that R is reduced, for if H, H' E 5) 0 , H =J. H', the
linear forms ll'H and ow are not proportional.
§ 3. EXPONENTIAL INVARIANTS
In this section, the letter A denotes a commutative ring, with a unit element,
and not reduced to 0.
(Commutative Algebra, Chap. VII,§ 1, no. 6), hence that 1-zX 1 is extremal
in B. The extremal factors of 1 - X{ in B are thus of the form 1 - zX 1 . Now
none of these factors divide 1 - Xf' X2 in B (for the homomorphism f from
B to B such that f(Xi) = z- 1 ,f(Xi) =Xi for i ~ 2, satisfies
We retain the notations of the preceding number and let. R be a reduced root
system in a real vector space V. In the remainder of this section, we take for
P the group of weights of R (§ 1, no. 9). The group W = W(R) acts on P,
hence also on the algebra A[P]; we have w(eP) = ew(p) for w E Wand p E P.
Let C be a chamber of R (§ 1, no. 5) and let B = (a:;)i~i~l be the
corresponding basis of R. We provide V (and hence also P) with the order
structure defined by C. If p, p' E P, p ~ p' if and only if p - p' is a linear
combination of the O'i with positive coefficients.
Lemma 2. Let x E A[P] and let (xpeP)pExbe the family of maximal te-rms of
x. Let q E P and let y E A[P] be such that eq is the un'ique maximal term of
y. Then, the family of ma.rimal terms of xy is (xpeP+9)pEX.
Put x = LxpeP,y = Lyre"and xy = Lzte 1 • Then r ~ q for all r E P
p r· t
such that Yr L XpYr·
f:. 0 and Zt = p+r=t
If t = p + q = p' + r with p E X and Xr'Yr =/= 0, then r ~ q, hence p' ~ p
and consequently p' = p. Thus Zp+q = XpYq = Xp I 0. This shows that X + q
is contained in the support of the product ."Cy.
On the other hand, if t = p' + r with .Tp'Yr f:. 0, there exists p E X such
that p' ~ p and we have t ~ p + q. The maximal support of xy is therefore
contained in X + q. Since no two elements of X + q are comparable, it follows
that X + q is exactly the maximal support of ."Cy and we have seen above that
Zp+q = -'Ep for p E X, which completes the proof of the lemma.
196 ROOT SYSTEMS Ch. VI
3. ANTI-INVARIANT ELEMENTS
We retain the notations of the preceding number. Denote by c:(w) the deter-
minant of the element w E W. Thus
c:(w) = (-l)l(wl,
w(J(x)) = L _c:(v).wv(x) =
vEW
c:(w) L
vEW
c:(v).v(.1:) = c:(w).J(x)
and J(.T) is anti-invariant. On the other hand, let q = Card(W). For any
anti-invariant element x of A[P], we have J(x) = q.x. It follows that, if q is
invertible in A, the map q- 1 J is a projection from A[P] onto the submodule
of anti-invariant elements.
Let w1 , .•• , Wt be the fundamental weights corresponding tci the cham-
ber C. The elements of P n C (resp. P n C) are the weights of the form
n 1 w1 + · · · + n1w1 with ni ~ 0 (resp. ni > 0) for 1 ~ i ~ l (§ 1, no. 10). On
the other hand,
p = W1 t · · · + Wt
is half the sum of the positive roots ( loc. cit.) so the elements of P n C are the
weights of the form p + p with p E P n C. Finally, if p E P n C, then w(p) < p
for all w # 1 (§ 1, no. 6, Cor. to Prop. 18) and eP is thus the unique maximal
term of J(eP).
Since p E P, d E A[P].
d= eP + L: c' eq.
q<p q
(5)
If nw ;?: 0, it is clear that 1 - enw<> is divisible by 1 - e°' and this is also true
when nw < 0 since 1 - enwo: = -en"'°'(l - e-n'""'). Hence, .J(eP) is divisible
by 1 - e°' in Z[P].
By Lemma 1, Z[P] is factorial and the elements 1 - e0 for n E R and
a > 0 are mutually prime. It follows that J(eP) is divisible in Z[P] by the
product TI (1 - e°'), and hence also by d = e-P TI (1 - e°').
<>>0 C1:>0
Returning to the general case, by exten::;ion of scalars from Z to A, we
deduce from the above that d = J(eP) and that every element J(eP) is divisible
by d. Since eP is the unique maximal term of d, ·the Remark of no. 2 shows
that there exists a unique element y E A[P] such that J(eP) = dy and it
follows immediately that y is invariant under W, and hence that d and J(eP)
are anti-invariant. This proves (i) and (ii).
Finally, if 2 is not a zero divisor in A, the Remark of no. 2 and Prop.
imply (iii).
4. INVARIANT ELEMENTS
x = ~ XpS(eP). (6)
PnC
We deduce:
More generally:
for all i EI (with ai.i EA, the support of the family (a;i) being finite for all
i). Then, (x;);EI is a basis of E.
For any subset J of I, let EJ be the submodule of E with basis (e;.);EJ.
Let 6 be the set of subsets J of I with the following properties:
(a) Ifi' ~ i and ·i E J, then i' E J;
(b) (,r;);EJ is a basis of EJ.
It is immediate that 6, ordered by inclusion, is inductive and non-empty.
It therefore has a maximal element J. If J ::/=I, let i 0 be a minimal element of
I - J and put J' = JU { io}. Every element i E I such that i < io then belongs
to J: it follows that J' satisfies (a.). On the other hand, J' also satisfies (b):
indeed,
200 HOOT SYSTEl\IS Ch. VI
from which (b) follows. Ht'11cc .I' E 6. a nrnt.radiction. Thus, ,J = I and the
l<'mma is provt•d.
Wf' now prove Prop. :~. \Ve appl.v Lemma 4 with I = P n C. Let <J E I. and
Id; lq I)(' the set of p E l such that p ~ q. If p EI,,. tlw relations
q - p ~ 0. JI E C, <J E C
imply that
(q - PIP) ~ 0 and (q - plq) ~ 0,
.
J ·p = ,.,,,, + ~
L
('1"1 ('. q
(/<!'
SU by (6).
In thb section, we are goiug t.o detC'rrninc, 11p to isomorphism, all root sys-
tems. and cunsequent.ly all crystallographic groups (§ 2. no. !'i ). 1\forE' gener-
ally. we shall start by dctPnniniug all finit.c groups gt'Il<'rated by rC'flect ions in
a finite-dimensional rt'al vC'ctor spacc: this is equivalent (Chap. V, q 4, no. 8)
to dctPrmining nil finite Coxcter groups, or (Chap. V. 3 4. 110. 8, Th. 2)
to determiui11g all Coxeter matrices of finite order such that the associated
bilinear form is positive aud 11011-dCf.!/'nernte.
Let. 1\I = (m·ij )i ..iEI he a Coxct<>r matrix of finite order /. Put
<J;j = - ros(n'/mi.il·
RC'call that q;; = 1 and that % = <Jii is zero
or ::::; -1/2 for i =I j. Put
E = R a11d let (c;)iEI he the canonical basis of E. Denote b.v (:rlu) the
1
Denote by (X . .f) the Co:r:ctcr .fJraJlh of l\I (Chap. TV. § I. no. 9). If a is an
edge of X. f (a) is called the order of a.
In the remainder of this nmnbcr. the Cox<>ter group W('.\1) <lefincd by
'.\I (Chap. V, § 4, 110. :n is assumed to be finite, so that <J is positive an<l
11011-dcgenernte and X is a fore8t (Chap. V, 3 4, 110. 8, Prop. 8). We also
assume that X is connf'.clcd (in other words that the Coxcter group W(M) is
frn:dm:ibfr). so l hat X is a tn:e.
From the condition that q is positive and non-degenerate, we shall obtain
comlit:ions on the mi.i that will enable us to list. all the possibilities for the
corresponding Coxctcr graphs: it will only rcmai11 to show that these possi-
bilit ics arc actually realised, in other words that the <.:0rrespo11diug groups
W('.\I) arc finitl'.
.......
2 l ( v'3 )2
L..<i;k.?:1+ -2 =l
ki1
lemma 9. As.rnrw: I/wt X i.~ a «ho.in with vertices I, 2, ... , I a.nd edges
{L2}.{2,:3} .... ,{/- Lt}.
(i) rt' one of fh<' f'.dgl's {2. :~}.{:I. 4}, .... {I - 2. / - I} is of order~ ·L this
rdgc is of order 4 mul the grnph is the fullowiny:
(ii) ff' the edye { 1. 2} is of order 5, the graph is one of the following:
We ean assume that I > 2 (Lemma 4). Assume that {i. i + 1} is of order
~ 4, with l :::;; i :::;; I - 1. Put
which J!;ives
1 .. (.
-11 1 + !)('J + 1) > ·2·2
1..J cm; 27f
-
4 m
so
(i + l)(j + 1) > 4ij cos2 7r ~ 2ij.
m
This ~ives, first of alL ij - i - j - l < 0. or (i - 1)(.i - 1) < 2. If
1 <i < l - 1,
and hence m = 4. This proves (i). If i = 1 and m = 5. then 2j + 2 > 4.i 3+/5 ,
or j V52- 1 < 2, j < J5 + 1 < 4, and sol= j + 1:::;; 4. This proves (ii).
1 The .=ith roots of l distinct from l are the solutions of z4 + z:J + z 2 + z + 1
0. Putting x = ~ (z + ~ ), this eql,lation becomes (2.r) 2 - 2 + 2x + 1 = 0, or
4x 2 + 2x - 1 = 0, so :1: = - t{V'>. H~nce,
Dcnmw. 10. ff X has a mm.ijimtion point i. th,. f1tll sub_qroph X - {i} is the
union of thn·c d1ains. and if 11 - 1, q - l. r - l rm: thr· lr-ngfhs of lh!'.se drnins,
th<' f.ripl<' {p. q. r} is c1r1rn.l. II.JI lo n 1w11nulo.tion. to 011.r: of the fripll'.s {I. 2. 2},
{l.2,:q. {1.2.-l}. {l.l.111} (forsomr·111 ~ l}.
Th<' wrt<'x i liclo11gs to;·~ cdg<'s (Lelllma 2). and thNr is 110 ot h<'r ramifira-
tio11 point (Lemma 7). so the full subgraph X- {i} is tli<' sm11 of :3 dwins X 1 ,
X:z. X: 1 each of whkh has a t<T111i11al wrtcx li11kPd to i in X. Let { i 1 • i 2 },
{i 2 .i;i} ..... {i 1,_ 1 .i1,} lw thl' edgt's of X 1 • {j 1 .):.!}. {,h.,h} ..... {j,,_ 1 .j,1}
thos<' of X2. and {k1.k2}. {k2.A:;i} ..... {k 1 ._1.~:,.} thos<' of X:i, with ·i1 ..h,
k 1 linked to i in X. W<' <"<lll asst Ill I<' that 71 ~ q ~ r ~ I. Pnt
11111tually ort hogo11nl. a11<l c; do<'S not b<'long to thP snbspan' F that they
µ;cncrntc: tlll' square of th(' clistcmc·1' fro111 c, to F is
x 2 ij ~ z 2
I - (1:,I~) - (f';I~)- - (f'ilN)
I p q r
=1----------
2µ+ l 2q+I 2r+l
I l I I 1 l 1 1 1
=l- - + - - - - - + - - - - - + - - - .
2 2p+l 2 2q+l 2 2r +l
Since this quantity is > 0. W<' have
Henn· 3(r + 1)- 1 > l. so r < 2 aucl fi11ally r =I. Then (1) gives
I 1
(p + 1)- > (i' hence p::;;: 4.
Ee 0------0------0
I
0
I
Es ~~r~0----0
<>--<>--~o
4
o~
p
o---<>(p = 5 or p ~ 7).
a) If tlw 111.;.i arc not nll cq11al to :t th<· graph X of (W.S) is a chain arnl
t>xact ly 011<' of the mu is eq11a.I to 4 or 5 (Lemma 7). If 011<' of the miJ is cq11al
to 5. Lc11nua 9 shows that we hav<• one of llH' types H;i, H1 or 12 ( 5). If one
of the 111.;,; is equal to 4. Lc111111<1 9 shows that W<' lrnve 011<' of the typt'S 131 or
F1.
b) Ass mm• now that all the m;.1 arc <>q11al to :t If X is a chain, I he Cox~·tcr
graph is of type A1. If not, Lem1~1a HJ shows that it is of type E 6 , E1. Es or
o,.
The fact that no two of tlw Cuxetcr graphs listed are isomorphic is dear.
Conv<'rsdy:
THEOREM 2. The Co:1:d<T .<rm·u11s defirwd by the Cm·ctcr qraphs A,. 131 •... ,
12(/1) of Th. I arc finite. l
This is clear for 12 (p), tht> corqespo11di11µ; µ;n>HJ> being th<' dihedral group
of order 2p (Chap. IV. ~ L 110. 1J). Fin· H 4 tlw corresponding quadratic form
~ 4. Cl.ASSIFIC'ATION OF !WOT SYSTEl\IS 207
IS
2 2 2 2 7T
C:1 + (2 + (1 + (1 - (16 - (2(1 - 2(cos r: )6(1
,)
2
::::: (1 + (22 + t::'')i + (;" - 1+JG
(1(2 - (26 - --2-6(1
(I + (! 2 l + JG 2 :3 1 2 7 - 3 JG 2
= ((2 - - 2 - ) + (C:~ - - ..-,-(1) + 4(C:1 - 36) + 2-l (i·
Since 7 - :~JG is > 0. this forrn is positiw 11on-dc•g<>11rrntc. a11d tlw corre-
spo11di11g Coxl'tt>r group is ti nit<'. Tht• sam(' holds for that corresponding to
H:J· since it is isomorphic to a s11ligro11p of 1·lH' pn'C'<'di11g (Chap. IV, ~ 1,
no. 8).
For tllC' types A,, B1 .. ... G 2 . we shall co11st rnct. in :-\os. 5 to 13, root
s,vstcrns haYing tlw corrC'sponding groups as \V<'yl groups. \Vt• shall SC'<' that
these gro11ps an· not only finite. hnt f'l'lJ8f.nlloymphir: rn
2. no. :i).
2. DYNKIN GRAPHS
By abuse of language. we shall call a normed _qmph a pair (I'. .f) having the
following propCl'ti<'s:
l) r is a graph (cnllc·d tlw 11nderlyin.r1 graph of (r. .f)).
2) If E denotes lhe set of pain; (i.j) such that {i.j} is an edg<' of I' . .f is
a rnap from E to R such that f(i,j)f(j. i) = 1 for all (i.j) EE.
There is an obYio11s notion of isomorphism of normed graphs.
Let R he a rcduc0d root systt>m in a real vector space V. \Ve arc going
to associate to it n 11orn1ed graph (X. f). called tlw /Jynkin qmph of fL The
vertices of X will lw the d('U1e11ts of the set I of orbits of \V(R) iu the union
of the sets {B} x B (wlH'rP Bis the set of has('s of R). If~= (n;i)i.jEI (rC'sp.
'.\! = (m;J)i.JEI) is the cawmieal Cartan lllatrix (resp. the Coxetcr lllatrix) of
R (S 1. no. 5, Remark 7), two vcrtic<·s i and j of X are link(~d if a11Cl ouly if
11 iJ f= 0 and we then put
·. ') = Tl;j •
. f( l . .J
Tlji
and that
208 ROOT SYSTEMS Ch. VI
graph of W(R), th(' diagra111 associat.(~d t.o tlw Dy11ki11 grnph of H can be
n·C'ov1•n•d 11sing tl1c inw·rse of this procPd11n~. cxn~pt for the inequality signs
on the double or t.ripk bonds. Th. 1 t h11s giws im11wdiatdy the list of possibk
Dy11ki11 grnphs. !\fore prPciscly:
E1 01-0-0---0
E8 0-0-1-0-o---<>---o
f 4
G2 ~
No two of these graphs a.rr. isom0171hic a.rid there !Lr<'. irrcdudhle reduced root
systems luzvin,q mch of fh<'m as their DynA:in yraph (np to isomorpl!'i.mt).
Tlw first. asst'rtio11 follows immcdiat.dy fro111 Th. l, i11 view of the preced-
ing remarks, t.hc fact that the CoxetPr gro11ps of the graph:; H:i, H 1 mHI I 2 (p)
(for JI = 5 and p ~ 7) art> not crystallographic, and till' fact that the two
possible irn•q11alitics for the doubk• (resp. trip It•) bond of the Dynkin graph
asso<:iat<'d to the Coxeter graph F 4 (n~sp. G 2 ) give isomorphic Dynkin graphs.
The second assNtion is clear a11<l the third will follow from the explicit con-
strnction of an incducihlP wduccd root system for each type. a construct.ion
that. will be carried out in Nos. 5 to 1:3.
Ld n l)(' an irn~dudbll' n•d11C'cd root sysl1•111 and IPt (X. f) lw its D.vnkin
graph. \Ve arc going to define a not her 11<m11cd graph (X . .f) that we shall ca II
the rompldcd Dynkin qm.ph of R. Tlw sd i of V<'rtic<'s of X co11sists of th<• set
I of vertic<'s of X and a vertex de11oted hy 0. not l)('lo11gi11g to I. To define .f,
choose a basis Il = (o;)iEI of R allll a scalar product (.rly) invariant 11ndf'r
W(R). L<>t n 0 be the negative of lh<' hiqhest rout. for the onkr dcfi11<•d by I3.
Two distinct vertices i.j E i are linked if and onlv if {n;lni) f 0 and we then
p11t
f(i,j) = (o,1n;).
(niln1)
It is in111wdiate that the graph X and the map .f thus defined do not depend
011 the ('hoicc of 13 or thl' scalar produd.
If tlw rank I of H is equal to I. th<'ll l = {i} and n 0 = -n: 1 : hence
f(O, i) = 1. If l ;? 2, no is 11ot proportional to any of the o; and (0 0 10;) is
'.( 0 (§ l. 110. 8. Prop. 25). For any pair {i,j) of disti11ct dcmcnts of L the
only possibilities an• those de11ott-d by 1). 2). ;3), ·!) in the pn•c<~ding 1111111her
(putting, for example. n. 0 ; = 11(n0. n,) aud 111 0; = order of sn 11 s,., for all i EI).
l 11 th<• case f ;? 2. I he compll'tcd D.vnkill graph is rqm~scut.cd hy a diagram
with thP same <:ouvcnt ious as i11 the prccPdiug lllllllher. somd.imcs i11dicati11g
hy dotted lines the boll(ls joining the wrtex () to th<' other wrticcs. \Ve
remark that the inequality sig11 > oil s11ch a ho11d. if it exists. is always
directed towards the v1~rtex distill(·( from 0. since' n 0 is a longc•st root (§ 1,
110. 8, Prop. 25). Tlw graph (X.f) is th1.• subgraph obtai1wd from (X./) by
deleting th<' wrt<'x 0.
The action of A(R) on (X. f) extends to an action oil (X. /). ll~aving 0
fixed. and \V(R) acts trivially 011 (X . . h
We retain the 11otat ions of ~ 2. Prop. 5 of § 2. 110. 2. t.ogetlwr with Th.
l of Chap. V, § J, 110. 2, shows that th<' Coxcter graph E of the affine Weyl
group W,, (R) can be obtainl'd from (X. f) by the same rules by which the
Coxctcr graph of W(B) is obtained from (X.f). Oil tlw other ham!. i<'t G
be the uormaliser of vV,,(H) (§ 2. no. ;3). To ally .<J E G corresponds an
automorphism ..p(y) of L' and ..p(.(J) = ld if .IJ E W., (ll). Conwrsel~·. given a.n
automorphism .>. of E there is. by Prop. 11 of Clwp. V, § 4. no. !J. a unique
element .<J = l/-'(.>.) prest•rviug a given akov<' (' alld such that ..p(!J) = .>.. Since
G is the semi-direct product of tll1c subgroup Ge of elements pn'Sl'rvi11g C
and Wa(R) rn 2. 110. :J). we dPdude that y defines by passage to the quotient
an isom017Jh:i8m from. G/Wa (m from Ge) tu Aut(E). It is immediate that
the composite of this isomorphisrn with the cauonical map fro111 A(R)/W(R)
to G/W,, coincides with the homomorphism from A(R)/W(R) to Aut(E)
iuducPd by the homomorphism frow A(H)/\V(R) t.o Aut(X. /) dditwd above.
By § 2. uo. :~, the group Aut(I:) is isomorphic to the semi-direct product of
~ 4. CLASSIFICATION OF ROOT SYSTE\IS 211
THEOREl\l 4. Let (\V. S) b(', 11.n inrdur?ihlr Co:relf'r system. with S .finifP. The
associated 1r1tadmtic form (Chap. V, ~ 4. no. l) is pos'iti11c and degfnnnlf if
o.nd ouly ~f the Co.1:rfrr .</mph <d (\V. S) is i.wmunph:ic to mw <~f the following:
A1 0_22._0
/o--o,_
Ai (l ;;;: 2) o·.... ··· ... ':a
(circuit with I + I vertices)
"'o--o/
B2 0__±_0_..1:_0
4
o/" ' 0---0- ... -o--o
Bi (l ;;;: 3) (I+ I l'ertices)
0'
Ci (l ;;;: 3) 4
0--0------0- . ..
4
--0--0--0 (I + I vertices)
0 /0
Di (t ;;;: 4) "'0-···-0 (I+ I vertice.I')
o/ "'o
0-----0-1-0---0
l
0
o-o---o-r-0-0---0
o-o-,-0-0-0-----o-o
4
0--0--0--0--0
o--o_Q_o
to the affine \Ve.vi groups of irr<'d11ciblc reduced root systems. The theorem
therefore follows from th(' dct<'rmi11atio11 of the eo111pl<~tcd Dy11kin graphs
made in !HIS. f> to 1:~ below.
Ll't. V b(' a real vector space of di1ue11sio11 I ;): 1 ('q11ippC'd with a scalar
product (.rly). La discrete s11bgro11p of V. A a li11it.<' set of lllllllbers > 0. and
R the set of n EL s11eh that (oln) EA. Ass11111<' that R generates V and that,
for auy pair (<L /i) of points of IL th(' rn1ml>n 2 ~;::;:~ is au iuteg<'r. Thell. R i8
a roof system in V. Ii1dc•<'<I. R dearly satisfies (RS1). Leto ER: let s 0 be the
1
orthogonal rcHc'<'tiou :r ,_., :r- 2((.1:i
no 1" )o: theu, if ·.1 ER. we' have 2(Pl "l) E Z,
n 1n:
so s,.(;:I) E L awl rnornovcr II s" (!:I) II= II t:I II· so s,.(!:I) E R: t.h11s. R sat isfks
(RS11) and (RS111). a11d is n•cl11cecl if A do<•s 11ot contain two u11mbcrs of the
form A awl 1A.
Now let V he a s11bspnc<' of E = R". L<'t (~ 1 ....• E,,) lH' the• rn11011icnl hasis
of E: we equip E with t\l(' sealar product for which this basis is ort ho11ormal
and ideutify E* with E (resp. v·
with V) by lllCHllS of this sc<ilnr prod11ct..
We define s11bgro11ps Lo. Lt, L 2 . L: 1 of E as follows:
I) Lo is t\l(' Z-rnodule with basis (E;). W<' haw (01;1) E Z for all o:.8 E Lo.
The vectors n E L 0 for which (rilo) = I an' th<' ±E; (J :::::; i:::::; n): those for
which (nlo) = 2 arP the ±E; ± E1 for i < j (the two si11:ns ±, in ±c:, ± Ej,
arP d1ose11 indq><'H<knt 1.v of 1•11ch oth1•r: W<' adopt au a11alogo11s convc·11t ion
t hro11gho11t the n•mai11cler of this sc•ct io11).
11.
that L"
i=l
~; is <'Wll; si11c<' f.; and t,;
.
have U1e same parity. this is eq11ivakut
to requiring that (.tl;r) is even. Let L~ be tlw submodule of L 1 gcnerntc<l
n n
" n
-1) L:1 = L, + ZO L c:,). Jf n is a 11111ltipl<' of ·1. L:1 is tll<' S<'t of L C,;E;
i=I ;=l
n
satisfying (G) and th<' rondition L (;
i=l
E 2Z: in this case. (nl::J) E Z for all
;1 E L:1-
rt.
H is immPdiate that th<' s11hgro11p of E associat<'d to L 0 (resp. L 1 • L2) is
Lo (resp. L2. L 1 ). Th<' s11bgro11p of E associated to L:i is the set of
11
:r = L C,;c:i
i=l
E L2
11 n
such that (;rH L €;)
1=1
E Z. that is. such that L Ci
1.=I
E 2Z: if n =0 (mo<l. 4),
t.his associated 1mbgroup is therefore L:i-
The abdian group L2/L 1 is of order 4. aud hence is il;omorphir to Z/4Z
or Z/2Z x Z/2Z (Algebra, Chap. VIL § 4. 110. G. Th. :3). If n is odd,
1 //
p(-
2
L c-d E L1
i=l
<=>fl= 0 (mod. 1)
l //
v( ~ LE;) E L1 <=> p
2 1~1
= 0 (rno<l. 2)
(XI) The group A(R)/W(ll). its H<'tion on t.lw Dynkin graph. and the
dt'111Pnt 11•0 of VV(ll) that trnnsfor111s B to - B.
(XII) The artion of P(R:)/Q(R-) 011 th(• c0111pktcd D\·11kin graph and the
act.ion of A(R)/W(H) ou P(W)/Q(tr).
For eaeh Dynki11 graph i11 Th. ~l. t hPst• data will lw collt•cted in Plat0s I
to IX. and ordered in a uniform way as above. \\'c also gi\'(':
(XIII) The Cmtan matrix, from which the' Dynkin graph is dcriv0d as
d<>s<Tibcd in no. 2.
(I) \Ve consider the group Lo in V = R 1 (no. 4). Let. R he the set of
n E Lo such that {olo) = 1 or (n1n) = 2. i11 other words the set of vectors
±E; {1 ~ i ~I) arnl ±c:; ± C:j (1 ~ i < j ~I). It is ckar that 11 p;PlH'rntPs V
and that 2(nld)/(nln) E Z for all 11 . .rJ E R. Thus H b a n·ehtcr•d root systpm
in V (no. 4). The number of roots is n = 21 + ,1'U; 1 > = 2l 2 .
(JI) Put
ft) = C:1 - E:2. 02 = E2 - E:3 ....• 0/-l =Et-I - c/. fl'./ =El·
Then
E;=n;+n;+1+···+01 (l~i~l)
h = 11/l = 2l.
(IV) Leto = c: 1 + c:2 = n 1 + 2n 2 + 2n:1 + · · · + 2n,. wlii('h is a root. The
sum of its f'oordinatl's n_ ·lat ivP tfl the basis ( n;) is 2l - I = h - 1. I_n vif'w of
s
Prop. :H of 1. no. 11. <\ is the highest root of R. \Ve• have (<\.In;) = 0 for
i -f= 2 aud (iilo 2 ) = 1. Since n 2 s of knp;th 1 (n·sp. J2) when l = 2 (rcsp.
I :;::: :$). the rnmpleted D.vnkin g1" ph of H is as follows:
for l = 2
"'z "'i
~ ~ ... - =
~ "'1-1"'1
~ 4. CLASSIFICATION OF ROOT SYSTF::\IS 215
W; = cJ + Ez + · · · + E;
= 0-1 + 202 + · · · + (i - l)n;_ 1 + i(n1 + n;+1 + · · · + 01) (i <I)
1 l
W1 = 2(c1 + €2 + · · · + E1) = 2(n 1 + 202 + · · · + lo 1 ).
(VII) TIH' sum of tl1<• positiv<' roots is
for all choices of till' signs 011 the right-ham! side. so that
(XI) The only automorphism of the Dynkin graph is t.hc identity clcm('Ht.
Thus, A(R) = W(R) and -1 E. W(R). Since -1 transforms I3 to -I3, we
conclude that 1110 = - 1.
(XII) The group P(W)/Q(W) is d11al to P(R.)/Q(R). and hcncC' is isomor-
phic to Z/2Z. Its noH-trivi<1l clement permutes the vertices corresponding to
rt 0 and n 1 and leav<'S the others fixed.
6. SYSTEMS OF TYPE Ct (l .? 2)
(I) The ('Xist('IHT of root systems of type C1 has been proved in no. 5,
since W<' haw seen that the inverse syst<·rn of a system of typ<' 13 1 is of type
Ct. A root systP111 of type Ct is tlms ohta.irn~d hv taking in R 1 tlw V<'Ctors
±2:=:; (1 :( i :( l). and ±c; ± EJ (1 :( i < .J :(I). The number of roots is 21 2 .
(ll) A basis of R can Ii<' obt.ai1H'd by taking th<' irnag(' und<'r th<' map
n r--+ (,;1;,) of l h<' basis of the systP111 consid<'r<'d i11 no. f>. \Ve obtain:
Thl' positiw roots are the 2c:; and the E, ± cJ (i < j).
(III) TIH' Coxctcr number is the same as for the inversl' syst<•m: h = 2l.
(IV) LP!(-~ = 2E1 = 2n 1 + 2n2 + · · · + 2nt _ 1 + 01. which is a root. Th<' snm
of its coordinat<'s rdat.ive to (n,) is 2[ - 1 = h - l. IIl'11cc. <\,is the highest.
root. WP have (ii10 1 ) = 0 for i ~ l, (iv[oi) = 2. Tims. t.lw cmnpld('d Dynkin
graph is
(V) w(' have already d<'l<'fll~IIWd W, which is of typt• I3,. By formula (10)
of 8 1, 110. 12 and by 110. 5 ( V). the square of th<' length of 2c:; for <PR is
l
= 01 + 2n2 + · · · + (i - l)n;_1 + i(n; + ll';+1 + · · · + -n1)
2
(i ~I).
7. SYSTEMS OF TYPE Al (l ~ 1)
l+l
(l) a11d (Ir) Let V lw the hyp<'rplanc in E = R 1+ 1 with equation L ~i = 0.
1=)
00
o--o.
a,
218 ROOT SYSTEl\IS Ch. VI
(V) Identifying V with its dnal nsing th<' sralar product. we have n· =
= o for all o E R, so R: = R.
2" )
( o·)<\.'
For tlw form <Pn. tll(' l<'11gth of the roots is h- 112 = (l + 1)- 112 (§ 1,
no. 12): so <l>,.(.r, y) = (;1:1y)/2(l + l).
We hav<~ 1(R) = (l + 1) 2 (s I. 110. 12. fon1111la (20)).
(VI) Let (w;) 1,,;; 1 ,,;;1 be the family of fundamc11t.al weights. Put
l+I
w; = L
)= l
f,;jEJ·
.
with f.;j ER.
f+I
f.;; - f.i.i+l = 1, f,;j - f.i.j+I = 0 for j ic i. L: fo = 0,
1~1
W; = E1 + ... + c; i
- --(E1 + ... + c/+1 )
l +1
l
= -((I - i + l)(n 1 + 2o 2 + · · · + (i - l)o;_i)
I+ 1
+ i((I - i + l)n; + (l - i)n;+1 + · · · + n1)).
(VII) The sum of th<' positive roots is
f+I
P(R) = Q(H) + Z(c1 - (I+ l)"- 1 L c;).
1=l
CLA.'>SIFICATJO!'I OF ROOT SYSTE'\IS 2HJ
~owl+ l is the s1t1allcst intq.!;t'r 111 > () s11ch thi\t 111p(E; 1) E Q(R). Thus
P(f0/Q(B) is isornorpl1iC' to Z/(/ + l)Z ;111d the c01111cctio11 index is I+ 1.
(IX) n11d (X) For anv a11trnnorphis111 .<J of V. kt ;:(.11) he the a11tot11orphis111
of E that extends y and kavC's :c 1 + :C·2 + · · · + c/ invariant. If y is\ lw orthogonal
rdieetion 8 0 , - ~,IV. ;p(.q) is equal to s,, -c,. which i11tcrd1<1llgcs c:, a11d z 1 and
l('il\'PS fixed the E; with k distinct frorn i and j. Let
(l ~ i ~I+ 1).
The alg<'hrn S(V) can he iclc-111 ificd with th<' restrict io11s to V oft lw poly-
nomial functions OJI E. If P E S(E)c. tl1t' restriction of P to V is clearly
i11vnria11t. ltll(\rr \\'(11). Coll\'('J'S('ly. if Q E S(V)\\'(HI. th<•rc ('Xists r E S(E)
<'Xl<'11di11g Q: rqibl('illg [' h.v ((/ + 1) 1)- 1 L y( P). which has t IH' sarn<' rest ric-
:1 E: (;
tio11 as P to V. W<' rn11 assntw' that PE S(E)c. Th11s. S(V)\\'(H) is g<'nnat<'d
by the s; =-<IV. Now 8 1 = 0. ~lorcov<'L the tra11sccnd<'11c" dqi,r~c over R of
th(' fidd of fractious of S(V) W( RJ isl, so the s; (2 ~ i. ~ I+ I) arc algebraically
i11drpt•11de11t. Since the s, HJ'(' of <\egret's 2. :~ ..... I+ I. 1llP <'XflOlWllts of vV(R)
arc
1.2.:l.. ... L.
(XI) For I= 1. A(R) == \V(R) = Z/2Z and 11·0 = - l.
For l? 2, let c: E A(R) I)(' t.h<' a11tolllorphistt1 that trn11sforms o, to 01+ l-i·
It is clear that t hr au tomorph isrn ind11ced by c is th<' 1wiqlH' no11-tri vial
nut.ornorphism of the Dy11ki11 grnph. Thc group A(H)/W(Il) is isomorphic
to Z/2Z. Since -1 is a11 clcm<'llt of A(R) which do<'s 11ot belong to \V(R)
by (IX) <111(! (X), we· s<'l' that A(R) is isomorphic to \\'(H) x Z/2Z. W<' have
U'o =- -::-.
(XII) ThC' gronp P(W)/Q(Ir) is cyclic of ord<'r l + 1 and nets 011 the
co111pld<'d Dvnkin graph b>· circular pcrn1ntntio11s. If I ? 2. tlw n11iqtt<' no11-
idc11tits t>IC'mc11t of A(R)/W(H) <trts on P(W)/Q(W) bv the automorphism
.r ~~ -:r.
220 ROOT SYSTFl\IS Ch. VI
8. SYSTEMS OF TYPE Dt (l ;? 3)
21 - :1 = h - 1.
"-''i =Et+ Ez + · · · + E;
= <.~1+2n2 + · · · + (i - l)n;_ 1 + i(o; + n;+1 + · ·· +ni- 2)
l
+ 2i(n1-1 +n:t)
for i < l - 1,
1
wt- I = -(c1 +E2+···+Et-2+E1-1 -E1)
2
l 1 1
= -(n1 + 2n2 + · · · + (l - 2)n1-2 + -lrr1- 1 + -(l - 2)01 ),
2 2 2
1
W/ = 2(c1 + E2 + · · · + Et-2 + E/-1 +Et)
l ' 1 1
= 2(n1 + 2n2 + · · · + (l - 2)n1-2 + 2(1- 2)n1-1 + 2tn1).
P =Pt +tP 2 • where all t.lw monomials featuring in Pt a11d P 2 haw only even
<'xpmwnts. Sinn' P is invariant 1111dcr th<' pernt11tatious of t.hc ~;. Pt awl P2
have t.he sat1H' property. a))(I so can he written as polynomials in t 1 . f'2, ... , f1.
This prows that. t 111• algPhra S(R1 ) 'N( n) is generated hy I 1 • t 2 , ... , f1 _ 1. t.
Moreover. the tnmsce11d<'ncc degre<' of the field of fractions of S(R1)\V(H)
is/. so t. 1 , t 2 .••.. 11_ 1 • t arc a.lgd1rnically indep<'ndt-nt. \V<' condudc that the
scq11c11cc of exponents. suitably ordered, is:
1. :i, 5, .... 2/ - 5. 21 - :u - 1.
2 ~ j ~ l - 2.
9. SYSTEM OF TYPE F 4
(I) Consider the gro11p L2 (no. 4) in R'1. Let R he the sl't of rl' E L2 s11ch
that (rl'ln) = 1 or (o/n) = 2; it C'Olltains the vectors
Conversdy. if n ER, the coordinates of n can ouly take the values 0. ±~. ±1
(since ( ~ )2 > 2); either these coordinates arc all intpgcrs, giving the vectors
±E;. ±c:; ±Er or they are all eq11al to±~. giving the vectors ~(±c 1 ± E2 ±
E;3±c4).
We show that. for n. /3 E R, we have 2(nli:J)/(olo) E Z. If n = ±E; or
n = ~(±€1 ± E2 ± E:i ± c:.1 ), then (nln) = 1 and we' have scc11 in 110. 4 that.
((tj/J) E ~z sinC'e n. (-J E L2 . If o: = ±Ei ±E.1· then (nln) = 2 awl wr have seen
in 110. 4 that (nl;J) E Z since n E L 1 and /:J E L2. Henre. Risa reduced root.
system in R 4 (no. 4). The number of roots is n = 8 -t- (~) 4 + 24 = 48.
(II) Give R 1 the lexicographir orckr defined by the httsis (c 1 ,t: 2 ,c:i,c 1 )
(S 1. no. 7). In particular, we have s 1 > c: 2 >Ea > s 1 . The positive roots arc
(:rJy)
<h(;r:,y) = 18"
We now apply formula(!~) of s l, no. 12, with x = y = /1: this gives
1 1/4 1
2 + 12 . -4 + 16. - 1 = "-(R)
' . · -18
so
(VIII) We have Q(R) = L 2 (no. 4), and P(R) = Q(R) by (VI). Hence, the
connection index is 1.
(IX) The family of exponents has 4 terms, and since h = 12, it must con-
tain the integers 1, .5, 7, 11, coprirne to 12 (s 1, no. 11, Prop. :JO); consequently,
these arc all the exponents of W(R).
(X) and (XI) The only automorphism of the Dynkin graph is the identity,
so A(R) = W(ll) and w 0 = -1. Let R' be the set of longest dcrnents of
R, that is, the ±c:; ± c:1 : R' is the root system of type D 4 constructed in
no. 8. Cl<'arly. every derrl<'nt of A(R) is an element of A(R'). Conversely, an
clement of A(R') leaves L 1 stable (since it is generated by R'), hence also its
associated L 2 , and hence also R. StW(R) = A(R) = A(R'). By no. 8, W(R)
is the semi-direct product. of 6:i by (R'), W(R') itself. being the semi-direct
product of 6 4 hy (Z/2Z)·l. The or er of W(R) is 3!4!2·l = 27 .3 2 .
§ t CLASSIFICATION OF ROOT SYSTEMS 225
(I) Co11sid<>r th0 group L: 1 (no. 4) in R 8. LPt R h<' the set of n E L:i such
that (nln) = 2: it cont.ai11s the vectors
8
(i=l
L l/(i) <'V<'n).
ll
witl1 L v(i)
i-=cl
evm.
We have seen (no. 'l) that (od/3) E Z for all n, /3 E L;1. Hence, R is a
reduced root syst('m. The 11u111lwr of roots is n = ( ~) .4 + 27 = 240.
(II) Let p be the vector (0,1,2,3,4.5.(i,23) of L;3. No clement of R. is
8
orthogoual top (this is clear for thP ±E; ±c:.i; if ~ .L (-1 )'"'(i) E; were ortho~<mal
1=!
Ii
top. Wt' would have Li.(- l)''(i+I) + 23(-1)''( 8 ) = 0, which is impossihle
i=I
6
sillC(' L i<
i=l
23). Hence (§ I, 110. 7, Cor. 2 of Prop. 20) the n E R such that
(nip) > 0 arc the positiw roots relative to a certain chamher. These roots
ar<> the ±E, + E.1 (i < j), and th('
7
witli L ll(i) eve11.
i=l
We hnve (ulp) E Z for all o ER (no. 4). and (nip) is equal
to l for the following roots:
1 l
01 = 2(t:1 + E8) - 2(cz + E;i + E4 + €5 + E(i + €7 ),
(.}~=CJ+ €2, <.l!.1 = c2 - CJ, 04 = E:i - E2, O's= E'4 - €3,
and these eight vectors form n basis of R 8 . By ~ 1. no. 6. Cor. I of Prop. 19,
(n1.<t2, .... 08) is a basis of R for which the positive roots arc those which
have het~ll defin<:'d above. \Ve have
226 ROOT SYSTE~IS Ch. VI
a11d (0 1 1nJ) =()for all other pairs of indices. H0ncc. th(' Dynkin graph of R
is of type E 8 . a11d H is irn~dncible.
(III) We have h = ~ = :30.
(IV) L!'t
<~ = E7 +Es = 201 + :1n2 + 4o:i + 6<1'1 + 5<1';, + 4<1'G + 3<1'7 + 2<1's,
which is a root. TIH' sum of its coordinates with n•speet to (n;) is 29 = h- 1. so
it is the highest root. It is orthogonal to all tlw n; except rt1<. and (<tlrvH) = 1.
Hence. the compkt<•d Dynkitt graph is:
o------o---o--0----0--0-----o-o
<Xi <X3 lex, ex, <Xs <X7 <Xa
(VII) Half the sul!l of thP (l>ositive roots is the sum of the fu11damcntal
weights(§ 1. 110. 10. Prop. 29): I.his gives
(Xl) The only antouwrphism of tlw Dynkin graph is the ide11titv sinr<' the
thr<'l' chains issuing from the ramiticatio11 point hav<' distinct: lengths. Hence,
A(H) = W(H) HIHI W11 = -1.
(I) and (rI) Let E = R 8 . and let H8 be the root system in E ronstrncted
in 110. I 0. Let V be t hi' h~·p1'rpla111• in E gem' rated by the roots n 1 •...• n 7 of
R 8 ; it is orthogounl to the eighth fu11de111JP11tal weight.,;= E7 + 2 8 of R 8 .
Let R = R8 n V. Then R is a red11cr.•d root system with basis ( n 1, .... n 7 ),
('f. ~ 1. 110. 7, Cor. 4 of Prop. 20: hc1icc, this systc•111 is of t_vpP E7. Its el1'nwnts
arc:
±(€7 - €8),
8
with L v( i)
i=I
odd.
«1 0!3 r·
O----o---0--0---0----0-0
0
«1 oc, oc,
oc,
228 ROOT SYSTEJ\IS ('h. VI
1
= 2(un1 + 9n2 + 12n3 + 180:4 + 150-5 + lOO'G + 507)
W<> = E;, + Ee; - €7 + €8
= 2n 1 + :30·2 + 40:3 + Go 1 + 50';; + 4o-r. + 20'7
l
v.,•7 = E6 + 2(€8 - €7)
l
= 2(2n1 + 3n2 + 40'.:3 + 6n.1 + 5n;, + 4n6 + :3n 7 ).
7
(VII) The sum 2p of the positive roots is 2 L w; (~ 1. 110. 10, Prop. 29),
i=I
so
2p = 2t:2 + 4t::1 + Gc4 + 8€5 + lOE6 - l 7E7 + l 7E8
= :34o 1 + 49n 2 + 66rx:i + !J6o 4 + 75nri + 52rx 6 + 27n7.
(VIII) By 110. 10 (Vlll) and § L no. 10. Prop. 28. we have
where p dcnot<•s I.he orthogon~d projection of E onto V. The group Q(R) has
basis (o 1••••• n 7 ): tlw group P(H) is )!;C1terated by Q(H) and
§ -1. CLASSIFICATIO:'-J OF ROOT SYSTEl\IS 229
We have w E P(RK). ~w €f_ P(RH). so 2p(nH) E Q(R) and p(o8 ) €f_ Q(H).
Tlrns, P( R) /Q( B) is iso1110rphic to Z/2Z and is gcncrat.cd by, for example.
tlic image of "-'7·
ThP co11m•ctio11 i11<kx is 2.
(IX) The scq11Pncc of expoiwuts of \.V ( R) has 7 t<'nns. The 1111mlwrs
I. 5. 7.11, I:~. 17. rnpri111e to h = 18. f(>at11n• in 1his scq11e11n'. Tlw la.-.;t Px-
po11c11t. m must be s11clt tha.t rn + m = 18 (Chap. V. § fi_ 110_ 2. forrnula (2)).
Hence, the SPfJIH.'llCC of cxponPnts is
l. 5. 7. 9, 11.13.17_
(X) From (IX) n11d Chap. V. § 6. 110. 2, Cor. l of Prop. :3. it follows that
thP order of W(R) is
(l) and (II) L<>t E = R 8 , and It'! R8 IH' the root system in E constructed in
no. 10. Let. V he the vector subspace of E gl'twrnted by the roots u 1 , •••• f\' 6
of R1:1: this is the orthogonal compl('!llcnt of the plam• gencrnt.c•d by the last
two fimclamcntal weights ;;J = E 7 + c: 8 and rr = c- 6 + E 7 + 2c- 8 of R 8 .
Let R = H.8 n V. This is a reduced root system with basis (n 1 ••..• n 0 ),
and hence of type Eh. I ts elements are:
±E; ± Ej (1 ~ i<j ~fl),
l 5 - 5
±-(EH - E7 - E5+
2
L (- l)"(')E;)
;~1
with L
i=l
l/(i) <'V<'ll.
~(Es
2
- E7 - E<>+ t
t=I
(-l)"(i)E;) with t
i=l
v('i) even.
otz
1
= 3(5n1 + Gn2 + l0n3 + 1204 + 805 + 4n6)
W.1 = E;i + E4 + €5 - E6 - + E1:1
E7
1 '
=3 (2rv1 + 30'.2 + 4n:1 + 6n.1 + 50·5 + 4n0).
6
(VII) Half the sum of the positive roots is 2: w;. so
i.=l
The group Q(R) has basis (o 1 ••••• n 1;). Tht> gro11p P(R) is generated by
Q(R) and p(n7 ). sine<' p(n1J) E P(R8 ) n V = Q(R8 ) n V = Q(R). We have
:~p(n1) E Q(11) and p(o7) ti- Q(R). Hc11ee. the group P(Il)/Q(R) is isomorphic
to Z/3Z: it is generated. for cxarnpl(', h:v t.hc image of we;.
The connection index is 3.
(IX) and (X) Ily g 2. no. 4. Prop. 7. the order of the Wey) group is
6!1.2.2.3.2.1.3 = 2 7 .3 1 .5. The seq11cnn~ of Pxponcnts has 6 terms bl't.wccn 1
awl 11. and contains t.hc integers l. 5. 7. 11 which are copriruc to 12. The
othPr exponents m.. m' are integers such that
m + m' = 12.
s
in vi<•w of Chap. V. fi, no. 2. formula (2) and Cor. l of Prop. 3. The second
rdatio11 gives (m + l)(ni.' + 1) = 4f>. and since m + m' + 2 = 14. we obt.ain
111 = :I, m' = 8. Hence. I.he sequcm·e of cxpo11cnts is
1. ·'1. 5. 7. 8. l l.
(XI) a11d (XII) Si11('c t!te rnots all have th<' same length. the a11tornor-
phis111s of tlw Dynkin graph are thos<' of th<' 1111dcrlying graph. Apart from the
ideutity. there is only th<• automorphism c which transforms o I· n: 1 • n 4 • n;,. no,
n 2 i11to nc;. o 5 • n 4 , n: 1, o 1 • n 2 , rc•spectivcly. Ileuce, A(R)/vV(R) is isomorphic
to Z/2Z: since - l E W(R) (Chap. V. § 6. no. 2, Cor. 3 of Prop. 3), A(R)
is bomorphic to W(R) x {l, -1} and w0 can he idcutitiecl with -E. It fol-
lows that the non-i<lentit.y denwut. of A(R)/W(R) defines the automorphism
;r >---> -.t of P(R')/Q(W).
'.\Iorcovcr, P(W)/Q(W) has two 11011-ident.ity denwnts of order 3. They
defim· the two automorphisms of order :J oft.he con1pletcd Dynkin graph.
~I+ 6 + 6 = 0.
Let R he the set of o E L 0 nV s11ch t.hat (nln) = 2 or (nlo) = 6. The elements
of Rare
Ther(' are 10 roots not orthogonal t.o <r 1 : W<' have n(/1. o i) = ± 1 for 4 oft hcsc
roots, n(i3,n 1 ) = ±3 for 4 others. and n(IJ,n 1 ) = ±2 for ,(J = ±n 1 . Hence, the
squared length of n 1 for <l>n is 4(4.l + 4.9 + 2.4)- 1 = f.J.
Hence, <Pn(x,y) =
(:rly) /24. We now apply formula ( 18) of ~ 1, no. 12. with .r = y = 1'.1' 1 ; this
givt's
l l l
2 + 4.- + 4.- = 1(R).-
4 ·1 12
so 1(R) = 48.
(VI) and (VII) Half the snm of the positive roots is
p =\501 + 31x2.
The fuudarncntal weights w1 a11<J w 2 are orthogonal to n 2 and n 1 , h<'nce
proportional to 2n 1 + n 2 and :~o 1 !- 2o 2 . V\'e have
Hc·•nce,
s 4. CLASSIFICATION OF HOOT SYSTE!\IS
The irrcducihlc, no11-red11c<'d root systems ran be ohtained from the irre-
ducible. reduced systems by using Props. 1;~ and 14 of § l. no. 4. For each
integer I .)! 1. t.lww exists. up to isomorphism, a unique irreducible. non-
reduecd root systcm of rank/: let Rh<' a root system of typl' 13 1 • A the set
of shortest. roots of R; tak<' the u11io11 of Rand 2A. With the notation of no.
5. we obtain t.he 2l(l +I) vr~C"tors
A11 the root systems considered below arc relative to rral \'Cctor spaces. \Ve
denote h.v (.rly) a scalar product iuvarinnt under tlH' \Ve.vi p;ronp (d'. 110. 3).
2) Let H. be a root. system. o. and J two roots. If t is a scalar such that .iJ + tn E
R, tlwn 2t E Z. (For n(:'J + tn.n) = 11.(/i.o) + 2t.) If n is indivisible, then
t E Z. (If uot, show, by using Prop. 9, that thPre exists a root / orthogonal
ton· :mch that/+ 1o ER: then (r + 1njo) > 0. so 1n ER.)
awl consequently ;·(R) = 7(,.\R) for any non-zero scalar A. (Use formulas (17)
and ( 19) of 110. 12.)
10) Let o h<' th<' highest root of an irr<'ducibl<' rcd1wcd root system H rf'i<itivc
to SOlllC basis. Th(•n. (\'. is the highest root of rr if and 011 IY if all the rooh
arc of the sanw l<'l1gt 11.
I J) With the not at ion of Prop. :n of no. 11. show that fJ; + 01 is not a root
for any pair (i.j).
12) Let R IH' a root syst<'lll ill v of ra11k :? :L (n I ..... 0/) a basis of n. V'
(r<'sp. V") th<' subspace of V generated by the n; for i :? 2 (r<'sp. i ;? 3).
R' = Rn V', R" = Rn V". Let d (resp. d'. rl") lw the determinant of the
Cartan rnatrix of R (r<'sp. R', R"). Ass1111H' that n 1 is orthogonal to all th<'
n, <'XCcpt o 2 , and that I/ o 1 11=11 n2 II· Show that d = 2d' - d".
lei) L<'t H b<' an irr<'d11eil1I<' root s.vst('lll. A the gtTatcst root length. S the set
of subsets of n ('()llSisti11g of pairwise orthogonal roots of length A. Then. ;my
two maximal <'lertH'nt.s of S 1m' transfornH•d into <'ach other by \V(H). (Use
Prop. 11. and Prop. l of Ch<1Jl. V. q:l. 110. :l.)
lG) Let H be a root systcni. [3 a basis of H. and H+ the set of positive' roots
rclatiw to this basis. For II' E \V(R). put Fw = R+ n 11'(-R + ). Show that
the niap "' r---. F,,. is a bijection froll1 \\i(H) to the set of subsets F of R+
such that F and R+ - F arc dosed. (Apply Cor. l of Prop. 20 to th<' subsPt
P = (R+ - F) u ( - F).)
, 17) LP! R I)(' a reduced root system and B a basis of R. For any sushet
.J of I3. kt W.i be the subgroup of \V(R) gell<'rnkd by the rdl<'ctious 8 11 for
n E .J. and let u·. 1 he tlH' lougcst ckme11t of ~·.J. Ld <P he t IH' set of 11'.J.
a) Show that. an ek111c11t ui E W(H) belongs to <P if and only if
(To show that the condition is sufficient. denote by .J 1 the set of n E B such
that w(o) E -B nnd p11t. .J = -11•(.J 1). If n E .J 1. w(o) E -.J and 11'.Jll'(n) E B;
HOOT SYSTE'.\IS Ch. VI
if 11 E 13 - .) 1. w1111(n) ER+: otherwise w(o) would h<' positiw rn1d 11•111 1 (0)
11q~ativc. which would i111ply that 1u(n) IH'lo11gs to th<' sulisyst<'llt g<'ll<'T'<ll<'d
liy th<' ,j E .J a11d that I\ hdo11gs to th<' s11 hsvst <'Ill generated bv tJt<' :1 E .J 1 ,
\\'hich is absmd. D<'dtl<'<' thill 11·.111· =- 1.)
18) Ld R Ii<' a root s.vste111 and l<'! Ph<' n parabolic s11lis<'t of R. Show that
th(' co111ph•n1<'11t of P i11 H is dos<'<l.
l!J) Let H be a root systcrn. and l<'t :r b(' <t non-zero cl<'m<'nt of Q(11) of
minimal lengt It. Show that :r E R.
~ :20) Let (n 1 ••••• n1) he a basis of an irr<'d11cibit' rcd11c<'d root system R. Let
rand JJ lw two i11tq.~ers. with 11) 2. s11ch that:
21) L<'t H ht• a root system a11d I3 a basis of R. Let n. J E 13 and w E W(R) be
s11ch that 1i = w( n). Show that t her<' <'xist.s a s<'q11e11c<' n 1..... n,, of elements
of R and a S<'IJll<'IHT w 1 •...• 11•,, _ 1 of ('klllC'llts of \\' ( H) such that
(i) Ot =It. !\' 11 =Ji.
(ii) Ill= Wn-1 . .. ll't·
(iv) For all i E (I. n - I). t h<'re <'xist 11; E I3 Sll<'h that 11•; lwlonµ;s to the
s11bµ;ro11p of vV(R) gen<'rnted by t IH' rC'flections s 0 , aud s:;,.
~ 22) \\iith the assnmpt ions and 11otatio11s of Prop. ;~;~ of no. 11, rknote by
w 1 ••••• Wt the hmdarnc11tal weigh ls of R.
/1) Let f lH' the comu·ct ion index of R. a11d lt>t m 1, .... rn1 be th<' exponents
of \\i(B.). Show that
I I
f = det(l - c) = Il (1 - 1um 1 ) = 21 Il sin(m;rr/h)
.1=1 .
.1=l
with w = e2;ri/h.
EXERCISES 23!)
<') Let p be a pri111P !llllllh('!'. Write h in I h<' forlll h = p"H. with H not
divisil>ll' by /I. Show I hat 11 divides f if and 011ly if H divid('S one of thr lllj· 2
2:l) Let H bra rcduc·c•d root syste111. and Id X \w a s11hsct of P(Il). Say that
X is sa.turatcd if the following condition is satisfipd:
(S) For all 71 E X. n E H. and i E Z such that i is lwt\H'<'ll 0 and (p, n·),
fl - in EX.
o) Show that <'wry sat mated s1tl>sl't is st:ibk u11<ler thP \Vey! µ;roup \V of R.
h) Show that.. for a11y subset A of P(B). there exists a Slllallcst sat.urntc•d
s11hs!'t S(A) of P(H) co11tai11i11µ; A.
<') Lrt C be a rhamlH'r of H. am! let p E P( 11) n C he a dominant wright. Let
S(p) be the srnall<•st slllnrnt<•d subset of P(H) rnntai11i11g JI. Let E(J1) he the
set of dcmc'11ts p' E P(H) s11ch that
(i) p = p' rnod. Q(R).
(ii) For all w E W. w(f!') ~ II! (with wspcct to the order rdation defined by
C).
Show that E(p) is fi11it<'. co11tai11s p. and is siltmat<'<l. Conclude that. S(p)
is co11tairwd in E(p).
d) Show that. if o is a lo11p;c•st <·lcmc11t of IL S(o) =Ru {O}.
24) \Ve retain the notation and assumptions of the preceding exercise.
a) L<'t p E P(R). a11d h•t \V.p be t.he orbit of p under \V. Show that the
following couditiom; arc equivalent:
(i) S(p) = \V.p.
(ii) (p. n ·) = 0. 1 or -1 for all n E R.
(If (ii) is not satisfied. rn11st.rnd an element q E S(p) such that (qjq) < (pjp),
a11d henec q 1. \V .p.)
b) Let X he a 1101H•Jllpty saturated suhsH of P(R). Show that X contains an
clement. p satisfying conditions (i) a11d (ii) above. (Tak<'/! to he an l'i<'ment
of X of minimal b1gth.)
r·) Assunu• that R is irrcdurihh•. Let C he a d1amlwr of fl. let B = {o;} iEI
IJ<' tlw corresponding basis. and l<>t
.
r = '\"""
L.,., 11;0;
l
.
he the highest root of W. Let .I lw the set of i E I such that. ni = l. Let p -/= 0
be a dorninant w<•igbt. Show that co11ditio11s (i) and (ii) of a) an· <'q11ivalf'nt
to <'ach of the followiug rnnditious:
2 This exercise, hitherto unpuhlislwcl. was com1111111icated to us b.v R. Steinberg.
240 HOOT SYSTEi\IS Ch. VI
~ 2.
1) Let x EV and let. W(:z:) be the subgroup of W(R) consisting of the clements
u~ such that
w(.r) - :r E Q(H).
Show that W(;r) is grnwrnted by rdl.Pct.ions. (Use the affim• \Vey! group of
W.)
:3) \Vith the uotation all<l assumptions of no. :t let 11. he an automorphism of
the affine space E that permutes the hyperplanes Ln,k (n E H. k E Z). Show
that ·u is a displa<"cment. (If ·u 0 is th<' linear map associated to u, show that
the transpose of u leaves R stable. and h<>rice hdongs to the group A(H).)
Dedncc that G is the normaliser of W" in the group of a11tomorphisms of the
affine space E.
4) Let C' he a chamber relative to W(R) in V*, and let C be the alcove
with vertex 0 contained in C'. Let Sa (resp. S) he the set of reflections in the
walb of C (resp. C'). The pairs (W".S,,) and (W,S) are Coxeter systems,
and S ~ S". Show that an element w E W 11 is (S. 0)-reduced (Chap. IV, §3,
Excrc. :l) if and 011ly if w(C) ~ C'.
(If 'I satisfies the conditions of (v), let p 1 be a minuscule weight belonging to
S(q). Tht'n. Jlt = p mod. Q(R). Pt <JI, and 11) shows that fJ is not 111i1111sc11le.
Hence, (i) ==? (v). Com·crsely. if pis not 1uinuscule. kt q E S(p)-W.p:
tram;formi11g q by an cl1'met1t of \V if necessary, we can assume that q E C;
b.,. Ex<"rc. 2:~ of~ l, q <fl. q f. µ. a11<l 11==p111od. Q(R). Hc•11ce, (v) ==? (i).)
s3.
The• not i1I ions and assumptions me t hosc> of nos. 2. :t .t
1) a) Sit ow that., for all i lwtwccn 1 awi l. t her<' <·xis ts a 11niq11c d<'rivat.ion
D; of A[PJ satisfying tlw following rn11dit ions:
a1) D; is A-linear.
a2 ) D;(e""1 ) = 6iJc"" 1 (6iJ being the Kro11cekcr symbol).
Ii) L<'t. (.r;) 1 ::;;;::;; 1 be a famil.v of d0mcnts of A[Pjw satisfying the condition of
Theorem 1. Show that
clet(D;(:r.i)) = d.
(Show that det (D; (.rJ)) is ant i-i11varia11t and has rnaxirnal term eP, hence the
result if 2 is not a zero di,·isor in A. Tn'at th(' gc11crnl ens<' by using the
principl<' of pcrma11c11cc of algebraic id011titics.) :i
2) Let P' be a subgroup of P(R) containi11g Q(R). Show that P' is stable
undt•r \V. Constrnct a11 example where the algebra A [Pjw is not isomorphic
to a polynomial algebra (take for R the product of two s.vst<·111s of rnnk l).
3 This ('Xercist', hit lwrto 1111publis]l('d. was commu11icalcd to us b.v fl. Steinherg.
242 HOOT SYSTEl\ IS Ch. VI
1') With the 11olatio11of110. 10. show I hat th<• q11adra.tic form ~{.rl.r) 011 Q(R)
ddiries by passage t.o tlw quotient a no11-dcg<'nenttc quadrat.ic form q8 on the
F:rv<'ct.or spa<:<' Q{ll)/2Q(R). Show lhat th<' pscudo-disni111i11aut of l/x {cf.
Algebra., Chap. IX, ~i 9. Ex<'rc. 9) is zero. and tlmt. l/s is of iwi<•x 4.
d) L<'t O{q8 ) be th<· orthogonal gro11p of Q(R)/2Q(R) for this form. Define,
b.v passing to the quoli<·11t. a ho1110111orphis111
h: W{R) _, O(qi;).
is ('X;H:t..
('.)Show that. tlH' irnaµ;<· of W+(R) 1111dcr his t.hc s11bgroup o+(q8 ) of O(<Jid
defined ill Alyelm1.. Chap. IX, fj!). IJO. fi. DedUC(' tlrat w+(H)/{L-1} is a
si111pk no11-alH'lian group.
b) L<•t 0(9) be the orthogonal gr01j> of ..p. Thc11, O(p) = {l. -I} x SO(:;).
The spi11or norm defi11cs a surjcctivc homornorphisrn from SO(;y) to {l. - l}
whose kPrrwl is denott·d by so+( ). The group so+(.p) is si111ple of or-
der 25!.120. The quotient 0 (c.p) /SO+ ( c.p) is of type (2, 2). Dcd uce that 0 {:p)
contains a unique subgroup fl( 'P) o index 2, dist i11ct. from SO( :p) and not
('ont.ai11i11p; - 1.
h: W(R)--+ 0(11()).
d) Give a sc•eortcl proof of /J) h,v 11si11g thl' quadratic form q7 011 th<' F2-V<'C'tor
spaec Q(H)/2Q(R) i11cltHTd by ~(;rl.r). IL'i well a~ the isomorphism
, 4) Let R bt' a11 irr<'d 11ei blc red nc·t•d root system in V. (II' 1 •.... n1) a basis of
R. 6 th1· highest root. Pnt. 1\ = n 111· 1 + · · · + 11101. \Ve are going to <il-tc•nninc
the maximal dosed. symmetric subsets of IL distinct. from R.
a) Let i E { l. 2.... , I}. Let R; ])(' thl' set of n E R which an• linear combina-
tions of th1· nJ for j cf. i. Show that R; is maximal if aJHI only if 11; = 1.
1 l\I. Ki\'ESEH has shown t.hat. all thP ··exceptional isomorphisms'' between the
finitf' classical µ;ronps ca11 lw obtained by nsinµ; a11 analogous met.hod. Cf. Ober
dit• A11snahrnc-lsornorphismcu zwisclw11 klassisch1•n Cruppen. HamlwrgFr Abh.,
Vol. XXXI (1!)67), p. i:rn-110.
IWOT SYSTE~lS Ch. VI
/J) Let i E {1, '2 . .... I} and ass11111c· that n; > I. Let S, h(' t ll<' sd of roots
I
L
.J= I
111 1 0 1
. .
with 111; = 0 (t11od. n, ). Sh<m· that S, is 1J1axir11al if aHd only if 11 1 is
prin1<'. (If 11; =ah with a> l, /J > l, rn11sider th<' s11hset S' or H consisting of
the roots L 111.10: 1 \\'ith 111 1 = ()
(111o<l. u). and show that S' strictly contains
.7
S,.) Show tlrnt the roots -rt. o 1 (j Ii) forn1 <1 basis of S, (which is of rank
l). Dcduc<' the Dy11ki11 graph of S;.
c) Every maxirnal dos('d. s,vmmctric s11bset of R is trnusforn1cd by an element
of W(R) into OllC or the suhsc'tS described in a) or /1). (Ld E he s11ch a subsPt.
Then E =Rn H. wh<'rt' H is a s11bgro11p of Q(R) of fiuit<' ind('x (81. Exerc.
6 b)); we can assurne that Q(H)/H is cyclic. Theu there exists 11* E: V* such
that Eis tlw S<'t of o E: R s\lch that (u*. n) E Z.
rl) List tlw maxirnal. dosed. symmetric subsets of Il for thE' differm1t types of
irrcd1t('ible rl'dll('ed root systPrns.
c) For anv positive root n =Lr;()';. Id c(n) =Lr;. Cakulatc in rnd1 C<lSC
I I
the polynolllial
P(I) = L r(n).
n>ll
I
Verify" that P(t) = t L(l + t-t- ··• + t"',- 1 ).
i= 1
-, For a proof that does 11ot 11sl· the ciarsification. sl'e: f3. KOST ANT. The principal
three-cli111011sional s11hgro11p and tlw f3Nti 1111mbffs of" <·ornplcx simple Lie g;ro11p,
Amer. ./. of Maths .. Vol. LXXXI (105!J). p. 07:l-l(J:l'.2.
EXERCISES 245
!)) l.<>t R be a root syst<•m of rnnk /, and let p be a prime number dividing
the order of A(R). Show that J> ~I+ 1. (R<'d11e<' to the irrcdu<'ibh· ('m;c, and
use• tlw classification.)
for :-;111all values of l (use Th. I a11d Excrc. 2() of Chap. TV.§ 1) 6 .
h) L<'I n be a reduced. irrcdneiblc root system aud W (resp. (W,,) the \Vey!
group (resp. the affine Wey! group) of R. <'quipped with the Coxeter !!;ro11p
strnct11w dctt'nni1wd hv tlw choic<• of an alcow. Define \V(f) and the Pxpo-
ll<'llls 111; as nhovc am! p11t
W,,(t) = L 11<u·l.
wEW,,
I 1 1 I + t + · · · + t"''
W,,(t) = \V(t) fl - - f l-----
i=I ] - /."'• i=l 1- f'"'
for s1t1all values of l (use Th. 2 am! Exr~rc. 2() of Chap. IV, § I )7.
i; For a proof of this formula that do~·s not use the classification and is valid for all
valtws of/, sec: L. SO LO :\ION, The ordC'rs oft lw finite C'lwvallcy groups, .Journal
o.f Alq<'bra.. Vol. Ill ( l96G). p. :m)-:J!):l.
7 For n proof of this formula that docs not use the classification aud is valid for all
vaht<'s of I. see: R. BOTT,A11 application oft he l\fors<' t.hcor~· t.o I he• topology of Lie
groups, !Juli. Soc. Muth. France. Vol. LXXXIV (L%G), p. 251-281; N. l\VAHORI
a11d II. i\IATSl"l\IOTO, 011 some Brnhat dcco111posilio11 and the structure of the
Heckt> rings of p-adk Chcvall<'Y groups, l'nhl. Math. Inst. Haute.~ Et. Sci... no. 25
(l!)(i5). p. fi-118.
2-W HOOT SYSTE:\IS C'h. VI
~ 11) LC'! (W. S) lH' a Cox('tt•r s_vst.Pm of type H:1 (cf. Th. l ).
s
a) \\iit.h tilt' notation of Chap. V. G. Ho. 2. Proof of L<'1111na 2. show t.hnt.
(.::'. z") = 71/5: d<'dll('<' that th<• Cox<'tPr 11t1111IH'r It of Wis <'<pial to Hl. and
that t.h(' <'XPOll('lltS of w an· 1. .') Hild 9.
h) Show. by usiug a). that Card(\\')= 120. a11d that th(' ll11111hl'r ofn·fkctions
in Wis 15.
(f. €) : w A-, x { ± 1}
--+
is an isomorphism. (Use th<' fact tlwt the two groups hPillg consi<kred have
the sa11w ord('L)
<') Let W hP the subgroup of GL(H) g<~1wrnt(•cl ''-'' th(' s,, for o E Q. Show
t.hat \V l<'iwcs Q stable. is finite. irn'dncihk. and llo11-crystallogrnphic: deduce
that. W is of t.yp<' H 1 (<"f. Theorem I).
d) Show that W acts transitively 011 ~~ (usl' Prop. ;3 of Chap. IV, s1).
1•) Let a. 0 E Q. kt V he tht• vector s1~bspac:c~ of H orthogonal to n.o, mu\
let
\V 0 be the stabiliser of a 0 in \V. Shot that th<~ restrict.ion of W 11 to V is an
irr('d11cihlP group g<'IH'rntc•d h.v rd\c•C't°OllS (Chap. V. s:3. no. :3) and that it is
non-crystnllogra.phic. D<'dllC'<' that W is 11 Cox<'t<'r group of type H;1.
.f) Show that Carcl(W) = 2<i;3 2 52 (uscld). r·) and Ex<'rc. 11).
_q) Show that the Coxl't('r ll11t11bc•r of \l' is equal to :30. and that its exponents
arc 1, 11, rn. w.
EXERCISES 2H
l:l) LC'! V b<' th<' hyp<'rph111c i11 R 9 with <'qt111tio11 .r 1 + · · · + .l'<J = 0. Let R
IH' th<' sulisd of V <"Oltsistillg of th<' points
tog<'tlll'l' \\·ith t!tl' poi111s olitni111'cl frrn11 th!'sc hy IH'l'lllllting th<' c·oordi1111t<'s.
Sl1ow that B is 11 root S,\'St<'lll in \'of t.\'IH' Es.
l I) \Vith the IH>li1tio11 i11110. 7. shm1· that th<' 1111to111orphis111 of'R1+ 1 whid1
trn11sfon11s .: 1 to .:'2. :'.! to .::i· .... ..:, t.o E1+ 1 a11<l .:1+ 1 to .: 1 i11d11<"<'s 11 C'oxdcr
trn11sforn1<11io11 oft lw syst<'lll R of type A1.
I 0) D<'1<'1'lllinc' t lw 11ii1111sc11k \\"<•ights (li 1. Ex<'l'<" 21) for Pad1 typ<' of n•dnred,
irn'd1wihk rnot s.\·st<'lll. (One finds tll<' f1111da111P11tal wcight.s ...,· 1 ..........,for A1,
t IH' \l'<'ight ....,., for 131. t II<' weight ;.; 1 for C,. t ii<' W<'ights ...; 1. <-<-'!- 1. .,;t for D,. the
\l'Pights ;,; 1 n11cl .....·c; for Ee;. thl' \V<'ight ,,; 7 for E,. and 110111' l'or Es. F 1 a11d G 2.)
~Hi) L<'f (\\'. S) Ii<' Hll irn'dncilik. finite C'oxd!'r systc111. ancl kt /1 = C'arcl(S).
of a situp](• tvpl' arc so11ght. Tl111s. 1lmll iIt Oil. in I K;)() ( V). pro\'C's that tlw finite
gro11ps of rot ntio11s of ('IH'lid<'aII spac<' R: 1 arc )!,('lHTat(•d h.\· tm> )!,('llPnttors
S. T sntisfvi11g tlw rdations S 1' =· T' 1 = (S'IT1 = I for appropriate v;1J11('s of p
awl 11.
2. Disn<'lt• gro11ps of displ<H'<'llH'llts lltay or rna.\· 11ot <·011t"11i11 rdkct ions.
Tu 1K:)2. l\fobi11s PSS('lltiall_\· dct1•rn1i11Ps tl1c finite gro11ps of displ<1<TllH'11ts in
spll<'rinil g<·o11t(•t ry .<Ji:111T11inl /Jy n'.fl1dio11s ( \d1ieh is l'q11iva le Ht Io I h<• same
probl('lll for tinitP gro11ps of <'1tcliclPan displa«Plll<'llts of R: 1 ): h1• finds that,
with I hP 1•xcPptio1t of t Ill' cyclic grn11ps. Sll('h a gro11p has as fuwla1t1eHtal
dmrnlill a sph('ri('al I ria Hglt• with sides of the fornt rr / p. rr /If. ;r /,.. wlu•n• />. q. r
are three illl('!!crs• .. > l such that lJJ + l,, + l,. > J (Ill) (d. ChaJ>. V. s::~ ·~,
Excrc .. 1). He also 11oti('cs that tiH'S(' gro11ps rn11h1iu all th<· fi11itc groups of
displac1•11u•11ts as s11hgro11ps.
:~. Tll<' lat tcr dcvP!op1ll<'Hts are extruded i1tto a rn•\\' an•a wlH'll the stud.\' of
··hiiugs .. of th<• co111pl<'x plallc or oft lw half-plane hy llH'ans of tig11res bo11nd<•d
by <"irnilnr ares h<~gi11s. followillg the work of ni<'lllatlll a11<l Schwarz Oil hy-
]>('l')!,<'Ollldric f111t('ti0Hs mid conformal rcpn•s('lltal ioHs: I<lci11 aml Poincare
1wtk<• it th<• fomtdntioll oft h<• t h<·<ir.\· of ··a11tm11orphic fuHctioHs·· a11d recog-
Hise i11 it (for t ht• Ci\S(' of ciff1tlar arC's ort 11og0Hal to a fixPd strnight. litw) a
problem eq11ivakut to tltc• del(!l'lltim1tioll of tlw dis<Tett- grnnps of displace-
HH'lll.s of th<• 11oll-('t1didcall hy1wrboli(' pln11<· (idcHtifi<'d with tlH' ··Poi11<"are
half-plaiw.. ) (X).
I. Th<' 11otious of n·gnlar pol_vh1•dro11 and of the tiling of R: 1 hv such
pol_vh<'drn ar<' <'Xt<•rnlcc l to all t hl' 1•1wlideall SJ><H'<'s R" b.\· Schlii!J i. iu work
that goPs baC'k to 1d>o11t 1850. but \\'hich was 01dv publislwd llllldt lat<'!' a.ud
which was ignored for a loHg time (lV): he dett'n11iu1•s c01t1plctc•ly t lw n•gnlar
··polytopes'" i11 each R". th<' group of displacp111<·11ts lc•ayiug i11\'ll.riallt snch a
polytop<'. aud a fn11dauH'lltal dmuaiu oft his group which. as iu t hi' cas<' 11 = :l
stndied h.\· l\Iiibi11s. is a "cl111mlwr'" whose projfftiou oil the sphen• S 11 _ 1 is
a splterirnl simplex. Hmv<'Vt'L h(• does Hot take 11p th(• i11wrs<' problem of
dct.ermiHing th<' fiHit1• groups of disphH·c•tn<•Hts g<'H<'I'at<•cl b.\' rdlcctions in
R": this prohl<'m will oul.v be solved lllud1 later. by C:oursat for /1 =··I (VII),
and for arhitrar.v /1 ill the work of E. Cartall (TX f)) and Coxd<•r (XIV). to
which W<' shall r<'t11rn lat<'r.
\\'it It the work of Killing and< · E. C'art11ll on Lie grn11ps. 11 new st.n·nm
of ideas IH'giHs around 18!)() that \\"ll dl'n·lop for 11 long period wi1 h011t. liHks
t.o till' pn•<'<'ding work. 111 the stud. of KilliHg (\'Ill) alld Cmta11 (IX a)) of
the str11ct11n· of c·o111pl1•x semisilllpl ·Li<' alg<'hrns. <:<'rtaill linear fon11s ;,;"on
a ·'Cartan snbrilg<'hrn'" h of' such a Li<• alg<'l>rn g im1m·diately play a basic
rol<': th<',\' HIT the ··root_s·· r<'iativP 1to h. so C'allcd ln•<·aus<' 1h<',\' appear ns
th<' roots of Ill<' drnrnet<'I'isti(' ('quation cfot(adg(.r) - T) = 0. ('Onsicl<•rt•cl as
fu11rtions of .r E ~- TIH' propcrti<'s ol\ lh<'s<! ··roots .. Pst11hlislH'cl Ii.\' Killin~ and
Cartan amo11nt to the assertioH tha~. ill the• lm1g11ag<' of Chnp. \'I. t-lwv form
a ·'recl11c1'cl root syst(•tn·· (l'f. Chap. VI. fj I. no. 1): thl'.\. t.h<'ll show that the
lllSTOIUCAI. !'\OTE 2!i l
dassilini tio11 of the co111plex s('lllisi nip le Lie alg<'hras red tl<'<'s to that of the
associa t cd ··root systt•rns··. w h i<"h i t.sdf wcl11cc::; lo Ill<' dd('l'lllim1 t io11 of <:<'rta in
matrices with i11t.eg<•r codfici<·uts (later called ··Carla11 nw trices··: cf. Chap.
s
VI. l. 110. !i). Killing a11d Cartan also show t lw t~xistcnce. for (•wry root. w,.,
of a11 invol11tivc p<'n11utatio11 S,. of th<• s<'t of roolsx: they 11se ill au essp11tial
way the tra11sfonm1tio11 C ::: S,, 1 S,,, ... S,.,. the proclt1<"l of the penrn1tations
associat <'d with I roots fon11i11g a. fm1darm'nt.al system (a I nrnsfonnat ion today
called a ··Coxl'tcr transformation··): they <'H'll ext<•JHI I his pernllltatiou to a
lill<'HI' trnusfornrnt.ion oft lw vector spa<·c· µ;cuerat<•d h.v tlw fuudalll<'lltal root:-;
...,·.,, (1 ,,:;; i ,,:;; l). a11d study its cigeuvahws ((VIII. II). p. 20; (IX a)). p. !i8).
llut ll<'ithcr Killing. uor Carta11 initially. SPClll to han• t honght of <"Ollsidc•ring
the group 9' g<'IH'rated by the S": and when Cartan. a little later (IX h)),
dl'lcrn1i11cs t lw Galois gronp 9 of the dmract.<'ristic <'quat ion
dct(aclg(:r) - T) =0
of a ·'gc11crnl clcnwnt"" ;J" E ~. he stndics it. initially without bringing in the
S,.: t hirt.v years lat<•r. uuder th(' infltH'IH"e of H. W<',d. lw pron•s (JX <")) thnt
9' is a normal subgroup of 9 awl dctcnni11es i11 all rn~cs thf' st.rndlll'<' of
tlH' q11otic11t group 9 /9' which (for a simple Lie algebra g) is of order l or
2. except. for I.VJ><' D.1 where it is isolllorphic to 6:1: at th<' sa1w· time he
iut.erpn•ts 9' as th<' gro11p i11d11ced by th(' inner a11tornorphisrns of a complex
sclllisimple Li<• algebra leaving fixed a Cartan snhalgdira 0 .
The work of J-1. \Vey!, to which we hm·<· just: allu<IP<I. iwrngnrat.cd the
).!;<'Olll<'lric interpretation of the group 9' (since calkd the ··\Vcyl group"' of
g): IH' had the idea of cousid<~ring the S0 as refi<'ct.io11s in the wctor space
of li11('ar forms 011 ~- i11 the same way as Killing and Cartan h<1d clonp for
!he transforrnatio11 C. It is also i11 the nwmoir (XIII) of H. Weyl that the
fuudament.al domain of t.lw ··affi11c \Vey\ group·· appears (but without the
link to the ··Wcyl group·· 9' !wing c:karly indicated): Weyl us<'s it to to prove
I.hat the funda11H'11t.al group of a compact sernisilllple group is finite. a crncial
point i11 his proof of t.he complete rcd11cibility of the linear rcprcsc11tat.ions
of a (:0111pl<'x semisirnpl<' Lie• algebra. A littl<' later. E. Cart.an c·0111plctes
tl1<! synthesis of the µ;lobal points of \'iew of JI. \Veyl. of his ow11 theory of
wal or complex scmisimple Lie algPlm-is. and of t ht> theory of ri<'mannian
sy111mdric spaces that. lw was then constrnctiug. Iu the 111e111oir (JX d)). he
c0111pletcs the determination of the fw1da111e11tal polytopes of the \Vey] group
and of the affitll' \Vey! group. and introduces the syste111s of w<'ights and
s
radical wt'ight.s (Chap. VI. 1. 110. !J): in (IX c)) he C'Xtcnds this discussion to
sym11wtric spaces. and not.ably e11co1111t<'rs llw first cxa111ples of 11011-rcd11ced
root sysl<'llls (Chap. VI, ~H. 110. I). Fi11ally. the article (IX f)) gives the first
~The not.at.ious v.J,. and S,. correspond rP:;[wclivcl,v tu tlH' 11ot'11tions n and s,. of
Chap. VI. !i l.
!J Tlw notati;rns 9 and 9' corn~spoml respect.ivcly to the notations A(l1) and \V(R)
of Chap. VI. ~ l. no. l.
252 HISTOUIC:AL l\OTE
proof that CV<'l',Y irwducihlc finite group gcrwratcd by rc·flcctions i11 R" has
a fundanwnt.al domain whose projection onto s,,_ 1 is a sph<'rical silllplex;
it. is also i11 this work that he proves th<• 11uiq1wness of t.he highest root
(for a11 arhitrnr.v h·xicogrnpltic ord<'ring 011 the root system) h,v g<'OJll<'trical
considcrnt ions.
A little later, van der Wa.crdc11 (XVI). starting from 1he llH'moir of H.
WeyL shows that t.hc classifkaticm of the cmnplcx semisi111plc Lil' algPlwas
is cquivalc111: to that of the n•d11ccd root. systems, which he carries 011t by
dc111cntary geometric co11siderntio11s (whcr\'as. with Killing and Cartan. this
classification is a result of complicated cakulations with dctcr111i11a11t.s). At
about tlH' same tirrw, Coxel.cr determines Pxplicitl.v all the irreducible finite
groups of E11clidca11 displacements which an~ ge11ernt<'d by refkctio11s (XIV
<')): this cmuplctcs the lll<'lllOir (IX d)) of Cartan. which had only det.er-
111i11Pd tlw ··crystallographic'· groups (i.<'. those associat<'d t.o a root syst<'m,
or having a11 cmheddi11g in m1 i11fi11itc disnete group of displan•111<•nts). The
followi11g year (XIV d)), Coxctcr shows that tlw finite groups g<'IH'rnted hy
retle<:tio11s are the 011ly fi11ite groups (up to isomorphism) acl111itti11g a pn•sen-
tatio11 by gcucrntors R; suhj<•ct. lo rclat.io11s of the form (R;Rj) 111 ' 1 = 1 (m; 1
i11t.C'gers), he1t('l' the 11a.me "Coxctcr·· groups since µ;ive11 t.o µ;roups (fi11itc or
11ot) admitting su('h a presentation.
Th<' first. link hctw<•cn the hvo streams of n'seard1 that we have ckscrihccl
above seems to have he<•n established by Cox<'ter (XIV bis). and then by
Witt (XVII). Tlwv ohsPrvP that. the irr<'ci11C"ihl<' infinite' groups of E11clid<"an
clispla('.('llle11ts genern.tcd h.v n'Hect ions correspond hijeC'l.ivdy ( 11p t.o isomor-
phism) to cornpkx simple' Li<' alg;cbrns. \Vitt p;iVl's a rn•w d<'t<·n11inatio11 of
discrete groups of this typ<'. and also C'Xl<•11<ls the t.heon•m of Coxc1cr (XIV
d)) referred t.o ahov<' hy charnct.C'rising th<' Cox<"l<'r p;ro11ps isomorphic to in-
finite cliscrd.<' groups of Euclid<'an displace111c11t.s. This result. and th<' fact
that. the analogous groups in hyperbolic geometry arc also Coxelc'r µ;ro11ps 10 ,
has led to the latt.<•r groups being stuclic~d dir<'ctly, initially e111phasising the
g<'o11wtric realisation ((XV). (XXV)). and tlH'll. following .I. Tits (XXV). in
a purdy algebraic fra111<'work.
Starting with tlw work of \Vit.t. thC' t.h<'ory of scmisirnplc· Lie groups and
that of discr<'t<• groups gen<~ra.IPd hy retlPctions conti1111c' to i11teract. <'X t wmcly
fr11it.full.v wi1 h C'ach ot lwr. 111 I !J.I I. Stifel (XVIll) remarks that th<• Wey I
groups are exactly the finite gr< ups w~rwrated by r<'fi1~ctions that leave a
latti('C' i11vmia11t. Cl1cvall<'y (XIX a)) a11C\ Harish-Chandra (XX 11.)) giw. in
1918-G 1, a priori. proofs of the bi cctivt' co1Tcsp0111lc'nc(• lwtwP1'1t "(T.vstallo-
graphi('" µ;roups and complex scm sim pk Lie nlgchrn.s: unt ii t.hcn. it had only
b1~e11 possible- to Vl'rify this cmTcs 011de11cc sC'paratcl.\' for each l,Y[W of simple
Lie algebra.
10 Thcsc~
groups, studit'd i11 depth i11 qtw c.:ase of dinwnsiou 2, have so far 0111.v been
considered incidentally in dimcnsiol1s :;,, :l.
HISTOHICAL NOTE
On the other ha11d. it is ohserwd aro1111d 1%0 that t.hP polynomials in-
variant 11mlN tlw WPyl group play au importa.ut. role in two an'as, the tlwory
of infinite-dimensional linear rcprescutatiow; (XX n)) mid i11 the topology of
Li<' groups. Coxd<'l' (XIV .f)) agai11 takes up the study of thl.' transformation
C formed by taking the product. of the fum!ammtal reflections of a finite
group \V 1?;<'11eratcd hy reficctious. HP observes (by lll('alls of a separate ex-
amination of each type) that. the algebra of poly11omials invariant under W
is generated hy algebraically imkpendcnt ell'rnents whos<' <fogrecs arc related
in a simple way to I.he eigenvalues of C. A priori proofs of these rPsults were
givc11 by Chevalley (XfX b)) in the fi.r:.;t area. and by Coleman (XXHI) and
Steinberg (XXfV) in the second.
\Vith the work of A. Borel on lirwar algebraic groups (XXJI), new devel-
opments begi11 which are to lead to a not.able enlargement of the thl'ory of
Lie groups. A. Borel ernphasises the importance of the maximal connected
soluble subgroups (since called "Borel subgroups") of a Lie group, and makes
them the principal tool for transporting a large part of the classical thl'ory to
algebraic groups owr an algebraically closed field (but wit.ho11t obtaining a
dassilicat.ion of the simple algebraic groups 11 ). The T3on'l subgroups (in the
case of real or complex classical gro11ps) had already arisen some y('ars earlier
i11 the work of Gelfand am! ~cumark on inifinitc-dirncnsional reprcst-ntations;
and in HIG,1. F. Bruhat had disC'owred the remarkable fact that, for the clas-
sical simple groups, the decomposition of the group into double cosets over a
Borel subgroup is imkxcd in a cano11i<:al way by the \Vey! group (XXI). This
res11lt. was subsequently ext.<'l1ded to all real and complex semisirnplc groups
by Barish-Chandra (XX b)). On the other hand, in 19G5. Chcvallcy (XIX c))
had succeeded in as::;ociating to every complex semisimple Lie algebra g and
to every commutative fi<'ld k. a group of matrices with coefficients in k hav-
ing a Bruhat. decomposition; and he used this last fact to show, with a small
rn1111lwr of except.ions, that the group thus defined was simple (in the sense of
the theory of abstract. groups). He thus "explained" the coinci<knce, already
11oticed by .Jordan and Lie, between the sirnpl() LiP groups (in the sense of
the theory of Lie groups) of typP A. B. C. D and the dassical simple groups
<kfined in a purely algebraic 1rnu11ier over an arbitrary field (a coincidence
which had until then only been externlcd to the excq>tional types G 2 and F 4
by Dickson (XI Ii) and c))). In particular. hy ta.king a finift: field k. the con-
struct ion of Chevalley provi<kd. for each type of complex simple Lie algebra,
a family of finite simple groups, contai11ing a large number of the then known
finite simple groups as well as three new series (corresponding to the simple
Lii~ algPbrns of types F 4 , E 7 and E 8 ). A little lat.er. by various methods, and
using modifications of those of Chcvallcy, several authors (Herzig. Suzuki,
11 An algebraic group of dimension > 0 is said to be sim.pli-: (i11 t.he se11se of algebraic
µ;eonu.'t.ry) if it docs not contain any 11onnal algebraic subgroup of <lirne11sion > 0
ot.her than it.self. It is said to be semi8implP if it is isogcnous to a product of
simple non-ahclian groups.
254 lllSTOHICAL NOTE
Rec. Steinberg and Tits) showed 011 the one hand that the other finite simple
groups k11own at the time could be obt.ai11ed in au analogous way, with the
exception of the alternating groups and the Mathieu groups, a.11d on the other
hand constrnctcd other series of new fi11ite simple groups (cf. (XXIX)).
At about the same time. Chcvalley (XIX d)) again took up the study of
linear algebraic groups and showed, 11sing the technique of Bruhat dccorn-
positio11s together with a key rcs11lt on the 11ormaliscr of a Borel subgroup,
that the theory of scmisimple linear algebraic groups over an a(qt>.braically
clos<'d field k of arbitrary characteristic 12 leads to essc11tially the same t.vpcs
as in the Killing-Cartan classification fork= C. After this, .J. Tits (XXV a)
and b)). analysing Chevalky's methods. is led to an axiomatised version of
th<' l3ruhat decomposition (the "B~-pairs"'), in a remarkably versatile form
which involves only the group strncturc: it is this notion that is now known
as H "Tits system''. All the simple groups (with the various meanings of the
term) we have discussed above are canonically equipped with Tits systems,
and Tits himself (XXV c)) has prove<l that the existrncc of such a system
in an abstract group G, togPlher with a few additional properties from pure
group theory, allows one to prove that G is simple, a theorem which covers
the majority oft he proofs given until then for these groups (cf. Chap. IV. § 2,
no. 6). On the other hand, in collaboration with A. Borel. he has genernlisPd
the results of Chcvallcy in (XIX d)) b.v showing the existence of Tits systems
in the group of rational points of a sc111isimple linear algebraic group over an
arbitrary field (XXVII).
All the Tits systems cncountcwcl in t hesl' q1wstions have a finite WPyl
group. Another category of examples was discovered by Iwahori and l\fat-
sumoto (XXVI); they have shown that. if, in Chcvall<·y's construction of (XIX
c)). k is a p-adic field. the group obtaimxl hns a Tits system whose Wey! group
is the affine Wcyl group of the <·0111plex semisimpk Li(' algebra with whkh
one started. This result has been extended by Bruhat and Tits (XXVIII) to
all scmisimple algebraic groups over a local fidd.
(XXJI) /\.. f30REL. Gro11pes lincaircs alp;0briq11es, Ann. of Malh., (2), v. LXTV
(1%6). p. 20-80.
(XXlll) A..J. COLEl\IAi'J, The Betti 1111111bers of the simple grn11ps, Can . .lourn..
of Math .. v. X (1!>58). p. :w>-:!5G.
(XXIV) R. STEINBEHG. Fiuit0 reflection groups. Trans. Amer. Math. Soc .. v.
X Cl (I !J59). p. 19:3-50·1.
(XXV) .I. TITS: a) Groupcs sirnpks et µ/0111t;tries associces. Prnc. Int. Congress
Math .. StockholnL 1962. p. 1!>7-221: Ii) Theori~me de Bruhat et sous-
groupt>s parabolique>s. C. R. Arn.d. Sci., v. CCLIV ( l!J62), p. 2910-2!)12;
c) Algebraic aud abstract si111pl0 g;ro11ps. Ann. of Maf,h., (2). v. LXXX
(1964), p. 313-329.
(XXVI) :'\I. IWAHORI and H. l\IATSC!\IOTO, On some f3ruhat decomposition
and the structure of the Hecke rings of p-adic Chevalley groups, 1'11/Jl.
Math. l.H.E.8 .. uo. 25 (19G5). p. 5-48.
(XXV!I) A. BOREL aud .!. TITS. Gro11pes reduct.ifs. Puhl. Math. I. H. E.S.. no.
27 ( l!JG5), p. 55-1.50.
(XXVIll) F. BlllJH/\.T and .I. TITS. Groupes algcbriques simples sur un corps
local, Proc. Conj. on loml Fidd8. p. 2:3-:36. Berlin (Springer), 1!)67.
(XXIX) H. CARTER, Simpl0 groups anrl sirnplP Lit' algebra~ • .!mmt. Dond. Mo.th.
So<:.,\'. XL (1965), p. rn:3-2,IO.
INDEX OF NOTATION
Tlw r<>for<'lw<' numbers indicate the drnptcr. paragraph and number. rcsp<'c-
tively.
A1 (root syst<'llJ of t.yp<'): V L .t, 1: VI. '1. 7 a11d Plate I.
A,: VI. 4. :t
A[P]: VI. :3, 1.
/\(R): VI. L 1.
ii (high<>st root): VI. I. 8: VI. I, 3.
no= -ii: vr. ,1, :3.
(n 1 . . . . . ni): VI. 1. 5.
B: IV. 2. l.
13(C) (basis d<'fitwd hy th<• chamh<'r C): VL 1. 5.
13i: (root syst<'lll of type): VI. 4. l: VI. .t. .')and Plate Tl.
13,: vr. 4. :t
131- 1 (bilinear form assodated to tll<' Coxct<'r matrix :\I): V. 4. 1.
C (d111111hcr): V. I. :3: VI. I, G.
1· (Coxct<'r transformation): V. (), 1: VI, I, 11.
C1 (root systC'111 of t,vp<'): VI. -I. I: VT. -1. G aml Plate Ill.
(~,: VT. -L :t
/;. /(:: VI. 2. :3.
1(B): VI. 1, 12.
ii= n
n>O
(c"l 2 - e-"1 2 ): vr. :3. :t
D1 (root syst<'lll of type): VI. .1. I: VT. -1. 8 and Plat<' IV.
i'>i: VI. 4. :3.
E: VI. -l. -1.
Eb. E 7 . E 8 (root syst<~m of type): VI. 1. 7: VI. ,J. 10: VI. 4. 11: VI. 4. 12 nncl
Plates V. VI. VII.
- - -
En. E7. EH: VI. t. :1 .
.0 I ..... E 11: \i"l. 4. -1.
re, (root syste111 of t_vpe): VJ. 4. l: VJ. ·1. !) HIJ<I Plat<' VHI.
F.1: VI. L :1.
G: VI. 2. :1.
G2 (root syst<'111 of't.\'Jw): VT. -1. l: VI. 4. 1:3 a11C! PIHi<· IX.
{;2: VI. •l, :3.
fJ: v. :3. I.
2fi() l:"<DEX OF NOTATION
The rc>forcnce n11r11t)('rs iurlicat.0 the C'hnptcr. paragraph and numh<'r (or. 0x-
c<'ptio11ally. <·xercisc). r<'sped i \'Ply.
SYSTE1\1S OF TYPE A1 (I ~ l)
00
0--0
(V) W = n,
<f> ( . ) - (.rjy) 1(R) = (! + 1) 2 •
R .T • .I} - 2(1 + I)'
(VI) F11ndamP11t al wt>ights:
i l+ I
W; =CJ + ... + E; - --
l+l.i=l
LE7
l
- -[(l
= 1 - i + l)(rY 1 + 2n 2 + · · · + (i - l)n;_i)
+ l
+ i((l - i + l)o; + (l - i)n;+1 + · · · + n,)].
2(i(j PLATE I
() () () 0 -I 2
PLATE II
SYSTEl\JS OF TYPE B 1 (I ? 2)
(I) v = E = R 1.
Roots: ±E;, (1 ~ i ~ l), ±E; ±E.1 (1 ~ i <j ~ l).
N urnb<'r of roots: n = '21 2 .
(IT) Basis:n1 =E1 -E2.n2=E2 -E:i ..... n,_1 =E1-1-E1.a1=E1.
PositivP roots:
E, = L Ok (1 ~ i ~ l),
iO·(I
E; - E1
.
= L
1(J.-<.1
ni. (l ~ i < j ~I),
E; + E1 = L
1(k<J
o, + '2. L
.1( A·(I
nk (1 ~ i < j ~ l),
for l = 2:
(.r /y)
<l>B(.i:.y) = - 1- . 1(H) =(I+ 1)(41- 2).
4. - 2
268 PLATE II
W1 = c\ + E2 (1 ~ i < /)
+ ··· + E;
2 - l () () 0 0
-I 2 -1 () () ()
() -1 2 -1 () ()
() () -1 2 () 0
() 0 0 0 2 -2
() () () () -1 2
PLATE III
SYSTE~IS OF TYPE C1 (l ~ 2)
(I) V = E = R 1.
Roots: ±2€;. (1 ~ i ~ l). ±E; ± Ej (1 ~ i <j ~ l).
N11111lwr of roots: 11 = 21 2 .
(II) Ila.sis: n1 = E1 - £2. oz = Ez - c:i, ... , n1-1 = Et-1 - c/, n1 = 2c1
Positive roots:
E; + Ei
.
. L .o~. + 2 j'k<I
= ,,k<J L OA· + n1 (I ~ i < .i ~ I),
2c-; = L nk + nt (1 ~ i ~ l).
i'k<I
(;rl.11)
<Pn{.r.y) = 4 (l+ l)' ;(R) = (l+ l)(-ll--2).
2 - l () () 0 0
-] 2 -1 () 0 0
() -1 2 -1 () ()
() {) -1 2 0 ()
() () () () 2 -1
() () () () -2 2
PLATE IV
SYSTEi\IS Of TYPE D1 (1 ? 3)
(I) V=E=R1•
Roots: ±c; ± EJ (1 ~ i < .i ~ !): (E,) t.}](' canonical basis of R 1.
:\'11111lwr of roots: 11 = '2/(l - I).
(II) Basis: n1 = E1 - Ez. n2 = <:1 - E:i ..... n1-1 =Et- 1 - !:1. n1 = E1-1 +Et.
Posit.ivc roots:
E; - EI L 111.-
= 1<k<j (J ~ i < .i ~ I).
.
E; + E1 = L Ok + n1 (I ~ i < l),
i~/..~/--2
(V) W =IL
(:r/v)
<I>n (:t. y) = -l(l _ l) 1(R) = 4(1 - I ) 2 .
27'2 !'LATE IV
W, =Et+ E2 + · · · + E;. (1 ~ i ~ f - 2)
= n-1 + 2n2 + · · · + (i - l)n; -1 + i(n1+n;.f1 + · · · + 01-J
l .
+ 21(01-1 + <lt)
l
W/-1 = 2(€1 +E2 + ··· + E/-2 +Et-I - Et)
l 1 1
=-(01 + 202 + ... + (l- 2)01-2 + -lCl't-1 + -(l - 2)<ti)
2 2 2
1
Wt= 2(€1 +c2 + ... +Et-2 +c1.1 +E1)
1 1 l
= 2(01 +202 + ·-· + (1-2)01-2 + 2(/- 2)n1-1+ 21n,).
(VII) S11111 of tlw posit iv<' roots:
t I I.
P ( R) = ffi ZE; + Z ( - L E, ) .
w
i=l
'2 i=l
2 -1 [) () () ()
-1 2 0 () (} ()
() () 2 -1 () ()
() () -1 2 -] -1
() 0 0 -1 2 ()
0 () () -] () 2
PLATE V
SYSTEi\f OF TYPE E6
1~ v(i) even.
Positive roots with at least one CO<'fficicut. ?: 2 (we denote the root
• ) 1 (ICdt'f)n
<U:l'1 + f>0:2 +CO:! + (I 04 + l'll5 +.I On l).Y 1,. ':
i:i·nw other positive roots can be obtained h.v applying Cor. 3 of Prop. 19 of Chap.
VL § 1. no. tl.
27ti PLATE V
IXz
(V) R = W,
<Pn(;r,y) = (xl.11)/24, 1(R) = 144.
(VI) F11nda11u'11tal \Wights:
2 l
Wt = 3(ex - !:7 - .:o) = 3(4n1 + :~n2 + 5o:i +on_, + In;;+ 2nh)
l
W2 = 2(E1 +=:-2 +c:1 +.:1 +Er, -C:(i- E1 +Ex)
SYSTEi\f OF TYPE E7
Positive roots:
1 1 1 I 1
l n22 l 12:3211 12n21 I 2 :J 22 l 123321
2 l 2 2
11 Thc positive roots not containing o; come from Eo. The positive roots all of whose
coefficients arc ~ I can be obtained h,v applying Cor. :1 of Prop. l!l of Chap. VI,
S l. no. 0.
280 PL:'\TE VI
0~3--r:)--«~--:,
00!2
(V) K = R.
<J>R(.r., JJ) = (:riy)/36,
(VI) Fun<lanwntal weights:
1
= 2(6oq + 902 + 120-3 + 180: 4 + 15r}5 + 10n6 + 5<} 7 )
W5 = €5 + €6 - €7 + €8
SYSTEl\I OF TYPE Ea
8 8
Roots: ±E; ± Ej (i < j). ~ L (- l)''(i)E;
1~1
with L v(i)
1=!
even.
~11111lwr of roots: 11 = 2-IO.
(II) Basis:
PositivP roots:
1 2 :1 ;3 :3 2 l 124:3211 I 2 :l ;3 2 2 1 1 n :3 :3 2 1 l :3 -13 2 I l
2 2 I 2
l 2 -1:322 I I 2 ;3 3 :3 2 1 2 :3 I :12 1 l 1:14:3221 1213321
2 2 2 2 2
2 :14 ;3 2 2 1 1;34 :1 :12 J 124-1:321 n1 :1:J21 1 ;14 I ;3 21
2 2 2 2 2
l ;3 .'j 1 :.12 1 nLl:321 1 :1 .'j -1;32 1 2:3.'it:l21 23 fi ·I :3 21
2 2 ;3 2 3
24.14:321 2 4 5 ·1 :32 l 2 JG4:321 2-Hifi32 l
1 2165421
2 3 :1 :3 :1
2 4 6 ti 1 ;3 1 2 4 G.'"> ·I ;3 2
;3 :1
(III) Coxcter 11m11hcr: h = :m.
(IV) Highest root:
= W11.
Completed Dynkin graph is:
(V) W =IL
<Pn (:r, y) = (.i:ly)/GO, -y(R) = 900.
(VI) Fundamental weights:
(VIII) Q(R): tllf' sPt. of points with coordinat<'s ~; such that 2~; E Z,
8
~; - ~i. E Z. 2= ~'
i=l
E 2Z.
Comwct ioll index: l.
(IX) Exponents: l. 7, lJ. 1:3, 17. HJ. 2:l. 2!J.
(X) Order of W(H): 2 11 .:3".5 2 .7,
(XI) aud (XII) A(ll) = W(R). 11•0 = -1.
(XIII) Cart.au 111at.rix:
2 0 -1 () () 0 () ()
() 2 () -l () () () ()
-1 () 2 -1 fl 0 () ()
() -1 -] 2 -1 () () ()
() () () -1 2 - 1 () (}
0 () () () -] 2 --1 ()
() () () () () -1 2 -1
() () () () () () -1 2
PLATE VIII
SYSTEM OF TYPE F 4
(I) V=E = R 1•
Roots:
± E; . ( I ~ i ~ ·1). ± E; ± E j ( 1~ i <j ~ 4),
1
2(±E1 ±E2 ± E;i ± €4).
N umli<'r of roots: n = 48.
(II) Basis:
Positiv<> roots:
E, (1 ~ i ~ 4),
Positive roots havi11g at. btst 011c c:o('fficient ~ 2 (we dcnot<' the root
Wt I + fio2 + Cll':l + <f<L1 by (l /J ('(/) lfl:
lGThc other positin' roots can he oht.1tirwd by applying Cor. ;J of Prop. 19 of C'hap.
VI. 3 I, no. 6.
288 PLXl'E VIII
(.r Iul
<l>n(:r,y) = ----ul' 1(B) = 2.3 4 .
SYSTE:VI OF TYPE G 2
111 llz
2p = 2(5n1 + 3nz).
2!)() PLATE IX
Tiu' first three diagrams abovP n•pr<'SCJlt the root. systems R of type A2. n2
aucl G 2 . Tlw shaclc'd rq!;iou n'pr<'s1'11ts t IH' drnmlier (' <"01T<>spo11cliug to the
basis (n 1 • n 2 ). Tia' liuc (.rid) = l. whcr<' ii d<'llOl<'S th<' highest root of the
292 PLATE X
n.-, is sltov-·11 dot t.cd, awl tlw clo11hl.v shadt'd n•giou n•pr<:'sents
invPrsc syst.crn
t.lu~
nkow of W with wrt<•x () <·ont.ai1wd in C.
The last diagram r<'prt'SP!lts t.hc 1111iq11<' irn•ducihle n011-rerlu.ad root sys-
tem of rank 2.
SUMMARY OF THE PRINCIPAL
PROPERTIES OF ROOT SYSTEMS
(In this snmmar,v Wf' restrict 011rsclvc's to the case of rcxl11rl'd root systems
and work owr the fip]d of real numbers.)
from V to V trnnsfonns H to IL
(iii) For all n ER. n·(R) <::.= Z.
(iv) If o E R. thl'11 2n tJ_ R.
In view of (i). the <'iPinent n·. whose f!XistPnCf' is guaranteed by (ii), is
11niqt1C': thus (iii) mnk<'S Sl'llSt'. The map .~" is a rdl<'ction that kavcs fix<·d
the points of L" = Kcr(n·) awl tn111sfonr1s n to -n.
The de111e11ts of Han- !'allc·cl roots. TlH' dirnensio11 of V is called th<' rank
of the root syslt'm.
2) The group of autmnorphisms of V that lean' R st able is denoted by
A(R). The .'in (n E H) genernt.t• a s11bgro11p \\"(H) of A(R). rnll<'d thl' W<'yl
group of ll: this subgroup is uormal in A(R). The only reflections lwlouging
to \V(R) al"l' the 8 0 •
:l) The set n· of n· (for n ER) is a n~dncccl root syst.<'m in V*, called the
i11wrse s~';;lc•m of R. Th<' map n ,....... n· is a l>ij<Ttion. C'Hll<'d canonical. from R
to R-. \Ve have {Tr)·= R. a11d th<' ca11onic:al bijcdiou;; R ____, n·. rr· _, R are
n111tnal inverse;;. The map /1. ,_. 1 11- 1 dcfiues au i;;omorphism from \V(R) to
\V(R-) by means of which W<' identify tltcs<' two groups.
-I) Let\' be a r<'al vector ;;pac<' that is the din·ct s11m of vc'ctor s11bspaces
V 1 ••••• V ,.. For all i. let H; be a rt'duced root system in V;. Th@ th<' union
R oft lw R; is a root system in V. called the direct ;;um of the R;. Tllf' gro11p
\V(R) ca11 i>l' idt>11tificd witl1 tlu• prod11ct of the \V(R; ). If R i= 0 and H is not
the direct s11rn of two non-empt~· root syst<'ms. R is said to bP irred11cibk. This
i;; <>q11ivalc·nt to saying that \V(R) is irn'ducible. En•r.v rcd11c<'d root ;;ystem
2!H Sl."l\I;>.l!\llY OF f'RI!'iCIPi\L l'H.Ol'EIUIES
(o .•)") = n(a. d) E Z.
\Ve have
n(a.o) = 2.
s 11(n) = n - n(o,/J)/3,
. ( iJ) _ 2(nl/i)
II 0." - (!JI}) .
Th(' only possibilities arc th<' followi11g. up to interc:ha11ging n and ,i"J:
7) L<'t n.J ER. If (nJ:3) > 0. n :i is a root unless o = ,d. If (ol;3) < 0,
o + fJis a root 1111less n = - iJ.
8) Let <L ;3 t><' two 11011-pr.oporti<~ial roots. The sc>t I of j E Z such that
,!3 + jn E R is an interval ( -q. p) of cont.aining 0. Wc> have
Ld She th<' set of .J + jn for j EI. Tlw11 8,,(S) =Sand s,,(:i + 7m) = d -q<~.
\Ve rnll S the' 11-chai11 of roots dcfiucd by _.i. ii·- qn its tll"igi11. d +po its <'11<!,
a)l(I JI+ <J its ll'11gth.
IfT is all n-ehai11 with origin/. the l<'ngth ofT is -11(~.. o).
n) Let x lw t lw 1111io11 of I hl' KPr I\ - (I\ E: n). Tiu.· COlllH'Ctcd compo1w11t.s of
V - X are called the d111rnbers of Hin V. They arc op<'n sirnplicial cones. The
\Vey! group acts simply-transitively 011 th<' set of chambers. If C is a chamber,
C is a fn11danw11tal domain for \V(B). v\'<' l1aw (.1ty) > 0 for .i:, y E C. The
hijl'd ion from V to V* eorT<'spondiug to (.1: Iy) defines a hijcct ion from the
S<'t of dwmh<'rs of ll ill vto the set of chambers of n-
in V*: \V(' de11ote by
c- the d1a11ilH'r that is the imagl' of C 1111dc•r this hij0rtion.
W) Let c be a chamber of n. Let LI· L-i ..... L, I)(' th<· Wil lls of c. For all
i. tlwn• exists a nuiqn<' root n; s11cl1 that L; = L,., and o; is 011 tlw same
side of L; as C. T\w fa111ily ( n 1..... n1) is a basis of V. and C is t II<' set of
.r EV s11d1 that (o~;.:r) > 0 for nil i. in other words such that (o;j:r:) > 0 for
all i. Th<'n {o 1 .•... n 1 } is called tht• basis B(C) of 11 ddii1Pd h.\· C. We have
(o;jn1 ) ~ 0 wlu•u i =/= j. Tlw group W(R) acts sirnply-trnnsitivt'l.v on the S<'t
of bas{'s. Every root is trn11sfonrll'd by solll<' dt•111p11t of \V(R) to an <'lenwnt
of I3(C). WP have {nj ..... n'i} = n(C-).
11) Put sn, = 8;. let Sh<' tlu• set" of the s;. and let m.; 1 lw th0 order of
8;-".i· Th0 pair ("W(H). S) is a Cox<'ll'r systP111 with Coxl'l<•r matrix (mij): in
other words. \.V(H.) is cl<~fiucd by thl' family of gl'IH'rntors (.~;) 1,;;;,;; 1 a11d the
rdatious (s;s_; )"'', = I. Two l'll'lll<'llt.s 8; and s1 an' conjugatl' i11 \V(H) if aud
011ly if there l'xist.s a st'<jlWllt:l' of i11dices (I 1. i'2, .... i,1 ) such that i 1 = -i. i'I = j
and each of the rtt.; 1 ; 1 ,., is Pqual to :3.
12) Ld 11;; = 11(11,.n,). Tlw matrix (11. 11 )i,;;;.1 ,;;1 is called the Cartan
matrix of 11.. It is i11dqH'nde11t. (11p to a permutation of 1. 2, .... l) of the
choice of C. We haw n;; = 2. n;j E {O, -1. -2. --:~} for i =/= j. If two root
systems haw the saim• Cartan matrix they arc isomorphic
13) Let G be the subgroup of A ( R) that lcaws I3( C) st1ihl<'. Thm A (R)
is the semi-direct product of G by W(H).
14) The order rclat ion on V ( l'<'sp. V*) defined b~· C is the order relation,
co111patiblc with tho w<'tor space strnct11n~ of V (resp. V* ). for which the
c•lt>m<'nts? 0 arc the li11Par comhinati011s of the o; (resp. n-;) with coefficients
? 0. These elements are callerl positive for C. or for B(C). These order rela-
tions are also defined by c-. An element of V is ? 0 if and only if its values on
c- arc ? 0. The set of dcment.s ? 0 for C contains C but is in general distinct
from C. Let J: E V. Then .i· E C if and only if ;r ? w(:r) for all ·w E W(R);
aud :r EC if and only if :I' > 11:(.r) for all w E W(R) disti11ct from 1.
15) Every root is eithf'r positiv<> or negative for C. We rlenotc b.v R+(C)
t.hc set. of roots that are positive for C. so that R = R+(C) u (-H+(C)) is
296 Slii\ll\IAHY OF PfUNCIPAL PllOl'EflTlES
LPt P', C', E' li11ve analogo11s propnt.ies. If t her<' exists an !')pmc11t of
W(R) transforming P to P', there <·xists an <'k1uc11t of \\'(11) transfonning C
to C', E to E' and P to P'.
Tlwn' exists a highest cknH'llt of R (for th<' onkr ddined hv C). that is. an
cl<'nl<'ll( (l = 111fl1 t · · · + 11/11/ of H Sllch that. for illl.V rnot
J11<l1 l-···+11101.
11 1 :;o: p 1..... 111? /ii· Th(')l 1ic E: C and II 11 ll:;o:ll n II for evPry root n.
2()) Th<' s11bgro11p of V g<'lH:l'Hl<'d \iv H is d<'11otPd by Q(l1): the <'l<•n1<'11ts
of Q(J1) an• called the radical W<'ights of n. The gro11p Q(H) is a discrete
s11bgrrn1p of V of rank I =dint V. Any basis of R is a basis of Q(H).
The s11hgro11p of V associated l.o Q(W) is dcnot<•d by P(H): the c!Pmeuts
of P(H.) an~ called tlw weights of H. The gro11p P(R) is a disnet<' subgro11p of
V of rank I contaiuiug Q(H.). The gro11ps P(J1)/Q(R). P(W)/Q(W) arc finite
and isomorphic: their order f is called the ('()JlHection illdPX of H. \\'ith the
11otatio11 of 20). the order of VV(R) is /!111112 ... 11tf.
The group A(H) kan~s P(H.). Q(R) stahk. and hc~nn· acts 011 P(R.)/Q(R).
TIJ(' group \V(R) ads trivially on P(H)/Q(It). so A(R)/W(R) acts on
P(R)/Q(n).
2!>8 SU!\L\!Al1Y OF PH!NC!l'AL P!lOl'EHTIES
.J(eP) =el'
et>O
n (1 - c-") n (e"/ =
n>O
2 - ('-<>/ 2 ),
The z1,, for p E PnC, form a basis of the group Ew of dC'rncnts of E invariant
under 'vV. If w 1 , •.•• w1 an• the fundamental wf'ight.s of ll. the elements zw,,
1 ~ i ~ l, are a lgehraicall_y independent and gem•rat<' the ring Ew.
;n) Let C be a diam her of R, (o 1 , .•. , lft) the corrn-;ponding basis. The
clement e = s 1 8 2 ... St of \V is called the Coxctcr trans format ion of R. The
conjugacy class of c does 11ot. dc•pend 011 C or on the m1111b<'ri11g of then,. The
order h of c is called the Coxcter numb<'r of R. The eigC'nrnhws of c are of
the form exp 2 ;~;";, wh<'n' the integers m 1 • rn. 2 .. .. , rn1 (called the exponents
of H) arc such that 1 ~ 111 1 ~ m 2 ~ • • · ~ m1 ~ h - l.
Assume that R is irrf'd11eiblc'. Then
rn1 = l, m1 = h- 1.
mJ+m1+i-J=h (l~j~l).
l 1
m 1 + m2 + · · · + m1 = 2th= 2card(R).
:100 SllMi\IAHY OF l'IU!\iCIPAL PHOI'ElfflES
1
-
t-J
, L lb"
, I
I
I. - L- ~['-
ISBN 978-3-540-69171-6
"
1
•• • I II
9 783540 691716
~
1
, I l-' 1
: . . 111