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 gives
The Abelian gauge auxiliary field obeys in this normalization. Thus the F-term scalar potential and the gauge D-term give
All 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.
Chirality and the component expansion. A chiral superfield is constrained by
Use 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 into
The 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 therefore
Here 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 is
This 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 density
Full 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 is
Substitution leaves . Differentiating the given quadratic-plus-cubic superpotential therefore gives the tree-level effective potential
This applies for complex . In terms of canonically normalized real fields , phases may be chosen to make real, in which case
The 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
Figure 1.
Quartic complex-scalar Wess–Zumino vertex with two legs of each field type and its factorial-normalized Feynman rule
. Details.
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
QuantityOrdinary Mass dimension
111
01
0
01
023
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 is
with a holomorphic function before perturbative regularity and matching conditions are imposed. Equivalently, a monomial must obey
Solving 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 fixes
The 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 gives
These 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.
Use the hypercharge normalization . All matter chiral superfields are written with left-handed Weyl spinors, so the fields denoted by a superscript contain the charge conjugates of the usual right-handed Standard Model fermions. The MSSM superfield representations are
Each fermion generation contributes the first five chiral superfields. Their complex scalar field partners are squarks for the quarks and sleptons for the leptons. Each Higgs chiral doublet contains a Higgs complex scalar field and a higgsino. Every chiral superfield also has a complex auxiliary field. The vector superfields are
They contain the corresponding gauge bosons, gauginos in the Adjoint representation, and real auxiliary fields. A right-handed neutrino chiral superfield is not part of the minimal field content.
A gauge anomaly is a quantum obstruction to a classical gauge symmetry. For hypercharge, triangle diagrams with left-handed Weyl spinors can violate the Ward identity of the gauge boson; an uncancelled gauge anomaly makes the gauge theory inconsistent. Anomaly cancellation sums over every component, including colour and weak multiplicities. Complex scalar fields do not contribute to these chiral gauge anomalies. For one fermion generation, the cubic hypercharge coefficient is
The other coefficients involving a hypercharge gauge boson vanish too. With the fundamental index ,
The last line is the mixed gauge-gravitational anomaly. Coefficients with one non-Abelian generator and two hypercharge generators vanish by tracelessness. For completeness, the purely colour cubic gauge anomaly cancels between the two fundamental quark components and the two antifundamentals; the weak group has no perturbative cubic gauge anomaly. Its four left-handed doublets per fermion generation also avoid the Witten SU(2) anomaly. Thus each family is separately anomaly-free, not merely their sum.
The gauginos do not spoil this result: their hypercharge is zero and their Adjoint representation is real. One extra Higgs chiral doublet is different because its higgsino is chiral. For , its contributions are
They have no compensating contribution from the Higgs complex scalar field. The higgsino in supplies precisely the negative of each coefficient. Opposite-hypercharge Higgs chiral doublets restore anomaly cancellation. The same pair restores an even number of weak fermion doublets, so the Witten SU(2) anomaly provides an additional check of the higgsino anomaly cancellation.
The independent reason is the holomorphic need for two Higgs chiral doublets. A superpotential is a holomorphic function of chiral superfields, so it cannot use a conjugate Higgs superfield to generate the missing Yukawa couplings. The ordinary Standard Model can use a Higgs scalar and its conjugate, but the MSSM needs distinct chiral superfields of both hypercharges. For example,
where the dot contracts weak indices with the antisymmetric tensor. All three terms are gauge-invariant holomorphic functions. supplies up-type masses, while supplies down-type and charged-lepton masses. Replacing either by the conjugate of the other would violate the holomorphic closure of chiral superfields.
The defining restriction is the reality condition
For a non-Abelian gauge group, write the vector superfield in a Hermitian generator basis with real superfield coefficients. This is a condition on the full superfield, not a chirality constraint. It relates conjugate component coefficients and makes the vector and auxiliary field real. Wess-Zumino gauge is a further supergauge transformation choice removing redundant components; it is not the defining condition for a vector superfield.
The Abelian field-strength chiral projection is linear in the vector superfield, so isolate the terms containing the gaugino and the auxiliary field. Replacing by leaves these terms unchanged: the shift of the gaugino term would contain three barred Grassmann variables, and the shift of the term would contain three of each chirality, hence both vanish. Their contribution is therefore
The part of the supersymmetric covariant derivative also adds a third barred factor, so it vanishes on these two terms. The ordinary left Grassmann derivative, with , gives
At fixed , and . Thus the chiral field-strength superfield has
The remaining components come from the other independent terms in the vector superfield; linearity ensures they cannot alter the two coefficients just calculated. This proves the requested components without computing the omitted terms. The gaugino phase and the sign of the vector component are those in the printed Wess-Zumino gauge expansion.
In the Polonyi model, the Kähler metric is . The relevant Kähler covariant derivative of a superpotential is
The supergravity auxiliary field is , up to an irrelevant common phase convention. Thus a constant vacuum preserves supersymmetry exactly when this auxiliary field vanishes. For , the superpotential and scalar potential vanish identically, and every constant scalar value is a supersymmetric vacuum.
For , put . Its supersymmetry condition becomes
Since , it requires and . Hence the Polonyi supersymmetry branches are
At these points , so the supergravity F-term potential is negative, : these are supersymmetric Anti-de Sitter spacetime vacua, not zero-energy ones. The condition also makes them stationary, as follows by differentiating the supergravity F-term potential.
For and , the auxiliary field cannot vanish anywhere, so any vacuum has supersymmetry breaking. For , a stationary vacuum at any other scalar value still breaks supersymmetry; the parameter condition alone does not determine which vacuum is selected. In particular, a nontrivial zero-energy vacuum cannot preserve supersymmetry: and would also imply , whereas gives and .
The canonical Kähler potential gives and inverse Kähler metric one. Substituting the superpotential and its Kähler covariant derivative of a superpotential into the supergravity F-term potential yields
For real , the prefactor is simply ; the modulus form also covers a complex phase. To keep both scalar directions explicit, write and . Then
The negative term is essential: unlike the global F-term scalar potential, the supergravity F-term potential need not be nonnegative. This is why cancelling the cosmological constant does not force the auxiliary field to vanish.
Use the minimal four-dimensional Super-Poincaré algebra, with , and commuting translations. Lorentz covariance and closure on the existing supercharges permit only
The graded Jacobi identity for therefore gives
For 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 potential
A 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 is
Here , 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 is
Its 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 are
In 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 are
The real and imaginary scalar sectors have two-by-two scalar squared-mass matrices
whose eigenvalues are
Both 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 by
Each 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.
With left Grassmann derivatives, differentiating with respect to introduces a minus sign. Consequently
At fixed , the chirality condition becomes independence of . There are only two independent Grassmann variables , so the chiral-superfield component expansion terminates:
Here is a complex scalar field, a Weyl spinor, and a complex auxiliary field. Its four real off-shell bosonic components, two in and two in , match the four real off-shell fermionic components. Equivalently, in ordinary coordinates the complete expansion is fixed without ambiguous contraction signs by
The exponential terminates because of the Grassmann algebra.
For canonical , extract the component of . The part depending on the auxiliary fields is . To extract the F-term of the superpotential, expand around the complex scalar fields:
All higher terms contain at least three identical-type Grassmann variables and vanish. In the convention , the highest component is . Therefore
Here and . The Yukawa interaction is displayed to distinguish it from the terms actually containing . With signature , the other canonical terms are , up to a total derivative.
Vary and independently. The auxiliary fields have algebraic, rather than differential, Euler-Lagrange equations:
Alternatively complete the square:
Substitution therefore yields the on-shell auxiliary fields and nonnegative scalar potential
The sign in the Lagrangian is minus the F-term scalar potential; changing the metric convention does not change this algebraic result. A supersymmetric vacuum requires all , namely F-flatness. For a noncanonical positive Kähler metric , the purely bosonic elimination instead gives ; fermionic connection terms must also be included in a complete nonlinear component action.
Take a canonical Kähler potential and the Wess–Zumino model superpotential
The F-term component gives
Eliminating the auxiliary field by gives the F-term scalar potential . Consequently
This is the supersymmetric relation between quartic and Yukawa couplings: there is one holomorphic parameter , with the quartic coefficient and the Yukawa coupling in the displayed normalization. For real the quartic coefficient is the of the question. They cannot be varied independently while retaining this canonical supersymmetry.
The relation produces the supersymmetric cancellation of quadratic divergences. Bosonic and fermionic Feynman diagrams correcting a scalar mass have equal ultraviolet quadratic coefficients and opposite signs, so the mass is not driven directly to the ultraviolet cutoff scale. In a theory with soft supersymmetry breaking, residual corrections instead have the schematic size
with coefficients and logarithms depending on the spectrum. Thus superpartner masses near the electroweak scale can stabilize the Higgs boson mass against a much larger cutoff, addressing the radiative part of the hierarchy problem. Heavy sparticles leave a corresponding residual sensitivity; the cancellation does not by itself explain every mass scale.
On shell, a massless vector multiplet contains a gauge boson with two transverse polarizations and a gaugino with two fermionic states. A chiral superfield contains a complex scalar field, hence two real bosonic states, and a Weyl spinor with two fermionic states. Their total is bosonic and fermionic states.
Suppose charged scalar fields acquire vacuum expectation values at a supersymmetric vacuum, where F-flatness and D-flatness hold. For each broken generator of the gauge symmetry, the supersymmetric Higgs mechanism combines one massless vector multiplet and one chiral superfield into a massive N=1 vector multiplet. The gauge boson absorbs one real Goldstone boson, acquiring its third polarization. The other real scalar field remains physical. The gaugino and the relevant higgsino mix into the four fermionic states. Thus the spin content is
Unbroken supersymmetry gives all these states the same mass through supersymmetric mass degeneracy. Remaining massive chiral superfields instead have spin content , with two fermionic and two bosonic states of a common mass. The auxiliary fields ensure matching off shell but are not additional propagating particles in these counts.
The super-Higgs mechanism occurs when local supersymmetry is spontaneously broken in supergravity. Its spin- gauge field, the gravitino, absorbs the spin- goldstino:
The extra states have helicities , supplementing . The ordinary supersymmetric Higgs mechanism can preserve supersymmetry while breaking the internal gauge symmetry; the super-Higgs mechanism breaks the local supersymmetry itself. Spontaneously broken global supersymmetry leaves a physical massless goldstino, because there is no dynamical gravitino to absorb it.
All derivatives below are left Grassmann derivatives. Decompose the supersymmetric covariant derivatives into odd pieces
When these operators act on an arbitrary superfield, the graded Leibniz rule gives
The anticommutator of the two pure Grassmann derivatives vanishes. Also : the spacetime derivatives commute, while the and coefficients anticommute. Adding these terms proves the supercovariant derivative algebra with left derivatives,
For two unbarred derivatives, neither differentiates the coefficient of the other operator. Their coefficient products anticommute, so . The same argument with barred and unbarred coordinates exchanged gives . These signs follow the derivatives printed in this paper; a convention replacing by reverses the mixed sign as well.
Set . Left differentiation gives
The chain rule therefore makes simply at fixed . The chiral superfield constraint means that is independent of in these coordinates. Since there are only two independent entries of , its Grassmann algebra expansion terminates at degree two. Naming the coefficients gives the chiral-superfield component expansion
Here is a complex scalar field, a Weyl spinor, and a nonpropagating auxiliary field; the is their conventional normalization.
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 are
For 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. Hence
A 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 are
and its F-term scalar potential is
For 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, is
Its 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 is
The mass spectrum of the quadratic-cubic O'Raifeartaigh model is therefore
The 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.
Use left Grassmann derivatives for the Grassmann variables. A chiral superfield satisfies . In the derivative convention printed in the PDF, differentiating with respect to a barred coordinate brings a minus sign from moving the odd derivative through . Consequently , so the general solution depends only on and :
Here is a complex scalar field, a Weyl spinor and a complex auxiliary field. This is a finite Grassmann algebra expansion, not an assumption that the spacetime fields are constant.
For a completely convention-independent way to organize the ordinary-coordinate expansion, let . Translation by gives
All higher terms vanish because there are only two unbarred and two barred odd coordinates. For example take , signature , and , with both lower epsilon tensors having . Then and the chiral-superfield component expansion reads
The frequently written positive quarter coefficient corresponds to the opposite convention for or the spinor contractions; the preceding shift formula fixes the sign without ambiguity. The local TeX's barred derivative is damaged: the original PDF has , not a barred-coordinate factor at its end.
Write in chiral coordinates. Multiplication gives the three component constraints
On the regular branch where the ordinary commuting part of is nonzero, the nilpotent chiral superfield is therefore
The goldstino and auxiliary field are independent; the scalar is a composite, not another independent degree of freedom. Its first two constraints follow because any product of three identical two-component odd spinor entries vanishes. It is essential not to divide by on a branch with zero commuting part: for example satisfies the nilpotency condition without breaking supersymmetry.
For a regular local action with no superspace derivatives in or , nilpotency truncates the most general superpotential and Kähler potential to
The last inequality makes the kinetic Kähler metric healthy. In global four-dimensional N=1 supersymmetry, the constant and holomorphic pieces of integrate to zero, and does not affect the action. On the bosonic background , the constraint sets and the auxiliary terms are . Eliminating them gives
A nonzero is necessary for this regular constrained branch to be an on-shell vacuum. It gives nonzero and supersymmetry breaking, with the goldstino. Nilpotency alone is not a proof that every possible branch breaks supersymmetry. With the above composite parametrization is singular on shell, rather than evidence for a regular supersymmetric vacuum containing an independent Goldstino.
If these data are instead embedded in supergravity, the constant and linear terms cannot simply be discarded independently: a Kähler transformation also transforms . Before such a transformation, at the supergravity F-term potential is
Thus nonzero still breaks supersymmetry, but the vacuum energy need not be positive. This distinguishes the global answer from the local theory explicitly introduced in the next question.
Now write . The condition becomes
Using the same nonzero- branch gives the chiral superfield constrained by a nilpotent superfield
The spinor and the auxiliary remain independent; the scalar is removed. Substituting this expression verifies the other two product constraints using two-component spinor identities. It does not impose . It does imply cubic nilpotency from a mixed chiral constraint: . Indeed , so
These are exactly the three components needed for . The generic nonzero expression for shows why imposing quadratic nilpotency on would lose allowed interactions.
The analytic chiral monomials consequently reduce to . The most general superpotential is
For the Kähler potential, put . Every allowed mixed monomial is included in
This includes , , , , , and the necessary conjugates; products containing or vanish. In a global theory the holomorphic terms again integrate to zero; in supergravity they can be changed by a Kähler transformation. Positivity requires the kinetic metric on the independent multiplets to be positive definite at the chosen background, not necessarily the entire coefficient matrix on the redundant composite list . The most general claim here concerns regular analytic two-derivative actions; singular functions of the constrained fields or higher-derivative operators are outside it.