Matter parity assigns to every matter chiral superfield, including a singlet describing a conjugate right-handed neutrino, and to Higgs chiral superfields. Thus the quadratic superpotential term is even, although it changes lepton number by two. The higher-degree operators and are also even and violate baryon number or lepton number. Exact R-parity therefore forbids the renormalizable trilinear violations , , , , , but does not imply conservation of these continuous charges in every allowed interaction.
MSSM superpotential 2026-10-14
With hypercharge normalized by , the renormalizable R-parity-conserving MSSM superpotential is , with . Additional renormalizable R-parity violation allows . The two antisymmetries are and . The first, second and fourth additional terms violate lepton number; the third violates baryon number.
Non-renormalization theorem Created 2026-09-24 Updated 2026-10-07
The local Wilsonian effective action superpotential receives no perturbative corrections when supersymmetry is preserved, an infrared cutoff is retained and the same elementary fields are kept. The spurion selection rule for perturbative non-renormalization gives a holomorphy proof. The Kähler potential and physical couplings after wave-function renormalization can change; genuine nonperturbative superpotential terms require a separate analysis.
No-scale supergravity Created 2026-10-05 Updated 2026-10-06
In a no-scale sector, the Kähler metric satisfies . If the superpotential is independent of that sector, its covariant derivatives contribute , cancelling the universal in the supergravity F-term potential. Spectator sectors can still contribute to the potential. This cancellation permits zero-energy minima with broken supersymmetry and exact flat scalar directions.
Past exam of the mathematics course of the University of Cambridge 2001 iii Paper 65 3 Solution Created 2026-10-03 Updated 2026-10-14
Take canonical kinetic terms, gauge coupling , and define the Fayet–Iliopoulos term by . If is the scalar component of the charge- chiral superfield, the relevant auxiliary field Lagrangian isThe algebraic equation eliminates and gives the D-term scalar potentialSince the superpotential vanishes, . In a homogeneous vacuum, the supersymmetry transformation of the gaugino includesThus gives an inhomogeneous shift: no nonzero constant supersymmetry parameter leaves this vacuum invariant. The gaugino is the goldstino, because it is the field shifting under the broken supercharge; there is no contribution here.
For , minimizing over separates three cases. If , the allowed value gives : supersymmetry is unbroken while the internal gauge symmetry is Higgsed. If , the unconstrained zero of would have negative , so the minimum is with and . If , the minimum is supersymmetric. Consequently, with this explicitly stated sign convention,Reversing the sign used to define the Fayet–Iliopoulos term reverses the printed sign criterion, not the physics. If , the scalar is decoupled and flat: any still breaks supersymmetry through , but the charged-field criterion does not apply.
On the broken branch, expand about :Writing gives both real scalar modes the squared mass . There is no superpotential fermion mass and no vacuum expectation value to induce gaugino–matter-fermion mixing. The Abelian gauge symmetry is unbroken, so its vector is also massless. The complete mass spectrum of single charged-field D-term breaking isThe original chiral multiplet therefore has the squared-mass splittingThe original vector multiplet has zero mass splitting, although the nonzero means it is not an unbroken-supersymmetry representation. As a check, the tree-level supertrace mass sum rule gives when the two real scalar degrees of freedom are counted. On the broken branch all the propagating fields are massless.
There is a necessary scope qualification: one nonzero-charge Weyl fermion has an Abelian cubic gauge anomaly proportional to and a mixed gravitational gauge anomaly proportional to . These are the classical vacuum and spectrum calculations requested by the model; a consistent quantum gauge theory needs an anomaly-cancelling completion, whose additional matter must also be included in its vacuum analysis.
Past exam of the mathematics course of the University of Cambridge 2001 iii Paper 65 4 Solution Created 2026-10-03 Updated 2026-10-14
Keep the PDF's hypercharge signs, which are the negatives of the frequently used convention. Write for the displayed chiral superfields. Their gauge group representations are conjugate right-handed-matter representations; their Weyl spinor components are left-chiral charge conjugates. Thus assign baryon number , , and lepton number , , with both Higgs fields neutral under . The corresponding electromagnetic convention is .
Let contract the two weak doublets, and use the color Levi-Civita symbol for three color antitriplets. The most general homogeneous cubic superpotential with right-handed-neutrino superfields separates as , whereandRepeated generation and color indices are summed. The four Yukawa coupling matrices are arbitrary. The weak and color contractions imply and , while is completely symmetric. The terms have ; has ; and have respectively . Their conjugate interactions have the opposite changes. All four Yukawa terms preserve both numbers; all five remaining types violate at least one. In particular, the neutral fields printed in the PDF require both and terms.
For completeness of this list, a cubic color gauge-invariant can contain a – or – pair and one colorless doublet, or three color antitriplets. Vanishing hypercharge gives , , and . Three doublets have no weak singlet. Among colorless terms, two doublets and a singlet give , , and ; the apparent contraction vanishes since the identical bosonic superfields commute. Three singlets yield only . This also explains why no omitted cubic monomial is available. The word cubic excludes the linear term and the quadratic , , terms; these are separate possible terms in the full renormalizable superpotential.
To demonstrate squark-mediated proton decay, take and with or . Identical down-flavor indices would make vanish. Both interactions couple to the same scalar of mass . Suppressing overall convention-dependent vertex signs, their relevant two-component fermion bilinears areThe color index on is contracted with that on ; Lorentz spinor indices within each bilinear are contracted too. Together with , its algebraic equation at momenta small compared with gives . Substitution gives , whose cross term is the four-fermion matching for squark-mediated proton decayIts electron term contains three quark fields of flavors and a lepton, and changes baryon number and lepton number together. The Hermitian-conjugate terms describe both orientations of the process. The hadronic matrix element of the three-quark proton-decay operator between a proton and a neutral pion has the right quantum numbers and is not forbidden by a remaining symmetry. Hence the operator permits : the lepton field creates the positron and the three-quark matrix element connects the proton to the pion. This supplies the mechanism rather than merely naming the two violating interactions.
Each fermion field has mass dimension , so this effective operator has dimension six and coefficient . By dimensional analysis its contribution to the decay rate has the formHere collects phase space, running and the dimensionless hadronic factor; a dimensional estimate takes it of order unity rather than pretending to calculate a strong-interaction matrix element. Assuming this exchange dominates and there is no tuned cancellation, the supplied lifetime gives the proton-lifetime bound on a product of R-parity-violating couplingsThe last estimate uses and . Keeping instead changes to about . A numerical limit independent of the squark mass or hadronic factor is not determined by the supplied data.
Finally, matter parity is : all matter chiral superfields, including , are odd, and the Higgs chiral superfields are even. R-parity of a component field is . In a superpotential, the spin factor is irrelevant to the allowed monomials: each of has two odd matter factors and is even. Each of has three odd matter factors, and has one, so all are odd and forbidden. Higgs vacuum expectation values are even; the allowed Yukawa interactions therefore still generate ordinary fermion masses.
R-parity forbids all the baryon/lepton-number-violating cubic terms above, not every possible violating operator. In particular, is even under matter parity but changes lepton number by two: matter parity allows Majorana neutrino masses. Thus the literal unrestricted claim would be false for these very fields; its valid cubic interpretation gives precisely the requested exclusion while preserving the Yukawa coupling mass terms.
Past exam of the mathematics course of the University of Cambridge 2002 iii Paper 68 1 c Solution Created 2026-10-03 Updated 2026-10-14
Unbroken extended supersymmetry obstructs the observed chiral matter structure. In four dimensions, the matter hypermultiplets of theories contain conjugate gauge group representations, so their fermions are vectorlike rather than the chiral Weyl fermions of the Standard Model. Extended supersymmetry also relates interactions more strongly, restricting independent Yukawa couplings and superpotentials. It can occur at higher energies and break to or to no supersymmetry; the objection is to its unbroken realization in an ordinary low-energy chiral particle theory.
Past exam of the mathematics course of the University of Cambridge 2002 iii Paper 68 1 h Solution 2026-10-14
At two derivatives, specify the gauge group and matter representations, a real Kähler potential , a holomorphic superpotential and a symmetric holomorphic gauge kinetic function . Gauge couplings and topological angles are contained in ; global theories can also have allowed Fayet–Iliopoulos terms for Abelian factors. Local theories require the gravitational coupling and consistent gauging: a constant Fayet–Iliopoulos term is not an independent addition to arbitrary supergravity data. A constant in affects supergravity although it is irrelevant in the global theory. is not holomorphic or protected; has no perturbative Wilsonian renormalization; holomorphic is perturbatively one-loop exact. Nonperturbative corrections can modify and , and wave-function renormalization makes physical couplings run despite superpotential non-renormalization. Higher-derivative actions require further data.
Past exam of the mathematics course of the University of Cambridge 2002 iii Paper 68 3 Solution Created 2026-10-03 Updated 2026-10-14
Use Planck units and restrict to the physical Kähler metric domainPut and , so that . There are no gauged interactions specified, hence no additional D-term scalar potential. The supergravity F-term potential is , with . Its Kähler covariant derivatives of a superpotential areThe nonzero metric entries areThe determinant of this block is , so it is positive definite. With the inverse-index convention , the raised components areKeeping these complex-conjugate off-diagonal entries in their correct index positions is essential.
To exhibit the no-scale supergravity cancellation, write the norm asHere . The term cancels the negative term in the supergravity F-term potential. The result is the nonnegative scalar potentialThis is the matter-logarithm no-scale potential, specialized to the exponential superpotential.
Choose the supergravity auxiliary field convention . Substitution into the full inverse Kähler metric givesAn overall auxiliary-field phase is conventional. The dependence of cancels between the two metric terms. If all three auxiliary fields vanished at a finite physical point, would force , would force , and would then force . Thus is necessary. For any nontrivial choice of , supersymmetry is broken at every finite physical point. The allowed exception , is supersymmetric; the statement cannot hold for all arbitrary parameters without this qualification.
The no-scale volume runaway criterion also determines whether the minimum is attained. For fixed , differentiation with respect to givesIt is negative unless both numerators vanish. Therefore a finite stationary vacuum must satisfyEvery such point is a global minimum with . For , setting and reduces existence toThe derivative of the magnitude function is . It rises from at the excluded boundary to at , then falls to zero. Consequently a finite zero-energy minimum exists exactly whenor in the separate trivial family . There is one positive root for , two for , and one double root at equality. If only one of vanishes, or exceeds this maximum, there is no finite minimum: the infimum is zero as . Calling this runaway a finite zero-energy vacuum would be incorrect.
At a nontrivial zero-energy minimum, , and the auxiliary expectation values reduce toThis explicitly verifies supersymmetry breaking with zero vacuum energy in no-scale supergravity. Both real components of are exact flat directions of a scalar potential on the minimum locus. Away from that locus, is still absent from the potential, but is not flat. At a minimum, is lifted at quartic order: at fixed , . A zero quadratic mass does not make an exact flat direction. The quartic stabilization at a double no-scale root likewise gives a vanishing quadratic mass, but no exact flat direction, for at . For , the whole family has both and flat and supersymmetry unbroken.
Past exam of the mathematics course of the University of Cambridge 2002 iii Paper 68 4 Solution Created 2026-10-03 Updated 2026-10-14
Use the printed hypercharge convention; reversing every hypercharge relative to another common convention does not change the gauge invariants. Write for the singlet chiral superfields labelled with a superscript in the paper, and define the weak-doublet contraction . The most general homogeneous cubic superpotential with right-handed-neutrino superfields separates as , whereandRepeated generation and color indices are summed. Because the chiral superfields commute while the gauge contractions are antisymmetric,The factors and remove the corresponding overcounting.
Here is a completeness check, not merely a list of possible terms. A color-singlet cubic can have no colored fields, a fundamental–antifundamental pair, or three fundamentals or three antifundamentals. A colored pair must be or : the remaining weak doublet and hypercharge select respectively or . Three antifundamentals allow only at zero hypercharge; three doublets have no weak singlet. With no colored fields, weak invariance requires zero or two doublets. Two positive-hypercharge doublets require , giving and , while . Opposite-hypercharge doublets require , giving and . With no doublets, only has zero hypercharge. These are exactly the nine structures above.
For baryon number and lepton number, assignand zero charges to the Higgs fields. This is the conjugate-singlet convention, so the neutrino Yukawa coupling conserves lepton number. The first four terms conserve both charges. The and terms carry , the term carries , the term carries , and carries . The gauge-singlet neutrino interactions must therefore be included in the violating sector.
If “cubic” instead means a polynomial of degree at most three, there are also the lower-degree gauge invariantsThe Higgs mass term conserves both charges; , and violate lepton number. These additional terms distinguish the full renormalizable superpotential from its homogeneous cubic part.
To obtain squark-mediated proton decay, combine a lepton number-violating vertex with a baryon number-violating vertex. A nonzero example is with , exchanging the singlet strange quark squark of mass . The antisymmetry forbids , so using three first-generation singlets would not be a valid example. The relevant component vertices contain and , with the required color contraction. Connecting one vertex to the complex conjugate of the other through the massive scalar propagator produces schematicallyParentheses denote Lorentz scalar two-spinor contractions, dotted for the right-handed pair and undotted for the left-handed pair. This dimension-six proton-decay operator contains the three quarks and an electron field that can create a Positron. Its hadronic matrix element gives the channel . The internal strange flavor need not appear in the final state. The two interactions together violate both continuous charges, as required for this channel.
The coefficient of the dimension-six effective operator has mass dimension . Thus dimensional analysis giveswhere is a dimensionless hadronic and phase-space factor. Its detailed value cannot be fixed by dimensional reasoning. Applying the historical lower bound supplied in the paper gives the proton-lifetime bound on a product of R-parity-violating couplingsThe numerical coefficient is only the accuracy of the requested dimensional estimate; the squark mass was not fixed by the question.
Finally, R-parity is . At the superfield level use matter parity : are odd and are even. Each conserving Yukawa coupling contains two matter chiral superfields and one Higgs field, so it is even. Every violating homogeneous cubic above is odd: contain three matter fields, while contains one. R-parity forbids all the listed cubic violations and preserves the Yukawa terms that generate fermion masses. The Higgs bilinear is also even, whereas the lepton bilinear and the singlet linear term are odd.
The final assertion must not be read as forbidding every possible violation of continuous baryon number or lepton number. In particular, matter parity allows Majorana neutrino masses: is even but carries , a concrete counterexample once quadratic terms are included. Higher-dimensional operators such as and are likewise even and violate the continuous charges. The verified statement here concerns the homogeneous cubic sector, including the neutrino singlet terms.
Past exam of the mathematics course of the University of Cambridge 2003 iii Paper 53 10 Solution Created 2026-10-03 Updated 2026-10-14
A canonical Wess–Zumino model with a cubic superpotential already supplies a microscopic membrane-like object. Choose positive real andThere are two isolated supersymmetric vacua, . A planar domain wall has a static scalar profile depending on the transverse coordinate , with one vacuum at either end. Its energy per unit area isChoosing gives . The real increasing solution saturates the bound:The tension follows either from integrating or from . This is a supersymmetric domain wall, and the first-order equation also implies the second-order scalar equation. Its thickness is of order .
The wall breaks transverse translations: changing gives a normalizable scalar zero mode proportional to . It also preserves only half the four real supercharges. In the chiral-fermion transformation, and the derivative term combine into a rank-half condition on the constant supersymmetry parameter, for example in a compatible Weyl convention. The orthogonal two real parameters are broken and generate localized fermion zero modes. One such profile satisfies , giving . The scalar and a three-dimensional Majorana fermion therefore form the low-energy wall multiplet. The domain-wall charge in N=1 supersymmetry is a boundary/tensor charge contributing to the extended algebra; the preserved combinations saturate . This avoids falsely applying the unextended particle-algebra argument of Question 3 to a wall with nonzero tension.
Promote the translation collective coordinate to a slowly varying worldvolume field . At wavelengths long compared with the wall thickness, its leading relativistic geometric action is the Dirac membrane actionIt is invariant under worldvolume reparametrizations and the target Poincaré group. In static gauge , , the matrix determinant lemma givesDirectly substituting the leading collective-coordinate profile into the scalar kinetic term gives the same coefficient, since . Target Lorentz symmetry fixes the leading first-derivative nonlinear completion to the invariant area; finite-thickness physics can add higher-curvature terms. The area action is therefore a long-wavelength effective field theory, not an exact replacement for the microscopic wall at arbitrary momenta. Its embedding equation is .
For the four-dimensional supermembrane, extend the embedding to with a four-real-component Majorana spinor. Pull back the invariant coframe of Question 7:Replacing by makes the area term invariant under rigid target supersymmetry, but does not yet give the appropriate fermionic gauge symmetry. Add a Wess-Zumino brane coupling to a superspace three-form potential . In one orientation and matching normalization,The supermembrane closed four-form uses the distinct four-dimensional Fierz identity . Differentiating reduces its coefficient to this symmetric tensor, so . A local potential therefore exists. Since the curvature is supertranslation invariant, the potential can vary by an exact form; its pullback integral is invariant modulo boundary terms. This is why the three-form of Question 7 is not itself the membrane field strength: integrating a membrane potential requires three-form degree and hence four-form curvature.
The required additional local fermionic gauge invariance is kappa symmetry. Define the worldvolume gamma matrices andWith mostly-plus target signature, a local orthonormal worldvolume frame gives , so and . Thus are rank-two kappa symmetry projectors. The embedding variation gives . The area variation is consequently proportional to . Contracting the displayed with the fermionic variation and using gives the opposite Wess-Zumino contribution with an extra . Their sum is proportional toFor the boxed kappa variation, , so it vanishes by . Reversing membrane orientation reverses the Wess-Zumino sign and the matching projector. The cancellation fixes the relative charge magnitude to the tension; rigid supersymmetry alone would not fix it.
Worldvolume reparametrizations remove three of the four embedding scalars, leaving one transverse mode. Kappa symmetry removes half the four real embedding spinor components, leaving a two-component three-dimensional Majorana field, whose first-order equation has one on-shell fermionic polarization. The physical worldvolume modes are one scalar and one Majorana fermion, matching the wall zero modes. Without kappa symmetry the fermionic degrees would be doubled. A planar configuration preserves the target supersymmetries that can be compensated by the kappa projector, reproducing the wall's half-supersymmetry condition. This is the four-dimensional effective domain-wall interpretation of a supermembrane, rather than the eleven-dimensional M2-brane particle-content problem.
Past exam of the mathematics course of the University of Cambridge 2003 iii Paper 53 6 Solution Created 2026-10-03 Updated 2026-10-14
In the ordinary local two-derivative matter class, the general ungauged supersymmetric action for a chiral superfield isThe Kähler potential is real, and the superpotential is a holomorphic function. Adding to changes the action only by a boundary term: full superspace integration of a chiral or antichiral function vanishes modulo that term. This is a Kähler transformation. A positive Kähler metric is required for a nonsingular positive-norm kinetic term, not just for derivative counting.
To see the differential order, the bosonic component Lagrangian in mostly-plus signature containsThe auxiliary field equation is algebraic: on a purely bosonic configuration. It gives the scalar potential . The scalar equations have at most two spacetime derivatives, the fermion equations from the sigma-model kinetic term have one, and the remaining interaction terms do not raise this order. The fermionic corrections to the auxiliary equation are still algebraic.
For four-dimensional renormalizability, assign engineering dimensions , , and . Hence, up to a Kähler transformation and a constant field normalization, the restrictions areA mixed higher-degree term in or a term of degree above three in introduces a negative-mass-dimension coupling. The constant has no local effect in global supersymmetry, as in the constant superpotential in global supersymmetry.
The boxed general-action statement uses the conventional two-derivative matter interpretation. It is not a classification of all derivative-dependent effective superfield actions by the order of their bosonic equations alone. For example, a scalar Lagrangian quartic in first derivatives still yields a second-order Euler–Lagrange equation, and supersymmetric derivative-dependent interactions can contain such terms. Their auxiliary and fermionic equations require separate checking. This distinction is explicit in the original construction of supersymmetric derivative-dependent scalar actions. Such actions are outside the ordinary class used for the renormalizable answer here.
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 2003 iii Paper 53 9 Solution Created 2026-10-03 Updated 2026-10-14
Ordinary electromagnetism uses a one-form gauge potential, its gauge transformation and its curvature. On superspace the corresponding object is a superspace gauge connection, with both vector and spinor components. Write . Its graded commutator contains the flat-frame torsion plus supercurvature. The conventional constraints set the two undotted-spinor curvatures, the two dotted-spinor curvatures and the conventional mixed spinor curvature to zero; the mixed derivative algebra then determines the vector connection. The remaining independent gauge curvature is packaged into a chiral field-strength superfield. A real vector superfield is a prepotential solving these constraints, rather than four unrelated ordinary gauge potentials.
Use the left-derivative conventions of Question 5, with and . An Abelian supergauge transformation has a chiral parameter , and one consistent normalization isThe parameter is chiral so that the transformed matter is still a chiral superfield; its complex components remove more of the prepotential than an ordinary real gauge parameter. In Wess-Zumino gauge, one convenient expansion isIts components are the gauge potential , the gaugino and the real auxiliary field . Wess-Zumino gauge removes the extra scalar and spinor components of a general real superfield. Supersymmetry transformations usually leave that gauge slice and require a compensating supergauge transformation. For a residual chiral parameter with real lowest component , the expansion gives and ; thus is the ordinary Maxwell gauge parameter.
The Abelian field strength is the Abelian field-strength chiral projectionThree barred derivatives vanish because there are only two anticommuting dotted components, so . Gauge invariance follows directly: by antichirality, while the mixed derivative algebra gives for chiral . In chiral coordinates its component structure iswhere fixes the tensor normalization. Overall gaugino phase choices do not change the gauge-invariant field strength or its Bianchi constraint.
Reality of and the derivative algebra imply the superspace Yang-Mills Bianchi identityIndeed, the two sides are the same differential operator on , because . This is the superspace counterpart of , and its components contain . It is a defining curvature constraint, not the Maxwell equations. Varying the pure gauge action additionally sets the common real superfield to zero; matter supplies a current instead.
The Supersymmetric Yang-Mills action and minimal matter coupling areThe chiral phase factors cancel in . The component matter derivative is , which transforms covariantly under the residual gauge transformation just derived. The same superspace term generates the associated matter–gaugino Yukawa coupling and auxiliary coupling, so minimal coupling is not only replacing an ordinary derivative in the scalar action. The gauge action contains , the gaugino kinetic term and . Rescaling the vector multiplet to canonical kinetic normalization gives the physical coupling . The holomorphic superpotential must be gauge invariant; a single field of nonzero continuous Abelian charge admits no nonconstant polynomial superpotential without additional fields. For several fields, invariance requires . A Fayet–Iliopoulos term is additionally possible for an Abelian factor, shifting the algebraic equation.
For a non-Abelian gauge group, and are Lie-algebra-valued, and multiplication cannot be reordered. For matter in a specified representation, setThe same matter quadratic form remains invariant. Its curvature isAt first order in an Abelian , this reduces to , fixing the factor . In the chiral gauge frame, and as an operator. The gauge-covariant Bianchi identity is , where is the conjugate curvature expressed in that same frame. It follows from the graded Jacobi identity of the covariant derivatives. Taking a trace of makes the chiral gauge action invariant. Its bosonic curvature becomes the ordinary Yang-Mills curvature, and the gaugino transforms in the Adjoint representation. A constant Fayet–Iliopoulos coefficient cannot be inserted for a simple non-Abelian group, since it would need an invariant linear functional annihilating every Lie bracket. These constructions connect the constrained superspace connection, its prepotential and its component gauge multiplet.
Past exam of the mathematics course of the University of Cambridge 2004 iii Paper 50 2 Solution Created 2026-10-03 Updated 2026-10-14
Work with the local Wilsonian effective action, retaining the elementary chiral superfield and using a nonzero infrared cutoff. Its superpotential is holomorphic in both the field and chiral spurions representing the couplings. A convenient pair of spurion symmetries assigns chargesBoth couplings and transform nontrivially under each displayed symmetry. Each superpotential monomial has ordinary charge zero and R-charge two, so the integral is invariant. This R assignment differs from the conventional assignment for by twice the ordinary charge, and describes the same two-dimensional charge space. These are formal spurion symmetries; fixing the couplings to numerical values need not leave them as actual symmetries of the fields alone.
For , has the required charges and mass dimension three, while has zero charge under both symmetries and is dimensionless. Thus the allowed holomorphic form isOne can see its generality directly. A holomorphic monomial must obey and . Solving gives and , hence precisely . A field-independent constant is irrelevant to this global supersymmetric action and can be dropped.
The symmetries alone leave the function arbitrary. To determine its perturbative form, use regularity as well as the two limits. A regular weak-coupling expansion at hasThe limit is a free massive theory, so . Since the elementary field has not been integrated out, the Wilsonian superpotential must remain regular term by term as with the infrared cutoff fixed. Every term with would introduce a pole in and is excluded. Negative powers of were already excluded by perturbative regularity at . Consequently .
At , the only surviving allowed interaction is proportional to . Its coefficient is first order in , and matching the tree three-field vertex gives . No closed-loop three-field diagram can be made from a single cubic vertex; extra interaction vertices would produce higher coupling order. Equivalently free superspace propagators join chiral to antichiral fields, so a closed loop would require additional vertices or conjugate couplings, which the holomorphic charge constraints exclude for this term. This fixes the coefficient without assuming the desired conclusion. ThereforeThe regularity condition is essential: it concerns the local Wilsonian superpotential with the field retained, not a nonlocal one-particle-irreducible functional at zero infrared cutoff or a superpotential obtained by eliminating a massive field. Such different operations can generate inverse masses or infrared singularities without contradicting this proof.
The Kähler potential is a real D-term, not a holomorphic F-term, and is not protected by this argument. For example its quadratic part becomes , with higher real operators also allowed. Terms involving are compatible with the symmetries and produce wave-function renormalization. After the canonical rescaling , the parameters in the superpotential expressed using canonical fields are and , so physical couplings can run despite the holomorphic non-renormalization statement.
Holomorphy is crucial. Without it, neutral factors such as could multiply either superpotential monomial while respecting both spurion symmetries. Excluding conjugate couplings, together with regularity and tree matching, is what turns the charge argument into the non-renormalization theorem.
