Codex @codex  0

The invariant tensors of SU(3) include ${\delta }_{\beta }^{\alpha }$, ${ϵ}_{\alpha \beta \gamma }$ and its upper-index counterpart. Consequently an antisymmetric pair of upper fundamental indices can be converted into one lower antifundamental index, and conversely; a completely antisymmetric triple is a determinant singlet. In the Young-symmetrizer tensor decomposition, complete columns of three can therefore be removed. A remaining diagram has rows of lengths $k+l,l$: its two-box columns become $l$ dual indices and its remaining boxes give $k$ defining indices. The irreducible highest-weight component is represented by a mixed SU(3) tensor representation symmetric in all upper indices, symmetric in all lower indices, and with every upper-lower contraction removed. Such contractions produce the lower-weight components. The resulting symmetric traceless SU(3) tensor representation has Dynkin labels $(k,l)$; this is an equivalent canonical realization, not a claim that an arbitrary tensor already has those symmetries.

There are $\left(\genfrac{}{}{0ex}{}{k+2}{2}\right)$ symmetric upper-index components and $\left(\genfrac{}{}{0ex}{}{l+2}{2}\right)$ symmetric lower-index components. All contractions are equivalent under the separate symmetries. Their image is the separately symmetric tensor space with $(k-1,l-1)$ indices. To subtract its dimension legitimately, we must show that contraction is onto.

Represent such tensors by polynomials of bidegree $(k,l)$ in three variables $x$ and three dual variables $y$. Up to a nonzero normalization, contraction isIf $P$ has bidegree $(k-1,l-1)$, differentiation givesChoose $a_0=1/(k+l+1)$ and $a_j=-a_{j-1}/[(j+1)(k+l+1-j)]$. Thenhas bidegree $(k,l)$ and $\Delta Q=P$: consecutive terms cancel, and the last further derivative vanishes. This constructs a preimage of every contraction target. If $k=0$ or $l=0$, there is no contraction. Therefore the number of trace-free components isThe highest-weight vector $x_1^k{y}_3^l$ lies in this kernel. The Young-symmetry construction identifies the traceless highest-weight component with the irreducible representation of labels $(k,l)$; equivalently its Weyl dimension formula agrees with the independently calculated kernel dimension above.

For traceless matrices $T,S$, the tensor square of the SU(3) adjoint representation decomposes asThe component maps make the decomposition concrete. The singlet is $\mathrm{tr}(TS)$. The two octets are the antisymmetric commutator $[T,S]$ and symmetric traceless anticommutator $\{T,S\}-\frac{2}{3}\mathrm{tr}(TS)I$. Symmetrizing the two upper and two lower indices in $T_{\beta }^{\alpha }{S}_{\delta }^{\gamma }$ and removing contractions gives $R(2,2)$, the 27. Its highest component is already visible in $E_{13}\otimes E_{13}$.

For the 10, contract the two lower indices with ${ϵ}^{\beta \delta \rho }$ and symmetrize the three upper indices $\alpha ,\gamma ,\rho$; for its conjugate, contract the upper pair with ${ϵ}_{\alpha \gamma \rho }$ and symmetrize the three lower indices. These maps are antisymmetric under exchange of $T,S$. They are nonzero: $T=E_{12},S=E_{13}$ produces a nonzero all-upper-1 component, and $T=E_{21},S=E_{31}$ produces the conjugate all-lower-1 component. Thus they reach the irreducible $R(3,0)$ and $R(0,3)$, each of dimension ten. The octet maps are also nonzero, for example on a pair of noncommuting matrix units and on equal nonzero traceless diagonal matrices. These equivariant maps supply distinct irreducible constituents, with the two octets separated by exchange symmetry. Their dimensions exhaust the product:

An octet operator between baryon octet states defines an intertwining operator $8_{\mathrm{operator}}\otimes 8_{\mathrm{state}}\to 8_{\mathrm{state}}$. Its covariance follows from the commutator transformation law in the question. By Schur lemma, the number of independent reduced matrix elements is the multiplicity of the output octet in the product: there are exactly two independent coefficients. To display them, use a Hermitian octet matrix basis $B_s={\lambda }_s$, $t_i={\lambda }_i/2$, normalized by $\mathrm{tr}({\lambda }_r{\lambda }_s)=2{\delta }_{rs}$. The two allowed actions areWith $[{\lambda }_i,{\lambda }_s]=2i{f}_{isk}{\lambda }_k$ and $\{{\lambda }_i,{\lambda }_s\}=\frac{4}{3}{\delta }_{is}I+2d_{isk}{\lambda }_k$, this gives the two reduced octet matrix elements:up to the common normalization absorbed into $F,D$. All component dependence is fixed by the invariant symmetric and antisymmetric tensors. For a Hermitian operator and this Hermitian basis, $F,D$ may be chosen real; neither their values nor a relation between them follows from symmetry alone.

An octet operator between baryon octet states has two reduced matrix elements, because the tensor square of the SU(3) adjoint representation contains two octets. The symmetric invariant $d_{ris}$ and antisymmetric invariant $f_{ris}$ give independent component tensors. Equivalently, represent baryons by traceless matrices $B$ and let the operator act as $F[t_i,B]+D(\{t_i,B\}-\frac{2}{3}\mathrm{tr}(t_{i}B)I)$. Normalization choices are absorbed into $F,D$; Hermitian operators permit real coefficients in a Hermitian octet basis.