# I want to decompose a tensor product using Littlewood-Richardson rule, How do I find the component of this in each irreducible space?

Let me set up the notation I am using. $(abc,de)$ denotes the standard Young tableau where the first row is $abc$ and the second row is $de$. Each young tableau corresponds to the young symmetriser, and I use the convention that given the Young tableau $\lambda$ young symmetriser is given by,

$P_{\lambda} = Na.b$ where $a = \sum_{\sigma \in Rowgroup} \sigma$, and $b = \sum_{\sigma \in Column-group} (sgn \,\sigma) \sigma$. N stands for normaliser such that $P_{\lambda}$ is idempotent ($P_{\lambda}^2 = P_{\lambda}$).

The action of the symmetric group on an abstract tensor is by means of shuffling the indices. I know that the following identity is true.

$\mathbb{1} = \sum_iP_{\lambda_i}$ Here $\lambda_i$ are all the Standard young tableau of a given number of boxes. Applying this identity to any abstract tensor should give the same tensor back. And if this abstract tensor is completely arbitrary, i.e does not have any symmetries in its indices this decomposition yields components living in each irreps. OK. My question is when we have tensor products, then we use Littlewood-Richardson rule to find a one of the basis tensors representing each irreducible space. However I am interested in not just treating the tensor product as a vector space and finding the disjoint union of irreducible vector spaces, that each young tableau corresponds to and acting with the Young symmetriser yields one of the basis tensors.

I would like to find out the given tensor in each irreducible space. Let me give an example. Suppose I have a rank 3 tensor that is antisymmetric in the first 2 indices. I can treat this as a tensor product of $(a,b) \otimes c$(Here ab is a column as per my notation.) Applying LRH I get, $(ac,b),(a,b,c)$. Using the young symmetriser I defined above, I act with this normalised young symmetriser on the tensor $T^{ab|c}$ (here the bar is used to group anti-symmetric indices). I get,

$T_1^{abc}= P_{ac,b} T^{ab|c} = \frac{2}{3}(T^{ab|c} + T^{cb|a})$ (1)

$T_2^{abc}=P_{a,b,c} T^{ab|c} = \frac{1}{3}(T^{ab|c} + T^{bc|a} + T^{ca|b})$ (2)

Now $T_1 + T_2 \neq T$ as is clear. However when I project each component using the young symmetrisers associated with the factors of the tensor product, in this case it is $P_{a,b}$ I get T back. That is

$T = P_{a,b}(T_1 + T_2)$ Explicitly, $P_{a,b} T_1^{abc} = \frac{2}{3} T^{ab|c} + \frac{1}{3}(T^{cb|a} - T^{ca|b})$,

Therefore, $P_{a,b}(T_1^{abc} + T_2^{abc}) = \frac{2}{3} T^{ab|c} + \frac{1}{3}(T^{cb|a} - T^{ca|b})+ \frac{1}{3}(T^{ab|c} + T^{bc|a} + T^{ca|b}) = T^{ab|c}$.

Is this relationship true in general i,e suppose I have a tensor product which I write as $T^{\lambda_1|\lambda_2}$ where $\lambda_1,\lambda_2$ denote the factors belonging to irreps corresponding to the Standard tableaux. Then is the following relationship TRUE, and how do I prove this?

$T^{\lambda_1|\lambda_2} = P_{\lambda_1}P_{\lambda_2}\times$(irreducible components we get by using young symmetrisers generated by LRR and acting on $T^{\lambda_1|\lambda_2}$). In short I want to know if the component of this tensor product living in the irreducible rep characterised by the tableau $\nu$ generated by LRR is,

$\mathbf{P_{\lambda_1}P_{\lambda_2} T_{\nu}}?$