Bourbaki

Proposition 14

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

Lie Groups and Lie Algebras, chapter III, § 3. Passage from a Lie group to its Lie algebra

(i) Let g0∈Gg_0 \in G and τ(g0)\tau(g_0) be the mapping x↦f(g0,x)x \mapsto f(g_0, x) of X into X. If u∈T(r)(X)u \in \mathscr{T}^{(r)}(X), then τ(g0)∗u=εg0∗u\tau(g_0)*u = \varepsilon_{g_0}*u.

(ii) Let x0∈Xx_0 \in X and ϱ(x0)\varrho(x_0) be the mapping g↦f(g,x0)g \mapsto f(g, x_0) of G into X. If t∈T(r)(G)t \in T^{(r)}(G), then ϱ(x0)∗t=t∗εx0\varrho(x_0)*t = t*\varepsilon_{x_0}.

This can be proved as is Proposition 3 of no. 1.

In particular, if u∈T(X)u \in T(X) and t∈T(G)t \in T(G), εg0∗u\varepsilon_{g_0} * u and t∗εx0t * \varepsilon_{x_0} are equal to the products g0ug_0u and tx0tx_0 defined in § 2, no. 2.

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.