For positive real with , minimizing gives with arbitrary . Around , the real scalar squared masses are , while the three Weyl spinor masses are . Their weighted supertrace vanishes. The massless is the goldstino; the two real modes form a tree-level pseudomodulus. The stability bound follows from , after minimizing the final square over .
Spontaneous supersymmetry breaking preserves the action and conserved supercharges, but the vacuum fails to be invariant. This differs from explicit breaking, which changes the symmetry of the action itself. In global four-dimensional N=1 supersymmetry, summing diagonal entries of the Super-Poincaré algebra writes the Hamiltonian as a sum of positive charge anticommutators. Its expectation is a sum of squared norms. Consequently a zero-energy vacuum is supersymmetric, whereas an existing vacuum with broken global supersymmetry has positive energy density. The energy zero is fixed by the algebra. Neither this positivity statement nor the particle-multiplet mass relations should be transferred without qualification to supergravity.
For supersymmetric quantum mechanics, let , , and let fermion parity anticommute with both charges. On a positive-energy eigenspace, is an odd involution: its square is one, it preserves energy, and it reverses parity. Thus every positive-energy bosonic state has a fermionic partner and conversely. Their contributions cancel in the Witten index
For a discrete spectrum with a well-defined trace, this proves independence of . Continuous changes of parameters also preserve the index if the trace stays well defined and no state escapes to infinity or crosses an unregulated continuum threshold. A nonzero index guarantees an unbroken supersymmetric ground state; a zero index is inconclusive. For example, de Rham supersymmetric quantum mechanics on a circle has a bosonic constant zero-form and a fermionic constant one-form, both normalizable zero modes, so it is unbroken with index zero.
A more explicit one-dimensional family illustrates how normalizability determines the answer. Define
Positivity of these Hamiltonian operators shows that a zero mode must solve or . Thus the only candidates are
For , the Gaussian minus-sector wavefunction is normalizable and its reciprocal is not, giving an unbroken model with when the minus sector is assigned even parity. For , , the exponent tends to opposite infinities at the two ends, so neither candidate is normalizable. Both partner potentials grow quartically; their spectra are discrete and their lowest energies cannot be zero. The lowest states are therefore paired at positive energy, , and supersymmetry is spontaneously broken. This is supersymmetric factorization and zero-mode normalizability. In quantum mechanics the paired ground states illustrate the charge algebra; a relativistic massless-particle conclusion requires field-theoretic hypotheses.
In relativistic global field theory, Goldstone's theorem has a fermionic version. If a conserved supercurrent charge does not annihilate the vacuum, its Ward identity has a nonzero vacuum contact term. Fourier transforming, the divergence of the current correlator cannot tend to zero smoothly at zero momentum. Its spectral representation therefore contains a massless fermionic pole: the Goldstino, with spin one-half. This statement assumes a Poincaré-invariant vacuum and the usual local unitary field-theory conditions. It does not require a bosonic Goldstone particle for the fermionic symmetry. In supergravity the Goldstino can instead supply the longitudinal polarization of a massive gravitino.
For canonical chiral superfields , elimination of their auxiliary fields gives
A supersymmetric vacuum solves every . At a stationary broken vacuum,
The same matrix is the chiral-fermion mass matrix, so the nonzero vector is a zero mode. This derives the Goldstino zero mode from vacuum stationarity. The transformation independently identifies that direction through its inhomogeneous shift.
For one canonical chiral field, , , has everywhere, a massless fermion and a classically flat scalar direction. It is flat F-term breaking with a linear superpotential, rather than an isolated vacuum. In contrast, a nonconstant polynomial of positive degree has a complex root and hence a supersymmetric vacuum; in particular a generic quadratic or cubic single-field superpotential cannot remove all such roots. This argument assumes canonical nonsingular kinetic terms and does not claim that every runaway or nonpolynomial model has a vacuum.
A renormalizable three-field O'Raifeartaigh model gives a less degenerate illustration:
The auxiliary equations require , then , leaving . They cannot vanish simultaneously. For real positive with , the potential obeys
Therefore its global tree-level minimum has , arbitrary , and energy . The massless is the Goldstino, while is a pseudomodulus. At , the scalar mass-squared spectrum is , and the fermion masses are . This exhibits both the stability condition and the loss of ordinary supermultiplet mass degeneracy in a broken vacuum. Quantum corrections can lift the pseudomodulus and must be analysed rather than assumed away; the noncompact classical valley also prevents an unqualified finite-volume Witten index trace argument. The index, the vacuum equations and the Goldstino theorem consequently answer complementary questions.
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.
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.
For
the three F-terms are
The equation forces , after which ; hence no supersymmetric vacuum exists. Minimizing over sets , leaving
The two real quadratic eigenvalues about are , so the stated hierarchy makes stable. The vacua are
This is an O'Raifeartaigh model: supersymmetry is spontaneously broken and is a classical pseudomodulus.