Past exam of the mathematics course of the University of Cambridge 2003 iii Paper 49 1 Solution Created 2026-10-03 Updated 2026-10-14
Assume and . The minima of the scalar potential have . Choose the vacuum expectation value . Its stabilizer subgroup consists exactly of matrices with , soThe continuous spontaneous symmetry breaking is and has two broken generators. For the full orthogonal group, the cross-product notation requires the gauge connection to transform in the adjoint, as an axial vector: . The scalar field transforms as the ordinary vector . This axial transformation of orthogonal gauge connections makes the stated covariant derivative transform correctly even for ; assigning an ordinary-vector transformation to the connection would fail.
Near this nonzero vacuum, unitary gauge removes the two angular Goldstone bosons and gives . PutThese are the physical charged gauge bosons, neutral massless gauge boson, and radial scalar field. Directly substituting into the original gauge field strengths givesThe scalar field kinetic term has no radial-vector cross term, because and lie in perpendicular internal directions. The complete physical gauge-scalar Lagrangian becomesFor each real vector the mass term is , while for the complex pair it is . Hence the adjoint triplet Higgs spectrum isThe radial scalar also has in the question's potential normalization. The two lost scalar modes supply the longitudinal polarizations of the massive vectors through the Higgs mechanism.
For the lepton kinetic terms let , , and denote the left neutral triplet entry by . The missing singlet is the perpendicular combinationIts overall sign is immaterial. The real orthogonal matrix is orthogonal, so the sum of the kinetic terms of and is with no mixed terms. Combining with the right triplet gives ordinary Dirac field kinetic terms for , and only a left-handed kinetic term for the massless neutrino. This is orthogonal completion of mixed neutral lepton kinetic terms. The heavy charged field is , as printed in the PDF, not the TeX's .
To compute the charge commutator, the canonical anticommutation relations implyThe quartic terms cancel on reordering the fermions. Thus well-defined normal-ordered integrated bilinears obey fermionic bilinear charge algebra, . Left/right mixed commutators vanish since .
In either triplet, writeThe displayed current has a factor two relative to the projected bilinears, since . Consequently its charges are and . The neutral combinations have canonical anticommutators because . Applying the matrix commutator giveswhere is the electromagnetic charge in the lepton sector. The neutrino, heavy neutral lepton and singlet contribute zero. This establishes triplet charged-current closure on electromagnetic charge, with the requested proportionality independent of normalization choices for the weak Noether charges. The PDF correctly writes ; the TeX repeats incorrectly. Equal-time algebra does not require conservation of the separate fermionic weak currents after symmetry breaking. For full gauge-theory charges, the corresponding charged-boson contributions must also be included.
Past exam of the mathematics course of the University of Cambridge 2003 iii Paper 49 2 Solution Created 2026-10-03 Updated 2026-10-14
Use the source convention , with electric charge measured in units of the positron charge. Expanding the covariant derivative in the fermion kinetic term gives interaction . Substituting the given neutral-field rotation, the coefficient of isThe photon coefficient is , with . For a Dirac field, acts only on its left-handed component. ThusThe weak neutral current interaction consequently has the requested form, withThe electroweak representation and hypercharge table gives the following values for one generation:
These neutral-current vector and axial couplings use the source's vertex prefactor . They are twice the coefficients used with prefactor ; the latter convention must not be mixed into this calculation. For the neutrino, the chiral projector removes the inactive right-handed component automatically.
Set and suppress the species label. For outgoing momenta , the amplitude is, up to an irrelevant phase,The final-state spin sum is the Dirac trace of . Anticommutation of with the gamma matrices makes its symmetric partThe vector-axial cross term is proportional to the antisymmetric Levi-Civita symbol, so it contracts to zero with the symmetric massive vector polarization sum . Since , the symmetric tensor is transverse to as well. Only remains, andMultiplying by proves the massless fermion Z decay spin sum:
For the decay width, average over the three initial polarizations. Rotational invariance makes the integrated width the same for each initial spin state, so the massive-vector spin average is legitimate even for a single prepared polarization. In the rest frame, the delta functions in two-body Lorentz-invariant phase space leaveThis follows by setting and integrating ; the radial integration supplies a factor . HenceFor a quark species multiply by three colors, with strong-interaction radiative corrections when comparing with data. For one effectively massless active neutrino, , so .
The total resonance width contains visible charged-lepton and hadron decays plus . Thus the measured invisible contribution determinesEarly resonance measurements supported three light active neutrino species, with experimental uncertainties; the OPAL analysis of its 1989 data explicitly compares the three- and four-species predictions. Under the question's assumption that every possible family has a massless neutrino with ordinary weak couplings, this constrains the number of such families. The inference does not exclude additional neutrinos heavier than or gauge singlet sterile states with no ordinary coupling. This is light-neutrino counting from the Z width.
Past exam of the mathematics course of the University of Cambridge 2004 iii Paper 47 4 Solution Created 2026-10-03 Updated 2026-10-14
Choose a definite matrix convention: , , and . Matter transforms as , so gauge covariance requires . Applying both sides to a test field yields the Yang-Mills gauge transformationDefine the Yang-Mills field strength by :Conjugating the gauge covariant derivative commutator proves : unlike the connection, the gauge field strength has no inhomogeneous derivative term. The trace normalization supplies an invariant color metric; its Lie algebra structure constants with all indices lowered are antisymmetric.
For and , expand the finite transformations:In components this isA convention using the opposite matter transformation or gauge covariant derivative sign changes these signs consistently. The formulas above all follow from the explicitly chosen .
Gauge reduction and the determinant. A direct integral integrates repeatedly over gauge-equivalent configurations. The gauge group volume is infinite, and the ungauge-fixed quadratic operator has longitudinal zero directions, so it has no ordinary inverse quantum field theory propagator. Gauge-invariant observables require dividing out this redundancy rather than treating it as an ordinary physical fluctuation.
The finite-dimensional change-of-variables identity underlying gauge fixing is precise. Suppose a condition has one solution in the group-coordinate patch and its derivative matrix at the solution is nonsingular. ThenFor several isolated solutions it instead counts those solutions. On the slice, the Jacobian determinant can be factored into the reciprocal of the orbit integral of the delta function. An invariant measure and invariant integrand then allow the group volume to factor out. In the functional version, group coordinates carry Haar measure and the corresponding operator determinant replaces the matrix determinant.
For example, choose the Lorenz gauge . Its variation is . Hence on the gauge slice the Faddeev-Popov operator and Faddeev-Popov determinant areIts extension along each local gauge orbit yields the Faddeev-Popov gauge-orbit identityFor an unoriented finite-dimensional real integral the absolute determinant is required. In a perturbative gauge patch, its sign or phase is fixed and the constant convention is absorbed in normalization. Residual zero modes must be removed by boundary conditions or separate treatment. Multiple intersections, the Gribov ambiguity, prevent interpreting this as a globally unique gauge slice without additional work.
Insert the identity, change variables along the orbit using invariance of the action and measure, and divide out the common gauge group volume. Averaging with Gaussian weight produces the covariant gauge-fixed functionalThe added term makes the quadratic gauge-field operator invertible after the stated residual-mode treatment.
Ghost representation. For a finite matrix , the Grassmann Gaussian integral over independent anticommuting variables is proportional to its determinant:The constant is independent of and depends on ordering and factors of . The functional counterpart introduces Faddeev-Popov ghost fields and antighost fields , withIntegration by parts writes its density as , displaying a kinetic term and a gauge-field/ghost interaction. These are Grassmann-valued fields with scalar Lorentz transformation law. They represent the orbit Jacobian determinant; their closed loops carry the fermionic minus sign, and they are not physical asymptotic particles. In the abelian case , the determinant is gauge-field independent and the ghosts decouple. Nonabelian ghosts interact and are necessary for the consistent cancellation of unphysical gauge contributions.
Physical-state reduction. Let be the Hermitian BRST charge. Its key algebraic property is BRST nilpotence, , and the gauge-fixed dynamics preserves it. Physical states are its BRST cohomology at ghost number zero:Here has ghost number . BRST nilpotence ensures that exact vectors lie in the kernel, so the quotient is defined. Because is Hermitian, an exact vector is orthogonal to every closed vector, , and exact vectors are null, . They therefore represent no independent physical state. Commutation of with the Hamiltonian preserves these classes under time evolution.
The covariant gauge/ghost space before reduction has an indefinite inner product. This is essential: a Hermitian nilpotent BRST charge requires an indefinite auxiliary space if it is nonzero. On an ordinary positive-definite Hilbert space the same norm identity would force . Positivity of the resulting physical space uses the gauge-theory structure in addition to the abstract BRST nilpotence identities.
For a nonzero on-shell photon momentum, the one-particle conclusion isThe second relation preserves the first because . In four dimensions the transverse kernel has dimension three, and quotienting by its null longitudinal direction leaves two physical photon polarizations. This is the positive one-particle BRST cohomology of the photon sector.
Past exam of the mathematics course of the University of Cambridge 2005 iii Paper 54 2 Solution Created 2026-10-03 Updated 2026-10-14
Take and split the coordinates into along the branes and transverse to them. In conformal gauge the wave equation permits a separated mode with . For Neumann boundary conditions at both ends, selects and integer . The zero-frequency solution is independent of , with a constant position and a term linear in time. Therefore the open-string mode expansion isThe canonical momentum density integrated over this interval is .
For Dirichlet boundary conditions, subtract the static interpolation between fixed endpoint positions and . The remaining field vanishes at both ends, selecting with integer and excluding a momentum worldsheet zero mode. The expansion isHere . There is no factor in the sine series with this reality convention: changing to reverses both the sine and the denominator. These are the integer-mode expansion with parallel D-brane endpoints; they are not the half-integer modes of a coordinate with a Neumann condition at one endpoint and a Dirichlet condition at the other.
The endpoints can move on -dimensional worldvolumes but are fixed in the transverse directions. Thus these are open strings attached to D-branes, or stretched between parallel D-branes at and . The tangential momenta describe propagation on the brane; the transverse positions describe its embedding. Let . The linear spatial worldsheet zero mode contributes to . Quantization with string intercept one givesThe first term is also the square of the classical stretched-string energy , since the string tension is .
For two coincident D3-branes, label the ends of an oriented open string by . The four endpoint combinations give Chan-Paton factors , which form the full algebra of matrices. Under a change of brane basis these transform as , the adjoint action of . At , the first oscillator level is massless. Its tangential polarization supplies a four-dimensional vector , while the 22 transverse polarizations supply real adjoint scalar fields . This is the bosonic D3-brane low-energy field content.
The endpoint matrices multiply in their boundary order in disk amplitudes. The difference between the two orders in the three-vector interaction gives the matrix commutator; the kinematic factor is the one-derivative Yang-Mills theory cubic vertex. Factorization and the vector gauge redundancy then supply the quartic interaction with the same commutator. Equivalently, the leading low-energy action is the dimensional reduction of 26-dimensional Yang-Mills theory, withFor Hermitian scalar fields the last displayed term corresponds to a nonnegative potential, because their commutators are anti-Hermitian. Higher-derivative terms are suppressed at energies well below . Ignoring the tachyon, the gauge sector is four-dimensional Yang-Mills theory, accompanied by 22 adjoint scalar fields. It is not pure Yang-Mills theory, nor the supersymmetric six-scalar D3-brane theory of a ten-dimensional superstring.
Separate the two branes and use the D-brane scalar-position normalizationA Yang-Mills gauge transformation preserves this expectation value only when it is diagonal if . Thus the unbroken group is . The scalar field kinetic term supplies a mass for the off-diagonal vectors, sinceSumming over gives , exactly the mass of the stretched string. The two diagonal gauge vectors remain massless. This identifies brane separation with an adjoint Higgs mechanism, rather than an explicit deletion of the off-diagonal strings.
For the ground state of an open string joining the two different branes, , so the bosonic stretched-string tachyon threshold isAt equality it is massless, and above it the stretched ground state has positive mass squared. The same-brane ground strings still have ; this calculation removes only the stretched-string instability, not the original instability of the bosonic branes.
Past exam of the mathematics course of the University of Cambridge 2006 iii Paper 54 1 i Solution Created 2026-10-03 Updated 2026-10-14
Kaluza-Klein theory explains apparently four-dimensional physics as the low-energy limit of a higher-dimensional theory with compact spatial directions. In units , take a circle coordinate . A periodic scalar has the Fourier seriesSubstitution into its higher-dimensional kinetic term, followed by integration over , makes different Fourier modes orthogonal. The internal derivative contributes to the lower-dimensional squared mass, soThe quantized internal momentum produces the Kaluza-Klein tower. A real higher-dimensional field satisfies ; the tower does not introduce independent complex modes for both signs. More general compact spaces replace by Laplacian eigenvalues, with boundary conditions determining the spectrum.
At energies , nonzero Kaluza-Klein modes cannot be produced and may be integrated out, leaving a four-dimensional effective field theory. Dimensional reduction retains the zero modes at leading order; integrating out the massive modes also generates interactions suppressed by the Kaluza-Klein compactification scale. The higher-dimensional metric decomposes into a four-dimensional metric, vectors from mixed components, and scalar fields from internal components. For a circle, these include an Abelian gauge field and a radion. Internal coordinate shifts induce the vector's gauge symmetry, while the radion describes the radius. Pure circle reduction alone does not automatically give the chiral matter spectrum of the Standard Model.
The gravitational scale follows by integrating the Einstein-Hilbert action over an unwarped internal volume :Here is the reduced Planck mass. For equal circle radii, . The Planck mass from compactification volume relation allows weak four-dimensional gravity even when is much lower. A conventional metric-origin gauge coupling scales as , so an order-one coupling in that simplest construction tends to place near the gravitational length scale.
In the brane-world scenario, ordinary matter and its gauge fields can instead be localized on a three-dimensional spatial brane, while gravity explores the bulk. The absence of ordinary-matter excitations along the extra dimensions then permits larger radii than a model in which all fields propagate there. In large extra dimensions, gravity changes approximately from a potential for to a potential for . For illustration, of order a TeV and give of order mm; one extra dimension would require an astronomically large radius.
A warped Randall–Sundrum model usesFor the usual doubled orbifold interval, . The relevant lengths are the bulk curvature radius , the proper separation , and the inverse warped excitation scale, of order . Thus the first mass need not equal . Compact volume dilutes gravity; warping redshifts local masses. Both mechanisms require consistent field localization and radius stabilization; choosing a large radius or separation is not itself a dynamical explanation of it.
Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 53 3 Solution Created 2026-10-03 Updated 2026-10-14
Quark mixing arises because the up-type and down-type quark Yukawa matrices need not be diagonal in the same weak interaction basis. In the Standard Model the three left-handed quark doublets transform as under , whereas and transform as and . With a Higgs doublet and its conjugate , the gauge-invariant Yukawa interaction isThe generation indices are matrix-multiplied. Electroweak symmetry breaking, , produces and .
Each complex fermion mass matrix admits a biunitary diagonalization,where the diagonal entries are real nonnegative quark masses. Define and , and similarly for right-handed fields. The kinetic terms retain their canonical form because the transformations are unitary matrices. However, the weak charged current becomesThis unitary matrix is the Cabibbo-Kobayashi-Maskawa matrix. Its entries multiply transitions between up-type and down-type mass eigenstates. The minimal Standard Model has no analogous right-handed charged weak current.
Quark mixing does not introduce tree-level flavor-changing neutral currents. Photon, gluon and weak neutral current couplings are proportional to the identity within each fixed-charge quark sector, and . The single Higgs doublet also has diagonal neutral scalar field couplings after the same transformations that diagonalize the masses. At higher loop orders, flavor changes are possible. For example, an amplitude contains . Unitarity of the CKM matrix sets the sum of coefficients to zero, cancelling any mass-independent part. This is the GIM mechanism; mass splittings leave a suppressed, generally nonzero amplitude.
For generations a unitary matrix has real parameters: mixing angles and phases. Rephasing the up-type and down-type quark fields removes phases; a common baryon number phase leaves every matrix entry unchanged. Hence the physical numbers areTwo generations therefore give a real Cabibbo rotation,with strangeness-changing charged-current transitions suppressed by . Three generations have three mixing angles and one irreducible weak CP phase. This counting assumes nondegenerate masses; degeneracies allow additional basis rotations.
Writing and , a standard exact parametrization isComplex entries alone do not establish CP violation, because quark quantum field rephasings can change their phases. For nondegenerate quark masses the weak mixing sector conserves CP precisely when a basis makes real. A useful invariant test is the Jarlskog invariant,A nonzero requires all three mixing angles and a nontrivial phase. If two same-charge quark masses coincide, the additional basis freedom removes the corresponding physical CP effect. The possible QCD theta angle is a separate CP parameter, not part of this weak-mixing count.
The Wolfenstein parametrization displays the hierarchy of quark mixing economically. Put , , and . Expanding the exact matrix givesThe observed pattern is predominantly diagonal, with - mixing largest and -, - mixing successively suppressed. The expansion implies . The truncated matrix must not be treated as an exactly unitary matrix.
Column orthogonality givesThe three complex numbers form a CKM unitarity triangle, with area . Dividing by puts its vertices at , and , where . The barred parameters include higher-order corrections to the Wolfenstein parameters. Comparing independent measurements of its sides and angles tests both quark mixing and the absence of additional flavor dynamics.
Semileptonic decay rates determine magnitudes of CKM entries through factors once hadronic matrix elements are controlled. Neutral kaon and neutral B-meson mixing constrain products of entries through weak box scattering amplitudes. CP asymmetries probe their invariant relative phases, with kaon mixing providing indirect CP violation and decay amplitudes providing direct CP violation. These processes complement tests of the unitarity constraints on rows and columns. The minimal three-generation Standard Model describes weak quark mixing by a unitary matrix with three angles and one physical CP phase; it does not predict the Yukawa couplings or their hierarchy.
Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 53 4 Solution Created 2026-10-03 Updated 2026-10-14
There is a sign inconsistency in the printed model. For the ordinary cross product let . The vector triple-product identity gives . Consequently the printed has gauge curvatureIts gauge curvature cannot instead contain the printed negative quadratic term. For a noncommuting pure gauge potential for this gauge covariant derivative, whereas . Thus the printed gauge kinetic term assigns a nonzero value to a connection obtained by applying the gauge-field transformation law to the zero connection. Literally the printed action has global rotations but not the requested local triplet gauge symmetry. The cross-product convention for an adjoint covariant derivative makes the minimal repair explicit: change the gauge field strength quadratic term to a plus sign, retaining the printed gauge covariant derivative. Changing the sign in the gauge covariant derivative instead would be another consistent convention. The remaining calculation uses the first repair.
The corrected theory has local SO(3) gauge symmetry, equivalently the adjoint-field realization of the SU(2) Lie algebra; its adjoint scalar fields and gauge fields are insensitive to the center of a group of SU(2). Explicitly, andBoth and transform as triplets, so their dot products and the scalar potential are invariant. Assume , and take without loss of generality. For the minima have . Choose the scalar-field vacuum , whose stabilizer consists of rotations around the third axis: the residual gauge symmetry is SO(2), locally U(1).
In unitary gauge write , and . These are the neutral massless gauge field, two charged massive gauge fields and a real radial scalar field. DefineSubstitution gives and . The entire physical-field Lagrangian density is thereforeIn particular ; this directly verifies the scalar field kinetic and vector mass terms. Expanding the scalar potential gives . Comparing the quadratic terms with standard real scalar field and charged-vector mass terms yields the adjoint triplet Higgs spectrum,This also rewrites the purely vector interactions, which are already contained in the displayed gauge field strengths rather than omitted from the theory.
The original symmetry remains unbroken at . The unique minimum is then , with three massless gauge fields and three massless real scalar field components; the quartic scalar field interaction remains. The physical degrees of freedom number . At the two broken generators supply two Goldstone bosons, eaten to give longitudinal gauge-boson polarizations of the charged vectors. The physical count is : two massive vectors, one massless vector and one radial scalar field. The scalar components eaten in unitary gauge are not additional physical particles.
For the broken phase all interactions containing the physical scalar field areMultiplying interaction coefficients by and differentiating with respect to the external fields includes the identical-field factorials. The scalar vertices of an adjoint triplet Higgs model areFor example, the rule contains , whereas the rule contains only from its two identical scalar fields. There are no or vertices: the radial scalar field is neutral under the residual U(1). There is no derivative scalar-vector vertex in this physical spectrum in unitary gauge.
All physical-scalar interaction vertices in the broken triplet Higgs model, with the unbroken-phase scalar vertices shown below; dashed lines are scalars and wavy lines are vectors
. Details. For completeness, if the unbroken phase is chosen, its physical scalar fields are the three components , not a single radial . Expanding its gauge-covariant kinetic term givesWith all momenta incoming and Fourier transform convention , the three unbroken-phase rules areThe first rule follows by differentiating once on each possible scalar: for , the interaction is , which fixes the momentum sign. The remaining rules follow from the quadratic gauge interaction and . There are no unbroken-phase cubic scalar field Feynman vertices.
Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 55 1 Solution Created 2026-10-03 Updated 2026-10-14
The hierarchy problem concerns the enormous separation between the electroweak scale and a possible fundamental ultraviolet scale such as the reduced Planck mass: whereas . For an elementary Higgs field, heavy states or a physical high-energy ultraviolet cutoff generically generateHere represents the appropriate dimensionless couplings. Maintaining a small physical Higgs mass then requires a very accurate cancellation against its bare mass parameter. The problem is sensitivity to actual high-energy physics, rather than merely the presence of a quadratic divergence in one choice of regulator.
The cosmological constant problem concerns the much smaller gravitationally observable vacuum energy. In the Einstein equation, a constant term in the effective action contributes to the cosmological constant, with in the usual normalization. Generic zero-point contributions scale as , and vacuum transitions also change . The dark-energy density is only of order . The puzzle is why the total remains so small despite much larger individual contributions. A constant shift of the nongravitational Hamiltonian cannot remove its gravitational effect.
Supersymmetry relates bosonic and fermionic degrees of freedom, including their interactions. Their opposite loop signs cancel the quadratic contributions to a scalar field mass in the unbroken theory. With soft supersymmetry breaking, the surviving correction is controlled by the mass splitting, schematicallyThus a sufficiently low soft-breaking scale protects a small electroweak scale against a much higher ultraviolet scale. This is the useful supersymmetric response to the hierarchy problem.
Exact global supersymmetry also cancels vacuum energy: the supersymmetry algebra expresses the Hamiltonian as a positive sum of anticommutators, so a vacuum annihilated by every supercharge has zero energy. Equivalently, with canonical kinetic terms,vanishes in a supersymmetric vacuum. However, ordinary particles and their superpartners cannot have the identical mass spectrum of unbroken supersymmetry, so a useful phenomenological theory needs supersymmetry breaking. Its vacuum energy is generically of order the fourth power of the breaking scale; even a scale of order gives about , enormously above the required value. In supergravity, a negative term can cancel positive breaking contributions:but arranging a tiny residual is a new tuning. Consequently supersymmetry can protect the hierarchy after soft breaking, while its exact vacuum-energy cancellation does not by itself survive realistic breaking.
One higher-dimensional proposal uses large extra dimensions. Take flat compact dimensions of common radius , with gravity propagating in the bulk and Standard Model fields confined to a four-dimensional brane. Reducing the gravitational Einstein-Hilbert action givessoA fundamental gravitational scale near a TeV then produces apparently weak four-dimensional gravity through dilution into the large compact volume. For and , is about , using . At distances much smaller than , the gravitational potential scales as ; at distances much larger than it scales as . Confining charged Standard Model fields to the brane avoids a light tower of charged Kaluza-Klein modes associated with the large radius. The primary explanatory challenge is radius stabilization: one must generate and stabilize , rather than simply postulate a huge volume and transfer the original hierarchy into a modulus.
A second proposal is the Randall–Sundrum model. Compactify on an interval, equivalently an orbifold with branes at and , and use the warped metricA negative bulk cosmological constant and suitably related brane tensions support this geometry. Integrating over the full orbifold interval givesFor a scalar field on the brane at , its induced metric gives the kinetic coefficient and mass coefficient . The canonical field is , henceWith and of the same fundamental order, an exponent -- converts a fundamental mass into a weak-scale mass, without requiring a large proper compactification volume.
Again the separation must be selected dynamically. The original warped solution leaves a massless radion, so merely choosing does not complete the explanation. For example, the Goldberger–Wise stabilization mechanism introduces a bulk scalar field with boundary values and a small mass . Its static equation and solution areFor small backreaction and large , the leading radius-dependent potential is proportional to . Its leading minimum obeys , so a modest boundary-value ratio and a small can give the required exponent. Corrections and the residual four-dimensional cosmological constant must still be controlled. Both proposals need a stable dynamical origin for the compactification geometry; their volume or warp relations alone do not supply it.
Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 55 2 Solution Created 2026-10-03 Updated 2026-10-14
Use the canonical chiral-superfield component expansion in chiral coordinates, with . Multiplication of the Grassmann variables givesFor example, the two linear-in- factors in contribute , while each of the three choices of the remaining scalar in gives the same contribution. Thus the required F-term isAdding its Hermitian conjugate and the canonical term eliminates the auxiliary field through and yields the F-term scalar potentialIt is nonnegative, and for its absolute minima are and , each with zero energy. They coincide when . If , only is a minimum; if , every is a minimum. These exhaust the local minima as well: at any other stationary point forces ; for this is , whose quadratic variation has opposite signs in two real directions and is a saddle.
Expand around , writing . The scalar potential and fermionic terms areThe canonical kinetic term is . Its quadratic potential is , while the Weyl fermion has mass . HenceAt the other minimum, , so the same mass equality holds. The quartic and Yukawa interaction are both fixed by : defining and givesThis is the supersymmetric relation between quartic and Yukawa couplings. The printed equality of the two couplings refers to their common supersymmetric origin; literal equality of the conventional coefficients and is not true for arbitrary . If instead the Yukawa term is defined as , then and .
To establish perturbative superpotential non-renormalization, use a Wilsonian effective action with a fixed positive infrared cutoff, so integrating out modes does not introduce massless infrared singularities. Promote to nondynamical chiral superfields, or spurions. The holomorphic superpotential depends holomorphically on , not on their complex conjugates. Assign an ordinary charge and an R-charge byThe superspace coordinate has , so has charge and must have R-charge . Both original monomials satisfy the two selection rules. A holomorphic perturbative monomial must obeywhich gives and . Equivalently,The nonnegative integer follows from perturbative analyticity in . Regularity as at the fixed Wilsonian cutoff excludes , which would require negative powers of . The remaining quadratic coefficient is fixed to by the free theory at . The coefficient is : a three-point contribution at first order in has just one cubic vertex, uses all three legs externally, and cannot contain a loop. A loop correction would require additional interactions, whereas the selection rules and holomorphy have already excluded the corresponding monomials. ThereforeThis proof concerns the local Wilsonian superpotential. The Kähler potential can acquire a wave-function factor , and canonical normalization changes the couplings to and . Such running, and nonlocal infrared terms in a one-particle-irreducible action, do not contradict the holomorphic result.
Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 55 3 Solution 2026-10-14
Assume global four-dimensional N=1 supersymmetry with canonical kinetic terms and no explicit gaugino mass. Write and . To match the displayed stationarity equation, use ; this differs by a minus sign from the eliminated auxiliary field in the component convention of Solution 2. The real D-terms are , with Hermitian gauge generators. A constant Fayet–Iliopoulos term is permitted only for an appropriate Abelian factor. The scalar potential isDifferentiate with respect to , holding independent:Thus stationary point conditions gives the first requested identity. Gauge invariance of the superpotential gives . Conjugating it and using Hermiticity gives , the second condition in the form needed below.
At the vacuum, define and . The two conditions combine asHere the upper equation is stationarity and the lower equation is conjugated gauge invariance. The chiral-superfield fermion mass matrix contributes , and the gauge Yukawa interaction contributes the mixed chiral-fermion/gaugino bilinear. With canonical Weyl fermion and gaugino kinetic terms, and choosing the gaugino phase to put the mixed bilinear in real-sign convention, these terms areThe factor is important: the matrix directly acting on the printed is the same mass bilinear with rescaled gauginos, rather than literally the canonical matrix. In detail, for ,Since supersymmetry breaking makes this vector nonzero, there is at least one zero mass eigenvalue. A normalized massless fermion isWith the consistent gaugino phase, the inhomogeneous vacuum supersymmetry transformation of is proportional to the same vector . Therefore shifts by a nonzero constant times the transformation parameter: it is the Goldstino, the Goldstone fermion of broken global supersymmetry. The argument guarantees at least one Goldstino zero mode, not the absence of other massless fermions.
For the second calculation, first take only canonical chiral superfields and F-term breaking. At a stationary vacuum , let , andThese follow by differentiating twice. The quadratic scalar potential isThe doubled scalar mass matrix has blocksTransforming to the canonically normalized real components of preserves its trace, so the sum of real scalar mass squares is . The Weyl fermion mass squares are the eigenvalues of and their sum is . Each Weyl mass eigenstate has two physical spin states. The printed supertrace has scalar sign and fermion weight , henceThe frequently used boson-minus-fermion definition has the opposite overall sign and gives the same zero. The mixing block can split scalar masses but cannot change this trace. This proves the tree-level supertrace mass sum rule; it uses canonical kinetic terms and a renormalizable global theory, rather than a general supergravity or noncanonical effective theory.
In the MSSM, trying to make all squarks and sleptons heavy through direct canonical tree-level F-term breaking encounters this constraint. In an unbroken electric-charge and color sector, the scalar mass-squared trace is twice the trace for its ordinary fermionic partners. More explicitly, take a unit vector minimizing . For , choose so that . The curvature along this real scalar direction is then at most , so at least one scalar mass square is no larger than the smallest fermion mass square in that sector. For one isolated pair the scalar masses are . Thus light quarks can force an unacceptably light squark, or a tachyon, under these assumptions. A hidden supersymmetry-breaking sector with mediation produces effective soft supersymmetry breaking; radiative effects, noncanonical kinetic terms, or supergravity can change the assumptions and allow a viable spectrum. The trace over an arbitrary enlarged theory alone would not locate the light state in the visible sector; the MSSM conclusion uses the conserved-charge block structure.
Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 55 4 Solution Created 2026-10-03 Updated 2026-10-14
Use an unfluxed toroidal zero-mode dimensional reduction, with no projection removing fields. A ten-dimensional gauge field has physical polarizations per gauge generator. Its Majorana-Weyl spinor partner has sixteen real components before the massless equation, and eight propagating fermionic states. Thus ten-dimensional super Yang-Mills theory has sixteen real supercharges and eight bosonic plus eight fermionic states per generator.
Split the spacetime index as , with and six internal directions. The zero modes of become and six real adjoint scalar fields . The spinor representation decomposes under into four four-dimensional Weyl spinors; the Majorana condition supplies their conjugates rather than independent additional spinors. All sixteen supercharges survive, giving four-dimensional N=4 super Yang-Mills theory. The supermultiplet is therefore one gauge vector, four Weyl gauginos and six real scalars, all in the Adjoint representation, with bosonic and fermionic states. The internal acts as R-symmetry, with the scalars in its six-dimensional representation and the Weyl gauginos in its four-dimensional representation.
Since the internal derivatives vanish, the internal Yang-Mills field strength is in a Hermitian-generator convention. The internal part of the gauge kinetic term becomes the scalar potentialHere the invariant trace is normalized by and ; the coupling and scalar kinetic terms use the same normalization. The sum includes both orders of each pair. For Hermitian , the commutator is anti-Hermitian, so equivalently . It is nonnegative and vanishes exactly when all six adjoint scalars commute. This gives the classical vacuum moduli space of a supersymmetric gauge theory.
Interpret as a massless three-form gauge field, with transformation and kinetic term built from . The massless p-form gauge field count is an on-shell count, rather than the raw tensor components. For a null plane wave, gauge transformations remove the components along the null gauge direction, while the field equation removes the complementary longitudinal components. The independent polarization is consequently an antisymmetric tensor on the transverse directions. ThusThis argument incorporates the redundancies in the two-form gauge parameter; subtracting once from would not do so.
Let and split indices into four-dimensional and internal ones. The toroidal reduction of a p-form gauge field gives one , two-forms , vectors and scalars . A massless three-form in four dimensions has no local propagating state; each massless two-form has one, each vector two and each scalar one. The two-form state can equivalently be represented by a scalar using massless p-form duality: its three-form field strength satisfies . ConsequentlyThis verifies the required matching, including where the count is . The nondynamical four-dimensional three-form can carry a constant flux parameter, but that is not an additional propagating degree of freedom.
Eleven-dimensional supergravity contains the metric , a three-form and a Majorana gravitino . The massless graviton is a symmetric traceless tensor of the nine-dimensional transverse rotation group, giving states. The three-form gives . The gravitino is a gamma-traceless transverse vector-spinor: a spinor representation of has sixteen real components, so it gives states. Hence the eleven-dimensional balance is bosonic states and fermionic states.
Reduction on a circle yields type IIA supergravity, with thirty-two real supercharges and opposite ten-dimensional chiralities. The metric decomposes into the ten-dimensional metric, the Kaluza-Klein vector and the radius scalar, or dilaton. Their counts are . The three-form gives a ten-dimensional three-form and a two-form , with states. The eleven-dimensional Majorana spinor decomposes into two opposite-chirality Majorana-Weyl spinors. The external gravitino components give two gravitini, each with states; the internal component supplies two spin-one-half dilatini, each with eight states. ThereforeThe two-form is in the NS--NS sector and the one-form and three-form are the Ramond--Ramond potentials. This reduction is nonchiral IIA rather than IIB.
Reduction on a seven-torus yields four-dimensional N=8 supergravity, again preserving thirty-two real supercharges. From one gets one graviton, seven vectors and scalars , giving states. From one gets a nonpropagating four-dimensional three-form, seven two-forms, vectors and scalars, giving states. Dualizing the seven two-forms to scalars gives the familiar field contentThe gravitino reduces to eight four-dimensional Majorana gravitini and spin-one-half Majorana fermions, after the external gravitini are separated from their gamma-trace mixing with the internal components. Their count is . Together these fields form the single maximal supergravity multiplet.
Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 57 1 Solution Created 2026-10-03 Updated 2026-10-14
The Noether gauging procedure begins with a rigid symmetry parameter . Replacing it by leaves in the action variation a term proportional to . Introduce a gauge field whose variation contains and couple it to the Noether current to cancel that term. The new coupling produces further variations, so both the action and transformation laws are corrected successively in the coupling constant until local invariance is obtained. Covariant derivatives organize this iterative completion.
For the Wess–Zumino model, the parameter is a spinor and the current is the supercurrent. Its derivative part has the structure , up to the fixed Majorana spinor normalization and improvements. The gauge field is the spin- gravitino , with leading transformation . A coupling of to that current cancels the derivative of the local parameter. Since the commutator of two local supersymmetries includes a spacetime transformation, the vierbein and gravity must participate as well. This gives the Wess-Zumino chiral multiplet coupled to supergravity.
The terms displayed in the final expression have the following distinct roles:
- The scalar field kinetic term acquires the invariant volume density and the inverse metric tensor. For a Lorentz scalar the spacetime covariant derivative is just its ordinary derivative; the metric contraction is what changes from the rigid theory.
- The Majorana spinor kinetic term uses curved gamma matrices and the spinor covariant derivative. The factor one half avoids double counting the real Majorana degrees of freedom. The spin connection makes the term locally Lorentz covariant.
- The curvature term is the Einstein-Hilbert action, with gravitational coupling . Its variation cancels the curvature terms generated when covariant derivatives are commuted in the gravitino variation. Its sign follows the source's curvature and metric conventions.
- The gravitino kinetic term is the curved-space Rarita-Schwinger field action. It supplies the dynamical gauge field needed to localize supersymmetry, just as a gauge-field kinetic term accompanies an ordinary gauging.
- The term of order is the gravitino–supercurrent coupling. Its scalar factor must be differentiated: in standard notation it contains . The glyph rendered as before the parentheses in the source formula must be read as a slashed derivative, or corrected to one; the undifferentiated scalar product would not be the free Wess–Zumino model supercurrent.
- The order- term bilinear in gravitini couples their chiral current to the scalar field phase Noether current .
- The remaining order- term couples the matter axial current to the same .
The last two interactions are part of the higher-order local supersymmetry completion. They can be organized through the composite Kähler connection in the fermion derivatives, or derived by eliminating the corresponding supergravity auxiliary connection. Matter fermions and gravitini carry the appropriate chiral Kähler weights, fixing the relative current couplings. They are not new adjustable Yukawa interactions. In reading this organization, one must not include the composite connection in and then count its separately displayed current terms a second time.
Finally the spin connection itself acquires gravitino-induced torsion and matter spin-current contributions. Eliminating this algebraic connection, or solving for auxiliary fields, can make further fermion contact terms implicit in the chosen covariant derivatives and component convention. The key mechanism is current coupling at first order, followed by the covariant and higher-order terms required by local supersymmetry, rather than merely changing ordinary derivatives in the original matter Lagrangian.
Past exam of the mathematics course of the University of Cambridge 2008 iii Paper 51 1 Solution Created 2026-10-03 Updated 2026-10-14
Use units . The fluctuations about a classical path satisfy . Expanding the action functional and integrating the term by parts givesThe linear term vanishes by the Euler-Lagrange equation and the endpoint conditions. Integrating the quadratic kinetic term by parts yields the Dirichlet fluctuation determinant of a semiclassical propagator:A finite time-slicing first turns this into a product of ordinary Gaussian integrals, whose limit is proportional to . A useful normalization relative to the free operator isThe oscillatory square root is fixed by the short-time limit and the Feynman i-epsilon prescription. Away from zero modes this gives the semiclassical propagator; if several classical paths contribute, their saddle contributions are summed with their corresponding determinant phases.
For a general potential the prefactor depends on the endpoints through ; writing only suppresses that dependence. If , the Taylor expansion has no terms beyond quadratic and is independent of . The Gaussian functional integral is then exact, and its prefactor genuinely depends only on and the potential parameters. Singular focusing times are understood by continuation of the kernel, rather than by assigning a finite value to a zero-mode determinant.
For the free-particle propagator, and . The free determinant supplies the factor . Its normalization can also be checked by the momentum-space representationwhere completing the square evaluates the Gaussian integral and the short-time limit gives the position-space delta function.
For the gravitational potential, the original PDF contains ; the TeX aid drops the final . The Euler-Lagrange equation is , and its endpoint solution isSubstitution into the kinetic and potential terms givesSince , the fluctuation operator is the free one. Thus the quantum-mechanical propagator in a constant force is exactly
The quantum-mechanical propagator is , with Hamiltonian operator . For imaginary time , insert an orthonormal complete set of energy eigenstates to obtainHere . This discrete sum assumes a discrete complete spectrum; continuous spectral components require the corresponding spectral integral. The heat-semigroup expression is well defined for an appropriate self-adjoint Hamiltonian bounded below. It is this spectral condition, not an unrestricted formal rotation for every conceivable potential, that justifies the imaginary-time kernel.
A path on the circle lifts to a path on the real line ending at , where the integer is its winding number. The periodic quantum theory sums all these winding sectors with equal weight, giving the real-time winding representation of a quantum rotor kernel. For imaginary time, put and in the supplied Gaussian summation identity:Comparison with the spectral expansion determinesThe normalization uses . The ground state is nondegenerate; levels with have the degeneracy . Returning to real time replaces by , with the usual limiting prescription. No twisted boundary condition or flux phase is present in the stated image sum.
