Bourbaki

Proposition 2

Tag 01DX, permanent. Cite it as [Bourbaki, Tag 01DX].

Lie Groups and Lie Algebras, chapter IX, § 5. Conjugacy classes

a) The group WaW_a (resp. Wa′W'_a) is the semi-direct product of W by N(G,T)N(G,T) (resp. Γ(T)\Gamma (T)); the subgroup WaW_a of Wa′W'_a is normal.

b) The group W (resp. WaW_a) operates simply-transitively on the set of chambers (resp. alcoves ).

c) Let C be a chamber and A an alcove. Then C‾\overline{C} (resp. A, resp. A) is a fundamental domain for the operation of W on t\mathfrak{t} (resp. of WaW_a on t\mathfrak{t}, resp. of WaW_a on t\mathfrak{t}-- tr\mathfrak{t}_r). If x∈trx\in \mathfrak{t}_r and w∈Waw\in W_a are such that w(x)=xw(x) =x, then w=w= Id.

d) For every chamber C, there exists a unique alcove A such that A⊂CA\subset C andγ∈0A.∈A‾\gamma \in \frac{0}{A}.\in \overline{A}. For every alcove A, there exists a unique γ∈N(G,T)\gamma \in N(G,T) such that

If w∈Ww\in W and γ∈Γ\gamma \in \Gamma(T), then wtγw−1=tw(γ)wt_{\gamma}w^{-1}=t_{w(\gamma)} and wtγw−1tγ−1=tw(γ)−γwt_{\gamma}w^{-1}t^{-1}_{\gamma}=t_{w(\gamma)-\gamma}, with w(γ)−γ∈N(G,T)w(\gamma )-\gamma \in N(G,T); this immediately implies a). The rest of the proposition follows from Chap. VI, §1, no. 5 and §2, nos. 1 and 2.

Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Transcribed from the printed volume. Not translated.