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

3 questions about matrix lie groups

  1. Jun 17, 2009 #1
    1. The exponential map is a map from the lie algebra to a matrix representation of the group. For abelian groups, the group operation of matrix multiplication for the matrix rep clearly corresponds to the operation of addition in the lie algebra:

    \sum_a \Lambda_a t_a \rightarrow exp(\sum_a \Lambda_a T_a)[/tex]
    [tex]\sum_b \Lambda'_b t_b \rightarrow exp(\sum_b \Lambda'_b T_b[/tex]

    \sum_a \Lambda_a t_a + \sum_b \Lambda'_b t_b \rightarrow exp(\sum_a \Lambda_a T_a + \sum_b \Lambda'_b T_b ) = exp(\sum_a \Lambda_a T_a) exp(\sum_b \Lambda'_b T_b) [/tex]

    Where [tex] t_a, t_b [/tex] are elements of the lie algebra, [tex] T_a, T_b [/tex] are their matrix representations.

    However, for non-abelian groups this doesnt work because in combining exponentials of non-commuting matrices we have to use the BCH formula. The last line is not true:

    [tex] exp(\sum_a \Lambda_a T_a + \sum_b \Lambda'_b T_b ) \neq exp(\sum_a \Lambda_a T_a) exp(\sum_b \Lambda'_b T_b) [/tex]

    Addition cannot be the operation on the lie algebra that corresponds to matrix multiplication for non-abelian groups. My question then is what is?

    2. The tensor product of two groups is defined by

    G \otimes H = \ { (g,h) \vert g \epsilon G , h\epsilon H \ }


    The tensor product of two matrices is defined by
    A \otimes B =\left( {\begin{array}{cc}
    a_{11}B & a_{12}B \\
    a_{21}B & a_{22}B \\
    \end{array} } \right)


    My question is: Why does the tensor product of two matrix reps of two groups A,B form a rep of of the group AxB? It is not obvious to me that this should be so. If anyone knows where I could find a proof of this statement it would be greatly appreciated. Also, does this hold for lie groups only or for any groups that have a matrix representation?

    3. This is related to the last question. In physics you often see equations stating how tensor products of matrix reps of groups can be decomposed into their irreducible representations, e.g [tex] 3 \otimes 3 = 8 \oplus 1 [/tex] where 3 means a 3x3 matrix rep of SU(3), and 8 and 1 are the irreducible reps. But it seems to me that if you wanted to form a matrix rep of, for example, SU(3)xSU(3), the easiest thing to do would be to make a block diagonal 6x6 matrix with a copy of SU(3) in each of the blocks. Such an object would respect the group structure. And this isnt the only option, you could easily make a rep of SU(3)xSU(3) with as many dimensions as you want. My question is, when we write down a matrix rep of a tensor products of two groups, why are its dimensions always the product of the dimensions of the matrix reps of the groups we multiplied together? Why not choose some other number of dimensions?
  2. jcsd
  3. Jun 27, 2009 #2


    User Avatar
    Science Advisor
    Homework Helper

    1. Your notion of "correspond" here is not the appropriate one. You should instead be thinking in terms of differential geometry: the Lie algebra g of a Lie group G is the tangent space to G at the identity; the differential of the multiplication map [itex]G \times G \to G[/itex] is the addition map [itex]\mathfrak{g} \times \mathfrak{g} \to \mathfrak{g}[/itex]. It's in this sense that addition corresponds to multiplication.

    2. Actually, you generally don't take the tensor product of two (nonabelian) groups. What you defined is the direct product (or direct sum) of G and H. I suspect what you're trying to ask is: "if V and W are representations of two Lie groups G and H, then why (or, more precisely, how) is [itex]V\otimes W[/itex] a representation of [itex]G\times H[/itex]?" It is a representation in a very natural way: [itex](g,h) v\otimesw = gv \otimes hw[/itex] for g in G, h in H, v in V and w in W. The first thing we ought to do is check that what we wrote down makes sense: since v is in V and V is a rep of G, gv is in V; similarly hw is in W. So the expression [itex]gv\otimes hw[/itex] makes sense. I'll leave it to you to check that this definition satisfies all the axioms of a representation.

    3. I don't really understand what you're asking. If you decompose a vector space V into a direct sum of subspaces, then the dimensions of these subspaces had better add up to V!
  4. Jun 28, 2009 #3
    Ah it took me a while to figure it all out but I understand now. Sorry for my imprecise language, and also thank you very much for taking the time to reply morphism.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook