Past exam of the mathematics course of the University of Cambridge / 2015 / iii / Paper 44 (Symmetries, Fields and Particles)

Introduce a parameter $t$ to keep track of total degree. The power series for the matrix exponential givesSet $S=X+Y$ and $C=\frac{1}{2}[X,Y]$, where the commutator is $[X,Y]=XY-YX$. Expanding a second matrix exponential givesSincethe two expressions agree through total degree two. More explicitly, applying the local matrix logarithm to the first expansion gives $\log (e^{tX}{e}^{tY})=t(X+Y)+\frac{1}{2}{t}^2[X,Y]+O(t^3)$. This proves the displayed order of the Baker--Campbell--Hausdorff formula. The Lie algebra is closed under the commutator, so its displayed exponent lies in the same Lie algebra. The expansion is a formal power series identity, or a convergent identity sufficiently near the identity matrix; this argument does not assert unrestricted global convergence.

The next two terms of the Baker--Campbell--Hausdorff formula are the two cubic commutators:Here $O(4)$ means total degree at least four in $X,Y$. If one continues by one more degree, the quartic contribution is $-\frac{1}{24}[Y,[X,[X,Y]]]$.

For the Pauli matrices, use the Pauli matrix multiplication lawPut $N=\mathbf{n}\cdot \mathbf{\tau }$. The antisymmetric term disappears when contracted with $n_a{n}_b$, so $N^2=|\mathbf{n}{|}^{2}I=I$. Consequently every even power of $N$ equals $I$, and every odd power equals $N$. Splitting the matrix exponential into even and odd terms of its power series yieldsThe Pauli matrices are Hermitian matrices, and the components of $\mathbf{n}$ are real, so $N^{†}=N$. For real $\alpha$, the resulting matrix $U$ satisfiesAlso $\mathrm{tr}N=0$ and $N^2=I$, so its two eigenvalues are $1,-1$. The eigenvalues of $U$ are therefore $e^{i\alpha },e^{-i\alpha }$, whose product is one. Thus $U$ is a unitary matrix with determinant one: it belongs to the SU(2) group.

Multiplying the two exact Pauli matrix exponentials, and using ${\tau }_1{\tau }_2=i{\tau }_3$, givesIn particular, the ${\tau }_3$ term has a minus sign. Its quadratic Taylor expansion isTaking $X=i\alpha {\tau }_1$, $Y=i\beta {\tau }_2$, the Pauli matrix commutator identity gives $[X,Y]=-2i\alpha \beta {\tau }_3$. The quadratic exponent in the Baker--Campbell--Hausdorff formula is therefore $Z=i\alpha {\tau }_1+i\beta {\tau }_2-i\alpha \beta {\tau }_3$. In $e^Z=I+Z+\frac{1}{2}{Z}^2+O(3)$, only the linear part of $Z$ contributes to $Z^2$ through degree two. The anticommutator ${\tau }_1{\tau }_2+{\tau }_2{\tau }_1=0$ gives $Z^2=-({\alpha }^2+{\beta }^2)I+O(3)$, reproducing the exact product's quadratic expansion.

For a differentiable curve $R(t)$ in the SO(3) group with $R(0)=I$, differentiating $R(t{)}^{T}R(t)=I$ gives $X^T+X=0$, where $X=R^{\prime }(0)$. Conversely, if $X$ is a real skew-symmetric matrix, $e^{tX}$ is an orthogonal matrix and has determinant $e^{t\mathrm{tr}X}=1$. HenceThe displayed generators of the SO(3) Lie algebra areThey are linearly independent and span the three independent entries of a real skew-symmetric matrix. Equivalently, $T_a\mathbf{v}={\mathbf{e}}_a\times \mathbf{v}$. The vector triple-product identity then givesThus the structure constants of a Lie algebra in this basis are

Use a real, antisymmetric convention throughout the SO(3) vector Higgs model. With gauge coupling $g$, the gauge covariant derivative and gauge field strength areThere is no factor of $i$ in these formulas because $T_a$ are real antisymmetric generators. For a local non-Abelian gauge transformation ${\Phi }^{\prime }=R\Phi$, with $R(x)$ in the SO(3) group, the compatible transformation of the gauge potential isIt gives $D_{\mu }^{\prime }{\Phi }^{\prime }=R{D}_{\mu }\Phi$ and $F_{\mu \nu }^{\prime }=R{F}_{\mu \nu }{R}^{-1}$. These covariance laws fix the relative signs in the gauge covariant derivative and gauge field strength.

An SO(3) invariant quartic scalar potential isSince $(R\Phi {)}^T(R\Phi )={\Phi }^T\Phi$, this scalar potential is gauge-invariant. Its minimum is the sphere ${\Phi }^T\Phi =v^2$, rather than a preferred direction in the internal vector space.

Writing ${\mathbf{A}}_{\mu }=(A_{\mu 1},A_{\mu 2},A_{\mu 3})$, the cross product form of the gauge covariant derivative is $D_{\mu }\Phi ={\partial }_{\mu }\Phi +g{\mathbf{A}}_{\mu }\times \Phi$. In components this isCorrespondingly, the gauge field strength has components

A covariantly constant vector Higgs field has constant norm, becauseThe last equality uses antisymmetry of the gauge potential. On a connected region write this norm as $\varphi \ge 0$. If $\varphi =0$, the vector Higgs field is identically zero. If $\varphi >0$, the SO(3) group acts transitively on unit vectors, so choose a smooth local non-Abelian gauge transformation rotating $\Phi /\varphi$ to ${\mathbf{e}}_3$. In this unitary gauge, $\Phi =(0,0,\varphi {)}^T$ with $\varphi$ constant. This is a local construction, and is global on a trivial contractible region; a nontrivial bundle can require more than one gauge patch.

For nonzero $\varphi$, substituting the constant aligned vector Higgs field into $D_{\mu }\Phi =0$ gives $g\varphi (A_{\mu 2},-A_{\mu 1},0{)}^T=0$. For nonzero gauge coupling, the most general compatible gauge potential and gauge field strength arewhere $a_{\mu }$ is an arbitrary real one-form. Thus the surviving gauge group is the $SO(2)$ stabilizer subgroup of ${\mathbf{e}}_3$. A covariantly constant vector Higgs field does not force the gauge field strength to vanish: it only requires the curvature to annihilate that field.

For the Higgs mechanism, choose a vacuum of the SO(3) invariant quartic scalar potential, so the constant norm is $v$. The canonically normalized kinetic term then containsThe two broken-direction gauge bosons have mass $gv$ (or $|g|v$ if the sign of $g$ is unrestricted), while the $T_3$ gauge boson remains massless. The two angular Goldstone bosons supply the massive vectors' longitudinal gauge-boson polarizations. The radial fluctuation remains a physical scalar field, with $m_h^2=2\lambda v^2$ for this normalization. The condition $D_{\mu }\Phi =0$ selects backgrounds without broken-direction gauge potentials; fluctuations about such a vacuum exhibit the two massive modes. Constancy of the norm alone does not require it to minimize the scalar potential.

The special orthogonal group in five dimensions isIts Lie algebra consists of real skew-symmetric matrices. There are $5\cdot 4/2=10$ independent entries above the diagonal, so $\dim SO(5)=10$. Equivalently, the orthogonality equations impose fifteen independent constraints on twenty-five matrix entries; the determinant condition chooses a component without changing the dimension.

Fix the fifth coordinate. The matrices $\mathrm{diag}(S,1)$, $S\in SO(4)$, form an explicit subgroup. Under this subgroup the defining vector space splits as ${\mathbb{R}}^4\oplus \mathbb{R}{\mathbf{e}}_5$, so its branching rule is $5\downarrow SO(4)=4\oplus 1$. An element of the so5 Lie algebra can be written uniquely asConjugation by $\mathrm{diag}(S,1)$ sends $B$ to $SB{S}^{-1}$ and $w$ to $Sw$. The first summand is the six-dimensional Adjoint representation of a Lie algebra of $\mathfrak{so}(4)$, and the second is its four-dimensional vector representation. Hence the SO5 to SO4 branching gives

For the left SU(2) subgroup of SO(4), identify ${\mathbb{R}}^4$ with the quaternions. Left multiplication by a unit quaternion is a real orthogonal transformation and gives an embedded SU(2) group. More generally, $q\mapsto aq{b}^{-1}$ gives the double cover $SU(2{)}_L\times SU(2{)}_R\to SO(4)$ with kernel $\{(1,1),(-1,-1)\}$. After complexifying, the vector representation is $(2,2)$ and the Adjoint representation is $(3,1)\oplus (1,3)$. Restricting to the left factor turns the right factor into a multiplicity space. ThereforeThese are decompositions into complex irreducible representations; the real $4$ is the underlying real representation of a quaternionic doublet. Combining the branching rules gives

Write a weight as $\lambda =(x,y)$. The integrality conditions for the B2 root system give $2x\in \mathbb{Z}$ and $y-x\in \mathbb{Z}$. Hence $x=m/2$, $y=m/2+n$, with $m,n\in \mathbb{Z}$. ThusThis is the B2 weight lattice, with an integer square lattice and a second square lattice shifted by $(1/2,1/2)$. The eight roots of a root system areThe short roots lie on the coordinate axes and the long roots on the diagonals. The positive roots for the given simple-root choice are $\alpha$, $\beta$, $\alpha +\beta$, $2\alpha +\beta$.

The integrality conditions determine the weight lattice of the Lie algebra, equivalently of the simply connected Spin group $\mathrm{Spin}(5)$. For the global special orthogonal group $SO(5)$, a $2\pi$ rotation in either coordinate plane is the identity, so a genuine group representation requires integer $x,y$. Thus the half-integer coset contains spin representations that do not descend to $SO(5)$. Both representations requested here have integer weights, so their diagrams are unaffected by this distinction.

The root system of the displayed $SO(4)$ subgroup is $\{\pm (1,1),\pm (1,-1)\}$. The two orthogonal pairs give its two commuting $\mathfrak{su}(2)$ factors. Choose the left factor to have root $\delta =(1,1)$; exchanging the two diagonal pairs exchanges left and right. Its coroot pairs with a weight asThis demonstrates the diagonal-root SU(2) embedding in SO(5) directly. The short-axis root $\alpha$ would instead give $2x$, and therefore a different subgroup: on the vector representation it would produce a triplet and two singlets rather than two doublets and a singlet.

For the vector representation, simultaneously rotate the first and second coordinate planes. Over $\mathbb{C}$, the two planes give opposite pairs of weights, while the fifth coordinate is fixed. Hence its weight diagram iswith every weight multiplicity equal to one. Evaluating $x+y$ gives $+1$ twice, $-1$ twice and $0$ once, exactly two SU(2) representations of dimension two and one singlet.

For the Adjoint representation, the root-space decomposition has one one-dimensional space for each of the eight roots and a two-dimensional zero-weight Cartan subalgebra. ThusThe coroot values $x+y$ have multiplicities $1,2,4,2,1$ at $-2,-1,0,1,2$. One zero-weight state joins the $\pm 2$ states to make a triplet; the $\pm 1$ states form two doublets, leaving three zero-weight singlets. This verifies the earlier branching rule and accounts for all ten dimensions.

Use flavor hypercharge $Y=B+S$, where $B$ is baryon number and $S$ is strangeness. The isospin coordinate is $I_3$. The baryon octet has coordinatesHere the nucleons have $S=0$, the Sigma baryons and Lambda baryon have $S=-1$, and the Xi baryons have $S=-2$. The central Sigma baryon belongs to an isospin triplet while the central Lambda baryon is an isospin singlet; equal coordinates do not identify the states.

The pseudoscalar meson octet isThe pions have $S=0$, the upper kaons have $S=+1$, and their lower antiparticles have $S=-1$. The two central states are the neutral pion and the Eta octet state. This is the octet basis of flavor symmetry; the physical eta can also mix with the flavor-singlet state.

For the flavor SU(3) Cartan generators, choose the Hermitian physics convention and the inner product $⟨A,B⟩=\mathrm{tr}(AB)$. Then an orthonormal diagonal basis isStrictly, $i{h}_1,i{h}_2$ are elements of the anti-Hermitian SU(3) Lie algebra; $h_1,h_2$ are the corresponding Hermitian observables. In the quark basis $(u,d,s)$, the up and down quarks form an isospin doublet and the strange quark is a singlet. Their $I_3$ values are $(1/2,-1/2,0)$. Each quark has baryon number $1/3$, and their strangeness values are $(0,0,-1)$. It follows thatThese flavor hypercharge conventions differ from the electroweak hypercharge convention. If instead the inner product is $2\mathrm{tr}(AB)$, the orthonormal basis is $t_3=h_1/\sqrt{2}$, $t_8=h_2/\sqrt{2}$, and the same operators are $I_3=t_3$, $Y=2t_8/\sqrt{3}$.

In the ordinary quark model, the proton has valence content $uud$ and charge $+1$, while the neutron has content $udd$ and charge zero. Additivity of electric charge gives $2q_u+q_d=1$ and $q_u+2q_d=0$, hence $q_u=2/3$, $q_d=-1/3$. The Sigma baryon ${\Sigma }^{-}$ has content $dds$ and charge $-1$, giving $2q_d+q_s=-1$. Thus the quark triplet's electric charges, in units of the positive elementary charge, areThe Gell-Mann--Nishijima formula is consequentlyIt also reproduces every baryon octet charge from the first diagram. On antiquarks the additive quantum numbers reverse sign, and combining a quark with an antiquark reproduces the meson octet charges.

Because the down and strange quarks have identical electric charge, $Q$ commutes with the U-spin generatorsThey satisfy $[U_a,U_b]=i{ϵ}_{abc}{U}_c$; equivalently the anti-Hermitian matrices $i{U}_a$ span an $\mathfrak{su}(2)$ subalgebra. The entries on the $d,s$ block of $Q$ are equal, so $[Q,U_a]=0$ for all three U-spin generators. The electric charge is therefore constant within each irreducible U-spin multiplet. For example, U-spin relates ${\pi }^{+}$ and $K^{+}$, and relates $p$ and ${\Sigma }^{+}$, without changing their charge. It does not imply exact mass degeneracy: unequal down- and strange-quark masses break U-spin.

For pion-nucleon octet channels, assume the collision is governed by the strong interaction. The initial baryon number is one and strangeness is zero, so an outgoing meson-baryon pair must preserve $B=1$, $S=0$, and electric charge. Thus its total flavor hypercharge is $Y=1$. The allowed types areA kaon of $S=+1$ can accompany a Lambda baryon or Sigma baryon of $S=-1$. An antikaon cannot balance the nonpositive strangeness of an octet baryon. A Xi baryon would require a meson of $S=+2$, which the meson octet does not contain.

Resolving these types by electric charge gives all possible pairs:In the isospin-symmetric approximation, total isospin is conserved as well: the incoming $1\otimes \frac{1}{2}$ contains $I=\frac{1}{2},\frac{3}{2}$. The $\pi N$ and $K\Sigma$ channels contain both values, while ${\eta }_{8}N$ and $K\Lambda$ contain only $I=\frac{1}{2}$. The extreme-charge initial states are pure $I=\frac{3}{2}$, consistently excluding ${\eta }_{8}N$ and $K\Lambda$. Clebsch-Gordan coefficients relate amplitudes in different charge channels; the table establishes permission, not equal probabilities. Electromagnetism and unequal up- and down-quark masses introduce small violations of isospin symmetry.

Finally, energy and momentum conservation require $\sqrt{s}\ge m_M+m_B$ for a particular pair, where $s$ is the squared total four-momentum. Only channels above their own threshold can occur. Total angular momentum and parity symmetry in quantum field theory constrain the partial waves of the meson-baryon scattering: a pseudoscalar meson and a positive-parity spin-one-half baryon have pair parity $-(-1{)}^L$ and total angular momentum $J=L\pm \frac{1}{2}$ (only $J=\frac{1}{2}$ for $L=0$). Initial and final partial waves must have matching $J$ and parity. Sufficient energy can open a channel, but cannot remove the electric charge conservation, baryon number, or strangeness constraints.