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

Show that a group of operators generates a Lie algebra

  1. Jun 27, 2010 #1
    Hello there! Above is a problem that has to do with Lie Theory. Here it is:
    The operators [itex]P_{i},J,T (i,j=1,2)[/itex] satisfy the following permutation relations:
    [itex][J,P_{i}]= \epsilon_{ij}P_{ij},[P_{i},P_{j}]= \epsilon_{ij}T, [J,T]=[P_{i},T]=0[/itex]
    Show that these operators generate a Lie algebra. Is that algebra a semisimple one? Also show that
    [itex]e^{uJ}P_{i}e^{-uJ}=P_{i} \cos{u}+ \epsilon_{ij}P_{j} \sin{u}[/itex]

    Does anyone know how to deal with it?
     
    Last edited: Jun 27, 2010
  2. jcsd
  3. Jun 27, 2010 #2
    Changing "MATH" to "itex" will probably generate more response.
     
  4. Jun 27, 2010 #3
    ok! I fixed it! I didn't know the exact code, sorry!
     
  5. Jun 27, 2010 #4

    Office_Shredder

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    You just have to prove the three things:
    1) The bracket is bilinear
    2) The bracket is anti-commutative
    3) The bracket satisfies the Jacobi identity.

    Since you're given a proposed list of generators, the bracket is defined to be the bilinear operator satisfying the properties that you're given, so 1 is already done.

    Let's say I'm given two arbitrary elements A and B. Do you see how you could prove that in general, [A,B]=-[B,A] using only what you know about the Lie bracket on the generators?
     
  6. Jun 27, 2010 #5
    I think I got it! Thanks a lot! What about the last equation? How do I prove it?
     
  7. Jul 2, 2010 #6
    The last one is the group adjoint action. Try taking the derivative of the LHS wrt u.
    This should show you how to rewrite the group adjoint as an "exponentiated commutator".
    I'll let you do the rest.

    Also have you proved that it's semi-simple yet?
     
    Last edited: Jul 2, 2010
  8. Jul 7, 2010 #7
    I'll haven't had enough time, so I didn't really managed to solve it. As far as I know, a lie algebra is a semi-simple one if it is a direct sum of simple lie algebras. I will follow this path? Or should I think of a different way to prove it?
     
  9. Jul 7, 2010 #8

    Office_Shredder

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    Also, a semi-simple Lie algebra L satisfies [L,L]=L.
     
  10. Jul 7, 2010 #9
    Oh, I see. So, I'll choose every element and see if this condition is satisfied.
     
  11. Jul 7, 2010 #10
    The [itex]L[/itex] Office Shredder is referring to is the whole algebra, not a single element. The Lie bracket of an element with itself is 0, by definition.

    Look at the presentation for the algebra. Then, consider [itex]\[L,L\].[/itex] Can you get each generator from the Lie bracket of other elements?
     
  12. Aug 1, 2010 #11
    To prove that you have a lie algebra, you wave to show that your bracket is a bilinear operator, and also that the Jacobi identity holds: i.e given any arbitrary 3 operators A,B,C,
    [[A,B],C]+[[B,C],A]+[[C,A],B]= 0. That would involve simple computations.
    As for showing that it is semi-simple, this might actually involve some more work since you have to show that the nilradical of the group is zero.
    Vignon S. Oussa
     
    Last edited: Aug 1, 2010
  13. Aug 21, 2010 #12
    How do we do that in the case with 4 operators (let's say A,B,C and D) ?

    [[A,B],C]+[[B,C],D]+[[C,D],A]+[[D,A],B]= 0

    Is it right?
     
  14. Aug 21, 2010 #13
    Oops, it's wrong and I think I figure it out. It's

    [[A,B],C]+[[B,C],A]+[[C,A],B]= 0

    [[A,B],D]+[[B,D],A]+[[D,A],B]= 0

    [[A,C],D]+[[C,D],A]+[[D,A],C]= 0

    [[B,C],D]+[[C,D],B]+[[D,B],C]= 0

    So now we have 4 Jacobi identities which must be satisfied to form a Lie algebra.

    In case of N operators (generators of Lie group) there are [itex]\binom{N}{3}[/itex] Jacobi identities.

    Am I right? Please let me know.
     
    Last edited: Aug 21, 2010
  15. Aug 21, 2010 #14

    Office_Shredder

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    That is correct
     
  16. Aug 21, 2010 #15
    Thnx! So there are a lot of work if we have many generators...
     
  17. Sep 5, 2010 #16
    Is there any other way of doing this? If we have 10 generators than there are 120 Jacobi identities that we need to prove...
     
  18. Sep 5, 2010 #17

    Fredrik

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    Just an idea...I haven't thought about the details. How about finding a Lie group that has a Lie algebra that satisfies the other requirements? Then the Jacobi identity will be automatic.
     
  19. Sep 5, 2010 #18
    Are you saying that if the following two properties are satisfied than the third is sutisfied automaticaly?

     
  20. Sep 5, 2010 #19
    Ok let me show you one example:

    I want to prove that the algebra of octanions with generators [tex]X_a[/tex], [tex]a=1,...,7[/tex] that sutisfy the following relation: [tex]X_a X_b=\epsilon_{abc}X_c[/tex] is Lie algebra.

    My proof is the following:

    1) [tex][X_a, X_b]=X_a X_b-X_b X_a=2\epsilon_{abc}X_c[/tex]

    2) [tex]\epsilon_{abc}=-\epsilon_{bac}[/tex]

    3) [tex][[X_a, X_b],X_c]=[X_a X_b, X_c]-[X_b X_a, X_c]=[X_a, X_c]X_b+X_a [X_b,X_c]-[X_b, X_c]X_a-X_b[X_a, X_c]=X_a X_c X_b - X_c X_a X_b + ...=0[/tex]

    because [tex]X_i X_j X_k = 0[/tex] for [tex]i\neq j \neq k[/tex]

    Is it correct?
     
  21. Sep 6, 2010 #20

    Fredrik

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    No, that would be a false claim. I'm thinking along these lines: Suppose that they're all satisfied. Then the bracket defines a Lie algebra, and we can try to find a group that has that Lie algebra as the tangent space at the identity element. If you find such a group, the claim you're trying to prove must be true.

    I haven't tried to solve your problem with this method or any other. It's just the first idea that occurred to me.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Show that a group of operators generates a Lie algebra
  1. Lie group and algebras (Replies: 5)

Loading...