On a bosonic background, a Killing spinor is a nonzero spinor parameter that makes all fermionic supersymmetry variations vanish. It identifies an unbroken supersymmetry of the background; the number of independent solutions counts preserved supercharges. In simple ungauged minimal four-dimensional supergravity, with the gravitino set to zero, its equation is and the bosonic field equations are . In theories with additional fields or a cosmological deformation, the Killing-spinor equation instead uses the corresponding modified connection.
Use commuting spinors to form ordinary geometric bilinears, and orient the Dirac current to the future with in mostly-plus signature. Since the spinor and gamma matrices are parallel,
Thus is actually parallel, and in particular is a Killing vector field. In a local orthonormal frame,
For every spatial unit vector , is Hermitian and squares to one. Its eigenvalues are , so . Taking along the spatial current gives
A nonzero parallel spinor cannot vanish at an isolated point, so this causal Dirac current is nonzero everywhere on a connected solution. Its squared norm is constant: it cannot alternate between timelike and null regions.
If is timelike, normalize its constant norm. Its parallel dual one-form is closed, and its orthogonal distribution is integrable. Adapted local coordinates put the metric in the product form
The time independence follows because is Killing, and the unit lapse and zero cross terms follow from parallelism. The vacuum equations give . In three dimensions the Riemann tensor is completely determined by the Ricci tensor and its scalar contraction, so is flat. Therefore
Constant spinors in its flat frame provide all local Killing spinors. Global identifications are possible only when they preserve a compatible spin structure and the required spinors.
If is null, its parallelism first gives a Brinkmann coordinate system with . The parallel-spinor condition further restricts the local spin holonomy to the stabilizer of that spinor. In four dimensions, for a nonzero Weyl component represented by , its stabilizer in is the upper-triangular group , : the two real null rotations, with no transverse rotation. Consequently the transverse frame is flat and the allowed curvature is of the wave type . Using the coordinate freedom to remove transverse cross terms gives the local plane-fronted gravitational wave form
Here and the only potentially nonzero Ricci component is , so the last equation is exactly the vacuum equation. Conversely, in the coframe , , , the nonzero spin-connection matrices are proportional to . Constant spinors with are therefore parallel. Every harmonic transverse profile, with arbitrary dependence, gives such a supersymmetric vacuum wave; the flat profile is included. This verifies both the form and sufficiency in the parallel-spinor classification of vacuum four-geometries.
There is a reality-condition subtlety in interpreting the branches. A single commuting four-dimensional Majorana spinor has a null current of a commuting Majorana spinor: its two-component representation gives . A timelike current can instead come from a Dirac Killing spinor or a sum of independent real-spinor currents. The conditional timelike classification above remains valid, but does not assert a generic timelike current for a single real Majorana parameter.
For the final question use constant sectional curvature , so . The spinor curvature identity gives
Define the Anti-de Sitter Killing-spinor connection . Since and the connection is torsion-free,
Thus the modified connection is flat. On a simply connected region, transport any initial spinor with this connection; flatness makes the result path independent and supplies actual nonzero solutions, not merely a necessary integrability condition. Hence
has a full local space of solutions on Anti-de Sitter spacetime, and globally on its universal cover. Global quotients require compatible spinor monodromy. These are Killing spinors of the cosmological deformation, not parallel-spinor vacua of the undeformed zero-cosmological-constant theory.
Use the mostly-plus Clifford algebra and Riemann curvature tensor conventions of the preceding solutions, with , , and a Majorana gravitino. An action for minimal four-dimensional supergravity in the exact transformation normalization given is
The kinetic coefficient is tied to the normalization of the supersymmetry transformations: if and , this becomes the canonical coefficient , with and . Mixing those two normalizations would spoil the cancellation.
To the retained order, use the torsion-free connection. More generally the 1.5-order formalism allows its variation to be omitted after imposing its own algebraic equation; the resulting contorsion is quadratic in fermions and first affects the displayed action at quartic order. The metric tensor variation induced by the vierbein is , so the Einstein-Hilbert action varies as
For the fermionic action, varying both Majorana factors gives the same contribution after integration by parts and the Grassmann bilinear interchange rule. Thus
The vector-index Riemann curvature tensor contribution vanishes by the first Bianchi identity. The spin-index contribution is determined by
For the last equality, expand the antisymmetric three-gamma/two-gamma product: the totally antisymmetric Riemann curvature tensor terms vanish by Bianchi, and the surviving terms are the Ricci contraction minus half its trace. Hence
which cancels the gravitational variation. Variations of vierbeins, gamma matrices and the connection in the fermionic kinetic term carry three dynamical fermions. They lie beyond this linear-fermion cancellation and are cancelled by the omitted four-fermion completion. Thus the action is invariant up to boundary terms at the order specified, rather than claiming that a truncated action is exactly invariant at every fermion order.
For the cosmological extension, add a gravitino mass parameter and deform the derivative:
Indeed the fermion terms combine as because . The modified spinor connection curvature is
and contraction gives
The same action-variation cancellation therefore works with replaced by precisely for
This is the Anti-de Sitter deformation of minimal supergravity. A cosmological term alone would leave its variation uncancelled; the mass term and the gamma shift of the gravitino transformation are both necessary. A positive cosmological constant cannot arise from this real unbroken minimal deformation.
For electromagnetism, retain and introduce an Abelian vector multiplet , with Majorana gaugino . A complete quadratic-fermion extension is
The accompanying leading transformations are
They preserve the rigid Maxwell-gaugino action for constant . For a local parameter, the variation contains
To obtain this, vary , vary both gaugino factors, and use . The terms with cancel between the two actions; integrating the three-gamma term uses , leaving exactly the displayed derivative of the parameter. The interaction is , whose variation under cancels that term.
The other linear-fermion variation is also fixed. Put and . Clifford multiplication gives
Varying in the gravitino-current interaction then gives , which cancels the Maxwell vierbein variation. This proves the required supergravity coupling of an Abelian vector multiplet through the retained order.
Beyond that order one uses a supercovariant gauge field strength, here , and the associated higher-fermion transformation terms and four-fermion interactions. An auxiliary scalar may be retained for off-shell closure, or eliminated in this on-shell formulation. A Maxwell field without a fermionic partner cannot be coupled by merely adding while leaving all transformations unchanged. An alternative is an gravity multiplet, where the vector is a graviphoton and a second gravitino supplies its extra fermionic states; the explicit construction above is the minimal matter extension.
A Killing spinor is a nonzero spinor parameter for which the fermionic supersymmetry variations vanish on a bosonic background. In minimal four-dimensional supergravity without a cosmological term this means
It is an overdetermined equation and expresses an unbroken supersymmetry of the background. In the cosmological deformation the corresponding equation is ; in theories with additional bosonic fields their contributions also enter the fermion variations.
For the undeformed theory the connection preserves both the spinor adjoint and gamma matrices. Consequently the Dirac current
obeys . In particular , so is a Killing vector, and in fact is parallel. For the real cosmological deformation, and instead give , whose symmetric part again vanishes.
The causal property uses an ordinary commuting spinor. Take an orthonormal frame with , , and . Then . Reverse its time orientation and write , so
The matrices are Hermitian and obey . For every spatial unit vector , , whence . Choose along the spatial part of to obtain
A nonzero Killing spinor cannot vanish at an isolated point: its defining connection equation transports its value along every curve. Thus on a connected background this is a nonzero, nowhere-spacelike causal Dirac spinor current. The estimate does not need the Majorana condition, but it does need commuting components; Grassmann bilinears have no such ordinary positivity order.
For the positive energy theorem, take a complete asymptotically flat spacelike hypersurface with a spin structure , with suitable decay, Einstein constraint equations, and matter satisfying the dominant energy condition. Assume there are no inner boundaries, or that any inner-boundary contribution has the required nonnegative sign. The auxiliary commuting spinor approaches an arbitrary constant at spatial infinity. Define the real Nester two-form
Antisymmetry removes second derivatives except through the Riemann curvature tensor. Differentiation and the three-gamma spinor curvature identity used above give
The first term comes from differentiating the two spinor factors. For the second term, replace by half their commutator; its spin-curvature contraction is from each conjugate term. This is the reason the Einstein tensor, and hence the matter energy density, enters the boundary-charge identity.
In an orthonormal frame adapted to the future normal of , put . Since ,
Here is the spacetime spin connection pulled back to , including its extrinsic curvature. Choose the auxiliary spinor to solve the elliptic Witten spinor equation
The standard asymptotic-flatness and completeness hypotheses permit this boundary-value problem; the positivity identity also excludes a decaying homogeneous zero mode. It is this hypersurface equation that removes the negative square. A spacetime Killing spinor is not assumed for a general initial-data set.
Stokes' theorem and now give
The dominant energy condition makes the second integrand nonnegative because and are future causal. Evaluating the two-form with the asymptotic spin connection identifies its surface integral with the ADM energy and momentum:
For example its energy term uses to first order in the asymptotic spatial metric tensor perturbation. With this is exactly the ADM normalization. Since has eigenvalues , positivity for every boundary spinor proves
Killing spinors describe saturation: their spatial derivative term vanishes, and the contracted matter term must also vanish for the corresponding charge to be zero. They characterize preserved supersymmetry rather than being prerequisites for positivity. Under the usual rigidity hypotheses, zero total four-momentum makes the nonnegative integral vanish for a full basis of asymptotic spinors; their parallel extensions force a vanishing Riemann curvature tensor and give the Minkowski vacuum. A single Killing spinor with null current alone does not justify asserting that every component of the total momentum vanishes.
The gravitational variable and the fields held fixed in a variation must be specified. For bosonic matter a second-order metric tensor formulation is sufficient. For spinorial matter a vierbein and a spin connection are needed to define the local Lorentz representation and its covariant derivative. “Second order” refers to a connection already expressed through derivatives of the vierbein; “first order” treats that connection as an independent variable.
For a metric tensor, a scalar field and an Abelian gauge field, consider the Einstein-Hilbert action with matter,
Here and the connection in is Levi-Civita. The metric tensor variation uses and
Metric compatibility makes the last two terms a divergence. Thus
Stationarity for arbitrary compactly supported variations gives
Explicitly,
Scalar field and gauge-potential variations give and . Their equations imply stress-energy conservation, consistently with the contracted Bianchi identity. If the boundary metric tensor is fixed instead of using compactly supported variations, add the Gibbons–Hawking–York boundary term, , with the outward-normal orientation. Fixing the metric tensor alone does not otherwise remove the normal derivatives of its variation.
For spinorial matter, write and . In the second-order theory set before varying. A symmetrized Dirac action, in the same no-, mostly-plus convention as the earlier solutions, is
Varying and integrating by parts gives ; varying gives the adjoint equation. The spinor components held fixed in a gravitational variation are components in the Lorentz frame. Both and vary with the vierbein. The former gives the canonical stress, and integrating the spin-connection variation supplies its spin-current improvement. On the Dirac equations the resulting symmetric stress tensor is
The off-shell expression also contains ; this vanishes on the matter equations for the displayed symmetrized action. Treating the coordinate gamma matrices as fixed while varying the metric tensor would miss the displayed stress. Local Lorentz invariance removes the independent antisymmetric vierbein equation, leaving the symmetric Einstein field equations with this matter source.
In a first-order vierbein formulation, and an antisymmetric Lorentz connection are independent. Define
and use . The curvature form of a connection variation is . For the Einstein-Hilbert term, integration by parts in form notation gives a connection equation proportional to
when matter has no connection dependence. For an invertible vierbein this forces , so . The vierbein equation then becomes the second-order Einstein field equations. This applies to the scalar and Maxwell examples: use , which is independent of and remains gauge invariant even if torsion is present.
A Dirac field changes the connection equation. Directly varying its two covariant derivatives gives
Thus its spin density sources totally antisymmetric torsion. This is Einstein-Cartan theory, and the connection equation is algebraic rather than a propagation equation for an extra field. To see both its solution and its effect, write
For the totally antisymmetric component sourced by this field, the Ricci scalar is up to a divergence. The other irreducible contorsion components have no spinor source and their connection equations set them to zero. The auxiliary part of the Lagrangian is therefore
Its algebraic variation gives the algebraic torsion of a Dirac field,
Here the first index of labels the derivative, and the torsion convention is ; specifying this convention fixes the sign. Eliminating leaves the second-order effective action with contact interaction
It is a local axial-current four-fermion interaction. Hence first-order gravity with Dirac spin density is equivalent to torsion-free second-order gravity with this additional interaction. It is not equivalent to simply declaring the spin connection torsion-free and dropping the contact term. In the effective formulation the Einstein field equations have the stress tensor of the full effective matter action. Before eliminating the connection, the antisymmetric stress and its spin current are related by the local Lorentz Noether identity.
Finally, the 1.5-order formalism is a convenient way to vary this effective action. Let solve the algebraic connection equation and let . The chain rule gives
Thus vary as in first order, then insert the solved connection. One does not need to calculate the complicated induced connection variation. This procedure is justified by its connection equation, not by discarding that variation arbitrarily. In supergravity the gravitino sources a contorsion quadratic in fermions; substituting it generates the four-fermion terms, while the 1.5-order method simplifies the local supersymmetry cancellation through the lower orders considered above.
A supercharge is an odd Weyl spinor generator. The mixed anticommutator has one undotted and one dotted index, hence transforms as a Lorentz four-vector. In the minimal Super-Poincaré algebra, its only spacetime generator is the four-momentum, so covariance fixes it to . Normalizing the charges canonically fixes :
The number two is a normalization, not something Lorentz covariance alone could fix under .
For an explicit closure calculation, use left Grassmann derivatives in superspace and the differential translation convention :
Each of the two derivative-coordinate cross terms contributes ; the other terms cancel by anticommutativity. This proves the displayed coefficient. The same calculation gives and . There is no scalar central charge for a single supersymmetry label: symmetry of the anticommutator is incompatible with a term proportional only to the antisymmetric .
In the massive rest frame , the mixed relation is . These positive canonical anticommutation relations supply the input for the normalization and finite fermionic Fock space in the question-level continuation.
Assume the standard canonical kinetic action . A constant field redefinition is invertible and preserves chirality. Its kinetic action differs by , whose full superspace integrals vanish up to a boundary term: a chiral or antichiral field has no independent full-superspace component. Equivalently, spacetime derivatives of a constant are zero. There is no nontrivial Jacobian for this translation of the field. Thus physical predictions are unchanged when all parameters and the coordinate of the vacuum are transformed together.
The transformed superpotential is
where . Removing the linear term means choosing a critical point , not merely choosing while ignoring the cubic term. For ,
The resulting superpotential is . Its constant term has no effect in global supersymmetry, since its chiral superspace integral is zero. It would matter in supergravity, which is not the model here.
A real shift is physically allowed, but it does not always suffice to remove the linear term. With real couplings it requires for . For example , , gives , which has no real root. A complex shift is still a valid redefinition of the complex chiral scalar and removes the term. Thus the printed instruction needs either the real-root hypothesis or permission for a complex shift.
If and , choose . If , no shift removes a nonzero ; if it is already absent. These exceptional branches will also distinguish the supersymmetry-breaking possibilities below.
A supersymmetric vacuum satisfies , equivalently , and has . For , the nonconstant quadratic has at least one complex root, including a double root when . Since the scalar is complex, these roots are admissible physical vacua whether or not they lie on the real slice. Thus supersymmetry is unbroken at either zero of . The same is true for , where is linear and has the root .
The exceptional pure-linear model has everywhere and . It exhibits flat F-term breaking with a linear superpotential: all scalar values are flat vacua but no state annihilates every supercharge. If also , the potential is identically zero and supersymmetry is unbroken on a flat moduli space.
Consequently the generic cubic or massive model does not spontaneously break supersymmetry; only the nonzero purely linear branch does in this single-field canonical model. The answer is independent of .
In the original coordinate, the possible zero-energy vacuum expectation values for are
They coincide when the discriminant vanishes. With real parameters and a nonnegative discriminant these are real; otherwise the allowed complex scalar values must be retained.
In the coordinate used to remove the linear term, the same vacua are
The nonzero branch exists in this shifted coordinate when . Let be that branch and write . Equivalently, in the original coordinate write with . The physical fluctuation field is the same. For there is the unique vacuum ; for the constant and pure-linear exceptional branches the scalar is a flat direction, with the supersymmetry status already distinguished in part (c).
For a nonzero common mass,
This agrees with supersymmetric mass degeneracy in an unbroken chiral superfield multiplet. The two real scalar modes have the same mass as the two physical polarizations of the massive fermion, as the rest-frame multiplet construction predicts.
At both masses vanish; the numerical ratio is and is undefined, but the equality of masses still expresses the unbroken supersymmetry. Equal zero masses in the exceptional flat, pure-linear breaking model do not prove unbroken supersymmetry: there the nonzero auxiliary expectation and positive energy in part (c) are the decisive tests.
The hierarchy problem begins with a large separation of scales: the weak scale is much smaller than possible unification or gravitational scales. A fundamental scalar mass is especially sensitive to a much heavier scale. In an effective description with ultraviolet cutoff , one schematically finds
The coefficient contains gauge, scalar and Yukawa couplings, with different signs for bosonic and fermionic loops. The explicit quadratic cutoff dependence is regulator-dependent, but a heavy physical particle coupled to the Higgs produces a threshold correction of order its mass squared. That heavy-threshold sensitivity is the physical difficulty.
The technical hierarchy problem asks whether a small scale, once chosen, remains stable under such radiative corrections. Maintaining by cancelling unrelated bare and loop contributions, and readjusting the cancellation at successive orders, is the naturalness concern. It is different from explaining why the small scale was chosen in the first place. Supersymmetry primarily supplies protection against the technical instability; a complete explanation of the origin of supersymmetry-breaking scales needs additional dynamics.
The relevant comparison of mass types is:
In exact supersymmetry, each supermultiplet has matched bosonic and fermionic degrees of freedom, with their interaction strengths related. Opposite loop signs then give supersymmetric cancellation of quadratic divergences. This is not just equality of state counts: the supersymmetric relation between quartic and Yukawa couplings is also essential. A schematic paired-loop contribution has the high-momentum form
For equal partner masses the displayed contributions cancel. With a small splitting, the difference falls as , so the remaining ultraviolet sensitivity is logarithmic, proportional to the splitting rather than to .
Realistic partners need not have exactly equal masses. Soft supersymmetry breaking permits scalar squared masses, gaugino masses and suitable trilinear interactions without restoring the unwanted quadratic sensitivity. Typically,
up to coefficients and threshold details. Squarks and sleptons can therefore be heavier than their chiral fermion partners while the scalar sector remains stable against the much larger ultraviolet scale. Nevertheless, very large soft masses, particularly in the Higgs-coupled sector, leave large finite or logarithmic corrections and require tuning. This soft scalar-mass sensitivity remains after the quadratic divergence has cancelled. Supersymmetry solves the quadratic radiative instability when breaking is suitably soft; it does not make arbitrarily heavy superpartners natural or explain the entire hierarchy by itself.
For spontaneous breaking of exact global supersymmetry, at least one supercharge does not annihilate the vacuum. Its norm in the preceding expression is positive, hence
With canonical kinetic terms, this is also seen in the nonnegative scalar potential, : nonzero auxiliary expectation values signal breaking and positive energy density. The associated massless fermion is the Goldstino.
If “broken” instead means arbitrary explicit breaking by added operators, the exact Super-Poincaré algebra no longer fixes the full Hamiltonian, and the positive-norm argument does not constrain its vacuum energy. One can, for example, shift that explicitly broken Hamiltonian by a constant. The strict positivity conclusion therefore uses spontaneous breaking of an otherwise exact global theory, not a blanket assertion about all breaking terms. It also is not a statement about supergravity, whose scalar potential contains additional terms.
Every global minimum found for nonzero has . By energy positivity in global supersymmetry, its zero energy means all supercharges annihilate it. Therefore
The arbitrary neutral expectation is a supersymmetric modulus; the nonzero derivatives that would break supersymmetry vanish even though itself need not vanish. In the exceptional case, every D-flatness minimum likewise has zero F- and D-auxiliaries, so supersymmetry remains unbroken even on the gauge-Higgsed branch. The supersymmetric Higgs mechanism permits internal gauge breaking without supersymmetry breaking. No extra constant or linear superpotential term is needed to find a zero-energy vacuum in this model.