Bourbaki

Lemma 3

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

Lie Groups and Lie Algebras, chapter VI, § 1. Root systems

Let CC be a chamber of R\mathbf{R} and PP a closed subset of R\mathbf{R} containing R+(C)R_+(C) (in the notation of no. 6). Let Σ=B(C)∩(−P)\Sigma = B(C) \cap (-P), and let QQ be the set of roots that are linear combinations of elements of Σ\Sigma with non-positive integer coefficient. Then, P=R+(C)∪QP = R_+(C) \cup Q.

It is enough to show that P∩(−R+(C))=QP \cap (-R_+(C)) = Q. Let −α∈Q-\alpha \in Q. Then α\alpha is the sum of nn elements of Σ\Sigma. We show, by induction on nn, that −α∈P-\alpha \in P. This is clear if n=1n = 1. If n>1n > 1, then by Prop. 19 of no. 6 we can write α=β+γ\alpha = \beta + \gamma with γ∈Σ\gamma \in \Sigma and β\beta the sum of n−1n - 1 elements of Σ\Sigma. By the induction hypothesis, −β∈P-\beta \in P; since −γ∈P-\gamma \in P and since PP is closed, −α∈P-\alpha \in P. Thus, Q⊆P∩(−R+(C))Q \subseteq P \cap (-R_+(C)). Conversely, let −α∈P∩(−R+(C))-\alpha \in P \cap (-R_+(C)). Then α\alpha is the sum of pp elements of B(C)B(C). We show, by induction on pp, that −α∈Q-\alpha \in Q. This is clear if p=1p = 1. If p>1p > 1, then by Prop. 19, we can write α=β+γ\alpha = \beta + \gamma with γ∈B(C)\gamma \in B(C) and β\beta a root that is the sum of p−1p - 1 elements of B(C)B(C). Since −γ=β+(−α)-\gamma = \beta + (-\alpha) and since PP is closed, −γ∈P-\gamma \in P, hence γ∈Σ\gamma \in \Sigma. Moreover, −β=γ+(−α)-\beta = \gamma + (-\alpha) so −β∈P-\beta \in P since PP is closed. By the induction hypothesis, −β∈Q-\beta \in Q, so −α=−β−γ∈Q-\alpha = -\beta - \gamma \in Q. Thus, P∩(−R+(C))⊆QP \cap (-R_+(C)) \subseteq Q.

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.