Nucleon Created 2026-10-05 Updated 2026-10-06
The proton and neutron form the nucleon isospin doublet, with spin angular momentum and baryon number one. A unit Skyrmion with the fermionic Finkelstein-Rubinstein constraints gives these quantum numbers in its lowest rotational multiplet.
Past exam of the mathematics course of the University of Cambridge 2006 ii Paper 4 32A Solution Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2010 ii Paper 2 33C Solution Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2011 ii Paper 3 33D i Solution Created 2026-09-24 Updated 2026-09-24
Past exam of the mathematics course of the University of Cambridge 2014 iii Paper 41 4 Solution Created 2026-10-03 Updated 2026-10-06
Use the metric in the question and fix the Levi-Civita symbol convention . A consistent choice of rotation Lie algebra generators isSubstituting the indices into the printed Poincare algebra givesThe other cyclic brackets follow the same way. The negative spatial metric and antisymmetry of both enter this sign.
The printed brackets are real Lie algebra brackets, without the factor used for ordinary commutators of Hermitian quantum observables. We use those brackets for the algebraic verifications. For physical eigenvalues below, angular momentum is Hermitian, its spin projection is the real number , and . In that quantum convention the ordinary operator commutators are times the displayed brackets. This distinction prevents identifying a real spin projection with an anti-Hermitian matrix eigenvalue.
In the universal enveloping algebra, translations commute. The Pauli-Lubanski pseudovector therefore satisfiesFor fixed , the product of momenta is symmetric in while the epsilon coefficient is antisymmetric in them. There is no need to commute the Lorentz generator through the momenta.
Using the commutator derivation identity and the mixed bracket,The two terms become equal after swapping , and the last expression vanishes by antisymmetry in . In the Hermitian observable convention, the calculation has one overall extra and still vanishes. Thus preserves each momentum eigenspace.
For the specified epsilon orientation, two useful component identities areThe order displayed matters: the momentum operator is on the right, so it can act first on the momentum eigenstate. At rest, , and on a spin state with these giveThese are massive rest-frame Pauli-Lubanski eigenvalues. The raised component would be ; confusing with reverses the answer.
Helicity is the projection of spin angular momentum, or equivalently the rotation generator acting internally, along the momentum direction:For the momentum with , the helicity operator is . Hence a helicity- state hasThe result uses only the two longitudinal components and does not need a separate assumption about the transverse little-group generators. These massless longitudinal Pauli-Lubanski eigenvalues agree with for ordinary finite-helicity representations.
Finally, at rest the contraction is . For the chosen null momentum it is , whose two eigenvalues cancel. Thus both results obey . Reversing the epsilon orientation reverses all eigenvalues together; it leaves both identities and both consistency checks intact. For a literal anti-Hermitian derived representation of the printed real algebra, write for the Hermitian observable. Since is bilinear in generators, its abstract enveloping-algebra image is . Thus the corresponding formal-image eigenvalues, if that convention is intended, areHere has eigenvalue , while and themselves remain real physical labels. This is the same result after the Hermitian quantum generator convention is applied to both factors, not an inconsistent choice of spin sign. Both the Hermitian-observable and literal anti-Hermitian interpretations are consequently specified.
Past exam of the mathematics course of the University of Cambridge 2014 iii Paper 81 1 Created 2026-10-03 Updated 2026-10-07
Use dimensionless spin angular momentum operators, so their commutators have no additional . A fully polarized state is an exact ground state of the Heisenberg ferromagnet, with . On each bond the largest eigenvalue of is , obtained in the two-spin total-spin- sector. Hence the bondwise lower bound on the Hamiltonian is attained by this state.
The ferromagnetic ground-state multiplet has total spin . Applying the global lowering operator , , generates its magnetic states; their linear combinations are also ground states. Global spin rotations generate polarized ground states pointing in arbitrary directions and span the same multiplet. Uniform reorientation therefore costs no energy. Slowly varying orientations give gapless ferromagnetic magnons, with quadratic rather than linear long-wavelength dispersion. In the ordered thermodynamic ground state, the two broken spin generators are canonically paired because , producing one type-B Goldstone boson. For a finite chain the zero-wavevector motion remains inside the exact ground multiplet; nonzero wavevectors have a finite-size spacing that vanishes as . This is a ground-state statement, not a claim of finite-temperature long-range order in one dimension.
Past exam of the mathematics course of the University of Cambridge 2016 iii Paper 301 2 Solution Created 2026-10-03 Updated 2026-10-06
For this question use the mostly-plus Dirac convention: the Minkowski metric is andThis convention matches the printed plane-wave phase and final identity. It is related to the usual mostly-minus Dirac equation by reversing the metric and taking the negatives of the usual gamma matrices. In particular, the resulting Dirac action and its Dirac adjoint describe the same physical massive field. The Dirac gamma matrices are four complex matrices representing the spacetime Clifford algebra with quadratic form . The irreducible complex representation has dimension four. A convenient explicit choice is the negative of the standard Dirac representation of the gamma matrices:where are the Pauli matrices. Their multiplication law verifies the displayed anticommutator.
In this representation the gamma matrix adjoint and transpose identities areandThe invariant way to express the latter pattern uses the charge-conjugation matrix:Individual transpose signs depend on the basis. More generally, a similarity transformation changes the Hermitizing matrix to and the charge-conjugation matrix to . Then and . Thus the simple formula with itself presumes a compatible Hermitian basis, rather than an arbitrary nonunitary similarity transformation.
Applying to the Dirac equation gives . Its mass shell is , so the frequencies are . The Dirac spinor transforms in the four-component Spinor representation of the Lorentz group. Under spatial rotations, the two upper and the two lower components each transform as a two-component spin- representation: the spin angular momentum matrices are . At rest the positive-energy equation selects the upper two components, giving two independent spin polarizations, and the negative-frequency equation selects the lower two.
In the quantum theory a mode expansion isWith the mostly-plus Dirac convention, is positive frequency. The negative-frequency coefficient obeys . The fermionic annihilation operators and satisfy the canonical anticommutation relations, with their respective fermionic creation operators. The excitations are particles; the excitations are antiparticles with the same positive energy, mass and spin- but opposite charge. After normal ordering, the Hamiltonian operator contains positive multiples of . Reinterpreting the negative-frequency part as antiparticle creation supplies a spectrum bounded below rather than a physical tower of negative-energy particles.
For the printed wave, . Substitution givesThe spin label indexes the two states of a spin- particle, rather than varying the particle's total spin. For real on-shell , Hermitian conjugation and giveThese are right and left null-vector equations for the same on-shell matrix.
To obtain the Gordon identity, take both external Dirac spinors to have the same real mass . Their two equations implyDefine . The Clifford algebra relation yieldsThereforeMultiplying the previous null-vector equation by proves the required formula exactly:For it can be solved for the vector-current matrix element, separating a momentum term from the antisymmetric Dirac spinor term. The identity before division also holds at . The signs depend jointly on the metric, Clifford relation, Dirac mass term and plane-wave phase. In the mostly-minus convention of Questions 1 and 3, the printed phase instead gives ; the corresponding identity uses in the antisymmetric term. Mixing that convention with the formula proved here would produce an apparent sign error.
Past exam of the mathematics course of the University of Cambridge 2017 iii Paper 302 1 Solution Created 2026-10-03 Updated 2026-10-05
The two Lie groups have the same local infinitesimal structure, but different global topology. This difference determines which Lie algebra representations integrate to representations of each group.
An element of the SU(2) group is a unitary matrix of determinant one. Orthogonality of its columns and its determinant give the unique formThus its group manifold is the unit three-sphere in : this is SU(2) as the three-sphere. In particular it is compact, connected and simply connected. In terms of the Pauli matrices one may also write with real coefficients satisfying .
Differentiate and at . The tangent space consists of traceless skew-Hermitian matrices:The Lie bracket of a Matrix Lie group is the matrix commutator. With , the Pauli matrix multiplication law givesThis derives the SU(2) Lie algebra as a three-dimensional real Lie algebra. The Hermitian physics generators instead obey ; they are times the skew-Hermitian tangent generators, so these are consistent conventions.
The SO(3) group consists of real orthogonal matrices with determinant one. Differentiating at the identity givesThe determinant condition gives no additional infinitesimal constraint because a skew-symmetric matrix already has trace zero. Define . The cross product identity impliesTherefore the SO(3) Lie algebra has the same structure constants and is a Lie algebra isomorphism.
The global relation is the Adjoint double cover from SU(2) to SO(3). For , define byConjugation preserves the real space of traceless Hermitian matrices and its inner product . Hence is orthogonal. Continuity and connectedness, together with , put it in . Composition of conjugations makes a group homomorphism. If , then commutes with every Pauli matrix, hence is scalar; unitarity and determinant one leave precisely . The differential sends to , so it is an isomorphism. More concretely,induces rotation through angle about , by the Rodrigues rotation formula. Every three-dimensional rotation has such an axis and angle, proving surjectivity. ConsequentlyThe matrices and are antipodal points on the three-sphere, so the SO(3) group manifold is Real projective space . Equivalently, the closed axis-angle ball has opposite boundary points identified. The fundamental group is , whereas . A rotation lifts from to ; a rotation returns to . Thus the covering is the universal cover and the groups are not globally isomorphic.
For representation theory, specify finite-dimensional complex continuous representations. Compactness permits an invariant Hermitian inner product, obtained by averaging against Haar measure, and therefore complete reducibility. Complexifying either real Lie algebra gives the sl2 Lie algebra. Its finite-dimensional irreducibles are indexed by , have highest weight , and have dimension . By integration of a Lie-algebra representation, since is simply connected, every such Lie algebra representation integrates uniquely. The resulting homogeneous polynomial representation of SU2 isIn the spin angular momentum notation , its Hermitian eigenvalues are . The central matrix acts on the symmetric power by , so descent of an SU(2) representation to SO(3) occurs exactly when is even. HenceFor a reducible representation, every summand must satisfy the descent condition. The spin-one-half doublet is a genuine representation of the covering group but does not define a single-valued representation of ; the spin-one triplet does and is its vector representation. The distinction is topological, rather than a difference in their isomorphic Lie algebras.
Past exam of the mathematics course of the University of Cambridge 2017 ii Paper 2 32C Solution Created 2026-09-24 Updated 2026-10-05
Taking along a coordinate axis gives . Taking for gives . Combining this anticommutator relation with the specified commutator givesand contraction with provesThe operators for spin angular momentum, , satisfy and , identifying spin . The usual irreducible spin space is two-dimensional; the assumptions also allow repeated copies of it if no Hilbert-space dimension is specified.
Since is Hermitian and squares to , are Hermitian, , and . They are its spectral projectors. WriteEach nonzero term is a scalar multiple of a normalized eigenstate with eigenvalue . The Born rule gives, for normalized ,If , expectation of gives . Taking yields .
Past exam of the mathematics course of the University of Cambridge 2018 iii Paper 305 4 c ii Solution Created 2026-10-03 Updated 2026-10-05
On the physical positive-energy branch, put . The massless outgoing parton obeysSince on the support and , the positive-energy on-shell delta function identity givesInsert this into the parton model sum, and writeThe parton distribution functions are number densities in momentum fraction. The contributing tensor becomesComparing with part (b), under the same leptonic tensor contraction, givesThis is the Callan-Gross relation for massless partons of spin angular momentum at leading order. The longitudinal deep-inelastic structure function is in this approximation. Target-mass effects and radiative Quantum chromodynamics corrections can change the relation. The leading parton model also gives Bjorken scaling: at this level the deep-inelastic structure functions depend on alone.
Past exam of the mathematics course of the University of Cambridge 2018 iii Paper 307 2 Solution Created 2026-10-03 Updated 2026-10-05
Use a positive-energy unitary representation with finite helicity states, excluding continuous-spin representations. In the specified frame the Pauli matrices giveFor every and every state ,Positivity therefore gives on this massless supermultiplet. The equal-chirality anticommutator then shows that every central charge in supersymmetry vanishes on this superalgebra representation.
Normalize the remaining supercharges as fermionic raising and lowering operators:They obey the canonical anticommutation relationsChoose a Clifford vacuum of helicity annihilated by every . Such a vector exists because the commuting fermion number operators have eigenvalues and , and lowering every occupied mode produces a nonzero empty state. In an irreducible representation this empty space has dimension one; multiple empty states produce a direct sum of copies. The states areThe canonical anticommutation relations make these states orthonormal for a normalized Clifford vacuum. In the helicity convention , its adjoint has . Thus the Clifford vacuum is the highest-helicity state andReversing the rotation convention reverses the displayed ordering and leaves all counts unchanged. The level- states form the exterior power , which explains the binomial coefficient. Summing the binomial coefficients gives the helicity spectrum of a massless supermultiplet:Each application of a fermionic raising and lowering operator reverses fermion parity. The even and odd levels each contain states, so a physical massless supermultiplet has boson and fermion states.
These formulas describe one irreducible representation of the massless Super-Poincaré algebra at fixed four-momentum. A reducible superalgebra representation can contain several such supermultiplets. Also, the CPT theorem sends helicity to and conjugates internal charges. CPT completion of a supermultiplet may therefore require a second -state supermultiplet, with highest helicity . A necessary condition for the original helicity spectrum of a massless supermultiplet to be self-conjugate is ; internal charges must also admit the conjugation in a realization compatible with the Spin-statistics theorem. Thus this helicity condition alone is not sufficient for CPT completion of a supermultiplet without doubling. In particular, the original irreducible count is not automatically the count after CPT completion of a supermultiplet.
For the conventional bounds on extended supersymmetry, suppose all massless states satisfy . The helicity spectrum of a massless supermultiplet occupies an interval of width , whereas the available interval has width . HenceAn ordinary four-dimensional renormalizable quantum field theory without gravity uses interacting massless fields of spin angular momentum at most one. Massless spin angular momentum requires supergravity, whose gravitational coupling has negative mass dimension and is a nonrenormalizable interaction by power counting in quantum field theory. Setting gives for conventional renormalizable theories. The bound is attained by four-dimensional N=4 super Yang-Mills theory: choosing givesfor its supersymmetric vector multiplet.
Allowing gravity permits , so for conventional theories including gravity. The four-dimensional N=8 supergravity supergravity multiplet attains the bound with :It has states, boson and fermion states. The conventional claim about a maximum “in general” assumes local interacting four-dimensional theories in Minkowski spacetime with a finite spectrum of fields and no massless spin angular momentum above two. It is not a theorem excluding arbitrary free higher-spin angular momentum constructions or all theories in other spacetime settings.
Finally, a chiral gauge spectrum means that the independent left-handed Weyl spinors occur in complex gauge group representations without obligatorily paired conjugate left-handed Weyl spinors. In four-dimensional N=1 supersymmetry, an irreducible matter supermultiplet with helicities can carry a complex gauge group representation . Its CPT completion of a supermultiplet supplies the right-handed antiparticle in , as every left-handed Weyl spinor requires; it does not supply a second independent left-handed Weyl spinor in . Consequently a chiral gauge spectrum is possible.
For , the matter hypermultiplet has helicities before internal charge conjugation. If it carries a complex gauge group representation , its CPT completion of a supermultiplet adds the conjugate hypermultiplet. Equivalently, the resulting full hypermultiplet contains two chiral superfields, one in and one in . These give a vectorlike gauge spectrum. Half-hypermultiplets can occur in pseudoreal representations, which also do not produce genuinely complex chiral gauge spectra. A supersymmetric vector multiplet has Adjoint representation, hence real gauge quantum numbers. Since every algebra contains an subalgebra, the same obstruction applies to greater extended supersymmetry.
Therefore a conventional chiral gauge spectrum is possible only for or . Here means no supersymmetry; among theories with actual supersymmetry, only qualifies. These are necessary structural conditions, not a guarantee that a chosen chiral gauge spectrum satisfies anomaly cancellation.
Past exam of the mathematics course of the University of Cambridge 2018 iii Paper 308 2 Solution Created 2026-10-03 Updated 2026-10-05
A collective coordinate describes a position, orientation, or another parameter of a family of static solitons. For a family , promote to a slowly varying and substitute into the field action. In a scalar theory with unit kinetic coefficient, this gives the collective-coordinate effective LagrangianFor a gauge-theory soliton, one also solves the Gauss law constraint in gauge theory constraint and projects out pure gauge transformations; arbitrary variations of gauge representatives do not define the physical metric. Tangent vectors to an exactly equal-energy family are zero modes in field theory. If is constant, the Euler-Lagrange equations of this moduli-space approximation arethe geodesic equations of its Riemannian metric. The approximation neglects radiation and deformation modes; it describes motion sufficiently slow that these omitted degrees of freedom remain unexcited to the required accuracy.
In collective-coordinate quantization, take the wavefunction measure and the minimal scalar Hamiltonian operatorThe Laplace-Beltrami operator supplies coordinate-invariant kinetic energy. Global identifications and statistics must be imposed on the wavefunctions; the classical metric alone does not choose them. Curvature-ordering terms and loop corrections are additional quantum input.
For the phi-four kink, use the normalization and profile of Question 1. Substituting givesThe metric is constant because of translation invariance. This proves the translational dynamics of a phi-four kink: classically the centre moves at constant velocity, and quantum mechanicallyPlane waves label the continuous translational momentum, with no position-dependent potential. Uniform-motion Lorentz invariance upgrades the dispersion to ; the displayed collective Lagrangian is its small-velocity expansion. Small perturbations also include an internal shape mode and continuum radiation, which this single collective coordinate omits. The fluctuation operator of a phi-four kink in this normalization isthe translational eigenfunction has , the shape mode has , and continuum modes in the spectrum start at . Thus the free-coordinate states describe the kink's low translational energies, not its full excitation spectrum or quantum mass correction.
For two Abelian Higgs vortices at critical coupling, the static energy is and the Abelian Higgs vortex moduli space has four real dimensions. Let be their positions, , and . The centre of mass decouples; the relative metric is rotationally symmetric and can be writtenAt large separation, , recovering two free particles. Although there is no static separation potential, the nonconstant metric produces velocity-dependent interaction. Coincidence is smooth in the relative coordinate for two identical vortices , not in the double-valued . Smoothness gives for near zero. A head-on geodesic continues through to the opposite real ray, so changes its line by : the vortices scatter through a right angle. This geometric argument does not require an explicit formula for .
With ordinary bosonic exchange statistics, relative wavefunctions are single-valued in and smooth at coincidence. In the separated polar coordinate they obey , with even integer angular labels. Their kinetic operator isThe apparent singularity at must be resolved with the smooth coordinate and regularity, rather than arbitrary boundary conditions on a punctured cone. The free centre-of-mass motion and the asymptotically free relative geometry give quantum scattering states; a flat static energy does not imply that the metric is flat or that scattering is absent. This is not a prediction of a discrete family of static two-vortex bound separations. The smooth collision geometry is developed in David Tong's arxiv.org/abs/hep-th/0509216.
For a Skyrmion of baryon number one, the Skyrmion hedgehog ansatz iswhere are the Pauli matrices. Include a centre and an orientation through . Hedgehog symmetry identifies spatial rotations with opposite internal rotations, so there are three independent orientation coordinates, not six. Since and give the same field, the physical orientation space is , with SU(2) group as its double cover. Write . The leading collective Lagrangian has the formwhere is the rotational moment of inertia obtained by integrating the profile's field kinetic energy.
For the fermionic quantization appropriate to baryons, the Finkelstein-Rubinstein constraints on the double cover impose . In SU(2) representations, the central element acts by , so must be half-integer. Left and right group actions supply isospin and spin angular momentum; hedgehog symmetry makes their magnitudes equal. The rotational quantization of a unit Skyrmion therefore givesThe level has four spin-isospin states and models the nucleon doublet, proton and neutron, each with two spin states. The level has sixteen states and models the Delta baryon quartet, each with four spin states. The rotor predicts a splitting . Without the fermionic sign, single-valued functions on would instead allow integer , which is a different quantization. High rotor levels can couple to deformation and pion radiation; this semiclassical approximation does not establish that its entire formal tower consists of stable particles.
Past exam of the mathematics course of the University of Cambridge 2019 iii Paper 305 1 a Solution 2026-10-03
In the mode expansion of a Dirac field, is the fermionic annihilation operator for a particle of four-momentum and spin angular momentum label , while is the fermionic creation operator for the corresponding antiparticle. The Dirac spinor is the positive-frequency particle wavefunction and is the negative-frequency antiparticle wavefunction; they solve and , respectively.
Past exam of the mathematics course of the University of Cambridge 2019 iii Paper 305 1 e Solution 2026-10-03
The operator is the relativistic fermion electric dipole moment operator. Its nonrelativistic limit contains : spin angular momentum is an axial vector, whereas the electric field is a polar vector. It is consequently odd under parity symmetry in quantum field theory. Both the pseudotensor fermion bilinear and the electromagnetic field tensor are odd under charge conjugation, so their product is even. ThereforeThe CPT theorem then makes it odd under time-reversal symmetry. Such an interaction can arise only from CP violation. The Cabibbo-Kobayashi-Maskawa matrix therefore induces a nonzero Standard Model electric dipole moment at sufficiently high loop order, but its flavor structure and loop suppressions make the result extraordinarily small.
Past exam of the mathematics course of the University of Cambridge 2019 ii Paper 3 35D Solution Created 2026-09-24 Updated 2026-10-03
The chemical potential is the change in internal energy when one particle is added at fixed entropy and volume:Equivalently, for the Helmholtz free energy.
Let a microstate have energy and particle number . Maximizing the Gibbs entropy subject to normalization and fixed mean values of and is the maximum-entropy derivation of equilibrium ensembles. With Lagrange multipliers , , and , varyThe stationarity equation is . Normalization therefore gives the grand canonical ensembleHere is the grand canonical partition function and is the Boltzmann constant.
For one fermionic quantum state of energy , the Pauli exclusion principle permits occupation numbers only . Its two grand-canonical weights are and , so its mean occupation is the Fermi-Dirac distribution
For a free nonrelativistic particle, . In a region of area , the number of wave-vector states in the annulus from to , including the two spin angular momentum states, isSince , the two-dimensional free-electron density of states is constant:
We now use units in which , as in the question. At zero temperature, the Fermi-Dirac distribution is a step function, and henceAt positive temperature the same fixed particle number satisfies the exact relationThusThis is the low-temperature particle-number cancellation for constant density of states. Therefore, for , the mean number of particles in the energy interval is
Finally, compare the internal energy with its zero-temperature value. The thermally excited particles above and holes below have equal leading particle numbers, so their terms proportional to cancel. With ,where the integral follows from the fermion-to-boson thermal integral ratio. Differentiation gives the linear low-temperature heat capacity of a two-dimensional Fermi gas:The requested power law is therefore linear in , with exponent one.
Past exam of the mathematics course of the University of Cambridge 2022 ii Paper 3 35A b i Solution Created 2026-09-24 Updated 2026-09-25
For an ultrarelativistic particle, . Including the two spin states of an electron, counting wavevectors in a sphere gives the density of statesThe grand canonical partition function of the ideal Fermi gas is thereforeSince the grand potential satisfies , integration by parts givesThusThis is the equation of state of an ideal ultrarelativistic gas.