For in the Lie algebra of , the left-invariant vector field is . Its global flow is right translation .
On a hemisphere of SU(2) as the three-sphere, write , with real coefficients satisfying . Right multiplication by gives . This right multiplication flow defines left-invariant tangent fields. With the displayed factor , they obey , since . Applying the commutator to and using the Pauli matrix commutator identity gives . The entries of contain every coordinate, so this determines the vector-field identity, not just its action in one isolated representation.
A basis of the Lie algebra of a Lie group gives a global frame of a vector bundle of its tangent bundle by . Left translation is a diffeomorphism, so the left-invariant vector fields are independent everywhere. Every Lie group is therefore a parallelizable manifold.
On a Matrix Lie group, the left-invariant vector field associated to a tangent vector at the identity is . Its ambient derivative is . Therefore the Lie bracket of vector fields is , and the induced Lie algebra bracket is the commutator. This fixes the sign for left invariance; right-invariant fields induce the opposite sign when evaluated with the same matrix identification.
Every smooth left-invariant vector field on a Lie group is a complete vector field. Translate a local integral curve of a vector field through the identity to every other point. The same positive local existence interval works at every initial point, so no maximal integral curve of a vector field can have a finite endpoint. Uniqueness then makes the curve through the identity a one-parameter subgroup.
Articles by others on the same topic
There are currently no matching articles.