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-10-06
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.
Past exam of the mathematics course of the University of Cambridge 2016 iii Paper 307 1 iv Solution Created 2026-10-03 Updated 2026-10-06
In the conventions , the trace over the two spinor components of the Super-Poincaré algebra givesHence, on a normalized state in the domain of the supercharges,This proves energy positivity in global supersymmetry. The zero of energy is fixed by the algebra; adding an arbitrary constant to while keeping that algebra unchanged is not allowed.
For a finite-dimensional supermultiplet at fixed positive energy and four-momentum, choose a nonzero component with , , and . The Hermitian odd operatorIt is therefore an invertible map from the even fermion parity subspace to the odd subspace and conversely. This proves boson-fermion degeneracy in a supermultiplet, , for every positive-energy physical particle supermultiplet. Equivalently, the supertrace of the supercharge anticommutator vanishes because odd operators interchange these two subspaces. A zero-energy vacuum is an exception to the literal claim about every possible representation: it can be a one-dimensional bosonic singlet with all supercharges acting trivially.
For a vacuum , the sum-of-squares formula gives exactly when all supercharges and their adjoints annihilate it. If global supersymmetry is spontaneously broken and a vacuum exists, at least one such norm is nonzero, so the vacuum energy is positive. In infinite volume this is the statement about the vacuum energy density, understood with a finite-volume regulator. Explicit supersymmetry breaking need not preserve the algebra used in the proof. The conclusion also does not extend to the supergravity F-term potential, whose negative term permits, for example, the zero-energy broken vacua of no-scale supergravity.
Past exam of the mathematics course of the University of Cambridge 2018 iii Paper 307 1 Solution Created 2026-10-03 Updated 2026-10-05
Work in four-dimensional Minkowski spacetime, with in a unitary representation. The usual Super-Poincaré algebra has the Poincare algebra and possible internal Lorentz scalars as its even generators, and only the stated Weyl spinors as its odd generators. This closure assumption is essential: Lorentz covariance alone would also permit additional tensor-valued generators. It is the setting selected by the Haag–Łopuszański–Sohnius theorem for ordinary interacting relativistic theories.
The Spinor representation of the Lorentz group givesHere denotes the Lorentz algebra matrices in the convention of the paper. Moving to the left changes the sign; definitions using Hermitian Lorentz algebra generators may also put an explicit into these matrices. The conjugate relation acts on the dotted Weyl spinor indices.
The tensor product of group representationsis a Lorentz four-vector. The only such even generator is , so the mixed anticommutator must beApplying Hermitian conjugation makes a Hermitian matrix. Positivity of for every linear combination of supercharges makes a positive semidefinite matrix on a positive-energy physical superalgebra representation. Remove any null supercharges, which act trivially, and use a unitary diagonalization of a normal matrix followed by rescaling to obtain . Thus counts the independent nontrivial supercharges.
For equal chirality, the tensor product of group representations isConsequently the tentative equal-chirality anticommutator can contain and a symmetric spinor tensor , where is the intertwining operator for Lorentz covariance onto . Symmetry of the anticommutator under forces and . At this stage is an internal Lorentz scalar, hence commutes with ; its full centrality will follow below.
To determine the commutator with translations, Lorentz covariance and the absence of additional odd generators leave onlyand the relation obtained by Hermitian conjugation. The graded Jacobi identity for , using , giveswhere means entrywise complex conjugation. This equation alone would not imply . Contract the graded Jacobi identitywith . The term drops out because its spinor tensor is symmetric, and makes the remaining left side vanish. Substitution of the mixed anticommutator makes the right side a nonzero numerical multiple of . Thus . It follows that and , whence . Applying Hermitian conjugation proves the same assertion for :Returning to the uncontracted graded Jacobi identity now gives . Since the Lorentz algebra generators do not commute with translations, the tentative term must have . HenceIn particular for . The dotted-dotted anticommutator follows by Hermitian conjugation applied to the second relation.
The graded Jacobi identity for , together with , gives . As a Lorentz scalar, commutes with , and it already commutes with . Closure and Lorentz covariance make for some coefficients. Apply the graded Jacobi identity once more:Thus . Since every and is itself an anticommutator of supercharges, the 's also commute with each other and their conjugates. Therefore are central charges in supersymmetry of the displayed algebra. Additional R-symmetry automorphisms are not among the generators specified here.
For boson-fermion degeneracy in a supermultiplet, fix a physical four-momentum with , and take the finite internal space of states at that four-momentum. Let be fermion parity. It anticommutes with each supercharge and its adjoint. For any fixed , summing the diagonal spinor indices givesbecause and the Pauli matrices are traceless. Cyclicity of the operator trace and implyThe supertrace of the preceding summed anticommutator therefore vanishes:This counts physical boson and fermion degrees of freedom, including polarizations. The phrase “any representation” needs a qualification: a one-dimensional even supersymmetric vacuum with has one boson and no fermion. Thus the equality applies to positive-energy physical supermultiplets with finite state counts at fixed four-momentum, not to arbitrary abstract superalgebra representations or unregulated infinite-dimensional operator traces.
Past exam of the mathematics course of the University of Cambridge 2018 iii Paper 307 2 Solution Created 2026-10-03 Updated 2026-10-05
Use a positive-energy unitary representation with finite helicity states, excluding continuous-spin representations. In the specified frame the Pauli matrices giveFor every and every state ,Positivity therefore gives on this massless supermultiplet. The equal-chirality anticommutator then shows that every central charge in supersymmetry vanishes on this superalgebra representation.
Normalize the remaining supercharges as fermionic raising and lowering operators:They obey the canonical anticommutation relationsChoose a Clifford vacuum of helicity annihilated by every . Such a vector exists because the commuting fermion number operators have eigenvalues and , and lowering every occupied mode produces a nonzero empty state. In an irreducible representation this empty space has dimension one; multiple empty states produce a direct sum of copies. The states areThe canonical anticommutation relations make these states orthonormal for a normalized Clifford vacuum. In the helicity convention , its adjoint has . Thus the Clifford vacuum is the highest-helicity state andReversing the rotation convention reverses the displayed ordering and leaves all counts unchanged. The level- states form the exterior power , which explains the binomial coefficient. Summing the binomial coefficients gives the helicity spectrum of a massless supermultiplet:Each application of a fermionic raising and lowering operator reverses fermion parity. The even and odd levels each contain states, so a physical massless supermultiplet has boson and fermion states.
These formulas describe one irreducible representation of the massless Super-Poincaré algebra at fixed four-momentum. A reducible superalgebra representation can contain several such supermultiplets. Also, the CPT theorem sends helicity to and conjugates internal charges. CPT completion of a supermultiplet may therefore require a second -state supermultiplet, with highest helicity . A necessary condition for the original helicity spectrum of a massless supermultiplet to be self-conjugate is ; internal charges must also admit the conjugation in a realization compatible with the Spin-statistics theorem. Thus this helicity condition alone is not sufficient for CPT completion of a supermultiplet without doubling. In particular, the original irreducible count is not automatically the count after CPT completion of a supermultiplet.
For the conventional bounds on extended supersymmetry, suppose all massless states satisfy . The helicity spectrum of a massless supermultiplet occupies an interval of width , whereas the available interval has width . HenceAn ordinary four-dimensional renormalizable quantum field theory without gravity uses interacting massless fields of spin angular momentum at most one. Massless spin angular momentum requires supergravity, whose gravitational coupling has negative mass dimension and is a nonrenormalizable interaction by power counting in quantum field theory. Setting gives for conventional renormalizable theories. The bound is attained by four-dimensional N=4 super Yang-Mills theory: choosing givesfor its supersymmetric vector multiplet.
Allowing gravity permits , so for conventional theories including gravity. The four-dimensional N=8 supergravity supergravity multiplet attains the bound with :It has states, boson and fermion states. The conventional claim about a maximum “in general” assumes local interacting four-dimensional theories in Minkowski spacetime with a finite spectrum of fields and no massless spin angular momentum above two. It is not a theorem excluding arbitrary free higher-spin angular momentum constructions or all theories in other spacetime settings.
Finally, a chiral gauge spectrum means that the independent left-handed Weyl spinors occur in complex gauge group representations without obligatorily paired conjugate left-handed Weyl spinors. In four-dimensional N=1 supersymmetry, an irreducible matter supermultiplet with helicities can carry a complex gauge group representation . Its CPT completion of a supermultiplet supplies the right-handed antiparticle in , as every left-handed Weyl spinor requires; it does not supply a second independent left-handed Weyl spinor in . Consequently a chiral gauge spectrum is possible.
For , the matter hypermultiplet has helicities before internal charge conjugation. If it carries a complex gauge group representation , its CPT completion of a supermultiplet adds the conjugate hypermultiplet. Equivalently, the resulting full hypermultiplet contains two chiral superfields, one in and one in . These give a vectorlike gauge spectrum. Half-hypermultiplets can occur in pseudoreal representations, which also do not produce genuinely complex chiral gauge spectra. A supersymmetric vector multiplet has Adjoint representation, hence real gauge quantum numbers. Since every algebra contains an subalgebra, the same obstruction applies to greater extended supersymmetry.
Therefore a conventional chiral gauge spectrum is possible only for or . Here means no supersymmetry; among theories with actual supersymmetry, only qualifies. These are necessary structural conditions, not a guarantee that a chosen chiral gauge spectrum satisfies anomaly cancellation.
Past exam of the mathematics course of the University of Cambridge 2024 iii Paper 307 1 d Solution Created 2026-09-24 Updated 2026-09-25
Fermion parity is defined byIt anticommutes with and . At fixed nonzero energy and momentum, choose a supercharge combination for which with . Taking the finite-dimensional trace over one supermultiplet givesbecause cyclicity of the trace and anticommutation of with make the two terms cancel. ThereforeThis is boson-fermion degeneracy in a supermultiplet.
If explicit or soft supersymmetry breaking terms are added, the supercharge is no longer a conserved symmetry of the full Hamiltonian and states need not form representations of the supersymmetry algebra at equal energy. The positive anticommutator cannot be replaced by a constant on a purported multiplet, so the supertrace proof and mass degeneracy fail.
Supercharges commute with translations Created 2026-10-06 Updated 2026-10-14
In the minimal Super-Poincaré algebra, Lorentz covariance allows . The graded Jacobi identity with forces . Thus each supercharge preserves four-momentum and its mass Casimir, giving supersymmetric mass degeneracy in an unbroken physical supermultiplet.
A superfield is a field on superspace with a specified Super-Poincaré group transformation law. Being a polynomial in anticommuting coordinates alone does not specify this law or make coefficients a supermultiplet. Conversely, a suitably graded function on full superspace, acted on by coordinate pullback, is an unconstrained scalar superfield. A polynomial with spacetime-independent coefficients can be a special constant-component chiral superfield; dependence on spacetime is not itself the defining criterion. Chirality and reality impose additional conditions.
Supergravity multiplet 2026-10-05
A supergravity multiplet is a supermultiplet containing a graviton and its supersymmetric partners. In four-dimensional N=8 supergravity, the irreducible massless supermultiplet contains boson and fermion states.
Superspin 2026-10-14
For a massive four-dimensional N=1 supermultiplet, superspin is the spin of its Clifford vacuum, the state annihilated by the two lowering supercharges. The creation operators produce spins , omitting the last when . The corresponding superspin Casimir has an eigenvalue proportional to ; this representation label is distinct from the spin of any one constituent.
Supersymmetry Created 2026-09-24 Updated 2026-10-13
Supersymmetry extends spacetime symmetry by odd supercharges that interchange boson and fermion states. Their Super-Poincaré algebra pairs positive-energy states into supermultiplets and gives energy positivity in global supersymmetry. Superspace and superfields package the component fields into representations of this symmetry.
Supertrace pairing at positive energy 2026-10-07
For a finite physical supermultiplet at fixed positive energy, fermion parity anticommutes with each odd supercharge. Trace cyclicity makes . Summing the Super-Poincaré algebra diagonal entries replaces the anticommutator by , giving equal bosonic and fermionic state counts. A zero-energy vacuum is an exception to the division by , so it need not have a partner. The argument requires an invariant fixed-momentum representation, which is the step lost under explicit supersymmetry breaking.