Past exam of the mathematics course of the University of Cambridge 2017 iii Paper 307 2 Solution Created 2026-10-03 Updated 2026-10-05
Use left Grassmann derivatives for the Grassmann variables. A chiral superfield satisfies . In the derivative convention printed in the PDF, differentiating with respect to a barred coordinate brings a minus sign from moving the odd derivative through . Consequently , so the general solution depends only on and :Here is a complex scalar field, a Weyl spinor and a complex auxiliary field. This is a finite Grassmann algebra expansion, not an assumption that the spacetime fields are constant.
For a completely convention-independent way to organize the ordinary-coordinate expansion, let . Translation by givesAll higher terms vanish because there are only two unbarred and two barred odd coordinates. For example take , signature , and , with both lower epsilon tensors having . Then and the chiral-superfield component expansion readsThe frequently written positive quarter coefficient corresponds to the opposite convention for or the spinor contractions; the preceding shift formula fixes the sign without ambiguity. The local TeX's barred derivative is damaged: the original PDF has , not a barred-coordinate factor at its end.
Write in chiral coordinates. Multiplication gives the three component constraintsOn the regular branch where the ordinary commuting part of is nonzero, the nilpotent chiral superfield is thereforeThe goldstino and auxiliary field are independent; the scalar is a composite, not another independent degree of freedom. Its first two constraints follow because any product of three identical two-component odd spinor entries vanishes. It is essential not to divide by on a branch with zero commuting part: for example satisfies the nilpotency condition without breaking supersymmetry.
For a regular local action with no superspace derivatives in or , nilpotency truncates the most general superpotential and Kähler potential toThe last inequality makes the kinetic Kähler metric healthy. In global four-dimensional N=1 supersymmetry, the constant and holomorphic pieces of integrate to zero, and does not affect the action. On the bosonic background , the constraint sets and the auxiliary terms are . Eliminating them givesA nonzero is necessary for this regular constrained branch to be an on-shell vacuum. It gives nonzero and supersymmetry breaking, with the goldstino. Nilpotency alone is not a proof that every possible branch breaks supersymmetry. With the above composite parametrization is singular on shell, rather than evidence for a regular supersymmetric vacuum containing an independent Goldstino.
If these data are instead embedded in supergravity, the constant and linear terms cannot simply be discarded independently: a Kähler transformation also transforms . Before such a transformation, at the supergravity F-term potential isThus nonzero still breaks supersymmetry, but the vacuum energy need not be positive. This distinguishes the global answer from the local theory explicitly introduced in the next question.
Now write . The condition becomesUsing the same nonzero- branch gives the chiral superfield constrained by a nilpotent superfieldThe spinor and the auxiliary remain independent; the scalar is removed. Substituting this expression verifies the other two product constraints using two-component spinor identities. It does not impose . It does imply cubic nilpotency from a mixed chiral constraint: . Indeed , soThese are exactly the three components needed for . The generic nonzero expression for shows why imposing quadratic nilpotency on would lose allowed interactions.
The analytic chiral monomials consequently reduce to . The most general superpotential isFor the Kähler potential, put . Every allowed mixed monomial is included inThis includes , , , , , and the necessary conjugates; products containing or vanish. In a global theory the holomorphic terms again integrate to zero; in supergravity they can be changed by a Kähler transformation. Positivity requires the kinetic metric on the independent multiplets to be positive definite at the chosen background, not necessarily the entire coefficient matrix on the redundant composite list . The most general claim here concerns regular analytic two-derivative actions; singular functions of the constrained fields or higher-derivative operators are outside it.
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 2018 iii Paper 307 3 Solution Created 2026-10-03 Updated 2026-10-05
Use the canonical Kähler potential and normalize superspace integration by . The superspace Lagrangian density isThe full superspace integration produces a D-term, while the chiral superfield integral produces an F-term. Work in chiral coordinates for the chiral-superfield component expansion, so the omitted spacetime-derivative terms do not enter the extraction of .
Set . A Taylor expansion of the superpotential givesHigher terms vanish because there are only two Grassmann variables . With and , their anticommutation gives . ThusThe canonical Kähler potential contributes . Consequently the part of the Lagrangian density containing the auxiliary field isThe fermion terms coming from the superpotential areThe Weyl spinor kinetic term and the complex scalar field kinetic term are canonical because .
Treat and as independent variables in their algebraic Euler-Lagrange equations. They giveEquivalently,After eliminating the auxiliary field, the Lagrangian density contains , so the F-term scalar potential isIt is nonnegative for arbitrary complex , since it is a modulus squared. A supersymmetric vacuum satisfies F-flatness, so its zeros are:If and these coincide; if and only the origin remains; if every constant is a supersymmetric vacuum.
To compare masses, expand around a supersymmetric vacuum satisfying , writing . With ,Writing gives the scalar field mass term ; the Weyl spinor has physical mass . Therefore the supersymmetric mass degeneracy isIn particular, at the boson and fermion masses are both . At the second supersymmetric vacuum the sign of reverses, but the physical mass is again . Equality here concerns fluctuations about a supersymmetric vacuum, not arbitrary backgrounds with .
In the convention and , the same superpotential coefficient gives and . The supersymmetric relation between quartic and Yukawa couplings is thereforeIf instead the Yukawa interaction is written , then and the same physical relation is . The numerical factor depends on the definition of the Yukawa coupling.
The perturbative non-renormalization theorem applies to the local holomorphic superpotential in the Wilsonian effective action, using regularization in quantum field theory that preserves supersymmetry. There are two complementary ways to see why it applies here.
First, in supergraph calculations in perturbative quantum field theory, the algebra of supersymmetric covariant derivatives puts any candidate local correction to the superpotential into a full superspace integration. It therefore corrects a D-term, such as the Kähler potential, rather than a local chiral F-term. Turning such a contribution into an apparent chiral integral would require nonlocal inverse spacetime derivatives, schematically . These are excluded from the local Wilsonian effective action with a fixed nonzero momentum cutoff. This gives the diagrammatic non-renormalization theorem.
Second, the holomorphy argument for superpotential non-renormalization treats and as background chiral spurions, so the Wilsonian effective action superpotential is a holomorphic function of , with no dependence on or . Assign an ordinary spurion charge and an R-charge as follows:The superpotential has ordinary charge zero and R-charge two, since has R-charge minus two. A prospective holomorphic monomial must therefore satisfyFor perturbative corrections, regularity at and requires nonnegative powers of the couplings. Regularity in is justified by keeping a nonzero Wilsonian momentum cutoff and retaining as a light field. Hence only and survive: the existing and structures. The quadratic coefficient is fixed by the free theory at , where there are no interaction loops. The cubic coefficient is fixed at first order in , where a connected three-field interaction has only its tree-level Feynman diagram; loop corrections would require further powers of the interaction couplings, which the holomorphy argument for superpotential non-renormalization charge constraints forbid. ThusA field-independent constant is physically irrelevant in this rigid model; the spurion charges would in any case require , which is not regular at .
The Kähler potential can still receive wave-function renormalization. For example, gives the canonical field normalization , and consequentlyThese canonically normalized parameters can run with the renormalization scale; this does not contradict the holomorphic non-renormalization theorem. When massless modes are included in the full quantum effective action, nonlocal terms associated with infrared divergences can also imitate an F-term. Distinguishing that action from the local Wilsonian effective action is part of the theorem's convention.
Past exam of the mathematics course of the University of Cambridge 2024 iii Paper 305 1 i Solution Created 2026-09-24 Updated 2026-09-25
Write . Parity reverses the spatial coordinates and must exchange the two chiral Weyl spinors. One convenient choice isThe identities and exchange the two kinetic terms after . The mass bilinear maps to its complex conjugate , so the two mass terms are exchanged and the action is invariant. More generally, independent unit phases may multiply the two transformations provided .
Past exam of the mathematics course of the University of Cambridge 2024 iii Paper 305 1 iv Solution Created 2026-09-24 Updated 2026-09-25
In four spacetime dimensions a Weyl spinor has mass dimension , so each chiral current or has dimension three. Since the interaction is , dimensional homogeneity of the Lagrangian givesEquivalently, the expanded four-fermion interaction has coefficients of mass dimension minus two.
Parity exchanges and . The square is invariant precisely when the two same-chirality coefficients agree, , while the mixed coefficient is already symmetric. Therefore
Past exam of the mathematics course of the University of Cambridge 2024 iii Paper 307 2 a Solution Created 2026-09-24 Updated 2026-09-25
A chiral superfield obeysExamples in the Minimal supersymmetric Standard Model include the quark, lepton and Higgs chiral superfields. Such a multiplet contains a complex scalar , a two-component Weyl spinor , and a complex auxiliary field ; only the scalar and fermion propagate on shell.
The chiral coordinate is annihilated in the required combination by , so the solution has the simple formTaylor-expand each component about . Nilpotence truncates the series, and the Grassmann identitygives the chiral-superfield component expansionTherefore
Past exam of the mathematics course of the University of Cambridge 2025 iii Paper 307 3 Solution Created 2026-09-24 Updated 2026-09-25
With , define the Pauli-Lubanski pseudovector byFor a translation and a Lorentz transformation , a left-handed Weyl spinor transforms asEquivalently, the active field at a fixed point uses .
The Clebsch-Gordan decomposition isIndeed,The symmetric spinor is the representation, while its antisymmetric part is the Lorentz scalar .
In the conventions used below, the nonzero brackets involving the supercharges areand . These equations, together with the Poincare algebra, are the four-dimensional Super-Poincaré algebra without central charges.
Past exam of the mathematics course of the University of Cambridge 2026 iii Paper 302 2 c Solution Created 2026-09-24 Updated 2026-09-25
A coordinate transformation conjugates an infinitesimal generator, hence . It fixes the rotation generators and negates the boosts . Therefore it exchanges and , and the parity action on a Lorentz representation isAn irreducible representation is parity invariant precisely when . If , parity invariance requires the reducible sum . Thus the two Weyl-spinor representations and are exchanged, while their direct sum is the parity-invariant Dirac spinor.
Past exam of the mathematics course of the University of Cambridge 2026 iii Paper 307 1 Solution Created 2026-09-24 Updated 2026-09-25
In the chiral coordinate , a chiral superfield isHere is a complex scalar, is a two-component Weyl spinor, and is a complex auxiliary field. Off shell, and contribute two real bosonic components each, while has two complex Grassmann components. Thus there are four real bosonic and four real fermionic degrees of freedom.
Quark field 2026-10-14
A quark field is a Dirac field or a chiral Weyl spinor carrying the colour fundamental representation of . Its three colour components transform as under local gauge transformations. The colour index is independent of the Lorentz spinor index, and the weak representations of its left and right chiral components differ in the Standard Model.
Spinor dimension in arbitrary spacetime dimension Created 2026-10-06 Updated 2026-10-14
An irreducible complex Clifford algebra module in even spacetime dimension has dimension and splits under the connected Spin group into two Weyl spinor modules of dimension . In odd dimension , an irreducible spinor still has dimension but has no Weyl splitting. Reality conditions depend on signature and are additional to these complex counts.
With left Grassmann derivatives, define , and . The anticommutators of the derivative parts and of the coordinate parts vanish. Each mixed derivative/coordinate pair contributes by the graded product rule, giving the displayed mixed anticommutator. Equal-chirality anticommutators vanish, and all these operators commute with translations. Under Lorentz transformations their spinor indices transform in conjugate Weyl spinor representations, completing the minimal Super-Poincaré algebra. A convention for left derivatives is essential to the signs.
Supersymmetric mass degeneracy Created 2026-10-05 Updated 2026-10-06
In an unbroken supersymmetric vacuum, physical boson and fermion partners have equal masses because supercharges commute with four-momentum. For one canonical chiral superfield, fluctuations about have mass for both the complex scalar field and Weyl spinor.
Supersymmetry generator 2026-10-05
A supersymmetry generator is an odd Weyl spinor generator of the Super-Poincaré algebra. Acting on a physical state reverses fermion parity while preserving its four-momentum.