Theorem 1
Tag 01EA, permanent. Cite it as [Bourbaki, Tag 01EA].
Lie Groups and Lie Algebras, chapter IX, § 5. Conjugacy classes
Let be an automorphism of a connected compact Lie group G.
a) The identity component of the group of fixed points of 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 .
c) If G is simply-connected, the set of fixed points of is connected.
Assertion a) is the particular case of Prop. 3. We assume now that G is simply-connected and prove b) and c). Let be an element of G fixed by , and let be a regular element of G, fixed by and commuting with (Prop. 3). The centralizer K of is a maximal torus of G (no. 2, Remark 2), stable under , and containing and . By Cor. 3 of Prop. 2 of no. 2, there exists a unique alcove A of L(K) such that exp A and ; since is fixed by 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 is connected (Lemma 3) and contains and , hence General Topology, Chap. I, §11, no. 1, Prop. 2).
It remains to prove b) in the general case. Now, if is the universal covering of D(G), and if is the canonical morphism, there exists an automorphism of such that . If is a maximal torus of and a chamber of , stable under (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 and (C), and we see immediately that K and C are stable under , 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
- §2, no. 3, Remark 2
- Lemma 3
- no. 2, Remark 2
- Cor. 3 of Prop. 2
- Prop. 3
- General Topology, Chap. I, §11, no. 1, Prop. 2 not in this corpus