Bourbaki

Theorem 1

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

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

Let uu be an automorphism of a connected compact Lie group G.

a) The identity component of the group of fixed points of uu contains a regular element of G.

b) There exists a maximal torus K of G and a chamber of L(K) that are stable under uu.

c) If G is simply-connected, the set of fixed points of uu is connected.

Assertion a) is the particular case x=ex=e of Prop. 3. We assume now that G is simply-connected and prove b) and c). Let xx be an element of G fixed by uu, and let gg be a regular element of G, fixed by uu and commuting with xx (Prop. 3). The centralizer K of gg is a maximal torus of G (no. 2, Remark 2), stable under uu, and containing xx and gg. By Cor. 3 of Prop. 2 of no. 2, there exists a unique alcove A of L(K) such that g∈g\in exp A and 0∈A0\in A; since gg is fixed by u,L(u)u, L(u) leaves A, and hence also the chamber of L(K) containing A, stable. This proves b); further, the set of points of K fixed by uu is connected (Lemma 3) and contains xx and ee, hence c)(c) (General Topology, Chap. I, §11, no. 1, Prop. 2).

It remains to prove b) in the general case. Now, if D~(G)\widetilde{D}(G) is the universal covering of D(G), and if f:D~(G)→Gf: \widetilde{D}(G)\rightarrow G is the canonical morphism, there exists an automorphism u~\widetilde{u} of D~(G)\widetilde{D}(G) such that f∘u~=u∘ff\circ \widetilde{u}=u\circ f. If K~\widetilde{K} is a maximal torus of D~(G)\widetilde{D}(G) and C~\widetilde{C} a chamber of L(K~)L( \widetilde{K}), stable under u~\widetilde{u} (this exists by what has already been proved), there exists (§2, no. 3, Remark 2) a unique maximal torus K of G and a unique chamber C of L(K) such that K~=f−1(K)\widetilde{K} =f^{-1}(K) and C~=L(f)−1\widetilde{C} = L(f)^{-1}(C), and we see immediately that K and C are stable under uu, hence assertion b) in the general case.

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.