Past exam of the mathematics course of the University of Cambridge / 2006 / iii / Paper 50 / 2

The anti-Hermitian operators represent the compact real form; its complexification also contains the Hermitian $H_i$ and the raising operators and lowering operators $E_{\pm }^r$, with $(E_{+}^r{)}^{†}=E_{-}^r$. Define the roots in the two-dimensional Cartan plane byEach has squared length one. For each $r=1,2,3$, setThe displayed commutators give $[J_3^{(r)},J_{\pm }^{(r)}]=\pm J_{\pm }^{(r)}$ and $[J_{+}^{(r)},J_{-}^{(r)}]=2J_3^{(r)}$. Thus these are the three root SU(2) subalgebras of SU(3).

The commuting Hermitian operators $H_1,H_2$ can be simultaneously diagonalized. A weight of a representation is a pair $\lambda =(h_1,h_2)$ for whichwhere $a$ labels independent states of that representation weight. The weight multiplicity is the dimension of this simultaneous eigenspace. Commuting $H_i$ past a ladder operator proveswith zero image allowed when the raised or lowered representation weight is absent.

Choose ${\alpha }_1,{\alpha }_2$ as positive simple roots. A highest-weight vector is a nonzero simultaneous eigenvector annihilated by $E_{+}^1,E_{+}^2,E_{+}^3$; the third condition follows from the first two and their commutator. In an irreducible representation, its highest weight $\Lambda$ has multiplicity one and repeated lowering generates the representation. The three root SU(2) subalgebras of SU(3) give nonnegative integer Dynkin labelsEquivalently, with ${\omega }_1=(1/2,1/(2\sqrt{3}))$ and ${\omega }_2=(0,1/\sqrt{3})$,These are the SU(3) highest-weight coordinates in the normalization used here.

The Weyl group is generated by the reflections $s_r(\lambda )=\lambda -2(\lambda \cdot {\alpha }_r){\alpha }_r$. The SU(2) Lie algebra root-string symmetry makes these reflections preserve both representation weights and their weight multiplicities. They generate the symmetries of an equilateral triangle: rotations through $120^{\circ }$ and three reflections. The outer polygon is the convex hull of the Weyl group orbit of $\Lambda$. When $p,q>0$ it is a hexagon with alternating side lengths $p,q$ in root-step units; when exactly one is zero it is a triangle; when both vanish it is a point. The representation conjugate to $(p,q)$ has labels $(q,p)$ and negative representation weights. For $p=q$, this gives an additional inversion symmetry and a regular hexagon with $60^{\circ }$ rotations. A general unequal-sided hexagon need not have that extra symmetry.

The shell multiplicities in an SU(3) weight diagram can be stated precisely. Let $P_{a,b}$ be the convex hull of the Weyl group orbit of $a{\omega }_1+b{\omega }_2$. For $\lambda$ in the root lattice coset $\Lambda +Q$,representation weights outside this coset or outside the outer polygon are absent. This states that boundary representation weights have multiplicity one, each inward shell adds one, and the innermost triangular region has constant multiplicity $\min (p,q)+1$. When $p=q$ the innermost region is a single point. All representation weights of a triangular diagram have multiplicity one. Counting the diagram gives $\dim (p,q)=(p+1)(q+1)(p+q+2)/2$. The examples below display both triangular orientations, a regular hexagon, an unequal-sided hexagon, a central multiplicity three, and the trivial diagram.

A fundamental matrix realization compatible with the root normalization isThe weights of a representation on the coordinate states $u,d,s$ are thereforeEach has weight multiplicity one. The weight diagram of the defining SU(3) representation is the corresponding equilateral triangle. These are $(H_1,H_2)$ coordinates; the familiar vertical flavor hypercharge coordinate is $Y=2H_2/\sqrt{3}$.

For the adjoint representation of SU(3), the states are elements of the Lie algebra. The two Cartan generators commute with both $H_i$, giving representation weight $(0,0)$ with multiplicity two. Each root generator $E_{\pm }^r$ is an eigenvector of the Cartan adjoint action with representation weight $\pm {\alpha }_r$. ConsequentlyThe six nonzero representation weights form a regular hexagon, with a doubly occupied centre. Its highest weight is ${\alpha }_3={\omega }_1+{\omega }_2$, so its Dynkin labels are $(1,1)$ and its dimension is eight. The triplet and octet panels in the preceding figure give these two weight diagrams explicitly.

In a tensor product of Lie algebra representations, the Cartan generators act as sums on the tensor factors. Thus the tensor-product weight diagram is formed by adding representation weights, counting all ordered choices; multiplicities convolve.

For three triplets, the three vertices $3u,3d,3s$ each arise once. Each of the six representation weights $2u+d$, $2u+s$, $2d+u$, $2d+s$, $2s+u$, $2s+d$ arises in three orders. The central representation weight $u+d+s=0$ arises in six orders. The resulting weight diagram has total dimension $3+6\cdot 3+6=27$.

Its maximal highest weight is $3u=3{\omega }_1$, with Dynkin labels $(3,0)$. The corresponding triangular decuplet diagram has precisely these ten locations, all of weight multiplicity one. Subtract it by highest-weight character subtraction. The six remaining nonzero representation weights each have multiplicity two and are exactly the six octet root representation weights, while the origin has multiplicity five. Two octets account for multiplicity two on each root and multiplicity four at the origin. The remaining origin is one singlet. Therefore the tensor cube of the defining SU(3) representation decomposes asThe dimension check is $10+8+8+1=27$. The centre multiplicity check is $1+2+2+1=6$, so the two octets really are distinct copies, rather than one octet with an unexplained degeneracy.

Construct the tensor-product weight diagram by placing one octet diagram at each triplet representation weight $u,d,s$ and adding multiplicities where the shifted diagrams overlap. Its highest weight isso remove the $(2,1)$ diagram by highest-weight character subtraction. Its unequal-sided hexagon has nine boundary representation weights of multiplicity one and three interior representation weights of multiplicity two, giving dimension $15$.

To see the remainder explicitly, measure diagram coordinates by $(a,b)=(2h_1,2\sqrt{3}{h}_2)$. After subtracting this $15$, the residual representation weights areThe next highest weight is $(h_1,h_2)=(0,2/\sqrt{3})=2{\omega }_2$, with Dynkin labels $(0,2)$. The conjugate sextet $\overline{6}$ is a triangular weight diagram containing each of these six representation weights once. Subtracting it leaves $(1,1),(-1,1),(0,-2)$ once each in the integer coordinates: precisely the triplet. The SU(3) triplet-octet decomposition is thereforeThe dimensions add to $15+6+3=24$, and the figure below verifies the equality at every representation weight, including overlapping interior representation weights.