left-invariant vector field

Left-invariant vector fields

Let be a Lie group. A vector field is called left-invariant if We denote the set of all left-invariant vector fields as .

Motivation

Consider the diffeomorphism of left action (multiplication) by an element .

We can think of this as shifting or translating elements of around by . Note that the differential This now shifts tangent vectors around in a way related to left multiplication, .

Therefore, we don’t want this shift to do anything extra to the vector field, so we require that

Note that we can look only at the identity element and see for a left-invariant vector field Thus, we can get to anywhere in the vector field starting from an element and using the differential of for an appropriate .

Lie subalgebra structure

The space is a Lie subalgebra of 202405081435. In this way, it inherits the same bracket as .

Proof

todo

Complete vector fields

Every left-invariant vector field is a complete vector field.

Proof

Let be an integral curve with . Since is an integral curve, we know that Consider the map

This is now a curve in , so we can look at the velocity vector

Therefore, is also an integral curve. If we left shift by for a small enough then is an integral curve that will have domains that intersect. So by uniqueness, these integral curves must be the same, and we know they have the same domain (since we only want maximal ones). If we keep shifting over by every time, we can do that infinitely to cover the whole domain of .