0
$\begingroup$

Consider the irreducible representation of $\mathfrak{su}$(n) given by the Young tableu

enter image description here

The dimension of the representation is easily obtained by the usual rules, and it is $d=n(n-1)/2$. One can also directly guess $d$ by noting that the antisymmetric tensor product of two fundamental representations (with dimension $n$) has a base of $\begin{pmatrix} n \\ 2\end{pmatrix}=n(n-1)/2$ elements.

For concreteness, let me fix in the following $n=4$ and consider the totally symmetric product of two representations as above

enter image description here

where $\cdot$ is the trivial 1-dimensional representation ($n=4$ here)

With the rules for computing the dimension of the irreducible representations, the dimension of $\Gamma_1$ is $d(\Gamma_1) = n^2(n^2-1)/12 = 20$.

Alternatively, given the dimension $d=6$ of the representation in the first figure, I could have thought that the symmetric tensor product of two such representation has the dimension $\begin{pmatrix}d+2-1\\ 2\end{pmatrix}=\begin{pmatrix}7\\2\end{pmatrix}=21$.

What is wrong in the second line of reasoning? Why cannot I compute the dimension of $\Gamma_1$ with the formula for symmetric tensor products?

$\endgroup$
4
  • $\begingroup$ Why do you think the symmetric square of the $6$-dimensional representation is irreducible and equal to $\Gamma_1$? Why is it not $\Gamma_1\oplus $ trivial? $\endgroup$ Commented Jun 27, 2023 at 13:09
  • $\begingroup$ @DavidA.Craven Uhm, is this the problem? If I take the tensor products of S defining representations, the fully symmetrized representation is irreducible and corresponds to young tableau of 1 row and S element. Is this the problem, i.e., that in general the fully-symmetrized representation is not irreducible and does not correspond to the young tableau obtained stacking together the tableux horizontally? $\endgroup$
    – francesco
    Commented Jun 27, 2023 at 13:37
  • $\begingroup$ The symmetric square of artbitrary representations is not irreducible in general, no. $\endgroup$ Commented Jun 27, 2023 at 13:58
  • $\begingroup$ More concretely what is happening here is that there is an invariant symmetric bilinear form on the representation which corresponds to a trivial subrep of the symmetric square $\endgroup$
    – Callum
    Commented Jun 27, 2023 at 20:31

0

You must log in to answer this question.