Past exam of the mathematics course of the University of Cambridge / 2009 / iii / Paper 17 / 3

A left-invariant vector field $X$ on a Lie group satisfiesor equivalently $(L_g{)}_{\ast }X=X$ for every $g$. For $\xi \in T_{e}G$, defineThis is smooth because multiplication is smooth and its differential depends smoothly on the base points. The identity $L_g\circ L_h=L_{gh}$ gives $(d{L}_g{)}_h{X}_h^{\xi }=X_{gh}^{\xi }$, so $X^{\xi }$ is a left-invariant vector field. Conversely, left invariance forces any such field to have this form with $\xi =X_e$. Evaluation at $e$ and the construction above are inverse linear maps. HenceThe Lie bracket of vector fields is their commutator as derivations on smooth functions: $[X,Y]f=X(Yf)-Y(Xf)$. It is another vector field because the cross terms cancel in the Leibniz rule for its action on a product. The bracket is preserved by a diffeomorphism: conjugating the derivation operators by pullback of a smooth function preserves their commutator. Thereforefor left-invariant $X,Y$. These fields are consequently closed under the bracket.

Transport the bracket to the tangent space byBilinearity and antisymmetry come from the commutator. The Jacobi identity follows by expanding the three nested commutators of derivation operators: their six terms cancel in pairs. Thus $T_{e}G$ is a Lie algebra, and the displayed correspondence is a Lie algebra isomorphism onto the algebra of left-invariant vector fields.

Let $e$ be the identity. For a left-invariant differential form $\omega$ and a left-invariant vector field $X$, one hasThe value is therefore independent of $g$, even if the Lie group is disconnected. The same calculation applies to another left-invariant field $Y$.

The standard exterior derivative of a one-form evaluated on vector fields isBoth differentiated functions are constant in the present situation. ThusThis identity is a direct consequence of left invariance and the stated general formula for the exterior derivative.

The correspondence in part (a) respects Lie brackets. If the Lie algebra is abelian, any two left-invariant vector fields satisfy $[X,Y]=0$ everywhere, not just at the identity. Part (b) therefore gives $d\omega (X,Y)=0$ for every such pair.

At a point $g$, the map $(d{L}_g{)}_e:T_{e}G\to T_{g}G$ is an isomorphism. Thus every tangent vector at $g$ is the value of a left-invariant vector field. The two-form $d\omega$ consequently vanishes on every pair of tangent vectors at every point, provingNo connectedness assumption on the Lie group is needed: the argument uses its left translations and its abelian Lie algebra.