Bourbaki

Definition 7

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

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

Let X be a manifold of class CrC^r (r≥2r \geq 2) and gg a complete normable Lie algebra. A law of infinitesimal left (resp. right) operation of class Cr−1C^{r-1} of gg on X is a mapping a↦Daa \mapsto D_a of gg into the set of vector fields on X with the following properties:

(a) the mapping (a,x)↦Da(x)(a, x) \mapsto D_a(x) is a morphism of class Cr−1C^{r-1} of the trivial vector bundle g×Xg \times X into the vector bundle T(X)T(X);

(b) [Da,Db]=−D[a,b][D_a, D_b] = -D_{[a, b]} (resp. [Da,Db]=D[a,b][D_a, D_b] = D_{[a, b]} for all a,ba, b in gg).

In particular, each vector field DaD_a is of class Cr−1C^{r-1}.

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

Cited by

Cites

Nothing.

Transcribed from the printed volume. Not translated.