Bourbaki

Lemma 10

Tag 0AYB, permanent. Cite it as [Bourbaki, Tag 0AYB].

Lie Groups and Lie Algebras, chapter VI, § 4. Classification of root systems

If X has a ramification point i, the full subgraph X - {i} is the union of three chains, and if p - 1, q - 1, r - 1 are the lengths of these chains, the triple {p, q, r} is equal, up to a permutation, to one of the triples {1, 2, 2}, {1, 2, 3}, {1, 2, 4}, {1, 1, m} (for some m ≥1\geq 1).

The vertex i belongs to 3 edges (Lemma 2), and there is no other ramification point (Lemma 7), so the full subgraph X - {i} is the sum of 3 chains X_1, X_2, X_3, each of which has a terminal vertex linked to i in X. Let {i_1, i_2}, {i_2, i_3}, ..., {i_{p-1}, i_p} be the edges of X_1, {j_1, j_2}, {j_2, j_3}, ..., {j_{q-1}, j_q} those of X_2, and {k_1, k_2}, {k_2, k_3}, ..., {k_{r-1}, k_r} those of X_3, with i_1, j_1, k_1 linked to i in X. We can assume that p≥q≥r≥1p \geq q \geq r \geq 1. Put

x=eip+2eip−1+⋯+pei1 x = e_{i_p} + 2e_{i_{p-1}} + \cdots + pe_{i_1}
y=ejq+2ejq−1+⋯+qej1 y = e_{j_q} + 2e_{j_{q-1}} + \cdots + qe_{j_1}
z=ekr+2ekr−1+⋯+rek1. z = e_{k_r} + 2e_{k_{r-1}} + \cdots + re_{k_1}.

Since all the edges of X are of order 3 (Lemma 7), Lemma 8 gives ∥x∥2=12p(p+1)\| x \| ^2 = \frac{1}{2} p(p+1), ∥y∥2=12q(q+1)\| y \| ^2 = \frac{1}{2} q(q+1), ∥z∥2=12r(r+1)\| z \| ^2 = \frac{1}{2} r(r+1). On the other hand, eie_i is orthogonal to ei2,ei3,…,eipe_{i_2}, e_{i_3}, \ldots, e_{i_p}, so (ei∣x)=p(ei∣ei1)=−12p(e_i | x) = p(e_i | e_{i_1}) = -\frac{1}{2} p; similarly (ei∣y)=−12q(e_i | y) = -\frac{1}{2} q, (ei∣z)=−12r(e_i | z) = -\frac{1}{2} r. The unit vectors ∥x∥−1x,∥y∥−1y,∥z∥−1z\| x \|^{-1} x, \| y \|^{-1} y, \| z \|^{-1} z are mutually orthogonal, and eie_i does not belong to the subspace F that they generate; the square of the distance from eie_i to F is

1−(ei∣x∥x∥)2−(ei∣y∥y∥)2−(ei∣z∥z∥)2 1 - (e_i | \frac{x}{\| x \|})^2 - (e_i | \frac{y}{\| y \|})^2 - (e_i | \frac{z}{\| z \|})^2
=1−12pp+1−12qq+1−12rr+1 = 1 - \frac{1}{2} \frac{p}{p+1} - \frac{1}{2} \frac{q}{q+1} - \frac{1}{2} \frac{r}{r+1}
=1−12+121p+1−12+121q+1−12+121r+1. = 1 - \frac{1}{2} + \frac{1}{2} \frac{1}{p+1} - \frac{1}{2} + \frac{1}{2} \frac{1}{q+1} - \frac{1}{2} + \frac{1}{2} \frac{1}{r+1}.

Since this quantity is > 0, we have

(p+1)−1+(q+1)−1+(r+1)−1>1. (p+1)^{-1} + (q+1)^{-1} + (r+1)^{-1} > 1.
(4)

Hence 3(r+1)−1>13(r+1)^{-1} > 1, so r<2r < 2 and finally r=1r = 1. Then (4) gives

(p+1)−1+(q+1)−1>12 (p+1)^{-1} + (q+1)^{-1} > \frac{1}{2}
(5)

hence 2(q+1)−1>122(q+1)^{-1} > \frac{1}{2}, so q≤2q \leq 2. Finally, if q=2q = 2, (5) gives

(p+1)−1>16.hence p≤4. (p+1)^{-1} > \frac{1}{6}. \quad \text{hence } p \leq 4.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Cites

Transcribed from the printed volume. Not translated.