Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Homework Help: Left invariant vector fields of a lie group

  1. Dec 23, 2006 #1
    Comment: My question is more of a conceptual 'why do we do this' rather than a technical 'how do we do this.'

    1. The problem statement, all variables and given/known data

    Given a lie group [tex]G[/tex] parameterized by [tex]x_1, ... x_n[/tex], give a basis of left-invariant vector fields.

    2. Relevant equations

    We have a basis for the vector fields at the identity, namely the Lie algebra: [tex]v_1, ..., v_n[/tex]. For a general group element [tex]g[/tex], we can write [tex]g^{-1}
    \frac{\partial g}{\partial x_i}[/tex].

    3. The attempt at a solution

    Apparently the procedure is to write [tex]v_i = A^{ij}g^{-1}
    \frac{\partial g}{\partial x_j}[/tex], where the [tex]A^{ij}[/tex] are just coefficients. Then we can somewhat magically read off the left invariant vector fields [tex]w_i[/tex] via:

    [tex]w_i = A^{ij}\frac{\partial}{\partial x_j}[/tex]

    Where I have assumed a sum over repeated indices (though haven't been careful with upper or lower indices).

    Why is this the correct procedure? I'm especially concerned about this thing [tex]\frac{\partial g}{\partial x_j}[/tex]... is it an element of the tangent space or is it dual to the tangent space?

    Thanks for any thoughts,
  2. jcsd
  3. Dec 25, 2006 #2
    Or perhaps a more basic question. For a matrix lie group, the elements of the lie algebra are also matrices. Like any manifold, the tangent space is spanned by the basis vectors [tex]\frac{\partial}{\partial x^{ij}}|_{e}[/tex]. What matrices do each of these basis vectors correspond to?

    For a general element of the lie group [tex]g[/tex], how does [tex]\frac{\partial}{\partial x^{ij}}|_{e}[/tex] differ from [tex]\frac{\partial g}{\partial x^{ij}}|_{e}[/tex]?
  4. Dec 25, 2006 #3


    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member


    [tex]\frac{\partial g}{\partial x^i}[/tex]

    is supposed to be the partial derivative (in the i-th direction) of the multiplication-by-g automorphism of G. This notation is poor, though, since it doesn't indicate whether that's right-multiplication-by-g or left-multiplication-by-g.

    Whatever's being done, it's just working through the definition of left-invariant. If Lg is left-multiplication-by-g, then it has a derivative [itex]L_{g*}[/itex], and a vector field v is invariant under all such diffeomorphisms iff

    v(gh) = L_{g*}(h)(v(h))

    (recall that [itex]L_{g*}[/itex] is a linear map from the tangent space at h to the tangent space at gh) If we set h = e we get

    [tex]v(g) = L_{g*}(e)(v(e)),[/tex]

    which gives us the value of v at every point g of G.

    One thing that makes the lie group interesting is that we can use right translation to give us canonical isomorphisms between all of the tangent spaces, and can thus identify each of them with the corresponding lie algebra. (We can get a different correspondence by using left translation) That seems to be rolled into this derivation too.


    For the matrix Lie group embedded in Rmxm, the tangent space at the identity is the set of all matrices I+v, where v is an element of the corresponding matrix Lie algebra. (I is the identity matrix) Of course, to turn this affine space into a vector space, we take I to be the origin.

    The tangent space at any particular point g is the set of all matrices of the form g(I+v). (Which is the same as the set of all matrices of the form (I+v)g)
    Last edited: Dec 25, 2006
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook