Past exam of the mathematics course of the University of Cambridge 2004 iii Paper 45 2 Solution Created 2026-10-03 Updated 2026-10-14
Let be the defining flavor SU(3) representation. Under , . The antiquark transforms in the dual representation:Since is unitary, its lower-index column of components transforms by , the complex conjugate numerical matrix. Thus is invariant. The defining triplet and its conjugate are inequivalent complex representations; conjugation reverses their weights. Write and , and distinguish a direct sum from a tensor product .
First split into symmetric tensors and totally antisymmetric tensors:The symmetric part has dimension . Contracting the antisymmetric part with the invariant Levi-Civita symbol gives , which transforms as a dual vector because . Its inverse is . HenceThe symmetric part is the irreducible highest-weight representation with Dynkin labels ; its six monomials give the standard symmetric-square representation.
For three triplets, the antisymmetric first-pair sector becomes . Its tensors split into their scalar trace and traceless part:The traceless part is the adjoint representation of SU(3); conjugation acts as . It is irreducible because an invariant subspace would be an ideal in the simple complex special linear Lie algebra .
The symmetric first-pair sector consists of and has dimension . Complete symmetrization maps it onto , whose dimension is . Its kernel is the mixed-symmetry eight-dimensional sector. More explicitly, the equivariant map has trace zero because the first two indices of are symmetric; it annihilates the completely symmetric part and is not identically zero. Since the target adjoint module is irreducible, the map is onto its eight-dimensional space. Its kernel is consequently exactly the ten-dimensional completely symmetric part. Complete symmetrization supplies an invariant splitting, so this sector is . Combining the sectors gives the tensor cube of the defining SU(3) representationHere the decuplet has Dynkin labels , and the singlet is the fully antisymmetric contraction . The two octets are distinct copies, not two different irreducible types.
For two conjugate SU(3) triplets with a triplet, begin with and split its lower pair. An antisymmetric lower pair is identified by with an upper index, giving . The symmetric lower-pair sector has dimension , and its contraction is the equivariant mapIt is onto , since the invariant embeddingsatisfies . Every such tensor therefore splits uniquely as . The latter tensor is symmetric in its lower indices and has zero contraction, with dimension . It contains the highest-weight vector of Dynkin labels ; contraction vanishes because its upper and lower indices differ. The Weyl dimension formula for an SU(3) module with labels is , which gives for . These tensor representations are unitary, so invariant subspaces have invariant orthogonal complements; the irreducible highest-weight summand containing this vector exhausts the fifteen-dimensional kernel. ThusThe question's dimension label denotes , rather than its conjugate ; they have equal dimensions but different tensors. Conjugating the triplet-cube decomposition givesThe octet is self-conjugate, whereas the symmetric decuplet changes to .
Now consider the flavor diquark . This notation describes an antisymmetric two-quark flavor state; color and spin factors are separate. In particular has isospin zero, baryon number , strangeness zero and flavor hypercharge . The strange antiquark has , , and . Thus hasThe charge follows from the Gell-Mann--Nishijima formula. Each of the three factors has lower flavor index , so their product is the completely symmetric tensor component . It lies entirely in , the pentaquark antidecuplet. Equivalently, the symmetric diquark pair belongs to , and , with this highest-hypercharge state in the antidecuplet.
It cannot be in an octet. The octet has the weights of a traceless tensor, whose hypercharges are . For the quark values are , so these differences are only ; there is no weight. The octet's top row instead has and . This is a flavor-representation assignment for a possible pentaquark, not a proof that the configuration binds or that its full color-spin-orbital wavefunction satisfies all Fermi statistics constraints.