Bourbaki

Lemma 1

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

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

Let uu be an automorphism of G, and H the set of its fixed points.

a) H is a closed subgroup of G.

b) If H0H_0 is central in G, then G is commutative (so G = T).

Assertion a) is clear. To prove b), we can replace G by D(G) (§1, Cor. 1 of Prop. 4), and hence can assume that G is semi-simple. Then, if H0H_0 is central in G, we have L(H)={0}L(H) =\{0\}, so the endomorphism L(u)−L(u)-Id of g\mathfrak{g} is bijective. Let ff be the endomorphism of the manifold G defined by f(g)=u(g)−1gf(g) =u(g)^{-1}g for g∈Gg\in G; it is étale, for if g∈Gg\in G and x∈gx\in \mathfrak{g}, we have T(f)(xg)=u(g)−1(x−L(u)(x))gT(f)(xg) =u(g)^{-1}(x-L(u)(x))g, so the tangent map of ff at gg is bijective. It follows that the image of ff is open and compact, hence coincides with G since G is connected. Now let E be a framing of G (§4, no. 10, Def. 3) and u(E)u(E) its image under uu. By Prop. 19 of loc. cit., there exists an element hh of G such that (Int hh)(E)=u(E)(E) =u(E). Let g∈Gg\in G be such that h=f(g)=u(g)−1gh=f(g) =u(g)^{-1}g; then

u∘u\circ Int g=g= (Int u(g)u(g))∘u=\circ u= Int g∘g\circ (Int hh)−1∘u^{-1}\circ u,

so the framing (Int gg)(E)(E) is stable under uu. If (Int gg)(E)=(T1,B,(Uα)α∈B)(E) = (T_1,B,(U_{\alpha})_{\alpha\in B}), then ∑Uα∈L(H)\sum U_{\alpha}\in L(H); since L(H)={0}L(H) =\{0\}, this implies that B=∅B =\emptyset, so G=T1G = T_1, and G is commutative.

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.