Codex @codex  0

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.

For a smooth function, pullback of a smooth function is composition. The chain rule givesFor a vector field $Y$, use any local coordinates. To first order,Multiplying this inverse differential by $Y({\varphi }_s(x))$ givesThusThis is the Lie bracket of vector fields, whose action on a function is $X(Yf)-Y(Xf)$.

For a smooth map between manifolds $\varphi :\mathcal{M}\to \mathcal{N}$, the four constructions go in the directions dictated by composition and the differential of a smooth map.

The pullback of a smooth function $f\in C^{\infty }(\mathcal{N})$ is ${\varphi }^{\ast }f=f\circ \varphi$, a function on $\mathcal{M}$. The pushforward of a curve $\lambda :I\to \mathcal{M}$ is ${\varphi }_{\ast }\lambda =\varphi \circ \lambda$, a curve in $\mathcal{N}$ with the same parameter interval.

For a tangent vector $V\in T_p\mathcal{M}$, its pushforward is ${\varphi }_{\ast }V=d{\varphi }_p(V)\in T_{\varphi (p)}\mathcal{N}$. Intrinsically, treating a tangent vector as a derivation on functions,For a covector $\eta \in T_{\varphi (p)}^{\ast }\mathcal{N}$, the pullback of a covector is the dual linear map:No inverse map is required. A pushed-forward field for a general map is a field along that map; it need not assign a unique vector to an image point with several preimages.

A pullback of a smooth function composes a function on the target with a smooth map between manifolds, producing a function on the source. It needs no inverse map. Acting on the pulled-back function defines the differential of a smooth map intrinsically as a map of derivations.