BPS state Created 2026-10-05 Updated 2026-11-05
A BPS state saturates a BPS bound in supersymmetry. The zero-norm combinations of supercharges and their adjoints annihilate its entire irreducible supermultiplet. Thus part of the supersymmetry is preserved. For a positive-mass representation, its massive supermultiplet is shortened; massless supermultiplets require the separate null-momentum construction. Charge conjugation can require a separate conjugate multiplet in the physical spectrum.
CPT completion of a supermultiplet 2026-10-05
The CPT theorem reverses helicity and conjugates internal charges. If a supermultiplet is not mapped into itself, a physical spectrum must also include its conjugate supermultiplet; this can double the irreducible state count.
Explicit breaking changes the action so that the former supercharges are not conserved symmetries of the full Hamiltonian. Spontaneous breaking preserves the action and algebra but has a vacuum that some supercharge does not annihilate. Energy positivity in global supersymmetry then implies positive vacuum energy density, and a Goldstino accompanies the broken symmetry. That exact-algebra energy argument does not apply to an arbitrarily explicitly broken Hamiltonian. The physical particle spectrum in a broken vacuum need not assemble into the finite equal-mass supermultiplets of an invariant vacuum.
Hypermultiplet Created 2026-10-05 Updated 2026-10-06
A full four-dimensional hypermultiplet is a matter supermultiplet equivalent to two chiral superfields in conjugate gauge group representations. Pseudoreal representations can admit half-hypermultiplets; these do not provide genuinely complex chiral gauge spectra.
Massless supermultiplet 2026-10-05
A massless supermultiplet is a positive-energy unitary irreducible representation of the Super-Poincaré algebra with null four-momentum. For finite helicity states in four dimensions, half the supercharges act trivially and the others form a fermionic Fock space.
Past exam of the mathematics course of the University of Cambridge 2001 iii Paper 65 1 ii Solution Created 2026-10-03 Updated 2026-10-14
A BPS state saturates a supersymmetry energy bound and is annihilated by some supercharges. For a massive state with one relevant central charge in supersymmetry, normalize the supersymmetry algebra by . In its rest frame, appropriate linear combinations of supercharges have anticommutators and . Positivity therefore gives the BPS bound in supersymmetry . At equality, the latter combinations have zero norm and annihilate the state, producing a shortened supermultiplet and preserved supersymmetry. With the alternative convention omitting the factor in the central-charge anticommutator, the bound reads . The mass is tied to the charge, but this does not imply unconditional stability against decay as parameters vary.
Past exam of the mathematics course of the University of Cambridge 2001 iii Paper 65 1 iv Solution Created 2026-10-03 Updated 2026-10-14
Anticommuting-variable dependence alone is not the defining condition: a superfield must carry a specified Super-Poincaré group transformation law. Any appropriately graded function on superspace becomes an unconstrained scalar superfield under coordinate pullback, but an arbitrary collection of coefficients in a Grassmann variable polynomial is not automatically a prescribed supermultiplet. For example, a chiral superfield has , with and ; a vector superfield obeys and contains a gauge vector, gaugino and auxiliary field in Wess-Zumino gauge. A polynomial with constant component fields can be a special chiral superfield; lack of explicit spacetime dependence alone does not disqualify it. This is superfield covariance is not Grassmann dependence alone.
Past exam of the mathematics course of the University of Cambridge 2002 iii Paper 68 1 f Solution 2026-10-14
Dependence on Grassmann variables alone does not specify a superfield transformation law. A superfield is a function on superspace, with components transforming under the induced supertranslation and Lorentz transformation action. Any suitable superfunction can be an unconstrained superfield once equipped with that action; a fixed element of a Grassmann algebra with independently assigned components need not be covariant. A chiral superfield, for example,also obeys . Keeping only a nonconstant and forbidding the other components is not a closed supermultiplet: applying a supercharge generates Grassmann-dependent derivative terms. A real unconstrained superfield can instead describe a vector superfield.
Past exam of the mathematics course of the University of Cambridge 2002 iii Paper 68 2 a Solution Created 2026-10-03 Updated 2026-10-14
At fixed nonzero four-momentum, take the finite physical supermultiplet and write for fermion parity. Each supercharge is odd, so and the same holds for its adjoint. By the cyclic property of the trace,Consequently . Sum the two spinor components of the Super-Poincaré algebra. Since , their sum is . On a fixed-energy representation, , yieldingFor a nonzero physical one-particle momentum, , including the massless case. Hence the bosonic and fermionic physical state counts agree:Equivalently a nonzero normalized supercharge and its adjoint define an odd involution pairing the two subspaces. This is supertrace pairing at positive energy; it counts spin polarizations, not merely distinct names of particles.
The phrase “every supermultiplet” requires this positive-energy qualification. A zero-energy supersymmetric vacuum with all supercharges acting as zero is a one-dimensional bosonic representation with no fermionic partner. It is a counterexample to the unrestricted statement, because division by is then impossible. It does not contradict the requested equality for particle supermultiplets.
Past exam of the mathematics course of the University of Cambridge 2003 iii Paper 53 8 Solution Created 2026-10-03 Updated 2026-10-14
Spontaneous supersymmetry breaking preserves the action and conserved supercharges, but the vacuum fails to be invariant. This differs from explicit breaking, which changes the symmetry of the action itself. In global four-dimensional N=1 supersymmetry, summing diagonal entries of the Super-Poincaré algebra writes the Hamiltonian as a sum of positive charge anticommutators. Its expectation is a sum of squared norms. Consequently a zero-energy vacuum is supersymmetric, whereas an existing vacuum with broken global supersymmetry has positive energy density. The energy zero is fixed by the algebra. Neither this positivity statement nor the particle-multiplet mass relations should be transferred without qualification to supergravity.
For supersymmetric quantum mechanics, let , , and let fermion parity anticommute with both charges. On a positive-energy eigenspace, is an odd involution: its square is one, it preserves energy, and it reverses parity. Thus every positive-energy bosonic state has a fermionic partner and conversely. Their contributions cancel in the Witten indexFor a discrete spectrum with a well-defined trace, this proves independence of . Continuous changes of parameters also preserve the index if the trace stays well defined and no state escapes to infinity or crosses an unregulated continuum threshold. A nonzero index guarantees an unbroken supersymmetric ground state; a zero index is inconclusive. For example, de Rham supersymmetric quantum mechanics on a circle has a bosonic constant zero-form and a fermionic constant one-form, both normalizable zero modes, so it is unbroken with index zero.
A more explicit one-dimensional family illustrates how normalizability determines the answer. DefinePositivity of these Hamiltonian operators shows that a zero mode must solve or . Thus the only candidates areFor , the Gaussian minus-sector wavefunction is normalizable and its reciprocal is not, giving an unbroken model with when the minus sector is assigned even parity. For , , the exponent tends to opposite infinities at the two ends, so neither candidate is normalizable. Both partner potentials grow quartically; their spectra are discrete and their lowest energies cannot be zero. The lowest states are therefore paired at positive energy, , and supersymmetry is spontaneously broken. This is supersymmetric factorization and zero-mode normalizability. In quantum mechanics the paired ground states illustrate the charge algebra; a relativistic massless-particle conclusion requires field-theoretic hypotheses.
In relativistic global field theory, Goldstone's theorem has a fermionic version. If a conserved supercurrent charge does not annihilate the vacuum, its Ward identity has a nonzero vacuum contact term. Fourier transforming, the divergence of the current correlator cannot tend to zero smoothly at zero momentum. Its spectral representation therefore contains a massless fermionic pole: the Goldstino, with spin one-half. This statement assumes a Poincaré-invariant vacuum and the usual local unitary field-theory conditions. It does not require a bosonic Goldstone particle for the fermionic symmetry. In supergravity the Goldstino can instead supply the longitudinal polarization of a massive gravitino.
For canonical chiral superfields , elimination of their auxiliary fields givesA supersymmetric vacuum solves every . At a stationary broken vacuum,The same matrix is the chiral-fermion mass matrix, so the nonzero vector is a zero mode. This derives the Goldstino zero mode from vacuum stationarity. The transformation independently identifies that direction through its inhomogeneous shift.
For one canonical chiral field, , , has everywhere, a massless fermion and a classically flat scalar direction. It is flat F-term breaking with a linear superpotential, rather than an isolated vacuum. In contrast, a nonconstant polynomial of positive degree has a complex root and hence a supersymmetric vacuum; in particular a generic quadratic or cubic single-field superpotential cannot remove all such roots. This argument assumes canonical nonsingular kinetic terms and does not claim that every runaway or nonpolynomial model has a vacuum.
A renormalizable three-field O'Raifeartaigh model gives a less degenerate illustration:The auxiliary equations require , then , leaving . They cannot vanish simultaneously. For real positive with , the potential obeysTherefore its global tree-level minimum has , arbitrary , and energy . The massless is the Goldstino, while is a pseudomodulus. At , the scalar mass-squared spectrum is , and the fermion masses are . This exhibits both the stability condition and the loss of ordinary supermultiplet mass degeneracy in a broken vacuum. Quantum corrections can lift the pseudomodulus and must be analysed rather than assumed away; the noncompact classical valley also prevents an unqualified finite-volume Witten index trace argument. The index, the vacuum equations and the Goldstino theorem consequently answer complementary questions.
Past exam of the mathematics course of the University of Cambridge 2004 iii Paper 50 3 a Solution Created 2026-10-03 Updated 2026-10-14
For global four-dimensional supersymmetry, useLet be fermion parity. On a finite one-particle supermultiplet at fixed positive-energy momentum, the supercharges act within the multiplet and . Cyclicity of the finite-dimensional trace givesThus the trace with of every displayed diagonal anticommutator vanishes. Summing the two components, , soSince , this proves , for both massive and massless one-particle multiplets. The restriction matters: a zero-momentum supersymmetric vacuum singlet, annihilated by every supercharge, need not contain a fermionic partner. The algebra does not imply equal counts for such a trivial zero-energy representation or for an arbitrary unregulated infinite-dimensional trace.
Past exam of the mathematics course of the University of Cambridge 2006 iii Paper 54 2 i Solution Created 2026-10-03 Updated 2026-10-14
Consider a physical supermultiplet at fixed four-momentum with positive energy and finitely many polarization states. Let be fermion parity, equal to on bosons and on fermions. Every supercharge is odd, so and likewise for its adjoint.
Trace cyclicity gives, for each component,Thus the supertrace pairing at positive energy yieldswhere the middle equality uses and . Since ,This proves boson-fermion degeneracy in a supermultiplet for both massive and massless particle multiplets, counting physical states rather than unphysical gauge components or auxiliary fields. The positive-energy qualification is essential: a zero-energy supersymmetric vacuum can be a one-dimensional bosonic singlet with all supercharges zero. It need not have a fermionic partner, so the printed assertion cannot literally include arbitrary zero-energy representations.
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 55 5 Solution Created 2026-10-03 Updated 2026-10-14
Use left-chiral superfields throughout, abbreviating the conjugate singlets by , , and . The printed hypercharge convention is the negative of the usual one, so ; consequently is the down-type and the up-type Higgs doublet. Write for the weak-doublet contraction. Assign baryon number , , and lepton number , ; both Higgs fields have .
The baryon number and lepton number conserving homogeneous cubic superpotential isEach term has zero hypercharge, is a color and weak singlet, and has . Higgs expectation values give the usual quark and charged-lepton Yukawa interaction masses and, here, Dirac neutrino masses. The complete remaining cubic part isThe first two terms have , the third has , the fourth has , and the last has . Their Hermitian conjugates reverse these signs. Commutativity of chiral superfields and the antisymmetric weak/color contractions give and ; can be taken completely symmetric. All other coupling tensors are unrestricted complex tensors.
To check completeness, a cubic color singlet containing a quark doublet and an antiquark singlet must contain a colorless weak doublet; the allowed hypercharges give , and . Three color-antitriplet singlets can form a singlet with , but hypercharge permits only . Three quark doublets cannot be a weak singlet. With no colored fields, an even number of weak doublets is necessary. Two doublets and a singlet give precisely , , and ; contractions of two identical Higgs superfields vanish. With no doublets the only neutral triple is . Thus is the most general homogeneous cubic superpotential for the printed fields, including their singlet neutrinos.
If “cubic” is intended to mean a polynomial of degree at most three, also addThe term conserves both charges; the other nonconstant terms have respectively . This distinction will matter for the printed claim about R-parity.
For squark-mediated proton decay, choose and with or . The same down-type singlet squark can appear in both vertices; would give by antisymmetry. The first term includes an electron/up-quark/squark vertex, and the second an up-quark/down-quark/squark vertex. Exchanging a squark of mass and expanding its propagator at momenta much smaller than produces the dimension-six effective operatorThe left- and right-handed pairs are separately contracted spinor bilinears. This operator converts an up/down quark pair into a positron and an antiquark; the spectator up quark can combine with the antiquark into the neutral pion. Equivalently its hadronic matrix element between a proton and a pion is permitted, so it induces . Having both the baryon number and lepton number violating vertices is what enables this channel.
Since has mass dimension , dimensional analysis givesThe dimensionless includes the hadronic matrix element and two-body phase space; the pion mass changes this factor rather than the leading dimensions. Dimensional grounds alone do not give a precise hadronic coefficient. Using the lifetime supplied in the paper, rather than substituting a different bound, gives and henceFor an illustrative squark this is about when is rounded to . The bound constrains the relevant flavour product and depends on the exchanged mass; separate smallness of each coupling does not follow without an additional assumption.
Define matter parity and R-parity byEvery matter superfield has , whereas and the vector superfields have . For ordinary quarks and antiquarks, is odd and , so . For charged leptons, neutrinos and their antiparticles, is odd and , again giving ; the singlet neutrino fermion obeys the same rule. Gluons, the photon, and have and spin one, hence ; Higgs bosons have and also . Thus every Standard Model particle is R-even, including the corresponding antiparticles. Changing spin by one half within a supermultiplet reverses , so squarks, sleptons, gauginos and Higgsinos are R-odd.
Each conserving cubic term contains two R-odd matter superfields and one even Higgs superfield, so it is even under matter parity. Each term in has an odd number of matter superfields: three for , and one for . All are therefore forbidden. At the component level the two fermion spin factors in a Yukawa interaction multiply to , so the same selection rule follows directly from R-parity. This verifies all cubic baryon/lepton-number violating terms are forbidden while the Yukawa fermion mass terms survive.
The blanket assertion needs a qualification beyond homogeneous cubic terms. The Higgs term is even; and are odd and forbidden. But is even and permits a Majorana neutrino mass despite violating lepton number by two. Likewise the higher-dimensional operators and are even. Consequently R-parity alone does not enforce all-order conservation of baryon number and lepton number, or absolute proton stability; the stated precise exclusion holds for the violating cubic interactions above.
Two physical implications follow from multiplicative conservation of R-parity. Superpartners are produced in even numbers from an initial state consisting only of Standard Model particles, leading to pair production at the lowest threshold and parity-conserving cascades. The lightest supersymmetric particle is stable, since one R-odd particle cannot decay exclusively into R-even particles and no lighter R-odd state is available. A neutral weakly interacting lightest supersymmetric particle can therefore be a dark-matter candidate and produce missing-energy signatures; neutrality and a suitable abundance require further model assumptions.
Past exam of the mathematics course of the University of Cambridge 2008 iii Paper 53 4 b Solution Created 2026-10-03 Updated 2026-10-14
Let be fermion parity. It acts as on bosons and on fermions, and anticommutes with every odd supercharge. In a finite physical supermultiplet at fixed positive energy , trace cyclicity givesIndeed, cycling in the second term and using cancels the first term. Summing diagonal spinor components of the Super-Poincaré algebra gives , since the Pauli matrices are traceless. Hence supertrace pairing at positive energy yieldsThis is boson-fermion degeneracy in a supermultiplet. Equivalently, a nonzero charge combination with positive anticommutator gives an invertible parity-changing map between the two sectors. The positive-energy qualification is important: a zero-energy supersymmetric vacuum may be a one-state bosonic representation and need not have a fermionic vacuum partner.
For any normalizable state , the same algebra gives energy positivity in global supersymmetry:It vanishes exactly when every supercharge and its adjoint annihilates the state. In particular, for an existing translation-invariant vacuum, this provesIn infinite volume, interpret the statement as one about vacuum energy density, using finite-volume normalization first. The energy zero is fixed by the supersymmetry algebra; adding an arbitrary constant to the Hamiltonian while leaving that algebra unchanged is not allowed. For a canonical matter and gauge action, the same positivity is seen from , so a nonzero auxiliary-field expectation breaks the symmetry. This global Minkowski statement does not apply unchanged to the supergravity F-term potential, which can have negative-energy supersymmetric vacua.
Past exam of the mathematics course of the University of Cambridge 2009 iii Paper 42 4 b Solution Created 2026-10-03 Updated 2026-10-14
Use mostly-minus metric signature, . The Weyl sigma matrices are and , with the three Pauli matricesThe Pauli matrix multiplication law immediately gives : the case is , the mixed cases cancel, and the spatial cases give . The spinor indices of express the correspondence between a Lorentz four-vector and a Hermitian matrix. For , ; preserves this determinant for , yielding the Lorentz spinor double cover.
In four-dimensional N=1 supersymmetry, the odd supercharges and transform as conjugate Weyl spinors. Their Super-Poincaré algebra isThe ordinary translation and Lorentz generators satisfy the Poincare algebra, and the Lorentz generators act on the supercharges by the corresponding group representations on Weyl spinors. Tracing the mixed anticommutator gives , proving energy positivity in global supersymmetry. For a massive rest-frame state, , the rescaled charges obey the canonical anticommutation relations. Acting with their adjoints builds a supermultiplet containing states of alternating fermion parity.
Past exam of the mathematics course of the University of Cambridge 2013 iii Paper 43 1 b Solution Created 2026-10-03 Updated 2026-10-07
The hierarchy problem begins with a large separation of scales: the weak scale is much smaller than possible unification or gravitational scales. A fundamental scalar mass is especially sensitive to a much heavier scale. In an effective description with ultraviolet cutoff , one schematically findsThe coefficient contains gauge, scalar and Yukawa couplings, with different signs for bosonic and fermionic loops. The explicit quadratic cutoff dependence is regulator-dependent, but a heavy physical particle coupled to the Higgs produces a threshold correction of order its mass squared. That heavy-threshold sensitivity is the physical difficulty.
The technical hierarchy problem asks whether a small scale, once chosen, remains stable under such radiative corrections. Maintaining by cancelling unrelated bare and loop contributions, and readjusting the cancellation at successive orders, is the naturalness concern. It is different from explaining why the small scale was chosen in the first place. Supersymmetry primarily supplies protection against the technical instability; a complete explanation of the origin of supersymmetry-breaking scales needs additional dynamics.
The relevant comparison of mass types is:
- For a gauge boson, an explicit Proca mass term is forbidden by an unbroken gauge symmetry. This is gauge protection of a vector mass. In a Higgs phase, a vector mass is of order , but the stability of then depends on the scalar mass that determines the symmetry-breaking scale. Gauge invariance does not, by itself, solve that scalar problem.
- A chiral fermion mass is protected because setting it to zero restores an appropriate chiral symmetry. Perturbative corrections cannot generate a symmetry-forbidden mass; schematically . In the Standard Model, chiral gauge quantum numbers prohibit a bare fermion mass, and the Higgs mechanism permits masses through Yukawa couplings. This is chiral protection of a fermion mass, rather than an additive correction of order .
- A squark or slepton is a scalar. Its bilinear is allowed by gauge symmetries and by the ordinary chiral phase symmetry of its fermion partner. Consequently, without supersymmetry, those symmetries do not protect a small scalar mass against corrections of order .
In exact supersymmetry, each supermultiplet has matched bosonic and fermionic degrees of freedom, with their interaction strengths related. Opposite loop signs then give supersymmetric cancellation of quadratic divergences. This is not just equality of state counts: the supersymmetric relation between quartic and Yukawa couplings is also essential. A schematic paired-loop contribution has the high-momentum formFor equal partner masses the displayed contributions cancel. With a small splitting, the difference falls as , so the remaining ultraviolet sensitivity is logarithmic, proportional to the splitting rather than to .
Realistic partners need not have exactly equal masses. Soft supersymmetry breaking permits scalar squared masses, gaugino masses and suitable trilinear interactions without restoring the unwanted quadratic sensitivity. Typically,up to coefficients and threshold details. Squarks and sleptons can therefore be heavier than their chiral fermion partners while the scalar sector remains stable against the much larger ultraviolet scale. Nevertheless, very large soft masses, particularly in the Higgs-coupled sector, leave large finite or logarithmic corrections and require tuning. This soft scalar-mass sensitivity remains after the quadratic divergence has cancelled. Supersymmetry solves the quadratic radiative instability when breaking is suitably soft; it does not make arbitrarily heavy superpartners natural or explain the entire hierarchy by itself.
Past exam of the mathematics course of the University of Cambridge 2013 iii Paper 43 2 Solution 2026-10-07
Use the usual normalization of the Super-Poincaré algebra, with and under the corresponding index convention:The supercharges are odd operators: they turn bosonic states into fermionic states and vice versa. If is fermion parity, this statement is , soThe same relation holds for the conjugate supercharges.
For a finite-dimensional physical supermultiplet at fixed four-momentum with energy , let count physical bosonic and fermionic states. Cyclicity of the ordinary trace and the parity anticommutation implySumming over the two spinor indices givesThis supertrace pairing at positive energy proves boson-fermion degeneracy in a supermultiplet for massive as well as massless positive-energy representations. It counts on-shell polarizations, not merely the names of fields. The requirement matters: a zero-energy supersymmetric vacuum can be a bosonic singlet without a paired fermionic vacuum.
If supersymmetry-breaking operators are explicitly added to the Lagrangian, the original supercharges generally no longer commute with the full Hamiltonian. They are not conserved symmetries generating finite fixed-energy physical supermultiplets; their original anticommutator does not equal the full translation generator with the breaking terms included. Thus the step replacing the parity-weighted anticommutator by on a closed physical representation fails. The odd parity relation alone does not force energy degeneracy or an equal number of physical states at each mass.
This is explicit versus spontaneous supersymmetry breaking. In spontaneous breaking the action still has conserved supercharges, but the vacuum is not annihilated by them. Acting on particle excitations about that vacuum involves the broken-vacuum/Goldstino sector, so an ordinary finite particle multiplet above an invariant vacuum is no longer the correct pairing argument. The vacuum-energy statements below refer to an exact globally supersymmetric Hamiltonian, including the spontaneously broken case; they are not positivity claims for an arbitrary explicitly broken Hamiltonian.
Past exam of the mathematics course of the University of Cambridge 2015 iii Paper 48 1 Solution Created 2026-10-03 Updated 2026-10-06
Use the minimal four-dimensional Super-Poincaré algebra, with , and commuting translations. Lorentz covariance and closure on the existing supercharges permit onlyThe graded Jacobi identity for therefore givesFor example, with , and , the coefficient is a nonzero multiple of . Independence of the translation generators forces . Its adjoint gives the barred result. Thus every supercharge commutes with four-momentum:Consequently . If has a particular mass-shell condition, the nonzero state has the same one. This gives supersymmetric mass degeneracy within an unbroken physical supermultiplet. The qualification matters: after spontaneous supersymmetry breaking, the chosen vacuum is not annihilated by the supercharges, and its one-particle excitations need not constitute degenerate supermultiplets.
For the O'Raifeartaigh model, write , , . Field phases allow to be positive. The canonical Kähler potential and elimination of the auxiliary fields give the F-term scalar potentialA supersymmetric vacuum would require , hence , while could not vanish. Thus F-flatness is impossible. More precisely, with ,The stated strict inequality makes every nonconstant term nonnegative. The entire classical vacuum family isHere , while . The Weyl spinor is the massless goldstino, and the complex scalar field is a pseudomodulus with two zero tree-level squared masses. The hierarchy separates the massive fields from the breaking scale, but it does not itself select along this flat direction.
At the representative vacuum , the chiral-superfield fermion mass matrix isIts physical masses are its singular values: . The two massive Weyl spinors can be combined into one massive Dirac spinor. For , , the real scalar squared masses areIn particular, there is no tachyon under the stated inequality. The splitting of the masses displays supersymmetry breaking directly.
For completeness, the mass spectrum can be given throughout the classical vacuum family, rather than silently fixing the pseudomodulus. A phase rotation makes real and nonnegative without changing physical masses. The massive fermion squared masses areThe real and imaginary scalar sectors have two-by-two scalar squared-mass matriceswhose eigenvalues areBoth determinants are and their traces are positive, so stability holds at every finite . Quantum corrections can lift a pseudomodulus; these formulas describe the classical, tree-level spectrum requested here.
Define the physical mass supertrace byEach real scalar contributes once and each Weyl spinor twice with a minus sign. At this gives . At general , . Hence the tree-level mass supertrace vanishes despite broken supersymmetry:This is the tree-level supertrace mass sum rule, not a claim that the individual masses are equal.
For direct breaking in the Minimal supersymmetric Standard Model, the difficulty is both field content and the tree-level spectrum. A linear gauge-invariant superpotential term needs a gauge-singlet chiral superfield, which the minimal model does not contain. Moreover, with canonical kinetic terms and purely neutral F-term breaking, without D-term mass shifts, the MSSM tree-level sfermion mass constraint applies separately to conserved charge sectors. For one electron pair it gives : both scalar partners cannot be heavy. This is an illustrative charge-sector consequence under those assumptions, not an unrestricted inference from the total supertrace alone. A separate hidden supersymmetry-breaking sector communicating effective soft supersymmetry breaking through loops or suppressed operators avoids the direct canonical tree-level obstruction.
Past exam of the mathematics course of the University of Cambridge 2015 iii Paper 48 4 Solution Created 2026-10-03 Updated 2026-11-05
Complexifying the Clifford algebra removes the signature dependence of its representation dimension. Pair the gamma matrices into operators with and . The commuting occupation operators have eigenvalues zero or one. Starting from a Clifford vacuum, applying every subset of the fermionic creation operators produces independent states. Conversely, these operators construct matrices on a -dimensional space, and their products span its full matrix algebra. Thus an irreducible complex Clifford algebra module in hasA general Clifford module is a direct sum of these; the statement concerns the minimal spinor.
The Lorentz group acts through even Clifford products, . More precisely this is a representation of its double cover, the Spin group. The normalized product of all matrices squares to one and anticommutes with each , while commuting with every . Its eigenspaces are the two Weyl spinor representations, so the Dirac spinor is reducible under the connected spin group:Each summand is irreducible. The Clifford module itself remains irreducible because an individual interchanges the summands. In one can use the old as the additional matrix, with an appropriate phase for its signature. No independent chirality matrix remains: the product of all matrices is central and fixed to a scalar on an irreducible module. There are two choices of this central sign for the complex Clifford algebra, but each restricts to the same irreducible -dimensional spinor representation of the connected spin group. An odd-dimensional spinor has no Weyl splitting. Majorana spinor reality conditions depend additionally on dimension and signature; they must be imposed separately from this complex dimension count.
For the massless field counts, use the rotational part of the little group and real physical polarizations. A massless p-form gauge field has only transverse, antisymmetric components after its gauge redundancy and equations of motion are imposed, giving polarizations. A graviton has a symmetric traceless transverse tensor, giving . A massless fermion obeys a Dirac equation which halves its off-shell spinor components. In ten dimensions a Majorana-Weyl spinor has sixteen real components off shell and eight physical components; in nine dimensions a Majorana spinor has sixteen off shell and eight physical components; in eleven dimensions a Majorana spinor has thirty-two off shell and sixteen physical components. A gravitino is a transverse vector-spinor with its gamma trace removed, leaving times the corresponding physical spinor dimension. Thus the ten-dimensional Majorana-Weyl gravitino has polarizations, the nine-dimensional Majorana gravitino has , and the eleven-dimensional Majorana gravitino has .
The common Neveu-Schwarz sector of type IIA supergravity and type IIB supergravity consists of a metric tensor, the Kalb–Ramond field , and the dilaton . Their counts are respectively , , and . The Ramond-Ramond sectors and fermions distinguish the theories. In type IIA supergravity the independent bosonic potentials and counts areThere are two Majorana-Weyl gravitini of opposite chirality, giving , and two Majorana-Weyl dilatini of opposite chirality, giving . Their total is . With gravitini labelled and , the corresponding dilatini have signs and respectively. Type IIA is nonchiral.
In type IIB supergravity, the independent bosonic potentials and counts areThe five-form field strength associated with is a self-dual differential form, so only half the seventy transverse four-form components are independent. In Lorentzian ten dimensions the Hodge star operator on five-forms squares to one, making a real self-duality condition possible. The two Majorana-Weyl gravitini have the same chirality and contribute states. Both Majorana-Weyl dilatini have the opposite chirality to those gravitini and contribute states. Type IIB is chiral, with bosonic and fermionic polarizations.
For dimensional reduction, retain the massless zero modes on a flat circle, with no flux, gauging or fermion twist. A metric splits into a lower-dimensional metric, one vector and one scalar. An ordinary -form splits into a -form and a -form, according as it has no compact index or one. This preserves counts by Pascal's identity, .
Reducing type IIA supergravity to nine dimensions gives the following decompositions; each number is a count of physical states:Thus the bosonic maximal nine-dimensional supergravity multiplet contains one graviton, three massless vectors, two massless two-forms, one massless three-form and three real scalars, withEach ten-dimensional Majorana-Weyl gravitino becomes one nine-dimensional Majorana gravitino and one Majorana spin-one-half field, giving . Each ten-dimensional dilatino gives one more Majorana spin-one-half field. The fermionic multiplet therefore has two gravitini and four spin-one-half fields, with . The fields belong to one maximal gravity supermultiplet, not separate interacting matter multiplets.
Reducing type IIB supergravity gives from the metric; one two-form and one vector each from and ; and the two scalars . The four-form potential yields a nine-dimensional four-form and three-form, but the ten-dimensional self-dual differential form condition relates their field strengths. Retaining either one gives independent polarizations, not seventy. The same bosonic count, three scalars, three vectors, two two-forms and one three-form, follows. The fermionic reduction likewise gives two gravitini and four spin-one-half fields. These are the same maximal nine-dimensional supergravity spectrum, as expected from T-duality. The spectrum is nonchiral in nine dimensions, since the odd-dimensional spinor representation has no independent Weyl chirality; the ten-dimensional distinction is lost on restriction to nine-dimensional Lorentz symmetry.
Eleven-dimensional supergravity has a metric with states, a three-form with , and a Majorana gravitino with . For direct reduction on a flat two-torus, write the internal indices as . The metric gives , two vectors and three symmetric components ; the three-form gives , two two-forms and one vector . HenceThe eleven-dimensional Majorana spinor restricts to two nine-dimensional Majorana spinors. The vector-spinor consequently yields two gravitini and four spin-one-half fields, giving . This is again the same maximal nine-dimensional multiplet.
For reduction of massless type IIA supergravity to four dimensions, use a flat six-torus and retain all zero modes, without flux or projections. Internal indices giveThe multiplicities come respectively from a symmetric pair of six internal indices, , and . Before dualizing, this gives one graviton, vectors, scalars, seven two-forms and one three-form. The seven two-forms provide seven scalar polarizations, whereas the three-form has no local propagating polarization. Thus the final bosonic spectrum is one graviton, vectors and scalars, with states.
A ten-dimensional Majorana-Weyl spinor decomposes into four four-dimensional Majorana spinors. Each ten-dimensional gravitino supplies four four-dimensional gravitini and twenty-four spin-one-half fields, with . Each ten-dimensional dilatino supplies four spin-one-half fields, with . Together they give eight gravitini and fifty-six spin-one-half fields, with . As a separate check, the helicity spectrum of a massless supermultiplet with has multiplicities at helicity , giving . The reduced theory has the field content of four-dimensional N=8 supergravity, with physical states, exactly as in ten and eleven dimensions. Other compact manifolds or projections can reduce the number of preserved supercharges; the flat-torus assumption is essential to this spectrum.
Here is the local two-form scalar duality including its coupling dependence. For this calculation use signature , , and the contravariant volume tensor . A healthy two-form kinetic term and its first-order form areTreat as independent. Varying imposes its Bianchi identity for an Abelian p-form, , so locally . Varying instead yieldsUse . The original kinetic term becomes , and the multiplier term becomes . Both terms must be substituted; replacing only in the original kinetic term would produce the wrong sign. ThusAt fixed normalization of the Bianchi multiplier, the dual kinetic coefficient is the inverse of the original coefficient: if the scalar convention is , then . A canonical scalar is for constant , but that rescaling hides the formal coupling inversion and changes any assigned scalar periodicity. For a scalar-dependent positive kinetic matrix of several two-forms, the same calculation gives . Additional topological couplings modify the multiplier's derivative terms but do not change this basic inversion of the two-form kinetic matrix. The Hodge star operator exchanges the two-form Euler-Lagrange equations and Bianchi identities for an Abelian p-form with those of the dual scalars; the duality is local and global flux sectors require separate treatment.
A four-dimensional three-form instead has . Its equation of motion, , makes a spacetime constant. For constant coupling the first-order expression in this convention can be writtenHere the first-order construction includes a multiplier : varying imposes , and the displayed density retains the term fixing the flux normalization. Eliminating gives and . Thus it can encode a constant-flux contribution to the vacuum energy, but no local massless particle or scalar wave. On the zero-flux perturbative vacuum it contributes no state. The seven two-forms are scalar duals; the three-form is nondynamical, which completes the four-dimensional field count without discarding a possible global flux parameter.