Past exam of the mathematics course of the University of Cambridge / 2012 / iii / Paper 48 (Symmetries and Particles)

Set $\hslash =1$ and let $N=2I\in {\mathbb{Z}}_{\ge 0}$. A concrete irreducible spin representation is the symmetric powerStart with $N$ copies of the defining SU(2) doublet and restrict their tensor product representation to the completely symmetric subspace. Its orthonormal basis consists of symmetric states with $I+m$ up components and $I-m$ down components, where $m=I,I-1,\dots ,-I$. There are $N+1=2I+1$ such states. The total generators are $J_i={\sum }_{a=1}^N{\sigma }_i^{(a)}/2$, acting on this subspace, where ${\sigma }_i$ are the Pauli matrices. This also constructs the trivial representation when $I=0$.

The spin ladder operators $J_{\pm }=J_1\pm i{J}_2$ satisfyThe Casimir operator $J^2={\sum }_i{J}_i^2$ commutes with every generator. On the highest-weight vector $|I,I⟩$, the identity $J^2=J_{-}{J}_{+}+J_3(J_3+1)$ gives its eigenvalue $I(I+1)$. With phases chosen to make the lowering coefficients positive,The squared norm of the lowered state follows from $J_{+}{J}_{-}=J^2-J_3(J_3-1)$. The ladder stops exactly at $m=-I$. Every weight is connected to every other by these operators, and $J_3$ has distinct eigenvalues. Hence any invariant subspace contains a weight vector and then the whole ladder: the representation is irreducible.

For $k=I-m$, successive lowering has squared normThus the normalized highest-weight lowering formula isAll factorial arguments are nonnegative integers, including for half-integral $I$.

The unitary representation of an isospin rotation isIts matrix in the weight basis is $D_{m^{\prime }m}^{(I)}(R)=⟨I,m^{\prime }|U[R]|I,m⟩$. Insert the completeness relation between two operators to obtainThese verify the group representation and unitarity properties, and the ladder argument gives irreducibility. Here rotations carry their SU(2) lifts: $U(2\pi )=(-1{)}^{2I}I$. Integer $I$ descends to the ordinary SO(3) group; half-integral $I$ is a representation of its double cover, not a single-valued representation of $SO(3)$.

For $I=1$, order the basis as $(|1,1⟩,|1,0⟩,|1,-1⟩)$. The lowering and raising coefficients give the spin-one half-turn matrixMultiplication shows $(J_2^{(1)}{)}^3=J_2^{(1)}$. Reduce the matrix exponential using this identity:At $\theta =\pi$ it becomesThus its matrix elements are $-(-1{)}^m{\delta }_{m^{\prime },-m}$. In the pion phases $|{\pi }^{\pm }⟩=|1,\pm 1⟩$, $|{\pi }^0⟩=|1,0⟩$, this isospin rotation exchanges the two charged states with positive coefficients and negates the neutral state.

Charge conjugation is linear and unitary here. Similarity preserves commutators, soConsequently the conjugated generators obey the same Lie algebra. The specified signs also give $\mathcal{C}{J}_{\pm }{\mathcal{C}}^{-1}=-J_{\mp }$. Since $|{\pi }^{\pm }⟩=J_{\pm }|{\pi }^0⟩/\sqrt{2}$ and the neutral state has positive charge conjugation eigenvalue,The signs depend on the chosen charged-state phases, which have been fixed by the ladder convention.

Conjugation by $R_{\pi }=e^{-i\pi J_2}$ changes $(J_1,J_2,J_3)$ to $(-J_1,J_2,-J_3)$, exactly as charge conjugation does. Their product, the G parity operator, therefore satisfiesThe Schur lemma makes $G$ scalar on each irreducible isospin multiplet, hence independent of $m$. On the neutral pion, $G|{\pi }^0⟩=-\mathcal{C}|{\pi }^0⟩=-|{\pi }^0⟩$. Therefore the pion G-parity is

Use the full definition of the special unitary group: $A^{†}A=I$ and $\det A=1$. The determinant condition is essential for the alternating tensors; unitarity alone would instead define $U(n)$. Assume $n\ge 2$ when discussing proper invariant subspaces.

Let $V={\mathbb{C}}^n$ be the fundamental representation. A $(j,k)$ tensor belongs to $V^{\otimes j}\otimes (V^{\ast }{)}^{\otimes k}$. Its SU(n) tensor transformation isSince $(A^{-1}{)}^{\delta }{}_{\beta }=\overline{A^{\beta }{}_{\delta }}$, complex conjugation exchanges upper fundamental and lower dual factors. Reordering the two index groups shows that $\overline{T}$ is a $(k,j)$ tensor.

The invariant tensors follow directly. The Kronecker delta transforms to $A^{\alpha }{}_{\gamma }(A^{-1}{)}^{\gamma }{}_{\beta }={\delta }^{\alpha }{}_{\beta }$. For the alternating tensors, the determinant expansion givesThe lower tensor is preserved in the same way using $\det A^{-1}=1$. Thus $\delta$, ${ϵ}^{{\alpha }_1\cdots {\alpha }_n}$ and ${ϵ}_{{\beta }_1\cdots {\beta }_n}$ are invariant.

When $j\ge 2$, the permutation of two upper slots commutes with the tensor product representation. Its $+1$ and $-1$ eigenspaces are nonzero proper invariant subspaces. The same argument uses two lower slots when $k\ge 2$. The remaining rank-two case $(j,k)=(1,1)$ splits into scalar multiples of $\delta$ and traceless second-rank tensors, since tensor contraction is equivariant. This covers every case except the fundamental, dual fundamental and scalar cases specified in the question. Those three are irreducible: the special unitary group acts transitively on unit vectors in its fundamental space, so a nonzero invariant subspace must be the full space, and the dual has the same property.

A symmetric tensor of upper rank $j$ has one component for each multiplicity vector $(r_1,\dots ,r_n)$ with nonnegative entries and $\sum r_i=j$. Equivalently it is a homogeneous degree-$j$ polynomial in $n$ variables. Counting these monomials givesFor a totally antisymmetric tensor, any repeated index gives zero and the remaining components are indexed by increasing $j$-element subsets. HenceThese are the dimensions of the symmetric power and exterior power, respectively.

For SU(4), the two-index antisymmetric representation has complex dimension six. To establish a six-dimensional real representation, one must exhibit a real structure; simply counting six complex components would give twelve real components. Normalize ${ϵ}^{1234}=1$ and define the antilinear mapThe invariant Hermitian form identifies the conjugate indices with lower indices, and the invariant volume tensor then returns an upper pair. Thus $\mathcal{J}$ commutes with SU(4). The identitygives ${\mathcal{J}}^2=1$. Its fixed space hasThree arbitrary complex entries specify all the others, giving exactly six real degrees of freedom. The real structure of the SU4 exterior square therefore provesThe ordinary Hermitian norm restricts to an invariant positive real inner product on this fixed space.

Irreducible representations classify states because an exact symmetry commutes with the Hamiltonian, preserving energy eigenspaces. Irreducible multiplets are the smallest sets closed under all symmetry transformations; their labels and Casimir operators provide quantum numbers. Approximate flavour symmetry gives approximate multiplets and mass relations, with splittings caused by its breaking. Spin and internal quantum numbers are distinct labels.

For the light-quark flavour symmetry in Quantum chromodynamics, the quark flavours form $3$. Their Triple tensor decomposition for the defining sl3 representation isThis algebraic decomposition alone does not determine the allowed ground-state baryons. The three-quark colour singlet is antisymmetric. The no-orbital-excitation ground state has a symmetric spatial wavefunction, so the Pauli exclusion principle requires the combined spin-flavour wavefunction to be symmetric. The three spin-one-half factors haveHere the four-dimensional spin representation has spin $3/2$, while each doublet has spin $1/2$. Symmetric decuplet flavour pairs with symmetric spin $3/2$. The two flavour-octet copies and two spin-doublet copies carry the two-dimensional standard permutation multiplicity space; its tensor square contains one symmetric singlet. Their invariant pairing therefore supplies one octet with spin $1/2$, not two independent ground-state octets. Antisymmetric flavour would need a completely antisymmetric three-quark spin state, which does not exist.

Equivalently the symmetric spin-flavour SU6 representation hasThus the Pauli constraint on three-quark flavour multiplets gives the concise spectrum classificationThese are the baryon octet and baryon decuplet. The three-quark flavour singlet requires a different spatial permutation symmetry and belongs to excited states, outside the symmetric ground-state approximation used here. If low-lying spatially excited states are also included while their orbital labels are merely suppressed, singlets can occur; the full flavour tensor cube has types $1,8,10$. The absence of the singlet from the unexcited ground multiplet is a permutation-symmetry constraint, not a prohibition by $SU(3)$ alone. Light-quark mass differences make the flavour symmetry approximate rather than exact.

Use a real Lie algebra convention $[T_a,T_b]=f_{ab}{}^c{T}_c$. Its Adjoint representation of a Lie algebra acts on $\mathfrak{g}$ itself:Linearity is immediate. The Jacobi identity givesso $[{\mathrm{ad}}_X,{\mathrm{ad}}_Y]={\mathrm{ad}}_{[X,Y]}$, the defining Lie algebra representation condition. In the basis $T_b$, its matrix entries areThus the adjoint generators are the structure constants arranged as matrices. The representation has kernel equal to the center of a Lie algebra; it need not be faithful for an arbitrary algebra.

The Adjoint representation of a Lie group is ${\mathrm{Ad}}_g(Y)=gY{g}^{-1}$. It satisfies ${\mathrm{Ad}}_{gh}={\mathrm{Ad}}_g{\mathrm{Ad}}_h$, preserves the identity, and sends inverses to inverse matrices. Differentiating $e^{tX}Y{e}^{-tX}$ gives $[X,e^{tX}Y{e}^{-tX}]$, soConsequently the positive adjoint exponentials furnish the representation on elements $g=e^X$ and their products, and the intrinsic conjugation action defines it globally.

The inverse-conjugation formula in the PDF needs a minus adjoint exponent with this standard definition. Its first-order term is $Y-[X,Y]$, whereas $e^{+{\mathrm{ad}}_X}Y$ has first-order term $Y+[X,Y]$. For example $X=T_1,Y=T_2$ in a nonabelian algebra with $[T_1,T_2]\ne 0$ already distinguishes the two. The inverse conjugation and adjoint antirepresentations identity explains the group-order issue as well: $F(g)={\mathrm{Ad}}_{g^{-1}}$ satisfies $F(gh)=F(h)F(g)$. Retaining the printed inverse conjugation as a left action without this order reversal would not give an ordinary group representation.

The Killing form is the symmetric bilinear formTo prove degeneracy for a non-semisimple Lie algebra, take its nonzero solvable radical and the last nonzero member $\mathfrak{a}$ of its derived series of a Lie algebra. This is a nonzero abelian ideal of a Lie algebra. For $x\in \mathfrak{a}$, ${\mathrm{ad}}_x$ maps $\mathfrak{g}$ into $\mathfrak{a}$ and kills $\mathfrak{a}$. Every ${\mathrm{ad}}_y$ preserves $\mathfrak{a}$. Hence ${\mathrm{ad}}_x{\mathrm{ad}}_y$ maps the full space into $\mathfrak{a}$ and has zero restriction there, so its trace is zero. Thus $B(x,y)=0$ for every $y$. This is the abelian ideals lie in the radical of the Killing form argument, and establishes a nonzero kernel and vanishing determinant.

For a compact real semisimple Lie algebra, the adjoint action is unitary in an invariant positive inner product. Its infinitesimal generators are skew-Hermitian, givingStrictness follows because the adjoint kernel is the zero center. This explains the compactness criterion from the Killing form: “strictly negative” means negative-definite, not that every entry of its matrix is negative.

In the first three-generator example, take columns to be images of the basis $(X,Y,H)$. Direct use of the brackets givesTaking traces of products yields the Killing form for cyclic three-generator bracketsIt is nondegenerate, hence semisimple by the preceding degeneracy result, but it has mixed signature and is not compact. An explicit realization iswhich span the real traceless two-by-two matrices and satisfy exactly these brackets.

Changing the sign of $[X,H]$ changes the first and third adjoint matrices towhile ${\mathrm{ad}}_Y$ is unchanged. Nowthe negative-definite compact case. The basis $X=-i{\sigma }_1$, $Y=-i{\sigma }_2$, $H=-i{\sigma }_3$ realizes it as the real special unitary Lie algebra $\mathfrak{su}(2)$.

Use signature $\eta =\mathrm{diag}(1,-1,-1,-1)$, the numerical matrices ${\sigma }_{\mu }=(I,{\sigma }_i)$ and ${\bar{\sigma }}_{\mu }=(I,-{\sigma }_i)$ given in the question, and raise genuine tensor indices with $\eta$. A real Minkowski spacetime vector corresponds to the Hermitian matrixFor SL(2,C) matrices, $X^{\prime }=AX{A}^{†}$ is Hermitian and has the same determinant. It therefore induces a real linear Lorentz transformation; composition of the congruence actions agrees with matrix multiplication. The kernel consists of $\pm I$: preservation of $X=I$ makes a kernel element unitary, and preservation of every Hermitian $X$ makes it scalar.

Polar decomposition of an invertible complex matrix connects every determinant-one complex matrix to its unitary factor, so the group is connected. The action gives the Lorentz spinor double cover of the proper orthochronous Lorentz group. It covers rotations via $A_R=e^{-i\vartheta \mathbf{n}\cdot \mathbf{\sigma }/2}$ and boosts via the positive Hermitian matrices below. Every proper orthochronous transformation is a boost followed by a rotation, since one can first match its image of the future unit time vector and then use its rotation stabilizer. The congruence construction does not cover spatial parity or time reversal. In particular parity has determinant $-1$ as a four-vector transformation; all transformations continuously produced from SL(2,C) have determinant $+1$.

Set $c_{\theta }=\cosh (\theta /2)$, $s_{\theta }=\sinh (\theta /2)$ and $N=\mathbf{n}\cdot \mathbf{\sigma }$. The Pauli matrix multiplication law gives $N^2=I$. The proposed boost matrix is $A_B=c_{\theta }I+s_{\theta }N$, with eigenvalues $e^{\pm \theta /2}$, determinant one and $A_B^{†}=A_B$. Split $\mathbf{x}=x_{\parallel }\mathbf{n}+{\mathbf{x}}_{\perp }$. The perpendicular Pauli part anticommutes with $N$, so multiplication givesThis is an active Lorentz boost. The image of a rest worldline has velocity $\mathbf{v}=\tanh \theta \mathbf{n}$, fixing the velocity sign convention.

For two nonzero boosts, write $A^{\prime }=c^{\prime }I+s^{\prime }{\mathbf{n}}^{\prime }\cdot \mathbf{\sigma }$ and $A=cI+s\mathbf{n}\cdot \mathbf{\sigma }$. Their product isThe last term is anti-Hermitian. Thus $A^{\prime }A$ is not Hermitian unless the axes are collinear; a pure boost has Hermitian lifts $\pm A_B$, so it cannot give the same Lorentz transformation. The noncollinear boost obstruction from Pauli products is thereforeThat rotation is a Wigner rotation. A zero-rapidity factor is the trivial exception, regardless of the arbitrary axis assigned to it.

Define $J_i=\frac{1}{2}{ϵ}_{ijk}{M}_{jk}$ and $K_i=M_{0i}$. The printed Lorentz algebra brackets giveSet $L_i=(J_i+i{K}_i)/2$, $R_i=(J_i-i{K}_i)/2$. ThenThis is the chiral decomposition of the complex Lorentz algebra. The two copies are the complexifications of the SU(2) algebras conventionally labelled left and right. They are not two independent compact real subalgebras of the real Lorentz algebra: $L,R$ are complex linear combinations of the real generators. The distinction is needed for noncompact boosts.

To verify the infinitesimal two-component action, putIts trace vanishes by antisymmetry, so $\det A=1+O({\omega }^2)$. The Pauli matrix multiplication law impliesSince $a^{†}=\frac{1}{4}{\omega }^{\mu \nu }{\bar{\sigma }}_{\nu }{\sigma }_{\mu }$, antisymmetrizing this identity yieldsConsequently $AX{A}^{†}=X+{\sigma }_{\mu }{\omega }^{\mu }{}_{\nu }{x}^{\nu }+O({\omega }^2)$, exactly the claimed infinitesimal coordinate transformation with ${\omega }^{\mu }{}_{\nu }={\omega }^{\mu \rho }{\eta }_{\rho \nu }$.

The two Weyl spinor representations transform asBoth maps preserve group multiplication. For $\Lambda =e^{\omega }$, choose its spin lift and write the finite matrices asFor rotations these coincide as the SU(2) doublet; for boosts their generator signs are opposite. Any complex-linear intertwiner would commute with all rotations and hence be scalar by the Schur lemma, but a nonzero scalar cannot intertwine the opposite boost matrices. They are therefore inequivalent. Infinitesimally their $K_i$ matrices are $-i{\sigma }_i/2$ and $+i{\sigma }_i/2$, while their $J_i$ matrices are both ${\sigma }_i/2$. Thus they have chiral labels $(1/2,0)$ and $(0,1/2)$. The finite matrices are representations of the spin cover; choosing $A$ or $-A$ matters for spinors even though their four-vector transformations coincide.

Using the supplied block gamma matrices, the generator of the Dirac spinor isThe antisymmetry of $\omega$ removes the symmetric Clifford part. Hence

There is a conjugation-order error in the last displayed gamma identity in the PDF. The Clifford algebra gives, with ${\gamma }^{\rho }={\eta }^{\rho \sigma }{\gamma }_{\sigma }$,Exponentiating this linear commutator action proves the inverse Lorentz action on gamma matricesThe second identity is the order required for the requested bilinears when $\psi \mapsto S\psi$. An explicit countercheck to the printed order is a positive boost along the third axis: ${\omega }^{03}=-\theta$ giveswhereas the printed right side has a plus sign. This cannot be repaired by dropping index raising; the same raising convention is needed in the preceding coordinate transformation.

The adjoint relation supplied in the question gives ${\Omega }^{†}{\gamma }^0=-{\gamma }^0\Omega$, hence the Dirac spinor pseudo-unitarity identity $S^{†}{\gamma }^{0}S={\gamma }^0$. The Dirac adjoint therefore transforms as $\bar{\psi }\mapsto \bar{\psi }{S}^{-1}$. It now follows that the Dirac scalar bilinear isthe vector isand the antisymmetric second-rank tensor isThese are respectively a Lorentz scalar, Lorentz four-vector and Lorentz tensor. The source's inconsistent gamma identity is replaced by its correct inverse/order pair; all three transformation laws then follow with the stated spinor transformation.