Bourbaki

Proposition 3

Tag 0ALB, permanent. Cite it as [Bourbaki, Tag 0ALB].

Lie Groups and Lie Algebras, chapter III, § 10. The automorphism group of a Lie group

Suppose that K is ultrametric. Let G be a compact Lie group and α\alpha an infinitesimal automorphism of G. There exist an open subgroup I of K and a law of analytic operation (λ,g)↦ϕλ(g)(\lambda, g) \mapsto \phi_\lambda(g) of I on G with the following properties: (1) if D is the associated law of infinitesimal operation, then D(1)=αD(1) = \alpha; (2) for all λ∈I,ϕλ∈Aut G\lambda \in I, \phi_\lambda \in \mathrm{Aut}\, G. As G is compact, there exist an open subgroup I' of K and a law of analytic operation (λ,g)↦ϕλ(g)(\lambda, g) \mapsto \phi_\lambda(g) of I' on G with property (1) of the proposition (§ 4, no. 7, Corollary 2 to Theorem 6). We write ϕλ(g)=fg(λ)\phi_\lambda(g) = f_g(\lambda) for λ∈I′\lambda \in I' and g∈Gg \in G. Then, for g1,g2g_1, g_2 in GG and λ∈I′\lambda \in I',

(Tλ(fg1fg2))1=(Tλfg1)1⋅fg2(λ)+fg1(λ)⋅(Tλfg2)1=α(fg1(λ))fg2(λ)+fg1(λ)α(fg2(λ))=α(fg1(λ)fg2(λ)) (T_\lambda(f_{g_1}f_{g_2}))1 = (T_\lambda f_{g_1})1 \cdot f_{g_2}(\lambda) + f_{g_1}(\lambda) \cdot (T_\lambda f_{g_2})1 \\ = \alpha(f_{g_1}(\lambda)) f_{g_2}(\lambda) + f_{g_1}(\lambda) \alpha(f_{g_2}(\lambda)) \\ = \alpha(f_{g_1}(\lambda) f_{g_2}(\lambda))

and (fg1fg2)(0)=g1g2=fg1g2(0)(f_{g_1}f_{g_2})(0) = g_1 g_2 = f_{g_1g_2}(0). Hence fg1′g2′(λ)=fg1′(λ)fg2′(λ)f_{g_1'g_2'}(\lambda) = f_{g_1'}(\lambda) f_{g_2'}(\lambda) for (g1′,g2′,λ)(g_1', g_2', \lambda)

in a neighbourhood of (g1,g2,0)(g_1, g_2, 0) (Differentiable and Analytic Manifolds, R, 9.1.8). As GG is compact, there exists an open subgroup II of I′I' such that fg1g2(λ)=fg1(λ)fg2(λ)f_{g_1g_2}(\lambda) = f_{g_1}(\lambda) f_{g_2}(\lambda) for all g1∈G,g2∈G,λ∈Ig_1 \in G, g_2 \in G, \lambda \in I. In other words, ϕλ∈Aut G\phi_\lambda \in \mathrm{Aut}\, G for λ∈I\lambda \in I.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Cites

Transcribed from the printed volume. Not translated.