Decomposing an SU(3) product in irreps

  • Thread starter ChrisVer
  • Start date
  • #1
ChrisVer
Gold Member
3,331
438

Main Question or Discussion Point

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].
 

Attachments

Last edited:

Answers and Replies

  • #2
Orodruin
Staff Emeritus
Science Advisor
Homework Helper
Insights Author
Gold Member
16,661
6,439
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.
 
  • #3
ChrisVer
Gold Member
3,331
438
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..
 
  • #4
Orodruin
Staff Emeritus
Science Advisor
Homework Helper
Insights Author
Gold Member
16,661
6,439
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).
 
  • #5
ChrisVer
Gold Member
3,331
438
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?
 
  • #6
Orodruin
Staff Emeritus
Science Advisor
Homework Helper
Insights Author
Gold Member
16,661
6,439
Yes, at any point, not waiting for the full row to be counted.
 
  • #7
ChrisVer
Gold Member
3,331
438
OK, I got it, thanks
 
  • #8
ChrisVer
Gold Member
3,331
438
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]
 
  • #9
samalkhaiat
Science Advisor
Insights Author
1,657
873
2
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]
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:

Related Threads for: Decomposing an SU(3) product in irreps

  • Last Post
Replies
9
Views
5K
  • Last Post
Replies
1
Views
3K
Replies
15
Views
3K
  • Last Post
Replies
9
Views
888
Replies
23
Views
2K
  • Last Post
Replies
8
Views
2K
Top