Past exam of the mathematics course of the University of Cambridge / 2002 / iii / Paper 63 (Elementary Particle Physics)

Use $|m,m^{\prime }⟩$ as shorthand for the tensor product of two total-isospin-one states with third components $m,m^{\prime }$. A total-isospin-zero state must have total third component zero, so write $a|1,-1⟩+b|0,0⟩+c|-1,1⟩$. Applying the total raising operator givesAn isospin singlet must be annihilated by this operator; hence $b=-a$ and $c=a$. Normalization gives the two-isovector singletIt is also annihilated by the total lowering operator. A raising or lowering action changes the third-component label by one; the unchanged output label in the PDF's preliminary ladder formula is a typographical omission, not the action used here.

Exchange commutes with the total isospin operators. The displayed singlet is symmetric. The $I=2$ multiplet has symmetric highest state $|1,1⟩$; applying the symmetric total lowering operator preserves that exchange symmetry. The symmetric square of a three-dimensional space has dimension six, exactly $1+5$, while its antisymmetric square has dimension three. The remaining $I=1$ multiplet is therefore antisymmetric. Thus the Clebsch-Gordan decomposition isPions have zero intrinsic spin and form an isospin triplet. Bose-Einstein statistics requires the complete two-pion state to be symmetric under exchange. Its relative orbital state changes by $(-1{)}^{\ell }$, so odd orbital angular momentum requires antisymmetric isospin: an odd-$\ell$ two-pion state has $I=1$. This statement treats the charge components as states of the same isospin multiplet, rather than ignoring exchange when their charges differ.

For the decay, let $|\chi ⟩=H_I|K^0⟩$. The stated commutator with $I_3$ gives $I_3|\chi ⟩=0$. More decisively, the commuting raising operator givesThe kaon doublet cannot be raised twice. An $I=2,M=0$ component would survive two raisings, so it is excluded. Meanwhile a spinless kaon decaying into two spinless pions has $\ell =0$ by conservation of total angular momentum, independently of whether parity is conserved by the decay. The exchange condition excludes $I=1$. This proves the highest-weight weak-isospin selection in kaon decay: the two-pion final state has $I=0$.

In a consistent pion phase convention, the singlet's charge components have the structureThe normalized symmetric charged channel has coefficient $\sqrt{2/3}$ and the neutral channel coefficient $-1/\sqrt{3}$. Thus, in the isospin limit with equal pion masses and matching two-body phase space,Equivalently, ordered charged and neutral amplitudes have equal magnitudes, but neutral identical particles contribute the phase-space factor $1/2!$. This is the same counting expressed in another basis, and must not be included a second time after using the normalized charge-channel coefficients. Small pion-mass and electromagnetic effects can modify the ideal ratio.

The Kronecker delta is the identity map on the defining representation. Its transformation is $A^{\alpha }{}_{\gamma }{\delta }^{\gamma }{}_{\delta }(A^{-1}{)}^{\delta }{}_{\beta }={\delta }^{\alpha }{}_{\beta }$. For the alternating Levi-Civita symbol, the determinant identity givesThe lower-index alternating tensor transforms with three inverse matrices and acquires $\det (A^{-1})=1$ instead. Thus ${\delta }^{\alpha }{}_{\beta }$, ${ϵ}^{\alpha \beta \gamma }$ and ${ϵ}_{\alpha \beta \gamma }$ are invariant tensors of SU(3). These identities use unimodularity; unitarity identifies the dual representation with the complex-conjugate defining representation.

For a mixed SU(3) tensor representation $T^a{}_b$, the matrix trace is invariant. HencegivesThe trace is the singlet. The traceless matrix transforms by conjugation, so it is the adjoint representation of SU(3). It is irreducible: an invariant complex subspace is invariant under commutators with the complexified algebra ${\mathfrak{sl}}_3$, and would be an ideal in that simple Lie algebra. Only the zero and full traceless-matrix spaces are possible.

For the cubic tensor, define its symmetric and antisymmetric first-pair parts byand let $S^{abc}=T^{(abc)}$ be its completely symmetric part. This has $\left(\genfrac{}{}{0ex}{}{5}{3}\right)=10$ independent components and transforms as the symmetric cubic representation of SU(3). Its irreducibility can be seen in the homogeneous cubic-polynomial realization: the simultaneous highest-weight conditions $z_1{\partial }_{z_2}P=0$ and $z_2{\partial }_{z_3}P=0$ leave only $P\propto z_1^3$. A finite-dimensional unitary representation is completely reducible, and each irreducible summand has a highest-weight vector, so this single highest-weight line implies a single irreducible summand. Lowering generates all ten monomials.

Remove this fully symmetric part from $T_{+}$, putting $M^{abc}=T_{+}^{abc}-S^{abc}$. DefineIts trace vanishes because $M$ is symmetric in its first two indices. Invariance of $ϵ$ makes $O$ transform as one upper and one lower index. The inverse map isIndeed contraction with ${ϵ}_{ebc}$ gives $(2O^a{}_e+O^a{}_e-{\delta }^a{}_e\mathrm{tr}O)/3=O^a{}_e$. The inverse has the required first-pair symmetry and zero completely symmetric part. Thus this eight-dimensional remainder is another adjoint representation of SU(3).

For the antisymmetric part, defineNow decompose $N^c{}_d=U^c{}_d+{\delta }^c{}_d\mathrm{tr}N/3$, with $U$ traceless. The first term supplies a second independent octet; the trace supplies a singlet proportional to ${ϵ}^{abc}$. With $q={ϵ}_{abc}{T}^{abc}/6=\mathrm{tr}N/3$, the explicit cubic SU3 tensor projections reconstruct the entire tensor:All projections commute with the SU(3) action because they use permutations and invariant tensors. Their inverse maps and the dimension count $10+8+8+1=27$ establishThe two octets are equivalent as group representations but distinct subspaces in this decomposition; one comes from the first-pair symmetric sector and the other from the first-pair antisymmetric sector. General permutations can mix these equivalent copies.

In the quark model, the up quark, down quark and strange quark form the defining triplet of approximate flavor symmetry. Three-quark baryons therefore have precisely these possible flavor representations. The fully symmetric decuplet corresponds to the observed spin-$3/2$ baryon decuplet: the four Delta baryons, three ${\Sigma }^{\ast }$ states, two ${\Xi }^{\ast }$ states and the Omega baryon. Their strangeness rows have flavor hypercharge and isospin $(Y,I)=(1,3/2),(0,1),(-1,1/2),(-2,0)$; $uuu$ and $sss$ occupy the extreme ${\Delta }^{++}$ and ${\Omega }^{-}$ weights.

The observed spin-$1/2$ baryon octet contains the nucleons, three Sigma baryons, the Lambda baryon and two Xi baryons. In its $Y=0$ row, ${\Sigma }^0$ and $\Lambda$ share the same third-component/hypercharge weight but have different total isospin. Approximate flavor symmetry explains multiplet organization, not exact equality of all their masses: the strange-quark mass and electromagnetic interactions break it.

The two octet copies in the flavor tensor do not require two identical ground-state octets. A three-quark colour singlet is antisymmetric in color; for a symmetric ground-state orbital wavefunction, the Pauli exclusion principle requires a symmetric combined spin-flavor state. The mixed flavor octet tensors combine with the mixed spin-$1/2$ tensors to supply that symmetry. The symmetric flavor decuplet combines with symmetric spin $3/2$. Together they form the symmetric spin-flavour SU6 representation, with $10\times 4+8\times 2=56$ spin-flavor states. A completely antisymmetric flavor singlet cannot appear in this spatial ground state because three spin-$1/2$ indices have no fully antisymmetric spin state: ${\bigwedge }^3{\mathbb{C}}^2=0$. Three-quark flavour singlet configurations instead require a suitable excited spatial/spin symmetry. Flavor SU(3) here is distinct from the exact color gauge symmetry; treating them as the same group action would misidentify the physical multiplets.

For a Cartan-Weyl basis, the Jacobi identity givesThus the bracket has joint Cartan weight $\alpha +\beta$. If $\beta =-\alpha$, it belongs to the zero-weight space, which is the Cartan subalgebra, and so is a linear combination ${\tilde{\alpha }}_i{H}_i$. If $\alpha +\beta$ is a nonzero root, its root space is one-dimensional and the bracket is proportional to $E_{\alpha +\beta }$. If that nonzero sum is not a root, the bracket vanishes. This proves the asserted forms without assuming every pair of roots has a root sum.

With the stated normalization, put $H_{\alpha }=2{\alpha }_i{H}_i/{\alpha }^2$. The commutators becomeThe adjoint relations make $J_3=H_{\alpha }/2$, $J_{+}=E_{\alpha }$, $J_{-}=E_{-\alpha }$ the usual SU(2) Lie algebra generators. Hence every finite-dimensional SU(2) irreducible component has $J_3$ eigenvalues $m=-j,-j+1,\dots ,j$, with $2j$ an integer. Therefore $H_{\alpha }$ has integer eigenvalues $2m$, including in the finite-dimensional Adjoint representation. Algebraically this is the sl2 subalgebra associated with a root.

If $[H_{\alpha },X_{\lambda }]=\lambda X_{\lambda }$, another use of the Jacobi identity givesThe bracket is therefore zero or lies in the eigenvalue-$\lambda +2$ space. Within one irreducible SU(2) ladder it is proportional to the next chosen vector $X_{\lambda +2}$. If the full eigenspace has multiplicity, the weight statement is the general one; proportionality to one named vector presupposes the ladder choice. Similarly $E_{-\alpha }$ lowers this eigenvalue by two, and the ladder weights run from $-n$ to $n$ in steps of two.

For a root vector $E_{\beta }$, its $H_{\alpha }$ weight isThe adjoint SU(2) ladder therefore provesFor nonparallel $\alpha ,\beta$, raising and lowering $E_{\beta }$ move its joint Cartan weight through the root string $\beta +k\alpha$. The finite irreducible ladder has weights symmetric about zero. Starting at $m_{\alpha \beta }$, reaching its partner $-m_{\alpha \beta }$ requires $k=-m_{\alpha \beta }$. The corresponding nonzero vector lies in the root space of $\beta -m_{\alpha \beta }\alpha$, proving the Weyl reflection property:There is no zero joint root in this string when $\alpha ,\beta$ are nonparallel. Its one-dimensional root spaces prevent two irreducible ladders with the same weight parity from overlapping, so the ladder argument applies to the entire string. For $\beta =\pm \alpha$, reflection simply interchanges the two opposite roots, which already exist by the adjoint relation.

For angle and length restrictions, set $p=2\alpha \cdot \beta /{\alpha }^2$ and $q=2\alpha \cdot \beta /{\beta }^2$. These Cartan integers have the same sign when nonzero and obeyFor nonparallel, nonorthogonal roots, $pq$ is an integer strictly between zero and four. The possibilities are consequently:

Orthogonal roots have $p=q=0$ and $\theta =\pi /2$. Parallel roots have $pq=4$; the integer pairs would allow only length multiples $1,2,1/2$. The stated reducedness condition excludes the latter two, so parallel roots are equal or opposite, with angles zero or $\pi$ and equal lengths. ThusNot every root system realizes every listed angle.

The orthogonal pair alone gives no ratio through $q/p$. To finish the length restriction for a simple Lie algebra, use irreducibility of its root system. Let $U$ span the Weyl group orbit of $\alpha$. Both $U$ and $U^{\perp }$ are invariant under the orthogonal root reflections. If a root had nonzero projections in both, reflection of its projection in $U$ would have a nonzero $U^{\perp }$ component, violating invariance. Hence every root is entirely in one of these subspaces. A proper nonzero $U$ would split the root system into two orthogonal parts, contradicting irreducibility. This proves that the Weyl orbit spans an irreducible root space.

In particular, some orbit root $\gamma$ is nonorthogonal to any chosen $\beta$, and ${\gamma }^2={\alpha }^2$. Applying the previous integer-pair restriction to $\gamma ,\beta$ therefore also handles orthogonal $\alpha ,\beta$:There can be at most two different root lengths: three lengths would have ratios two and three relative to the shortest, but then the longest-to-middle squared-length ratio would be $3/2$, which is forbidden. A reducible collection of orthogonal rank-one factors could have independently chosen scales; the simple-algebra assumption excludes that exception.

Choose a generic linear functional to define positive roots. The simple roots are those positive roots which cannot be written as sums of two positive roots; they form a basis in which all root coefficients are integers of one sign. Distinct simple roots have nonpositive inner product: if their inner product were positive, their root string would contain their difference, and whichever difference is positive would decompose one of them. In rank two, irreducibility excludes the orthogonal case. The allowed simple-root angles are therefore $120^{\circ },135^{\circ },150^{\circ }$, giving the three irreducible diagrams in the classification of rank-two root systems: A2 root system, B2 root system and G2 root system. Reflections in the two simple roots generate their respective six, eight and twelve roots.

Here are explicit simple-root choices and positive roots; adding their negatives gives each complete diagram.

The nonnegative coefficients in each positive-root list verify the chosen simple roots explicitly. The orthogonal four-root system $A_1\times A_1$ is rank two but reducible, so it is not a diagram for the simple algebra assumed here.

Define the Cartan matrix in the column-coroot convention:Using the ordered roots above givesThe alternative row-coroot convention transposes these matrices. Stating the convention and root ordering avoids a spurious disagreement in the unequal-length cases.

The Adjoint representation of a Lie algebra acts on the algebra itself: ${\mathrm{ad}}_X(Y)=[X,Y]$. In the basis $T_b$, its matrices areFor any algebra element $X$, the Jacobi identity givesTherefore the $D\times D$ matrices satisfy the same Lie bracket relations:This construction does not require that the algebra be simple or that the adjoint action be faithful.

For the field calculation, write $A_{\mu }=A_{\mu }^a{T}_a$ and $\lambda ={\lambda }^a{T}_a$. In the derivative-plus-connection convention the Yang-Mills field strength isThe sign of the parameter here is the negative of the matter-field parameter in the usual gauge transformation in the derivative-plus-connection convention. Work with the stated $\lambda$ throughout. Expanding the variation givesThe second derivatives cancel by commutativity of partial derivatives, and all remaining derivatives of $\lambda$ cancel by antisymmetry of the Lie bracket. The Jacobi identity makes the last two terms $[[A_{\mu },A_{\nu }],\lambda ]$. HenceUnlike the connection, the curvature has no inhomogeneous derivative term: it transforms in the Adjoint representation.

The quadratic form ${\kappa }_{ab}=\mathrm{tr}(T_a^{\mathrm{ad}}{T}_b^{\mathrm{ad}})$ is the Killing form. Its symmetry follows from cyclicity of the matrix trace. Using the just-proved adjoint commutators,ThusEquivalently, each adjoint generator is skew with respect to this invariant bilinear form. This invariance holds even when the Killing form is degenerate; no inverse form is needed here.

The spacetime metric used to raise Lorentz indices is unaffected by the internal gauge transformation. Since $\delta F=-{\mathrm{ad}}_{\lambda }F$, invariance givesTherefore the Killing-form contraction of the field strengths is gauge invariant, as required for the internal contraction in a Yang-Mills action.