For canonical Kähler potential, set , , . The supplied supergravity F-term potential is . Adding with , and gives a supersymmetric vacuum at , . The branch has positive energy , D-term breaking and a flat direction of a scalar potential in . Its charged squared masses are , so it is a local minimum valley only when both are positive. For negative , exchange the charged fields. These are branches rather than two isolated minima; a conventional constant Fayet–Iliopoulos term additionally needs a consistent supergravity gauge completion.
Gauge contributions to the F-term supertrace 2026-10-06
Canonical gauge interactions preserve the tree-level supertrace mass sum rule at a vacuum with vanishing D-terms. Put for the scalar expectation vector . The extra real-scalar squared-mass trace is , the extra Weyl spinor squared-mass trace from gaugino mixing is , and the gauge boson squared-mass trace is . Their spin-weighted supertrace is . The scalar contribution comes from differentiating ; the fermionic one counts both blocks of the symmetric mixing matrix with entries ; the vector one follows from the covariant scalar kinetic term. Any zero-mass Goldstone bosons in the unreduced scalar Hessian do not change its trace.
Kähler transformation 2026-10-05
Adding a holomorphic function and its conjugate does not change the Kähler metric. In global supersymmetry, these terms integrate to zero in the D-term action. In Planck-unit supergravity, the simultaneous transformation leaves the scalar potential invariant; shifting while holding fixed generally does not.
MSSM tree-level sfermion mass constraint 2026-10-06
With canonical tree-level global supersymmetry, neutral F-term breaking and no D-term mass shifts, the tree-level supertrace mass sum rule applies in conserved electric and color charge blocks. The corresponding scalar squared-mass average equals the fermion squared-mass average, so not every scalar partner can lie above that average. This obstructs making every squark heavy through direct canonical visible-sector breaking while retaining light quarks. Effective soft supersymmetry breaking, noncanonical interactions, radiative effects or supergravity invalidate the assumptions of that argument.
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.
Past exam of the mathematics course of the University of Cambridge 2004 iii Paper 50 6 Solution Created 2026-10-03 Updated 2026-10-14
Work on the physical domainand abbreviate , , and . There are no vector multiplets specified, hence no additional gauge D-term. In Planck units the supergravity F-term potential and upper-index supergravity auxiliary fields areThe overall auxiliary-field sign is a convention; its vanishing and norm are invariant statements.
The Kähler covariant derivatives of a superpotential here areThe Kähler metric, with rows and columns their barred partners, isIts block is positive definite because its leading diagonal and determinant are positive. In the inverse-tensor convention , the nonzero upper components areIn particular the conjugations in the off-diagonal components matter.
To verify the no-scale supergravity cancellation explicitly, temporarily write and . Their part of the metric contraction isThe terms involving and its conjugate cancel between the mixed and diagonal contributions. The remaining cancels the universal negative term. Since , the exact matter-logarithm no-scale potential is thereforeIt differs from a model where appears outside the logarithm in the Kähler potential.
Substitution into the auxiliary-field formula givesFor example , which reduces to the displayed expression for the cubic superpotential. To test unbroken supersymmetry at any finite point, first forces . Then forces , whereas forces . Subtracting gives . Because , and at a finite point, all auxiliaries can vanish only if . Thus every nontrivial choice of breaks supersymmetry at finite field values.
A finite zero-energy minimum requires both nonnegative terms of to vanish:There cannot be a finite positive-energy stationary point: keeping fixed and varying the real part of , equivalently , giveswhich is strictly negative unless . Hence these zero-energy solutions are all the possible finite minima.
Because were allowed to be arbitrary, existence must be checked. If both are nonzero, put and . The magnitude equation isThe function on the right starts at one at the excluded boundary , tends to zero as , and has derivative . Its maximum is at . Therefore a finite cubic-matter no-scale vacuum with an exponential dilaton exists exactly whenThere is one finite positive root for , two for , and one merged root at the maximum. The complex phase equation fixes modulo . If exactly one of vanishes, or the ratio exceeds the bound, no finite minimum exists; the potential instead has infimum zero along the runaway . A zero infimum at an infinite-field boundary is not an attained finite vacuum.
On a nontrivial finite branch, , soThis proves supersymmetry breaking at the intended no-scale vacuum. Its zero energy is consistent with the negative gravitational term: , which cancels in . It is not a counterexample to the global-supersymmetry positivity argument in question 3.
Both real components of are exactly flat on the vacuum family: never enters the potential, and at every allowed positive gives the same zero energy. Generically both components of are fixed. Although the matter field has no quadratic mass there, it is not an exact flat direction: for fixed at its root, and the leading positive potential is . At the special merged root , the real- quadratic curvature also vanishes, but higher orders lift it; this does not add a continuous flat vacuum direction. If , by contrast, is a supersymmetric zero-energy family with both complex and flat and all auxiliaries zero. This exception prevents an unconditional breaking assertion for arbitrary constants.
Finally the gravitino mass from a superpotential isAt a nontrivial finite minimum it becomesIts value varies along the flat volume modulus; the classical potential does not select a unique supersymmetry-breaking or gravitino-mass scale. On the trivial supersymmetric branch , it is zero.
Past exam of the mathematics course of the University of Cambridge 2006 iii Paper 54 3 Solution Created 2026-10-03 Updated 2026-10-14
At the usual two-derivative order, the two-derivative global supersymmetric gauge action isHere is the chiral field-strength superfield, distinguished from the superpotential . The Kähler potential is a real gauge-invariant function, defined up to a Kähler transformation; supplies the scalar kinetic metric. The superpotential is a gauge-invariant holomorphic function of the chiral superfields. The symmetric gauge kinetic function is holomorphic and transforms so that its contraction with the field strengths is gauge invariant. Its real part supplies the gauge and gaugino kinetic coefficients and must be positive on physical configurations; its imaginary part supplies the topological angle. The final constants are Fayet–Iliopoulos terms, normalized so that they contribute when has highest component .
For the simple non-Abelian gauge group specified in the question, . Invariance of a proposed requires . A simple Lie algebra equals its commutator algebra, so no nonzero invariant covector exists. This proves that Fayet–Iliopoulos terms require an Abelian gauge factor. The last term above describes the customary Abelian extension, not an additional arbitrary coupling of the simple group.
For a renormalizable theory, after choosing matter bases the functions reduce toOnly gauge-invariant monomials are included. A nonconstant would produce interactions of dimension greater than four. Here the gauge coupling is absorbed into the connection in , while in the holomorphic normalization. A constant has no dynamical effect in global supersymmetry. The original arbitrary functions remain useful for a nonrenormalizable two-derivative effective theory, but the following argument restricts to the requested renormalizable setting.
To analyze perturbative corrections, use a local Wilsonian effective action with a nonzero infrared cutoff and keep the same elementary fields. Introduce nondynamical background chiral superfields into its F-term part:One may additionally promote each polynomial coefficient to its own chiral spurion to track flavor charges. Treating the couplings as fields ensures that a local chiral integral depends holomorphically on : antichiral dependence would violate the chirality constraint unless accompanied by derivatives or rewritten as a D-term. This is the key use of holomorphy, rather than an assumption that all effective-action terms are holomorphic.
Give R-charge one, the matter fields charge zero, charge two and charge zero. Then the chiral measure has charge minus two, has charge two, and has charge one. These assignments define formal spurionic symmetries even if fixed numerical couplings do not enjoy the corresponding physical symmetry. An anomalous transformation is accompanied by the appropriate shift of the gauge-coupling spurion; nonperturbative dependence can record that anomaly.
For the superpotential non-renormalization argument, perturbation theory is insensitive to continuous shifts of the topological angle, which shifts the imaginary part of . A holomorphic coefficient invariant under every such shift is independent of by the Cauchy-Riemann equations. This proves perturbative gauge-coupling independence of the Wilsonian superpotential. At fixed infrared cutoff the perturbative expansion is regular near zero superpotential couplings. R-charge two therefore forces an allowed correction to be linear in , rather than involving , or inverse powers of . Flavor charges impose the corresponding monomial selection rules.
The remaining coefficient can be evaluated at zero gauge coupling. Free chiral propagators join a chiral and an antichiral endpoint. A single holomorphic superpotential vertex cannot close a loop; adding antichiral vertices violates holomorphy, while adding holomorphic vertices violates the linear spurion degree. Consequently the coefficient is its tree value. This proves, rather than merely quotes, the perturbative resultThe fixed-cutoff regularity matters: integrating out a whole massive multiplet can introduce inverse masses at tree level, and infrared-singular one-particle-irreducible expressions are not this local Wilsonian superpotential.
For the gauge kinetic function, R-charge zero excludes regular positive powers of in its perturbative coefficient. Flavor spurions cannot repair this without forbidden antichiral or singular dependence. A topological-angle shift changes the tree gauge term only by its topological contribution, so the correction is invariant under the shift. Holomorphy then makes it independent of . An -loop correction to the inverse gauge coupling carries the weak-coupling behavior : only one loop has the required coupling-independent behavior. Hence the one-loop exactness of the holomorphic gauge kinetic function givesup to a one-loop matching constant. The coefficient follows from the usual one-loop field contributions: gauge bosons and an adjoint Weyl gaugino contribute , while a chiral Weyl fermion and complex scalar contribute . Holomorphic logarithmic thresholds appear when massive fields are eliminated. This statement is about the holomorphic Wilsonian coupling, not a canonically normalized physical gauge coupling, whose running need not be one-loop exact.
The Kähler potential is integrated over all of superspace. It can depend on , on both and , and on both matter chiralities. These neutral combinations allow ordinary loop corrections, such as a Yukawa-dependent correction to , and no analogous argument forbids higher loops. ThusIts wave-function renormalization changes physical superpotential couplings after canonical normalization even though holomorphic vertex coefficients do not change. For a single field with kinetic coefficient , for instance, and .
Finally consider perturbative renormalization of a Fayet–Iliopoulos term in an Abelian extension. A term must be invariant under for arbitrary chiral . Projection of the variation requires . An arbitrary algebraic function of background chiral spurions and their conjugates fails this requirement unless it is constant. Therefore a general coupling-dependent local FI counterterm is forbidden. The one-loop tadpole from charged scalars can still giveIt is independent of interaction couplings in the connection normalization used above and proportional to the trace of the Abelian charge generator. Higher-loop diagrams require interactions and cannot produce the permitted coupling-independent additive term. Thus a traceless Abelian charge generator has no additive perturbative FI renormalization in this exactly supersymmetric setting; otherwise a one-loop, regulator-dependent tadpole is possible. Vector-field normalization can change the reported canonical parameter, and soft breaking falls outside this proof. For the specified simple group, gauge invariance forbids before and after corrections.
These are perturbative statements. Instantons or other nonperturbative effects may produce symmetry-allowed holomorphic terms, for example dependence on , so neither the superpotential result nor the one-loop gauge result should be misread as forbidding all nonperturbative corrections.
Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 55 3 Solution 2026-10-14
Assume global four-dimensional N=1 supersymmetry with canonical kinetic terms and no explicit gaugino mass. Write and . To match the displayed stationarity equation, use ; this differs by a minus sign from the eliminated auxiliary field in the component convention of Solution 2. The real D-terms are , with Hermitian gauge generators. A constant Fayet–Iliopoulos term is permitted only for an appropriate Abelian factor. The scalar potential isDifferentiate with respect to , holding independent:Thus stationary point conditions gives the first requested identity. Gauge invariance of the superpotential gives . Conjugating it and using Hermiticity gives , the second condition in the form needed below.
At the vacuum, define and . The two conditions combine asHere the upper equation is stationarity and the lower equation is conjugated gauge invariance. The chiral-superfield fermion mass matrix contributes , and the gauge Yukawa interaction contributes the mixed chiral-fermion/gaugino bilinear. With canonical Weyl fermion and gaugino kinetic terms, and choosing the gaugino phase to put the mixed bilinear in real-sign convention, these terms areThe factor is important: the matrix directly acting on the printed is the same mass bilinear with rescaled gauginos, rather than literally the canonical matrix. In detail, for ,Since supersymmetry breaking makes this vector nonzero, there is at least one zero mass eigenvalue. A normalized massless fermion isWith the consistent gaugino phase, the inhomogeneous vacuum supersymmetry transformation of is proportional to the same vector . Therefore shifts by a nonzero constant times the transformation parameter: it is the Goldstino, the Goldstone fermion of broken global supersymmetry. The argument guarantees at least one Goldstino zero mode, not the absence of other massless fermions.
For the second calculation, first take only canonical chiral superfields and F-term breaking. At a stationary vacuum , let , andThese follow by differentiating twice. The quadratic scalar potential isThe doubled scalar mass matrix has blocksTransforming to the canonically normalized real components of preserves its trace, so the sum of real scalar mass squares is . The Weyl fermion mass squares are the eigenvalues of and their sum is . Each Weyl mass eigenstate has two physical spin states. The printed supertrace has scalar sign and fermion weight , henceThe frequently used boson-minus-fermion definition has the opposite overall sign and gives the same zero. The mixing block can split scalar masses but cannot change this trace. This proves the tree-level supertrace mass sum rule; it uses canonical kinetic terms and a renormalizable global theory, rather than a general supergravity or noncanonical effective theory.
In the MSSM, trying to make all squarks and sleptons heavy through direct canonical tree-level F-term breaking encounters this constraint. In an unbroken electric-charge and color sector, the scalar mass-squared trace is twice the trace for its ordinary fermionic partners. More explicitly, take a unit vector minimizing . For , choose so that . The curvature along this real scalar direction is then at most , so at least one scalar mass square is no larger than the smallest fermion mass square in that sector. For one isolated pair the scalar masses are . Thus light quarks can force an unacceptably light squark, or a tachyon, under these assumptions. A hidden supersymmetry-breaking sector with mediation produces effective soft supersymmetry breaking; radiative effects, noncanonical kinetic terms, or supergravity can change the assumptions and allow a viable spectrum. The trace over an arbitrary enlarged theory alone would not locate the light state in the visible sector; the MSSM conclusion uses the conserved-charge block structure.
Past exam of the mathematics course of the University of Cambridge 2007 iii Paper 57 3 Solution Created 2026-10-03 Updated 2026-10-14
Write , , , , , and . Assume and, initially, . The supergravity F-term potential isThe canonical Kähler potential gives the identity Kähler metric. The three Kähler covariant derivatives of a superpotential areSubstituting, including the negative term rather than treating the potential as just a sum of squares, gives the exact answerHere explains the first coefficient. It is strictly positive for real , since . Thus this model's scalar potential is nonnegative everywhere.
In the stated limit , the exponential can be replaced by . The other displayed terms retain the effects of the Kähler covariant derivatives of a superpotential. Small waterfall fields alone do not justify discarding in those derivatives, or expanding in . If also and , the leading result reduces to the global F-term scalar potentialNo gauge sector or gauge coupling is supplied, so there is no specified D-term contribution to add.
The supersymmetric vacuum manifold of a bilinear hybrid superpotential isIndeed and all three Kähler covariant derivatives of a superpotential vanish there, so all supergravity auxiliary fields vanish and supersymmetry is unbroken. The nonnegative scalar potential makes this a global minimum. Conversely zero potential requires , and then ; for this forces . With just the supplied fields this is a complex vacuum manifold before imposing any gauge quotient: the product is fixed but the ratio of and is not. More precisely, it is an F-flat vacuum manifold whether or not a gauge symmetry is specified. If one additionally gauges opposite charges, D-flatness typically imposes , giving up to phases and gauge equivalence; that is an extra assumption, not a consequence of and alone.
The other familiar branch of F-term hybrid inflation has . Its nonzero derivative establishes supersymmetry breaking, and its exact scalar potential isThe canonical-Kähler correction to an F-term hybrid valley begins asIn particular the inflaton quadratic mass cancels at this order; the first lift of the global flat valley is quartic in .
To identify when this branch is a transverse minimum, rephase the waterfall fields so that is real positive. To quadratic order in , the global scalar potential isThe normalized combinations diagonalize this quadratic form, withThus gives a valley of transverse minima, while below the threshold the negative eigenvalue produces the waterfall instability in F-term hybrid inflation.
The exact supergravity correction to this stability test is also available without taking small. Put . Expansion of the exact supergravity F-term potential about gives equal diagonal coefficients and off-diagonal magnitude . HenceFor the usual sub-Planckian symmetry-breaking scale , the lower eigenvalue is . It is positive for the familiar sub-Planckian valley , and changes sign near .
The printed assertion of two full minima requires qualification. The broken branch is a transverse inflationary valley, not generally a second stationary minimum of the complete supergravity potential. In factIts only stationary point in is the origin. For that point has a negative waterfall eigenvalue . A direct counterexample is the path , with real small , after rephasing :The negative quadratic coefficient proves it is not a minimum. No loop corrections or additional stabilizing interactions were specified that could create the requested second stationary vacuum. The mathematically supported interpretation is a SUSY-breaking transverse valley and a zero-energy supersymmetric vacuum minimum manifold. The limit on alone does not fix the parameter range ; the familiar waterfall conclusion uses the sub-Planckian range just stated.
In the corresponding global theory the exponential prefactor, Kähler corrections to and universal term are absent. Its valley has exactly constant tree-level energy for all , whereas canonical supergravity lifts it by the quartic correction above. The supersymmetric vacuum , and its zero energy persist in both descriptions. If , the origin and the axis instead have vanishing F-terms; the broken-valley interpretation does not apply.
Past exam of the mathematics course of the University of Cambridge 2008 iii Paper 56 4 Solution Created 2026-10-03 Updated 2026-10-14
Use the scalar components of the three chiral superfields, and set , , and . We assume the physical sign and a nonzero coupling . The coefficient below is exactly the coefficient in the supplied D-term scalar potential; it should not be silently replaced by a differently normalized squared gauge coupling. The canonical Kähler potential has identity Kähler metric, and the three Kähler covariant derivatives of a superpotential areSubstitution in the supergravity F-term potential givesIn particular, the subtraction cancels only half of the six terms contributed by the three squares. The full scalar potential isIts nonnegativity follows term by term from and . This is a special property of this cubic superpotential, not of a general supergravity F-term potential.
The D-term vacuum branches of a cubic superpotential must be described as branches: there are not two isolated field-space minima. First suppose . Vanishing of requires , and vanishing of the D-term scalar potential requires . Together these conditions give the vacuum expectation valuesThe phase of lies on a gauge orbit, and one may choose it positive and real. At this global minimum, all and the real auxiliary field of the vector multiplet vanish. It is a supersymmetric vacuum, even though the internal gauge symmetry is spontaneously broken. For , interchange and : the nonzero vacuum expectation value has magnitude . For , the supersymmetric vacuum is the entire family , with arbitrary.
The other branch has and arbitrary . Here but the real auxiliary field is nonzero for , andThus this branch has pure D-term supersymmetry breaking and a flat direction of a scalar potential in the neutral scalar. It is not stable at every neutral-field value. At a fixed , expansion in the charged scalars yieldsHence the two charged squared masses and the stability condition areAbove this threshold, both charged directions have positive mass squared. Continuity makes them uniformly positive in a sufficiently small neighborhood of the chosen neutral-field value, so the stationary branch is a genuine, non-strict local minimum valley. Its neutral direction stays flat. Below the threshold, a charged mass squared is negative and the branch is a saddle point. At equality it is a boundary of the stable valley, not a local minimum in the full field space: changing slightly downward and switching on the unstable charged field lowers . For example, for , put , , . Since has , one finds .
There are no further local-minimum branches under these generic assumptions. If , the expression for is strictly increasing in , so a stationary configuration with a charged condensate must have . At , an interior critical point with is impossible, becauseOn the boundary , the relevant scalar potential is ; on it is . Their nonnegative-domain minima give exactly the supersymmetric vacuum described above, or the origin of the charged-field branch. Thus, for nonzero , the two types are the zero-energy supersymmetric gauge orbit and the positive-energy D-breaking minimum valley above the threshold. If , the two types coalesce into the flat supersymmetric vacuum; the literal two-minimum assertion needs this parameter qualification.
In the global supersymmetry limit , the F-term scalar potential becomes and the D-term scalar potential retains its form. The same two types of branches occur, with the threshold . Supergravity instead introduces the exponential and additional positive terms. The goldstino of global supersymmetry breaking is a physical fermion; in local supersymmetry it participates in the super-Higgs mechanism. A positive vacuum energy also gravitates in supergravity. In particular, the positive-energy branch here has and hence vanishing gravitino mass from a superpotential; it is not the tuned zero-energy broken vacuum of Question 3.
There is a further gauge-consistency qualification. In conventional two-derivative matter-coupled supergravity, a constant Fayet–Iliopoulos term gauges an R-symmetry and requires a corresponding nontrivial transformation of the superpotential. The apparent charges make the supplied cubic superpotential neutral, so a nonzero independent constant does not by itself specify a consistent conventional supergravity action. The computed branches are those of the supplied scalar potential; a full embedding needs compatible charges or additional fields. This restriction is explained in Van Proeyen's derivation of the superpotential gauge-covariance condition.
More generally, the supergravity moment-map constraint on D-term breaking follows directly from gauge covariance. If and the moment map is , then at a point with ,Consequently all chiral auxiliary fields vanishing implies the D-term also vanishes there. This relation has no analogue forcing that implication in an arbitrary global supersymmetry model. Its hypothesis matters: the formal D-breaking branch above has , so it does not contradict the identity. These conventional gauge-completion restrictions are additional to the elementary minimization calculation.
Past exam of the mathematics course of the University of Cambridge 2010 iii Paper 40 3 Solution Created 2026-10-03 Updated 2026-10-14
The chiral superfield condition is for both dotted components. Use left Grassmann derivatives with the displayed supersymmetric covariant derivatives. The odd product rule gives , soThe chirality constraint therefore says that is independent of at fixed . The Grassmann algebra has only two independent components, so every cubic product of them vanishes. Its general even scalar superfield consequently has a scalar coefficient, a term linear in with a Weyl spinor coefficient, and one quadratic term. Choosing the conventional component normalization gives the chiral-superfield component expansionHere is a complex scalar field, an odd Weyl spinor and a complex nonpropagating auxiliary field. Conversely this expansion is annihilated by because and are. At fixed ordinary , the same result is the terminating translation ; this retains the printed contraction convention without changing the order in the barred square.
For a local function of scalar superfields, initially allow . The chain rule givesFor arbitrary chiral component fields the last factor is not constrained to vanish, so chirality requires . Thus on its domain, with no generic conjugate-field dependence. Its ordinary holomorphic derivatives must exist where its nilpotent expansion is evaluated; a pole or branch point there does not define a regular local superfield. Using gives the explicit holomorphic closure of chiral superfields:All three component coefficients are evaluated at . For several chiral superfields, replace by and by . This requirement concerns a function that is to be chiral for arbitrary field configurations; a special constant field configuration does not impose the same functional constraint.
The ungauged two-derivative supersymmetric action is obtained from a real Kähler potential and a holomorphic superpotential:The first integral is a D-term; the second is an F-term. The Kähler metric must be positive for positive scalar kinetic energy. The auxiliary part is , so eliminating it gives the scalar potential in the bosonic sector.
For the single-field Wess–Zumino model, take the canonical Kähler potential and spacetime signature . Component superspace integration givesSince and , the auxiliary equation is . Completing its square leaves in the Lagrangian. Hence the tree-level effective potential isFor nonzero , its two zero-energy supersymmetric vacua are and . The potential is nonnegative because it is an absolute square.
The Trilinear scalar vertices in the Wess–Zumino model come fromWith all field legs incoming, expanding and differentiating each cubic monomial givesThe factor counts the two identical legs; there is no in to cancel it. A factor enforcing four-momentum conservation is implicit. These labels specify fields in an all-incoming Feynman rule; physical outgoing particles are assigned by crossing. There are no or scalar vertices from this on-shell potential.
Equivalently, if are real and with canonically normalized real scalars , then . Differentiation gives , with vanishing and vertices. This is the same pair of complex-field interactions in a real basis.
For the non-renormalization argument, promote to nondynamical chiral spurions. Define one ordinary and one R-symmetry by the Wess–Zumino spurion charge assignment:
Table 1.
Ordinary and R-symmetry spurion charges
. | Quantity | Ordinary charge | R-charge |
|---|---|---|
Each superpotential term is neutral under the ordinary symmetry. Under the R-symmetry, both terms have charge two, which is canceled by the charge of . In particular, is R-neutral as required. The scalar, spinor and auxiliary components of have R-charges . These are formal symmetries when the couplings transform as spurions; replacing them by fixed nonzero numbers need not leave an actual continuous field symmetry.
A local loop-corrected Wilsonian effective action superpotential must be holomorphic in all three chiral variables and obey the same charges. The ratio is neutral under both symmetries, while has the required charges and mass dimension three. Therefore, on a patch with , the most general symmetry-allowed form iswith holomorphic on its domain. This form follows directly for a monomial : ordinary charge gives and R-charge gives , hence , . Each allowed monomial is and already has mass dimension three. Charge symmetry alone leaves undetermined.
To constrain perturbative loops, retain the original elementary chiral superfield and a nonzero infrared cutoff, rather than integrating out the entire field. A regular perturbative superpotential can be expanded about , so andTerms with have poles at . They are excluded by regularity of the local Wilsonian coefficients in the massless limit with the infrared cutoff fixed. At the theory is Gaussian, so the quadratic coefficient remains . The term linear in is the single original cubic vertex: a diagram with three external fields and only that one interaction vertex has no internal loop. Holomorphy disallows coefficients involving or , so it cannot conceal the usual nonholomorphic wave-function corrections in . Matching the one-vertex term gives . Thus the holomorphy argument for superpotential non-renormalization givesThe infrared qualification matters: a singular one-particle-irreducible expression or the action after eliminating an entire massive multiplet is not the same local Wilsonian effective action for the retained field.
Consequently the holomorphic superpotential and its parameters m and g receive no perturbative vertex renormalization. The Kähler potential does undergo wave-function renormalization. If its quadratic term is , then canonical normalization gives andThese canonically normalized running couplings can therefore be renormalized despite the non-renormalization theorem for the holomorphic superpotential. Loop corrections can also change the effective scalar potential through the corrected Kähler metric. The distinction between holomorphic coefficients and canonically normalized couplings is essential to answering the renormalization question.
Take canonical charged chiral superfield kinetic terms, gauge coupling , and no Fayet–Iliopoulos term, since none is specified. Elimination of the three complex auxiliary fields givesThe Abelian gauge auxiliary field obeys in this normalization. Thus the F-term scalar potential and the gauge D-term giveAll terms are nonnegative. The normalization of can be changed together with the vector-field normalization, but the relative charges and the zero-potential conditions cannot. A noncanonical Kähler potential would change the inverse-metric factors in the F-term potential; adding a Fayet–Iliopoulos term would shift and define a different model. Neither is silently introduced here.
Past exam of the mathematics course of the University of Cambridge 2013 iii Paper 43 3 Solution Created 2026-10-03 Updated 2026-10-14
Chirality and the component expansion. A chiral superfield is constrained byUse left Grassmann derivatives. The sign from differentiating an odd factor matters:For a general superfield written in coordinates , the odd chain rule consequently turns the given superspace covariant derivative intoThe chirality constraint removes the explicit dependence at fixed . There are only two components of , and their Grassmann algebra allows at most a quadratic monomial. Its finite chiral-superfield component expansion is thereforeHere is a complex scalar field, a Weyl spinor, and a complex auxiliary field; the last label avoids confusing it with the effective superpotential later. The factor is the standard canonical component normalization. In ordinary coordinates the same statement isThis translation exponential terminates because its shift is nilpotent; it displays the full component dependence without an unstated convention for the barred spinor square.
A superspace covariant derivative obeys the graded product rule. Since an ordinary scalar chiral superfield is even, . Linear combinations prove the polynomial claim. More generally, a nonsingular holomorphic function of chiral fields is chiral; inserting conjugate fields generally spoils this holomorphic closure of chiral superfields.
The superspace action. For a real Kähler potential and a holomorphic superpotential, the global chiral-field action has Lagrangian densityFull superspace integration gives a D-term, and chiral superspace integration an F-term. The action is real, and its supersymmetry variations are spacetime total derivatives. For one field, positive and algebraic elimination give . The Wess–Zumino model uses the canonical choice at tree level.
Scalar potential and the vertex. In canonical normalization, the auxiliary part of the Lagrangian density isSubstitution leaves . Differentiating the given quadratic-plus-cubic superpotential therefore gives the tree-level effective potentialThis applies for complex . In terms of canonically normalized real fields , phases may be chosen to make real, in which caseThe complex-field quartic interaction is . There are two identical external legs of each field type. Differentiating with respect to those four fields, or counting the Wick attachments to the vertex, produces the factor :The local Feynman diagram for this quartic complex-scalar vertex in the Wess–Zumino model is
If real-field Feynman rules are preferred, the and vertices are , while the vertex is . These are the same interaction in a different component basis. They should not be confused with a convention that absorbs into the coefficient of the complex quartic term.
Spurion symmetries. Treat as chiral spurions. An ordinary acts on with charges and leaves neutral. An R-symmetry gives charge one and charges . Thus
Each superpotential term has ordinary charge zero and R-charge two; the chiral integration measure has R-charge minus two. In particular is neutral under the specified R-symmetry. These are formal transformations of fields and parameters together, not two exact symmetries of a theory with arbitrary fixed nontransforming numerical couplings. This Wess–Zumino spurion charge assignment is useful because it constrains possible quantum terms.
The general holomorphic form. Let denote the local effective superpotential, reserving for the auxiliary component. The holomorphy argument for superpotential non-renormalization permits dependence on the chiral spurions, not on their conjugates. The dimensionless combination is neutral under both formal symmetries, whereas has the required dimension and charges. Hence, for , their most general allowed form iswith a holomorphic function before perturbative regularity and matching conditions are imposed. Equivalently, a monomial must obeySolving gives , . Thus the terms in the holomorphic expansion have the form , which is precisely the expansion of the displayed function.
What is and is not renormalized. Apply the non-renormalization theorem to a local Wilsonian effective action retaining the elementary field and a nonzero infrared cutoff. Perturbative coefficients are regular as and : no massless infrared modes have been integrated all the way to zero momentum. Negative powers of are incompatible with the free weak-coupling limit, and powers would require negative powers of . Only the quadratic and cubic structures survive this regularity test. Their coefficients cannot acquire a loop correction here: a quadratic term with no is the free-theory mass term, while a cubic term only linear in is already the tree interaction. A loop renormalizing that cubic term requires additional interaction insertions. Such a dependence is excluded by the holomorphic charge constraints; dependence on cannot repair it in a superpotential. Matching to the specified tree action fixesThe limit is taken in the final polynomial, not by evaluating the intermediate ratio . The holomorphic Wilsonian superpotential and its parameters receive no independent perturbative vertex renormalization. Symmetries alone would only give the arbitrary function ; regularity and the free/tree matching are necessary to reach the stronger conclusion.
The Kähler potential is not protected by that theorem. In particular a corrected kinetic term leads to wave-function renormalization. Writing in canonical normalization givesThese holomorphic and canonically normalized superpotential couplings distinguish the two senses of “renormalized”: the physical/canonically normalized parameters can run, entirely through the common field normalization, even when the holomorphic coefficients do not. The scalar effective potential can consequently receive quantum corrections through the Kähler potential. Nor does the local perturbative statement automatically apply to infrared-singular one-particle-irreducible actions or to integrating out whole massive fields. Non-renormalization protects the local holomorphic F-term, not the complete quantum action or every physically normalized mass and coupling.
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 2 d Solution Created 2026-10-03 Updated 2026-10-06
For ungauged chiral superfields, the two-derivative supersymmetric action is a real full-superspace integral plus a holomorphic half-superspace integral:The real Kähler potential determines the Kähler metric and kinetic terms; the superpotential determines Yukawa interactions and the F-term scalar potential. For canonical normalization, . Berezin integration is normalized to extract the highest component, , and the conjugate measure is chosen so the canonical term is . The D-term and F-term highest components vary by spacetime total derivatives, making the action invariant under supersymmetry. Gauging would replace the canonical bilinear by its gauge-covariant version and add a gauge kinetic F-term; no gauge multiplet is needed for the chiral theory here.
Past exam of the mathematics course of the University of Cambridge 2016 iii Paper 307 3 Solution Created 2026-10-03 Updated 2026-10-06
The renormalizable action for chiral superfields and vector superfields has the superspace integration formwhere is a real Kähler potential, is the chiral field-strength superfield, and is a gauge-invariant holomorphic function. For the renormalizable theory choose canonical positive kinetic terms, a polynomial of degree at most three, and field-independent gauge kinetic coefficients . We prove the non-renormalization theorem for the local Wilsonian effective action, with a nonzero infrared cutoff and a regulator preserving supersymmetry. The elementary chiral superfields are retained; this is not a claim that eliminating whole massive fields leaves the same polynomial.
Write , treating masses and interaction coefficients alike as background chiral spurions. A local F-term is chiral even when these backgrounds vary, so its coefficient depends holomorphically on and the holomorphic gauge couplings. Dependence on would not be chiral. Such dependence can enter D-terms or terms with supercovariant derivatives instead. With the infrared cutoff kept fixed, the perturbative local coefficients are regular power series around vanishing masses and interactions. This removes the inverse-mass and infrared singular terms that would spoil the following spurion selection rule for perturbative non-renormalization.
Assign every elementary R-charge zero, every R-charge two, and R-charge one. The superpotential must have R-charge two because has R-charge minus two. Holomorphy excludes the conjugate spurions, so regularity and this formal R-symmetry require exactly one factor of a superpotential spurion in any perturbative candidate. Thus is linear in the , with the ordinary flavor spurion charges fixing the permitted field monomials. An anomalous formal R-symmetry is implemented by also transforming the holomorphic gauge coupling; its anomaly must not simply be ignored.
Gauge interactions cannot provide a perturbative coefficient modifying this conclusion. With , perturbative diagrams are independent of the topological angle . A holomorphic coefficient invariant under continuous real shifts of is constant, by the Cauchy-Riemann equations. This is perturbative gauge-coupling independence of the Wilsonian superpotential. Contributions involving are nonperturbative and are outside this argument. For an Abelian factor the same angle-independent holomorphy argument applies. Hence a putative perturbative coefficient linear in is independent of the gauge coupling and can be evaluated as that coupling tends to zero.
In this free-gauge limit, an interacting chiral loop needs additional superpotential vertices: the free chiral propagator connects to , so a single holomorphic vertex alone cannot produce a loop correcting its local F-term. Extra vertices introduce extra spurions or their conjugates, both excluded by the preceding charge and holomorphy argument. The surviving coefficient is its tree value. Therefore
For an explicit charge check, take in the Wess–Zumino model. Give ordinary charges and R-charges . A holomorphic monomial of the required charges satisfies and , giving , . Perturbative regularity requires , hence only and survive. The free limit fixes their coefficients to and ; there is no room for a coupling-dependent loop correction. This illustrates the holomorphy argument for superpotential non-renormalization explicitly.
The Kähler potential can acquire wave-function renormalization. Restoring canonical field normalization changes physical masses and Yukawa couplings, so their running does not contradict the boxed statement about holomorphic coordinates. Gauge kinetic F-terms have their own renormalization and are not the superpotential. Infrared effects in the one-particle-irreducible quantum effective action, tree-level elimination of retained fields, and genuine nonperturbative effects must likewise be distinguished from this perturbative Wilsonian effective action theorem.
Past exam of the mathematics course of the University of Cambridge 2016 iii Paper 307 4 Solution Created 2026-10-03 Updated 2026-10-06
First assume global four-dimensional N=1 supersymmetry, canonical positive Kähler potential, and tree level. Write and at the stationary vacuum. The chiral-superfield fermion mass matrix is the symmetric matrix , and the sum of squared Weyl spinor masses is . From the F-term scalar potential , its mixed and holomorphic Hessian matrix blocks areFor canonically normalized real and imaginary parts of the scalar fields, the real scalar mass matrix has trace twice the mixed trace. Its holomorphic blocks can split the two real scalar masses but do not change their sum. HenceA Weyl spinor has two spin states, so this proves the tree-level supertrace mass sum rule,The paper defines its supertrace with , the negative of the conventional boson-minus-fermion supertrace used here. The asserted zero is the same in either convention. The result requires the stated canonical tree-level hypotheses; a noncanonical Kähler metric, supergravity, or radiative corrections can change the sum rule.
If vector multiplets are also present, the gauge contributions to the F-term supertrace cancel rather than being omitted. At , define for the scalar expectation vector . Differentiating adds to the real-scalar trace. The symmetric gaugino-matter mass matrix has off-diagonal entries , giving an extra in its fermion squared-mass trace. The covariant scalar kinetic term gives vector squared-mass trace . Thus their contribution is . The gauge-theory result uses all spin states, including the vector weight three; it is not obtained by dropping massive gauge partners.
The MSSM tree-level sfermion mass constraint explains the phenomenological difficulty with direct visible-sector breaking. If F-term breaking is neutral under an unbroken electric and color gauge symmetry, and no D-term shifts are present, the same trace argument applies within each conserved-charge fermion block. Its corresponding scalar partners cannot all have squared masses above the mean of the light fermion squared masses. Thus canonical tree-level visible-sector supersymmetry breaking alone cannot make every squark and other scalar partner heavy while leaving the observed fermions light. The usual effective soft supersymmetry breaking terms arise after communicating breaking from a separate sector; integrating out that sector, noncanonical interactions and radiative effects evade the hypotheses. The global trace identity alone would not identify a particular light squark without the conserved-charge block argument.
For the specified O'Raifeartaigh model, phases may be chosen so that are real and positive. Its superpotential derivatives areand its F-term scalar potential isFor fixed , choose to minimize the final square. Since ,Thus makes a global minimum with arbitrary . The hierarchy ensures this for fixed perturbative , rather than for arbitrarily large . The origin is one member of this classically flat family, with and . The complex field is a pseudomodulus.
At the origin the chiral-superfield fermion mass matrix, in the basis, isIts physical fermion masses are ; the two massive Weyl spinors form one massive four-component fermion. The massless is the goldstino. More generally, stationarity gives , so the nonzero auxiliary field direction is a null vector of , proving the goldstino zero mode from vacuum stationarity.
Writing and similarly for , the quadratic scalar potential isThe mass spectrum of the quadratic-cubic O'Raifeartaigh model is thereforeThe scalar squared-mass sum is , while twice the fermion squared-mass sum is also , so the supertrace is zero, as required. The two massless real modes are tree-level pseudomoduli, which can be lifted by a quantum effective potential; their tree-level masslessness is not the exact symmetry protection enjoyed by the goldstino.
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.
Let generate a holomorphic gauge transformation, with and moment map . Substitution of the Kähler covariant derivative of a superpotential gives the displayed identity. Consequently, a finite point with and all also has . Pure D-term breaking with vanishing chiral auxiliary fields can therefore evade this argument only where or outside its hypotheses. In conventional two-derivative matter-coupled supergravity, a constant Fayet–Iliopoulos term gauges an R-symmetry and constrains the transformation of ; a neutral superpotential and an independently assigned nonzero constant shift are not generally consistent. The gauge-covariance restriction is derived in Van Proeyen's discussion of Fayet–Iliopoulos terms and R-symmetry.
Superspace integration Created 2026-10-05 Updated 2026-10-06
Superspace integration uses the Berezin integral over Grassmann variables. A chiral integral extracts an F-term, while a full integral extracts a D-term.

