Bourbaki

Proposition 9

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

Lie Groups and Lie Algebras, chapter IX, § 4. Root system associated to a compact group

Every automorphism of the Lie group G that induces the identity on T is of the form Int tt, with t∈Tt\in T.

Assume first of all that C(G) reduces to the identity element, in other words that X(T) = Q(R) (Prop. 8). Let ff be an automorphism of G inducing the identity on T, and φ=L(f)(C)\varphi = L(f)_{(\mathbf{C})}; then φ\varphi is an automorphism of gC\mathfrak{g}_{\mathbf{C}} inducing the identity on tC\mathfrak{t}_{\mathbf{C}}. By Chap. VIII, §5, no. 2, Prop. 2, there exists a unique homomorphism θ:Q(R)→C∗\theta : Q(R)\rightarrow \mathbf{C}^* such that φ\varphi induces on each gα\mathfrak{g}^{\alpha} the homothety with ratio θ(α)\theta (\alpha ). Since φ\varphi leaves stable the real form g\mathfrak{g} of gC\mathfrak{g}_{\mathbf{C}}, it commutes with the conjugation σ\sigma of gC\mathfrak{g}_{\mathbf{C}} with respect to g\mathfrak{g}; but σ(gα)=g−α\sigma (\mathfrak{g}^{\alpha}) =\mathfrak{g}^{-\alpha}, so θ(−α)=θ(α)‾\theta (-\alpha ) =\overline{\theta(\alpha)} for all α∈R\alpha \in R. This implies that θ(α)θ(α)=θ(α)θ(−α)=1\theta (\alpha )\theta (\alpha ) =\theta (\alpha )\theta (-\alpha ) = 1. It follows that θ\theta takes values in U\mathbf{U}, and hence corresponds by duality to an element tt of T such that (Ad tt)(C)=φ_{(\mathbf{C})}=\varphi, so Int t=ft=f.

In the general case, the preceding applies to the group G/C(G)G/C(G), whose centre reduces to the identity element, and to its maximal torus T/C(G)T/C(G). It follows that, if ff is an automorphism of G inducing the identity on T, there exists an element tt of T such that ff and Int tt induce by passage to the quotient the same automorphism of G/C(G)G/C(G). But, since the canonical morphism D(G)→G/C(G)D(G)\rightarrow G/C(G) is a finite covering (§1, no. 4, Cor. 1 of Prop. 4), ff and Int tt induce the same automorphism of D(G), hence of D(G)×C(G)D(G)\times C(G), and hence also of G (loc. cit.).

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.