Lie groups and non-vanishing vector fields

[NanakiXIII]

I'm trying to understand why a Lie group always has a non-vanishing vector field. I know that one can somehow generate one by taking a vector from the Lie algebra and "moving it around" using the group operations as a mapping, but the nature of this map eludes me.

 

[Ben Niehoff]

Since the points of the manifold are elements of the Lie group, they inherit a notion of multiplication from the group multiplication. Hence if g_1 and g_2 are two points on the manifold, we can use them to find a third point

h = g_1 \cdot g_2

where \cdot is the group multiplication. Now if M is the Lie group manifold, let's define a map \varphi_h : M \rightarrow M that takes g \mapsto h \cdot g for some given h. This map is called the left action by h, since it multiplies with h on the left. In particular, we see that \varphi_h carries the identity to h:

\varphi_h(e) = h \cdot e = h

Now, since the Lie group is free and transitive, the map \varphi_h is 1-to-1 and onto. It shouldn't be hard to see that \varphi_h is also differentiable; hence it is a diffeomorphism. Therefore it also induces a map on the tangent space, the pushforward \varphi_{h*} : T_gM \rightarrow T_{h \cdot g}M, given by the Jacobian matrix in some suitable system of coordinates.

Since the Lie algebra is simply the tangent space at the identity, we can use \varphi_{h*} to map it onto the tangent space at h. This is how we "move vectors around" on the manifold.

In particlar, a vector field X : M \rightarrow TM for which

X(h) = \varphi_{h*}( X(e) )

is called left-invariant, since the vector field is mapped into itself under the left action of the group.

 

[NanakiXIII]

Thank you very much for your elaborate answer. However, some things are not clear to me yet.

Now, since the Lie group is free and transitive, the map \varphi_h is 1-to-1 and onto. It shouldn't be hard to see that \varphi_h is also differentiable; hence it is a diffeomorphism. Therefore it also induces a map on the tangent space, the pushforward \varphi_{h*} : T_gM \rightarrow T_{h \cdot g}M, given by the Jacobian matrix in some suitable system of coordinates.

Since the Lie algebra is simply the tangent space at the identity, we can use \varphi_{h*} to map it onto the tangent space at h. This is how we "move vectors around" on the manifold.

In particlar, a vector field X : M \rightarrow TM for which

X(h) = \varphi_{h*}( X(e) )

is called left-invariant, since the vector field is mapped into itself under the left action of the group.

I don't really understand what free means, but I do believe that a this mapping is bijective (which is true for any group, isn't it, not just Lie groups?) and I can imagine that it is differentiable since the mapping takes an analytic function (meaning the representation matrices are analytic functions of the group parameters) and creates another analytic function, though that is perhaps not a very rigorous way of looking at it. However, I do not understand why it must therefore induce a map on the tangent space.

 

[Ben Niehoff]

I don't really understand what free means, but I do believe that a this mapping is bijective (which is true for any group, isn't it, not just Lie groups?) and I can imagine that it is differentiable since the mapping takes an analytic function (meaning the representation matrices are analytic functions of the group parameters) and creates another analytic function, though that is perhaps not a very rigorous way of looking at it. However, I do not understand why it must therefore induce a map on the tangent space.

Transitive means that any given two points on M are connected by some group multiplication. That is, for any g_1, g_2 \in M, there exists some h \in M such that g_2 = h \cdot g_1.

Free means that the action of the group on M has no fixed points aside from the identity.

So, transitivity implies that the map \phi_h is onto, and free implies that the map \phi_h is 1-to-1. Together these facts tell us that \phi_h is a bijection. If the group action by left multiplication were not both free and transitive, then \phi_h would not be a bijection. However, it turns out that the left action of a group on itself is always free and transitive.


If you have any differentiable map between manifolds f : M \rightarrow N, then it induces a linear map between their tangent spaces df : T_xM \rightarrow T_{f(x)}N which is given by the matrix of partial derivatives of f.

 

[NanakiXIII]

I managed to get a hold on this pushforward map in terms of the group representation. Thanks for your help!