Bourbaki

Remark 4

Tag 0124, permanent. Cite it as [Bourbaki, Tag 0124].

Lie Groups and Lie Algebras, chapter VIII, § 5. Automorphisms of a semi-simple Lie algebra

Let g\mathfrak{g} be a splittable semi-simple Lie algebra, P\mathscr{P} the set of parabolic subalgebras of g\mathfrak{g}, a set on which Aut0(g)_0(\mathfrak{g}) operates. Retain the notations of Remark 2. Let Σ\Sigma be a subset of B(g)B(\mathfrak{g}). Giving Σ\Sigma is equivalent to giving, for every x=(h,B)∈Xx= (\mathfrak{h},B)\in X, a subset Σx\Sigma_x of B, such that sx′,xs_{x',x} takes Σx\Sigma_x to Σx′\Sigma_{x'} for any x,x′∈Xx, x'\in X. Let px\mathfrak{p}_x be the parabolic subalgebra of g\mathfrak{g} corresponding to Σx\Sigma_x (§3, no. 4, Remark). The orbit of px\mathfrak{p}_x under Aut0(g)_0(\mathfrak{g}) is the set of px′\mathfrak{p}_{x'} for x′∈Xx'\in X. This defines a map from P(B(g))\mathfrak{P}(B(\mathfrak{g})) to P/\mathscr{P}/Aut0(g)_0(\mathfrak{g}). This map is surjective by the Remark of §3, no. 4, and injective by Prop. 7.

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.