Bourbaki

Corollary 2

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

Lie Groups and Lie Algebras, chapter IX, § 9. Compact Lie groups operating on manifolds

Let H be a closed subgroup of G. There exists an analytic linear representation of G on a finite dimensional vector space E and a point v∈Ev\in E with fixer H.

Apply Cor. 1 to the canonical operation of G on the compact manifold G/HG/H. This gives an analytic linear representation ρ:G→GL(E)\rho : G\rightarrow \mathbf{G}\mathbf{L}(E) and an embedding φ:G/H→E\varphi : G/H\rightarrow E such that φ(gx)=ρ(g)φ(x),g∈G,x∈G/H\varphi (gx) =\rho (g)\varphi (x),g\in G, x\in G/H. Let e‾∈G/H\overline{e}\in G/H be the class of e∈Ge\in G, and v=φ(e‾)v=\varphi (\overline{e}) its image. For all g∈Gg\in G, we have ρ(g)v=v⇐⇒φ(ge‾)=φ(e‾)⇐⇒ge‾=e‾⇐⇒g∈H\rho (g)v=v\Leftarrow \Rightarrow \varphi (g\overline{e}) =\varphi (\overline{e})\Leftarrow \Rightarrow g\overline{e}= \overline{e}\Leftarrow \Rightarrow g\in H.

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.