Bourbaki

Proposition 5

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

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

— Assume that g\mathfrak g is splittable. The group Aut⁡0(g)\operatorname{Aut}_0(\mathfrak g) operates simply-transitively on the set of framings of g\mathfrak g.

Let e1=(g,h1,B1,(Xα1)α∈B1)e_1=(\mathfrak g,\mathfrak h_1,B_1,(X^1_\alpha)_{\alpha\in B_1}), e2=(g,h2,B2,(Xα2)α∈B2)e_2=(\mathfrak g,\mathfrak h_2,B_2,(X^2_\alpha)_{\alpha\in B_2}) be two framings of g\mathfrak g. There exists at least one element of Aut⁡0(g)\operatorname{Aut}_0(\mathfrak g) that transforms e1e_1 into e2e_2 (Prop. 1 and Prop. 4). Let k‾\overline{k} be an algebraic closure of kk. There exists an element of Aut⁡e(g⊗kk‾)\operatorname{Aut}_e(\mathfrak g\otimes_k\overline{k}) that transforms h1⊗kk‾\mathfrak h_1\otimes_k\overline{k} into h2⊗kk‾\mathfrak h_2\otimes_k\overline{k} (Chap. VII, §3, no. 2, Th. 1). Hence, by Prop. 4 and Cor. 2 of Prop. 2, there exists an element φ\varphi of Aut⁡e(g⊗kk‾)\operatorname{Aut}_e(\mathfrak g\otimes_k\overline{k}) that transforms the framing (g⊗kk‾,h1⊗kk‾,B1,(Xα1)α∈B1)(\mathfrak g\otimes_k\overline{k},\mathfrak h_1\otimes_k\overline{k},B_1,(X^1_\alpha)_{\alpha\in B_1}) of g⊗kk‾\mathfrak g\otimes_k\overline{k} into the framing (g⊗kk‾,h2⊗kk‾,B2,(Xα2)α∈B2)(\mathfrak g\otimes_k\overline{k},\mathfrak h_2\otimes_k\overline{k},B_2,(X^2_\alpha)_{\alpha\in B_2}). Since h1\mathfrak h_1 and the Xα1X^1_\alpha (resp. h2\mathfrak h_2 and the Xα2X^2_\alpha) generate g1\mathfrak g_1 (resp. g2\mathfrak g_2), we have φ(g1)=g2\varphi(\mathfrak g_1)=\mathfrak g_2, so φ\varphi is of the form ψ⊗1\psi\otimes 1 where ψ∈Aut⁡0(g)\psi\in\operatorname{Aut}_0(\mathfrak g), and ψ\psi transforms e1e_1 into e2e_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

Cites

Transcribed from the printed volume. Not translated.