Past exam of the mathematics course of the University of Cambridge 2001 iii Paper 65 3 Solution Created 2026-10-03 Updated 2026-10-14
Take canonical kinetic terms, gauge coupling , and define the Fayet–Iliopoulos term by . If is the scalar component of the charge- chiral superfield, the relevant auxiliary field Lagrangian isThe algebraic equation eliminates and gives the D-term scalar potentialSince the superpotential vanishes, . In a homogeneous vacuum, the supersymmetry transformation of the gaugino includesThus gives an inhomogeneous shift: no nonzero constant supersymmetry parameter leaves this vacuum invariant. The gaugino is the goldstino, because it is the field shifting under the broken supercharge; there is no contribution here.
For , minimizing over separates three cases. If , the allowed value gives : supersymmetry is unbroken while the internal gauge symmetry is Higgsed. If , the unconstrained zero of would have negative , so the minimum is with and . If , the minimum is supersymmetric. Consequently, with this explicitly stated sign convention,Reversing the sign used to define the Fayet–Iliopoulos term reverses the printed sign criterion, not the physics. If , the scalar is decoupled and flat: any still breaks supersymmetry through , but the charged-field criterion does not apply.
On the broken branch, expand about :Writing gives both real scalar modes the squared mass . There is no superpotential fermion mass and no vacuum expectation value to induce gaugino–matter-fermion mixing. The Abelian gauge symmetry is unbroken, so its vector is also massless. The complete mass spectrum of single charged-field D-term breaking isThe original chiral multiplet therefore has the squared-mass splittingThe original vector multiplet has zero mass splitting, although the nonzero means it is not an unbroken-supersymmetry representation. As a check, the tree-level supertrace mass sum rule gives when the two real scalar degrees of freedom are counted. On the broken branch all the propagating fields are massless.
There is a necessary scope qualification: one nonzero-charge Weyl fermion has an Abelian cubic gauge anomaly proportional to and a mixed gravitational gauge anomaly proportional to . These are the classical vacuum and spectrum calculations requested by the model; a consistent quantum gauge theory needs an anomaly-cancelling completion, whose additional matter must also be included in its vacuum analysis.
Past exam of the mathematics course of the University of Cambridge 2001 iii Paper 65 4 Solution Created 2026-10-03 Updated 2026-10-14
Keep the PDF's hypercharge signs, which are the negatives of the frequently used convention. Write for the displayed chiral superfields. Their gauge group representations are conjugate right-handed-matter representations; their Weyl spinor components are left-chiral charge conjugates. Thus assign baryon number , , and lepton number , , with both Higgs fields neutral under . The corresponding electromagnetic convention is .
Let contract the two weak doublets, and use the color Levi-Civita symbol for three color antitriplets. The most general homogeneous cubic superpotential with right-handed-neutrino superfields separates as , whereandRepeated generation and color indices are summed. The four Yukawa coupling matrices are arbitrary. The weak and color contractions imply and , while is completely symmetric. The terms have ; has ; and have respectively . Their conjugate interactions have the opposite changes. All four Yukawa terms preserve both numbers; all five remaining types violate at least one. In particular, the neutral fields printed in the PDF require both and terms.
For completeness of this list, a cubic color gauge-invariant can contain a – or – pair and one colorless doublet, or three color antitriplets. Vanishing hypercharge gives , , and . Three doublets have no weak singlet. Among colorless terms, two doublets and a singlet give , , and ; the apparent contraction vanishes since the identical bosonic superfields commute. Three singlets yield only . This also explains why no omitted cubic monomial is available. The word cubic excludes the linear term and the quadratic , , terms; these are separate possible terms in the full renormalizable superpotential.
To demonstrate squark-mediated proton decay, take and with or . Identical down-flavor indices would make vanish. Both interactions couple to the same scalar of mass . Suppressing overall convention-dependent vertex signs, their relevant two-component fermion bilinears areThe color index on is contracted with that on ; Lorentz spinor indices within each bilinear are contracted too. Together with , its algebraic equation at momenta small compared with gives . Substitution gives , whose cross term is the four-fermion matching for squark-mediated proton decayIts electron term contains three quark fields of flavors and a lepton, and changes baryon number and lepton number together. The Hermitian-conjugate terms describe both orientations of the process. The hadronic matrix element of the three-quark proton-decay operator between a proton and a neutral pion has the right quantum numbers and is not forbidden by a remaining symmetry. Hence the operator permits : the lepton field creates the positron and the three-quark matrix element connects the proton to the pion. This supplies the mechanism rather than merely naming the two violating interactions.
Each fermion field has mass dimension , so this effective operator has dimension six and coefficient . By dimensional analysis its contribution to the decay rate has the formHere collects phase space, running and the dimensionless hadronic factor; a dimensional estimate takes it of order unity rather than pretending to calculate a strong-interaction matrix element. Assuming this exchange dominates and there is no tuned cancellation, the supplied lifetime gives the proton-lifetime bound on a product of R-parity-violating couplingsThe last estimate uses and . Keeping instead changes to about . A numerical limit independent of the squark mass or hadronic factor is not determined by the supplied data.
Finally, matter parity is : all matter chiral superfields, including , are odd, and the Higgs chiral superfields are even. R-parity of a component field is . In a superpotential, the spin factor is irrelevant to the allowed monomials: each of has two odd matter factors and is even. Each of has three odd matter factors, and has one, so all are odd and forbidden. Higgs vacuum expectation values are even; the allowed Yukawa interactions therefore still generate ordinary fermion masses.
R-parity forbids all the baryon/lepton-number-violating cubic terms above, not every possible violating operator. In particular, is even under matter parity but changes lepton number by two: matter parity allows Majorana neutrino masses. Thus the literal unrestricted claim would be false for these very fields; its valid cubic interpretation gives precisely the requested exclusion while preserving the Yukawa coupling mass terms.
Past exam of the mathematics course of the University of Cambridge 2003 iii Paper 48 2 a Solution Created 2026-10-03 Updated 2026-10-14
Use a real scalar field and Minkowski action , with the vacuum selected by a Feynman propagator pole prescription or adiabatic vacuum boundary conditions. The normalized correlation functions areHere is the interacting vacuum and denotes time ordering. These are the canonical vacuum expectation values, rather than unordered products of noncommuting fields. The functional integral formula assumes a regulated measure and the same vacuum prescription on both sides.
Couple an external source linearly to the scalar field and choose the normalized vacuum generating functionalThen functional derivatives insert the fields:In the convention used below, the connected generating functional isThe logarithm removes products of disconnected components. For example the connected correlation function ; at three points one subtracts all three products and adds . Normalization has already removed vacuum bubbles.
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 2004 iii Paper 48 1 Solution Created 2026-10-03 Updated 2026-10-14
Work with canonically normalized real components of the scalar field; a complex representation can first be written in terms of its real and imaginary components. At a vacuum expectation value , expansion of the scalar potential givesThe linear term vanishes by stationarity. Thus the scalar mass matrix is the Hessian matrix of the scalar potential. Invariance under each Lie algebra generator gives the identity . Differentiating this identity with respect to and evaluating at the stationary point removes the term containing , leavingThe kernel of the map is precisely the Lie algebra of the stabilizer subgroup H. Consequently its restriction to a complementary space of broken Lie algebra generators is injective: a linear combination that annihilates would belong both to the stabilizer algebra and its complement, and hence would vanish. There are therefore independent Goldstone directions in the scalar mass matrix, tangent to the vacuum manifold. There are symmetry-protected massless scalars.
This Goldstone theorem guarantees at least that many zero quadratic masses. The claim that these are all the massless scalars additionally requires nonzero curvature transverse to the vacuum orbit. For example, , with , has an ordinary spherical vacuum manifold but its entire Hessian matrix vanishes there. These accidental massless radial modes beyond Goldstone modes are not excluded by the hypotheses. For the indicated orthogonal group breaking, the protected number is
For the Higgs doublet, put and wherever . If , thenThis explicitly exhibits the three angular coordinates as an SU(2) transformation of a real radial field. In particular, the polar coordinates for the electroweak Higgs doublet can locally be chosen in the formAt the vacuum the three variations generated by , , and acting on are independent over the reals. They span the three broken directions; the remaining generator annihilates the vacuum. This proves that the exponential supplies local angular coordinates. An inverse local gauge transformation, applied also to the gauge fields, removes these three fields in unitary gauge. They supply the longitudinal polarizations of the massive W bosons and Z boson through the Higgs mechanism. The parameterization is local about a nonzero vacuum, rather than a coordinate system through every possible zero of the Higgs doublet.
Use the metric and define the charged W bosons and neutral gauge fields bywhere , , and . Direct substitution into the gauge-covariant kinetic term givesand henceThe electroweak doublet gauge-boson mass matrix in the basis isIts normalized zero direction is and its massive direction is . Thus the scalar-vector terms in physical fields arewith the tree-level electroweak gauge-boson massesThese are also charge eigenstates. The unbroken U(1) gauge symmetry has generator ; on the Higgs doublet, . Since , the combinations have charges , while Z, the photon, and H are neutral. The photon disappears from the displayed scalar-vector terms because . The photon is massless and has no direct tree-level coupling to the remaining radial scalar in this sector. This does not remove its interactions with charged W bosons, or exclude a scalar-to-photon interaction generated by loops.
Finally, retain the printed normalization of the Higgs field potential:The kinetic term is , so the Higgs radial mass for a half-normalized quartic potential is . The extra factor of two familiar from a potential with prefactor , rather than , does not apply here.
Past exam of the mathematics course of the University of Cambridge 2006 iii Paper 52 2 Solution Created 2026-10-03 Updated 2026-10-14
A useful model of spontaneous breaking of a Z2 scalar symmetry is the four-dimensional real scalar theoryThe action is invariant under the Z2 symmetry . Its classical vacuum manifold consists of the two values . In the broken quantum phase, choose a pure vacuum with ; the symmetry maps it to a different vacuum with opposite expectation value, although it leaves the action unchanged. To distinguish quantum symmetry breaking from simply minimizing a classical potential, introduce a small source and take the infinite-volume limit before . A finite-volume symmetry-preserving ground state can remain an even superposition because of tunneling, whereas the selected infinite-volume pure vacua have nonzero vacuum expectation values. The parameter below is the tree-level expectation, with its quantum value determined by renormalized parameters.
Writing givesThe original sign symmetry relates expansions about the two vacua; in one expansion it acts as . It is not a symmetry that fixes the chosen vacuum. Since the broken group is discrete, there is no continuous broken generator and no required Goldstone boson.
With relativistically normalized external states, the general two-body partial decay width isHere the bar sums final spins and averages initial spins only if the initial ensemble is unpolarized. The identical final-state symmetry factor is for two identical daughters and one for distinguishable daughters. Integrating the three-momentum delta function in the parent rest frame leaves . The energy delta function fixes and has radial Jacobian . Hence the two-body decay phase space isConsequentlywhen the spin-summed amplitude is angle independent.
For Higgs decay to two W bosons, the scalar parent has no spin average and the amplitude, up to an irrelevant phase, is . Use the massive vector polarization sum with :Momentum conservation gives . With the PDF's ratio , this becomesThe charged daughters are distinguishable. Combining the last two equations with givesFor Higgs decay to two Z bosons, the Higgs boson coupling to Z bosons is , using . This compensates the changed powers of in the polarization contraction, giving the same normalization of the squared amplitude with replaced by . The two Z bosons are identical, so the phase-space symmetry factor supplies an additional half:Both expressions have mass dimension one, vanish at their two-body thresholds and approach the ratio for . The cubic large-mass behavior comes from longitudinal-vector polarizations. These are on-shell tree-level widths under the stated heavy-Higgs hypothesis; below threshold the physical off-shell multi-particle decays require a different calculation.
Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 50 2 a Solution Created 2026-10-03 Updated 2026-10-14
The normalized Fock vacuum obeys for every momentum and . Taking adjoints gives . Of the four products in the mode expansion of , only has a nonzero vacuum expectation value. The commutator impliesConsequentlyThis unordered Wightman function differs from the time-ordered Feynman propagator when the temporal ordering is reversed.
Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 62 3 d Solution Created 2026-10-03 Updated 2026-10-14
In the incoming Bunch-Davies vacuum, only contributes to the coincident vacuum expectation value. ThusReplacing the box sum by givesThe subhorizon vacuum contribution is the flat-space zero-point term; at fixed comoving it redshifts as . The other term gives frozen scalar power on superhorizon scales. Specifically, the dimensionless cosmological power spectrum per logarithmic interval isIts late-time value is independent of , producing a scale-invariant inflationary power spectrum. Each fixed Fourier mode freezes separately as .
The coincident integral is formal: the vacuum part diverges at large , and an unlimited scale-invariant part diverges at small . The conclusion concerns the power in each finite logarithmic band. A finite inflationary history supplies a largest generated wavelength, as described by the infrared qualification of a scale-invariant covariance; taking the late-time limit inside an unregulated integral would not be justified.
Past exam of the mathematics course of the University of Cambridge 2008 iii Paper 56 3 Solution Created 2026-10-03 Updated 2026-10-14
For a single chiral superfield, the supergravity F-term potential, with restored, isThe canonical Kähler potential has , so the Kähler covariant derivative of a superpotential isConsequently the Polonyi model has the scalar potentialThe negative term is essential; retaining only the square of the supergravity auxiliary field would give the global F-term scalar potential rather than the supergravity F-term potential.
Set and . In this notation , whereAt , , one has and , so . To prove that this is a local minimum in both real directions, rather than checking only the real axis, put . Direct expansion gives the stable zero-energy Polonyi vacuum identityEvery coefficient outside the square is strictly positive, and the exponential factor is positive. Thus everywhere and equality requires , provided . This proves the stronger conclusiona unique global minimum of this Polonyi model. If , the scalar potential vanishes identically and this uniqueness and supersymmetry breaking conclusion do not hold.
For an independent local stability check, the Hessian matrix of at this global minimum is diagonal:Since and its first derivatives vanish there, differentiating the exponential introduces no additional Hessian matrix terms at the global minimum. For canonically normalized real fluctuations , the squared scalar masses are thereforewhich are both positive.
Although the vacuum energy is zero, the supergravity auxiliary field is not. In the convention , its vacuum expectation value obeysThe matter fermion transformation contains a term proportional to , so no nonzero constant supersymmetry parameter leaves this vacuum invariant. Hence supersymmetry is spontaneously broken even though the vacuum energy vanishes: the positive auxiliary field contribution cancels the negative gravitational term. The matter fermion supplies the goldstino, which is absorbed by the gravitino in the super-Higgs mechanism.
Using the gravitino mass from a superpotential, and , givesAn auxiliary field has mass dimension two. Defining the supersymmetry breaking scale by , one obtainsThus the gravitino mass is small compared with the supersymmetry breaking scale when that scale is sub-Planckian, as in the usual hierarchy . This smallness is gravitational suppression; it is not a conclusion valid for arbitrary choices of the mass parameter.
Past exam of the mathematics course of the University of Cambridge 2008 iii Paper 56 4 Solution Created 2026-10-03 Updated 2026-10-14
Use the scalar components of the three chiral superfields, and set , , and . We assume the physical sign and a nonzero coupling . The coefficient below is exactly the coefficient in the supplied D-term scalar potential; it should not be silently replaced by a differently normalized squared gauge coupling. The canonical Kähler potential has identity Kähler metric, and the three Kähler covariant derivatives of a superpotential areSubstitution in the supergravity F-term potential givesIn particular, the subtraction cancels only half of the six terms contributed by the three squares. The full scalar potential isIts nonnegativity follows term by term from and . This is a special property of this cubic superpotential, not of a general supergravity F-term potential.
The D-term vacuum branches of a cubic superpotential must be described as branches: there are not two isolated field-space minima. First suppose . Vanishing of requires , and vanishing of the D-term scalar potential requires . Together these conditions give the vacuum expectation valuesThe phase of lies on a gauge orbit, and one may choose it positive and real. At this global minimum, all and the real auxiliary field of the vector multiplet vanish. It is a supersymmetric vacuum, even though the internal gauge symmetry is spontaneously broken. For , interchange and : the nonzero vacuum expectation value has magnitude . For , the supersymmetric vacuum is the entire family , with arbitrary.
The other branch has and arbitrary . Here but the real auxiliary field is nonzero for , andThus this branch has pure D-term supersymmetry breaking and a flat direction of a scalar potential in the neutral scalar. It is not stable at every neutral-field value. At a fixed , expansion in the charged scalars yieldsHence the two charged squared masses and the stability condition areAbove this threshold, both charged directions have positive mass squared. Continuity makes them uniformly positive in a sufficiently small neighborhood of the chosen neutral-field value, so the stationary branch is a genuine, non-strict local minimum valley. Its neutral direction stays flat. Below the threshold, a charged mass squared is negative and the branch is a saddle point. At equality it is a boundary of the stable valley, not a local minimum in the full field space: changing slightly downward and switching on the unstable charged field lowers . For example, for , put , , . Since has , one finds .
There are no further local-minimum branches under these generic assumptions. If , the expression for is strictly increasing in , so a stationary configuration with a charged condensate must have . At , an interior critical point with is impossible, becauseOn the boundary , the relevant scalar potential is ; on it is . Their nonnegative-domain minima give exactly the supersymmetric vacuum described above, or the origin of the charged-field branch. Thus, for nonzero , the two types are the zero-energy supersymmetric gauge orbit and the positive-energy D-breaking minimum valley above the threshold. If , the two types coalesce into the flat supersymmetric vacuum; the literal two-minimum assertion needs this parameter qualification.
In the global supersymmetry limit , the F-term scalar potential becomes and the D-term scalar potential retains its form. The same two types of branches occur, with the threshold . Supergravity instead introduces the exponential and additional positive terms. The goldstino of global supersymmetry breaking is a physical fermion; in local supersymmetry it participates in the super-Higgs mechanism. A positive vacuum energy also gravitates in supergravity. In particular, the positive-energy branch here has and hence vanishing gravitino mass from a superpotential; it is not the tuned zero-energy broken vacuum of Question 3.
There is a further gauge-consistency qualification. In conventional two-derivative matter-coupled supergravity, a constant Fayet–Iliopoulos term gauges an R-symmetry and requires a corresponding nontrivial transformation of the superpotential. The apparent charges make the supplied cubic superpotential neutral, so a nonzero independent constant does not by itself specify a consistent conventional supergravity action. The computed branches are those of the supplied scalar potential; a full embedding needs compatible charges or additional fields. This restriction is explained in Van Proeyen's derivation of the superpotential gauge-covariance condition.
More generally, the supergravity moment-map constraint on D-term breaking follows directly from gauge covariance. If and the moment map is , then at a point with ,Consequently all chiral auxiliary fields vanishing implies the D-term also vanishes there. This relation has no analogue forcing that implication in an arbitrary global supersymmetry model. Its hypothesis matters: the formal D-breaking branch above has , so it does not contradict the identity. These conventional gauge-completion restrictions are additional to the elementary minimization calculation.
Past exam of the mathematics course of the University of Cambridge 2010 iii Paper 42 1 Solution Created 2026-10-03 Updated 2026-10-14
Use and . In the interaction picture, fields evolve with the free Hamiltonian, while interactions enter the state evolution through the Dyson series. Write the Klein-Gordon field as , with the positive-frequency part of a quantum field containing annihilation operators and containing creation operators. The mode normalization in the PDF corresponds to and .
The time-ordered product places fields with the latest time on the left. For two bosonic insertions,The normal-ordered product instead moves every creation operator to the left of every annihilation operator, without adding the commutators generated by that rearrangement. Its vacuum expectation value is zero whenever a nonempty set of free-field factors remains.
The mode commutator gives the positive-frequency Wightman functionDefine the Feynman propagator here to be the two-point function itself, rather than that function divided by . ThenEquivalently,The positive-energy pole is below and the negative-energy pole above the real axis. Closing the energy contour integral below for positive time separation and above for negative time separation gives the two terms above. Thus this is the scalar Feynman propagator pole prescription, and . In particular, : the difference between time ordering and normal ordering is the Wick contraction.
For free bosonic fields, the Wick theorem stateswhere runs over all sets of disjoint pairs of indices, including the empty set, and is the set of paired indices. The empty normal-ordered product equals one. This is an operator identity for free fields, understood with smearing or a regulator when products of operator-valued distributions require it.
Here is an inductive proof of the scalar Wick theorem. Sort the arguments chronologically so that is the latest. For any remaining set , commuting the annihilation part of through the creation parts in a normal-ordered product givesThe creation part of is already in the correct position. Every commutator on the right is a scalar, so no further operator rearrangement is needed for it. Because is latest, that commutator is . Assume the Wick theorem for the other fields and multiply its expansion by . The first term of the displayed identity gives every pairing in which index 1 is unpaired; the sum gives every pairing in which 1 is paired with exactly one . Each final partial pairing has exactly one such construction. The one-field identity supplies the base case, proving the theorem by mathematical induction. Applying time ordering restores arbitrary argument order.
Taking the vacuum expectation value retains only complete pairings. Odd free correlators vanish; for example the free scalar four-point function is . These facts explain why propagators are the edges of Feynman diagrams.
For the interacting quartic scalar field theory, the interaction Hamiltonian density is . With a single time ordering acting on external insertions and interaction vertices, the unnormalized numerator expands asApply the proved Wick theorem term by term. Each complete pairing connects external insertions and four-legged vertices by Feynman propagators. There are assignments of four distinct incident legs at a vertex, canceling its factorial. Permuting identical integrated vertices cancels the corresponding part of . Permutations still leaving the labeled graph unchanged give its Feynman-diagram symmetry factor. For example,whereas the two-point tadpole diagram has coefficient , because choosing the two vertex legs contracted with the labeled external fields gives possibilities and the other two contract with each other.
Thus the position-space rules attach to every edge, to every four-legged interaction vertex, and divide by the graph's Feynman-diagram symmetry factor. Fourier transformation gives the momentum-space Feynman rules:Enforce momentum conservation at each vertex, retaining the overall four-momentum delta function. External lines of these correlation functions remain unamputated. The unnormalized expression includes Vacuum Feynman diagrams; dividing by cancels those disconnected vacuum factors. They should not be discarded without that normalization.
There is a time-ordering convention in the printed correlation-function notation worth making explicit. The usual interacting correlator uses the single global time ordering in above. If the displayed is read literally with outside that ordering, the external block and the vertex block are separately time ordered: their cross-contractions are because each external field stands to the left of every vertex field. The same pairing construction then uses for lines within either block and for lines between blocks; in momentum space the latter is . This literal product is different from the conventional globally time-ordered interacting correlator, and does not have the ordinary external Feynman propagators derived above.
Past exam of the mathematics course of the University of Cambridge 2012 iii Paper 45 2 d Solution Created 2026-10-03 Updated 2026-10-07
In the original coordinate, the possible zero-energy vacuum expectation values for areThey coincide when the discriminant vanishes. With real parameters and a nonnegative discriminant these are real; otherwise the allowed complex scalar values must be retained.
In the coordinate used to remove the linear term, the same vacua areThe nonzero branch exists in this shifted coordinate when . Let be that branch and write . Equivalently, in the original coordinate write with . The physical fluctuation field is the same. For there is the unique vacuum ; for the constant and pure-linear exceptional branches the scalar is a flat direction, with the supersymmetry status already distinguished in part (c).
Past exam of the mathematics course of the University of Cambridge 2012 iii Paper 52 2 Solution Created 2026-10-03 Updated 2026-10-07
A stable symmetry-breaking minimum requires and . Put . The common scalar potential can then be written, up to a constant, asIts minima form the sphere . Choose the vacuum direction . If instead with positive , the minimum is at the origin and the assumed nonzero vacuum expectation value is not a stable vacuum of these models.
In the ungauged theory, the internal symmetry is global ; its connected part is . Constant orthogonal transformations preserve both the kinetic term and the potential. The chosen vacuum is invariant under acting on its first two components, so the continuous breaking is with two broken generators. The vacuum orientations are genuinely different degenerate global vacua.
The global triplet scalar symmetry breaking is visible directly in the fluctuation masses. Write . The potential Hessian isThe quadratic Lagrangian is thereforeThere is one radial scalar of mass and two massless Goldstone bosons. The two Goldstone modes describe motion tangential to the vacuum sphere. They remain physical, since a global rotation has only constant parameters and cannot remove arbitrary spacetime-dependent fluctuations. All three original real-scalar degrees of freedom remain. Interactions persist: the shifted potential is , containing cubic and quartic terms. Masslessness of the angular modes is protected by the exact continuous symmetry through Goldstone's theorem.
In the gauged theory, the three-component real field is the vector representation of local , equivalently the Adjoint representation of . The center of acts trivially on this field, so both descriptions have the same local field content and perturbative spectrum. Take , for which . The covariant kinetic term and the gauge kinetic term are invariant under local transformations with the associated connection transformation. The scalar inversion , with the gauge field unchanged, is also a discrete invariance of the displayed action.
The vacuum leaves rotations about its third axis unbroken. The residual gauge group is , or the corresponding subgroup in the description. Expanding the covariant kinetic term about givesThus the gauge-boson mass matrix is . The third generator annihilates the vacuum, while the first two do not. The masses are , , and .
The quadratic derivative mixing displays what happens to the Goldstone fields. With the generator convention just chosen,Local rotations can set the two angular fields to zero in unitary gauge. Then andThe two Goldstone modes supply the longitudinal polarizations of the two massive vector bosons. They do not survive as additional physical massless scalars. The radial scalar is still physical, and retains only two transverse polarizations. This adjoint triplet Higgs spectrum realizes the Higgs mechanism; the gauge group is only partially broken, so one massless gauge boson remains.
The degree-of-freedom check isIn contrast, the global theory has just the three scalar modes, including its two physical Goldstone bosons. A vacuum expectation value in the local theory is a choice of gauge-fixed description: the direction can be changed by gauge transformations and is not itself an observable. Gauge-independent masses and the physical degree count express the actual effect. Both theories retain Lorentz symmetry in the constant scalar vacuum.
Past exam of the mathematics course of the University of Cambridge 2013 iii Paper 43 2 c Solution Created 2026-10-03 Updated 2026-10-07
For nonzero , zero potential requires both F-flatness and D-flatness:The product condition and equality of charged magnitudes together force . There is no condition on the neutral scalar. Consequently the global minima formOnly the neutral field can acquire a vacuum expectation value. It does not give the gauge vector a mass: its scalar kinetic term has no charged covariant derivative. Hence the gauged remains unbroken in every global minimum for . This is a neutral flat direction with oppositely charged chiral fields; a continuous vacuum family is not automatically gauge-symmetry breaking.
The exceptional uncoupled case should be separated. Then only D-flatness remains, allowing and arbitrary . For , the charged expectations Higgs the ; for it remains unbroken. The usual interacting answer assumes .
Past exam of the mathematics course of the University of Cambridge 2014 iii Paper 43 3 c Solution Created 2026-10-03 Updated 2026-10-06
Assume , since the trivial theory cannot fix or the vacuum expectation value. A zero-energy vacuum must satisfy both and stationarity in both real scalar directions. With the notation from the preceding solution, these become , because the prefactor is positive. The derivatives areThese conditions also show that the zero-energy stationary point must be real. If , the second equation gives ; the first then gives . Substituting into the definition of gives . Butwhich is impossible. Thus , without assuming a real vacuum in advance.
Set and . Since would give , it cannot occur. The zero-energy equation gives , . Stationarity givesCombining these equations gives . Writing producesThe condition leaves exactly and . The second branch is a saddle point, as its real-direction curvature is negative; the stability calculation in the next solution verifies this explicitly. The stable zero-energy Polonyi vacuum therefore selectsZero energy alone, without stationarity and stability, would not imply this parameter value. Even zero energy plus stationarity also admits on the unstable branch.
Past exam of the mathematics course of the University of Cambridge 2014 iii Paper 43 3 d Solution Created 2026-10-03 Updated 2026-10-06
For the stable branch found above, and . Hence the vacuum expectation value isin the stated Planck units. To verify that it is a vacuum rather than merely a zero-energy stationary point, evaluate the Hessian matrix. At either zero-energy stationary branch,Because and its first derivatives vanish there, the Hessian matrix of is just times this Hessian matrix. For , both eigenvalues are positive. This proves a strict local minimum in both real scalar directions. For , , so the alternative , is a saddle point and is excluded from the stable zero-energy Polonyi vacuum.
There is also a useful global check. Set on the stable branch. Directly completing squares givesBoth remaining coefficients are positive. Thus everywhere, with equality only at . The positive exponential prefactor proves that this is the unique global minimum, not just a metastable vacuum.
Finally, at the stable vacuum and . Its supergravity auxiliary field hasThus the Minkowski vacuum breaks supersymmetry, even though its cosmological constant vanishes. If , the potential is flat and the displayed tuned parameter and scalar value are not selected.
Past exam of the mathematics course of the University of Cambridge 2014 iii Paper 45 2 Solution Created 2026-10-03 Updated 2026-10-06
Take , with the Pauli matrices acting on the Higgs doublet. For electroweak hypercharge ,This specifies every component of the gauge covariant derivative for the electroweak interaction. Expanding the gauge-covariant kinetic term makes its derivative, trilinear and quartic interactions explicit:where the Pauli matrix multiplication law givesThe antisymmetric Pauli contribution vanishes because is symmetric in . Reversing the sign convention for reverses the linear gauge interactions consistently, without changing the masses.
A nonzero vacuum expectation value requires . Minimizing the Higgs potential gives . By an gauge transformation choosein unitary gauge. The electroweak doublet gauge-boson mass matrix follows by inserting the vacuum expectation value in the gauge-covariant kinetic term:Define the charged electroweak gauge bosons and the neutral rotation through the Weinberg angle bywith inverse and . ThenThe factors differ because and are conjugate fields whereas is real. The massless photon corresponds to the unbroken Lie algebra generator , which annihilates . Thus three of the four real gauge bosons acquire mass, with . The three would-be Goldstone bosons provide their longitudinal polarizations; the remaining scalar is the Higgs boson.
Introduce the left-handed lepton doublet , with , and the right-handed singlet , with . Use the chiral projectors and in the course's convention. The minimal Standard Model has no right-handed neutrino. The gauge-invariant fermion terms areThe doublet contraction in the Yukawa interaction is a singlet, and its total hypercharge is . A bare term would fail electroweak gauge invariance. The gauge covariant derivatives above already give all the requested fermion-gauge couplings. In terms of mass eigenstates, and they becomeThus the weak charged current is chiral and the neutrino has zero electric charge. The gauge-invariant electron Yukawa mass follows from the Yukawa interaction after electroweak symmetry breaking:Rephase to make real and positive. It givesThe electron Dirac mass is therefore compatible with the original gauge symmetry through the Higgs mechanism. The neutrino remains massless in this minimal renormalizable lepton sector.
Past exam of the mathematics course of the University of Cambridge 2015 iii Paper 43 1 Solution Created 2026-10-03 Updated 2026-10-06
Use natural units and the Minkowski metric . A real scalar field assigns a real variable to each spatial point. Its Lagrangian density can be taken to beThe principle of stationary action gives the Euler-Lagrange equation . With , this is the Klein-Gordon equation. An additional nonlinear part of describes interactions.
The canonical momentum is . The Legendre transform in mechanics gives the canonical Hamiltonian density of a real scalar fieldThe Hamiltonian equations and recover the same field equation. In canonical quantization, the fields become operators satisfying the equal-time canonical commutation relationsA spatial lattice makes the analogy with many coupled quantum-mechanical coordinates precise. Each lattice field value is a coordinate, with its own conjugate momentum. The path integral is another representation of the same quantum evolution.
To see its origin, first consider one coordinate with . Split a time interval into steps of length and insert position and momentum resolutions of the identity. The short-time kernel isMultiplying the kernels and integrating over intermediate positions gives the phase-space path integralThe endpoints of are fixed. The momentum integrals are Gaussian integrals; completing the square produces the configuration-space path integralAt finite slicing its normalization contains . This fixes the composition law and the initial delta-function kernel. One sums over all paths, not merely solutions of the classical equation. Restoring replaces the weight by ; stationary phase explains the emergence of classical trajectories.
For the field, use scalar field configuration eigenstates , satisfying . Insert their completeness relations on every time slice. This givesThe endpoint field configurations are fixed. Integrating the Gaussian momentum variables leaves the scalar field path integral . The functional measure means a regulated product over the field variables. A spacetime lattice or another ultraviolet cutoff makes this product finite before the continuum limit; interacting continuum calculations may require renormalization. The oscillatory Minkowski weight is an amplitude, not a positive probability density.
For vacuum expectation values, the boundaries must select the vacuum rather than arbitrary field configurations. Long imaginary-time evolution suppresses excited states: , so after normalization only the lowest-energy component remains as . This is vacuum projection by imaginary time. The corresponding Feynman i-epsilon prescription in the real-time integral specifies the vacuum boundary conditions and the poles of the propagator. With , the Euclidean path integral has the weight , whereIt is often a useful regulated starting point; analytic continuation returns the vacuum time-ordered quantities.
Introduce a classical source and define the normalized vacuum generating functionalwith the same vacuum prescription in numerator and denominator. A functional derivative brings down . The order of the time slices makes the operator insertion time-ordered. Thus source differentiation inserts time-ordered field operators:The denominator removes vacuum diagrams and gives normalized expectation values. It is essential that these are time-ordered products; differentiating this vacuum functional does not directly give every possible operator ordering.
The free theory illustrates the method. Its quadratic kernel is with the vacuum pole prescription, and completing the square gives the Gaussian evaluation of a free scalar generating functionalTwo source derivatives give . Higher derivatives give all pairings, the content of Wick theorem. For an interaction , one may use path-integral perturbation by source derivatives:Expanding this expression generates Feynman diagrams and their Wick contractions. The connected generating functional retains connected contributions; in particular . These functionals turn the computation of field-operator expectations into source differentiation of an ordinary regulated integral.
Past exam of the mathematics course of the University of Cambridge 2015 iii Paper 47 2 Solution Created 2026-10-03 Updated 2026-10-14
Spectrum and symmetry. Choose a vacuum expectation value . In unitary gauge the scalar field is , with real . The Pauli matrix multiplication law gives . Since is symmetric in gauge indices, only this symmetric product contributes. The kinetic and potential terms therefore becomeComparison with and givesThese are the scalar interactions after complete SU2 breaking. The scalar mass uses the specified potential normalization: the prefactor is important.
A nonzero complex doublet has trivial stabilizer in : a matrix fixing must have second column , and unitarity and determinant one then fix the first column too. Thus all three gauge generators are broken. Three scalar angular directions are absorbed by the Higgs mechanism, giving each gauge boson a longitudinal polarization. The physical degrees of freedom count isThere is no surviving electromagnetic in this theory: it contains only the gauged , not the electroweak product group. The would-be Goldstone bosons are not additional physical massless particles. This is complete breaking by an SU2 scalar doublet.
Scalar interactions. In unitary gauge, all interaction terms containing the physical scalar areThese give , , , and Feynman vertices. Their factors are respectively , , , and , including the identical-leg multiplicities. Gauge-dependent descriptions also contain the absorbed scalar modes; the above are all physical-scalar interactions in the chosen gauge.
Gauge self-interactions. Write . Expanding the field-strength square gives the cubic and quartic piecesThe sign of the cubic term follows from the minus sign in the given nonlinear field strength. The quartic term can also be written using . The cubic Feynman vertex joins three wavy gauge lines, has one momentum factor, and is proportional to . The quartic Feynman vertex joins four wavy lines, is proportional to , and has products of structure constants with metric contractions. There are no higher pure-gauge vertices in this Lagrangian. These are the SU2 gauge self-interaction vertices.
Past exam of the mathematics course of the University of Cambridge 2016 iii Paper 301 3 Solution Created 2026-10-03 Updated 2026-10-06
Use and . The free real scalar field has actionThe canonical momentum is , and the Hamiltonian operator is obtained by the Legendre transform of the density:Canonical quantization promotes and to Hermitian operator-valued fields and imposes the equal-time canonical commutation relationsTheir Heisenberg equation of motion gives , , hence the Klein-Gordon equation .
Let and . The Hermitian field mode expansion isThe scalar field oscillator inversion extractsand its adjoint obtained by Hermitian conjugation extracts . Substitute these expressions into the equal-time canonical commutation relation. The two mixed field-momentum terms giveFor , the corresponding coefficient is a difference of those square roots and multiplies ; it vanishes because . Taking the adjoint gives . Thus these are bosonic annihilation operators and creation operators. The vacuum satisfies , and normal ordering gives , after removing the constant zero-point energy. A one-particle excitation has energy and spin zero.
The Feynman propagator is the vacuum expectation value of the time-ordered product of two field insertions. For , the field at creates a one-particle excitation from the vacuum and the field at annihilates it; the opposite time ordering reverses the roles. It is a propagation amplitude and correlation function of vacuum fluctuations, rather than a transition probability. From the oscillator expansion, only the - contraction survives, so with and ,Here is the Heaviside step function, and changing to in the second term gives the last line.
For the Fourier transform convention , insert a positive damping factor and integrate the positive and negative half-lines separately:The last equality is a distribution identity; the infinitesimals in the partial fractions need not have the same finite magnitude as the infinitesimal in the combined denominator. The Feynman i-epsilon prescription means that the positive-frequency pole is just below the real energy axis and the negative-frequency pole is just above it. Closing the contour integral below for , and above for , reproduces the oscillator result by the residue theorem. This prescription fixes which homogeneous solutions are added to the Green function. As an independent normalization check, has derivative jump at , soIt is the expectation-value convention for , including the numerator , that determines this source normalization.
The vacuum is a centered free Gaussian state. The Wick theorem expresses the four-field time-ordered product as the sum of all pair Wick contractions plus terms containing a normal-ordered product. The latter terms have zero vacuum expectation value. There are exactly three complete pairings, with no fermionic signs for this bosonic field. Thus the free scalar four-point function isThese formulas describe canonical quantization of a real scalar field; in particular, a real scalar field uses a single oscillator family rather than independent charged-particle and antiparticle families.

