Taylor expansion about any supersymmetric vacuum gives
Therefore the fluctuation scalar potential is
For the nonzero vacuum in the shifted coordinate, . Thus it is also . The cubic interaction changes sign compared with expansion at the other root, whereas the quadratic mass term is the same.
Use the usual normalization of the Super-Poincaré algebra, with and under the corresponding index convention:
The supercharges are odd operators: they turn bosonic states into fermionic states and vice versa. If is fermion parity, this statement is , so
The same relation holds for the conjugate supercharges.
For a finite-dimensional physical supermultiplet at fixed four-momentum with energy , let count physical bosonic and fermionic states. Cyclicity of the ordinary trace and the parity anticommutation imply
Summing over the two spinor indices gives
This supertrace pairing at positive energy proves boson-fermion degeneracy in a supermultiplet for massive as well as massless positive-energy representations. It counts on-shell polarizations, not merely the names of fields. The requirement matters: a zero-energy supersymmetric vacuum can be a bosonic singlet without a paired fermionic vacuum.
If supersymmetry-breaking operators are explicitly added to the Lagrangian, the original supercharges generally no longer commute with the full Hamiltonian. They are not conserved symmetries generating finite fixed-energy physical supermultiplets; their original anticommutator does not equal the full translation generator with the breaking terms included. Thus the step replacing the parity-weighted anticommutator by on a closed physical representation fails. The odd parity relation alone does not force energy degeneracy or an equal number of physical states at each mass.
This is explicit versus spontaneous supersymmetry breaking. In spontaneous breaking the action still has conserved supercharges, but the vacuum is not annihilated by them. Acting on particle excitations about that vacuum involves the broken-vacuum/Goldstino sector, so an ordinary finite particle multiplet above an invariant vacuum is no longer the correct pairing argument. The vacuum-energy statements below refer to an exact globally supersymmetric Hamiltonian, including the spontaneously broken case; they are not positivity claims for an arbitrary explicitly broken Hamiltonian.
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 .
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.
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.
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.
Work in four-dimensional Minkowski spacetime, with in a unitary representation. The usual Super-Poincaré algebra has the Poincare algebra and possible internal Lorentz scalars as its even generators, and only the stated Weyl spinors as its odd generators. This closure assumption is essential: Lorentz covariance alone would also permit additional tensor-valued generators. It is the setting selected by the Haag–Łopuszański–Sohnius theorem for ordinary interacting relativistic theories.
The Spinor representation of the Lorentz group gives
Here denotes the Lorentz algebra matrices in the convention of the paper. Moving to the left changes the sign; definitions using Hermitian Lorentz algebra generators may also put an explicit into these matrices. The conjugate relation acts on the dotted Weyl spinor indices.
The tensor product of group representations
is a Lorentz four-vector. The only such even generator is , so the mixed anticommutator must be
Applying Hermitian conjugation makes a Hermitian matrix. Positivity of for every linear combination of supercharges makes a positive semidefinite matrix on a positive-energy physical superalgebra representation. Remove any null supercharges, which act trivially, and use a unitary diagonalization of a normal matrix followed by rescaling to obtain . Thus counts the independent nontrivial supercharges.
For equal chirality, the tensor product of group representations is
Consequently the tentative equal-chirality anticommutator can contain and a symmetric spinor tensor , where is the intertwining operator for Lorentz covariance onto . Symmetry of the anticommutator under forces and . At this stage is an internal Lorentz scalar, hence commutes with ; its full centrality will follow below.
To determine the commutator with translations, Lorentz covariance and the absence of additional odd generators leave only
and the relation obtained by Hermitian conjugation. The graded Jacobi identity for , using , gives
where means entrywise complex conjugation. This equation alone would not imply . Contract the graded Jacobi identity
with . The term drops out because its spinor tensor is symmetric, and makes the remaining left side vanish. Substitution of the mixed anticommutator makes the right side a nonzero numerical multiple of . Thus . It follows that and , whence . Applying Hermitian conjugation proves the same assertion for :
Returning to the uncontracted graded Jacobi identity now gives . Since the Lorentz algebra generators do not commute with translations, the tentative term must have . Hence
In particular for . The dotted-dotted anticommutator follows by Hermitian conjugation applied to the second relation.
The graded Jacobi identity for , together with , gives . As a Lorentz scalar, commutes with , and it already commutes with . Closure and Lorentz covariance make for some coefficients. Apply the graded Jacobi identity once more:
Thus . Since every and is itself an anticommutator of supercharges, the 's also commute with each other and their conjugates. Therefore are central charges in supersymmetry of the displayed algebra. Additional R-symmetry automorphisms are not among the generators specified here.
For boson-fermion degeneracy in a supermultiplet, fix a physical four-momentum with , and take the finite internal space of states at that four-momentum. Let be fermion parity. It anticommutes with each supercharge and its adjoint. For any fixed , summing the diagonal spinor indices gives
because and the Pauli matrices are traceless. Cyclicity of the operator trace and imply
The supertrace of the preceding summed anticommutator therefore vanishes:
This counts physical boson and fermion degrees of freedom, including polarizations. The phrase “any representation” needs a qualification: a one-dimensional even supersymmetric vacuum with has one boson and no fermion. Thus the equality applies to positive-energy physical supermultiplets with finite state counts at fixed four-momentum, not to arbitrary abstract superalgebra representations or unregulated infinite-dimensional operator traces.
Use the canonical Kähler potential and normalize superspace integration by . The superspace Lagrangian density is
The 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 gives
Higher terms vanish because there are only two Grassmann variables . With and , their anticommutation gives . Thus
The canonical Kähler potential contributes . Consequently the part of the Lagrangian density containing the auxiliary field is
The fermion terms coming from the superpotential are
The 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 give
Equivalently,
After eliminating the auxiliary field, the Lagrangian density contains , so the F-term scalar potential is
It 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 is
In 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 therefore
If 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 satisfy
For 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. Thus
A 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 consequently
These 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.
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.
For , the F-term scalar potential is
Both terms vanish exactly when , while is arbitrary. Thus the supersymmetric vacua form one complex line,
Suppose and all are distinct. A nonzero forces . Distinctness then makes every other charged field vanish, and forces . The D-flatness equation fixes , while its phase is removed by the gauge group. There is therefore one isolated supersymmetric vacuum for each flavor,
for a total of vacua. Negative gives the analogous vacua with nonzero.
For the Polonyi model with canonical Kähler potential and , , a constant supersymmetric vacuum with requires real and exists exactly for . Its supergravity F-term potential is negative because . For , the supergravity auxiliary field cannot vanish. If , the model is flat with unbroken supersymmetry. This parameter-dependent statement is sharper than asserting that every linear superpotential breaks supersymmetry in supergravity.
Supersymmetric mass degeneracy Created 2026-10-05 Updated 2026-10-06
In an unbroken supersymmetric vacuum, physical boson and fermion partners have equal masses because supercharges commute with four-momentum. For one canonical chiral superfield, fluctuations about have mass for both the complex scalar field and Weyl spinor.
In the small-field global approximation, the waterfall fluctuations on have the displayed masses. One becomes negative when , driving the fields towards the supersymmetric vacuum branch. In the canonical supergravity model, the exact masses follow from expanding the exponential and Kähler-covariant derivatives; their Planck-suppressed corrections should not be discarded unless the corresponding field and symmetry-breaking scales are small.
Witten index 2026-10-14
With a well-defined regulated supertrace, positive-energy states of supersymmetric quantum mechanics are paired by an odd invertible charge. Their opposite fermion parities cancel, leaving , independent of . A nonzero index proves the existence of a supersymmetric vacuum; zero does not prove its absence. Discrete-spectrum or suitable infrared conditions matter, because continuum thresholds and states escaping to infinity can invalidate naive trace manipulations or deformation invariance.