Why are invariant tensors also Clebsch-Gordan coefficients?

Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
1 reply · 2K views
Primroses
Messages
4
Reaction score
0
On one hand, in reading Georgi's book in group theory, I comprehend the invariant tensor as a special "tensor", which is unchanged under the action of any generators. On the other hand, CG decomposition is to decompose the product of two irreps into different irreps.

Now it is claimed that invariant tensors are Clebsch-Gordan coupling constants for the product of two irreps. Why?

Thank you very much for your answer!
 
Physics news on Phys.org
Primroses said:
On one hand, in reading Georgi's book in group theory, I comprehend the invariant tensor as a special "tensor", which is unchanged under the action of any generators. On the other hand, CG decomposition is to decompose the product of two irreps into different irreps.

Now it is claimed that invariant tensors are Clebsch-Gordan coupling constants for the product of two irreps. Why?

Thank you very much for your answer!

Because they are invariants, we can use them to isolate invariant sub-spaces in the space of tensor product. Consider [itex]SU(3)[/itex] and, for example, decompose the tensor product [itex]\psi^{i} \phi^{j}[/itex] (of the fundamental representations, i.e. [itex][3] \otimes [3][/itex]) into symmetric and antisymmetric tensors [tex]\psi^{i} \phi^{j} = S^{i j} + A^{i j} ,[/tex] where [itex]2 S^{i j} = \psi^{i} \phi^{j} + \psi^{j} \phi^{i}[/itex] is symmetric and, therefore, has 6 independent components. And [itex]2 A^{i j} = \psi^{i} \phi^{j} - \psi^{j} \phi^{i}[/itex] is antisymmetric and, therefore, has 3 independent components. However, it is easy to see that [itex]A^{i j}[/itex] transforms exactly like [itex]\epsilon^{i j k} \chi_{k}[/itex], where [itex]\chi_{k}[/itex] belongs to the conjugate (anti-fundamental) representation [itex][\bar{3}][/itex]. Therefore, for some numerical constant [itex]a[/itex], you can rewrite your decomposition as [tex]\psi^{i} \phi^{j} = S^{i j} + a \epsilon^{i j k} \chi_{k} ,[/tex] which is basically [tex][3] \otimes [3] = [6] \oplus [\bar{3}] .[/tex]

Sam