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

Decomposing an SU(3) product in irreps

  1. Feb 7, 2015 #1

    ChrisVer

    User Avatar
    Gold Member

    I am trying to work out with Young graphs the tensor product of:
    [itex] \bar{3} \otimes \bar{3} [/itex]

    The problem is that I end up with:

    [itex] \bar{3} \otimes \bar{3} = 15 \oplus 6 \oplus 3 \oplus 3 [/itex]

    Is that correct? It doesn't seem correct at all (dimensionally speaking I should have taken something like [itex]\bar{6} \oplus 3[/itex] - like baring the [itex]3 \otimes 3 =6 \oplus \bar{3}[/itex])...
    In fact I am unable to understand the rule that says:
    looking from the right-to-left in rows and from the top-to-bottom collumns, the number of the [itex]b[/itex]s (in this case) must be less or equal to the number of [itex]a[/itex]'s.
    For example that's not the case for any of my graphs execpt for the [itex]15[/itex].
     

    Attached Files:

    Last edited: Feb 7, 2015
  2. jcsd
  3. Feb 7, 2015 #2

    Orodruin

    User Avatar
    Staff Emeritus
    Science Advisor
    Homework Helper
    Gold Member

    Remember that in SU(N), a column with N boxes corresponds to a fully anti-symmetrized object and is therefore a singlet. This means you can remove such columns. You can remove your 15 because it has a "b" in the top right and the same goes for one of your 3s.
     
  4. Feb 7, 2015 #3

    ChrisVer

    User Avatar
    Gold Member

    I am not understanding why to drop it away though... Why would I drop them? I mean for the 15:
    the first row has 1 a and 1 b... But the 2nd collumn has only one b, is that's why it's dropped?
    If that's correct then the other 3 should also be dropped, because in the 1st collumn I have only one b..
     
  5. Feb 7, 2015 #4

    Orodruin

    User Avatar
    Staff Emeritus
    Science Advisor
    Homework Helper
    Gold Member

    You start at the right of the first row and go left, then continue with the second row to the right and go left (and continue from the right of the third row if you have SU(N) with N > 3, etc). You delete the tableaux if at any point you have counted more bs than as (you do not reset the count after changing rows).
     
  6. Feb 7, 2015 #5

    ChrisVer

    User Avatar
    Gold Member

    Hmm...I think I get it....
    When you say at any point you mean precisely at any point (like counting from right to left, I count the first box as b, so b>a and it's over, no matter if next to b I have 1 or more a's), right?
     
  7. Feb 7, 2015 #6

    Orodruin

    User Avatar
    Staff Emeritus
    Science Advisor
    Homework Helper
    Gold Member

    Yes, at any point, not waiting for the full row to be counted.
     
  8. Feb 7, 2015 #7

    ChrisVer

    User Avatar
    Gold Member

    OK, I got it, thanks
     
  9. Feb 7, 2015 #8

    ChrisVer

    User Avatar
    Gold Member

    Oh yes, I still have one question. Is it possible to understand whether you have a bar or unbarred irrep in the docomposition?
    For example the [itex]6[/itex] or [itex]\bar{6}[/itex]? or any kind of [itex] N [/itex] or [itex]\bar{N}[/itex]
     
  10. Feb 12, 2015 #9

    samalkhaiat

    User Avatar
    Science Advisor

    2
    Yes, once you fix your convention for the fundamental rep. there will be no confusion with higher dimensional irreps. The irreps [itex]D^{(p,q)}[/itex] are carried by traceless symmetric tensor [itex]T^{ ( i_{1} \cdots i_{p} ) }_{( j_{1} \cdots j_{q} ) }[/itex]. In [itex]SU(3)[/itex] this corresponds to a two-row Young tableau with [itex](p + q)[/itex] boxes in the upper row and [itex](q)[/itex] boxes in the lower one. The dimension of this representation space (i.e, the number of independent components in T) is given by [tex]\mbox{dim} ( D^{( p , q )} ) = (1/2) ( p +1 ) ( q + 1 ) ( p + q + 2 ) .[/tex] To distinguish between different irreps, we use the two Casmir operators of the group [tex]G^{( 3 )} D^{ ( p , q ) } = \frac{1}{9} ( p - q ) ( 2p + q + 3 ) ( p + 2q + 3 ) D^{ ( p , q ) } ,[/tex] [tex]F^{ ( 2 ) } D^{ ( p , q ) } = \left( \frac{1}{3} ( p^{2} + p q + q^{2} ) + p + q \right) D^{ ( p , q ) } .[/tex]
    Notice that [tex]G^{ ( 3 ) } D^{ ( p , q ) } = - G^{ ( 3 ) } D^{ ( q , p ) } = - G^{ ( 3 )} \bar{ D }^{ ( p , q ) }[/tex] So, the convention is this, the eigenvalue of [itex]G^{(3)}[/itex] is [itex]\geq 0[/itex] for [itex]D^{( p , q )}[/itex] and [itex]\leq 0[/itex] for [itex]\bar{ D }^{ ( p , q )}[/itex]. Notice also that the notation [itex][ n ][/itex] for irrep is not always safe to use. This is because there may be more than just two in-equivalent irreps of the same dimension. For example [itex]D^{ ( 4 , 0 ) } \sim T^{( i j k l )}[/itex], [itex]D^{ ( 0 , 4 ) } \sim T_{( i j k l )}[/itex], [itex]D^{ ( 2 , 1 ) } \sim T^{ ( i j ) }_{ k }[/itex] and [itex]D^{ ( 1 , 2 ) } \sim T^{ k }_{( i j )}[/itex] all have the same dimension [itex][15][/itex].
     
    Last edited: Feb 12, 2015
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Decomposing an SU(3) product in irreps
  1. SU(3) symmetry (Replies: 12)

  2. QCD and SU(3) (Replies: 3)

  3. Roots of SU(3). (Replies: 2)

Loading...