At two derivatives, specify the gauge group and matter representations, a real Kähler potential , a holomorphic superpotential and a symmetric holomorphic gauge kinetic function . Gauge couplings and topological angles are contained in ; global theories can also have allowed Fayet–Iliopoulos terms for Abelian factors. Local theories require the gravitational coupling and consistent gauging: a constant Fayet–Iliopoulos term is not an independent addition to arbitrary supergravity data. A constant in affects supergravity although it is irrelevant in the global theory. is not holomorphic or protected; has no perturbative Wilsonian renormalization; holomorphic is perturbatively one-loop exact. Nonperturbative corrections can modify and , and wave-function renormalization makes physical couplings run despite superpotential non-renormalization. Higher-derivative actions require further data.
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.
The Polyakov action has independent worldsheet metric and embedding fields . Varying the metric before imposing a gauge gives
Worldsheet diffeomorphisms and Weyl transformations allow conformal gauge locally. The Weyl factor then cancels out of the classical action, leaving
These are free two-dimensional scalar fields, but the surviving metric equations require
Equivalently, and . Gauge fixing does not license dropping these Virasoro constraints.
For an ordinary open string, the boundary conditions relate the two chiral sectors. With , their independent Fourier generators are
The classical oscillator Poisson brackets give the classical Virasoro constraint algebra
Thus they are first-class constraints. In the quantum theory one applies normal ordering to the product and uses . The oscillator commutator gives
For example, for the extra vacuum term is . This exhibits the Virasoro central extension rather than concealing it in a classical constraint equation. The matter central charge is ; the worldsheet ghost fields have charge . Quantum consistency sets and the string intercept to one.
In old covariant string quantization the physical-state Virasoro conditions for an open string are
Physical string states are then identified modulo physical null string states. One does not impose both positive and negative generators as annihilation conditions: their central extension would obstruct that prescription. The resulting null-state quotient of a string agrees with the transverse light-cone spectrum at nonzero momentum.
At , the oscillator vacuum is a single spacetime scalar field with : the bosonic tachyon. At , write . The zero-mode equation gives , and gives . The null descendant identifies . This leaves 24 physical polarizations of a massless gauge vector.
At , use the level-two open-string polarization decomposition
The mass is . The oscillator commutators give all the nontrivial positive-mode conditions:
Higher positive modes annihilate this level. To see the quotient explicitly, the 25 transverse-parameter null states , with , shift
The additional level-two scalar Virasoro null state shifts
Substitution into the two physical equations verifies the null-state conditions; the second residual is . Because is timelike, these null shifts span all components of , so choose a representative with . The physical conditions then say and . In the rest frame this is a traceless second-rank tensor in 25 spatial dimensions, with polarizations. The light-cone basis independently gives states and symmetric states . Hence
For the fermionic extension, an explicit convention prevents ambiguity in the signs. Keep worldsheet signature and use
Take and the constant parameter to be real Grassmann-odd Majorana components, with . Put . Apart from the common factor , the combined Lagrangian is
The rigid transformations can be written
or, in components,
For the part, the bosonic variation is , while the fermionic variation is . Anticommuting the constant parameter past the fermion is essential in the second term. The first terms cancel. The other chiral component works in the same way, giving the chiral proof of rigid worldsheet supersymmetry
Thus the action is invariant off shell up to a boundary term. The transformation is a genuine supersymmetry: on its commutator for parameters is the translation
On the same translation follows using and ; the remaining cross terms are proportional to these Dirac equations. This is on-shell closure of rigid worldsheet supersymmetry. On a surface with boundary, compatible endpoint conditions must make the boundary flux vanish. On a compact worldsheet, a constant parameter must preserve the spin structure; the local identity alone does not make a constant transformation compatible with every antiperiodic sector.
The fermions contribute to the worldsheet stress-energy tensor and produce a fermionic superconformal current. In holomorphic normalization with ,
The free-field contractions give and conformal weight for , where . Consequently the modes obey the N=1 super-Virasoro algebra
Dropping the central terms gives the classical graded constraint algebra. Integer gives the Ramond sector; half-integer gives the Neveu–Schwarz sector. In the displayed conformal-plane convention in the Ramond sector. Shifting to the Ramond vacuum-normal-ordered zero mode gives the usual Ramond supercurrent zero-mode square .
Rigid symmetry of matter already supplies these currents, but promoting their vanishing to new gauge constraints requires coupling to worldsheet supergravity and varying its worldsheet gravitino. In superconformal gauge one retains . The fermionic current constraints and their physical-state conditions extend the bosonic Virasoro conditions. The ghost charges are , so cancellation with gives the critical dimension of the RNS superstring ; the NS and Ramond intercepts are respectively and zero. This distinguishes the global supersymmetry established above from its locally gauged string completion.
Sum the diagonal mixed anticommutators in the Super-Poincaré algebra. Their spatial terms have zero Pauli trace, giving
For every normalized state in the common operator domain,
This proves energy positivity in global supersymmetry. The zero of energy is fixed by this algebra, rather than by an arbitrary independent subtraction.
A supersymmetric vacuum is invariant under every supercharge and its adjoint. Its energy therefore vanishes. Conversely, a normalized vacuum of zero energy makes every nonnegative norm on the right zero, so all supercharges annihilate it. Consequently
For an infinite spatial volume the corresponding statement is about vacuum energy density, obtainable by first regulating the volume. It concerns rigid supersymmetry; the gravitational scalar potential in supergravity has additional terms and is not generally nonnegative.
The hierarchy problem concerns the enormous separation between the electroweak scale and a possible fundamental ultraviolet scale such as the reduced Planck mass: whereas . For an elementary Higgs field, heavy states or a physical high-energy ultraviolet cutoff generically generate
Here represents the appropriate dimensionless couplings. Maintaining a small physical Higgs mass then requires a very accurate cancellation against its bare mass parameter. The problem is sensitivity to actual high-energy physics, rather than merely the presence of a quadratic divergence in one choice of regulator.
The cosmological constant problem concerns the much smaller gravitationally observable vacuum energy. In the Einstein equation, a constant term in the effective action contributes to the cosmological constant, with in the usual normalization. Generic zero-point contributions scale as , and vacuum transitions also change . The dark-energy density is only of order . The puzzle is why the total remains so small despite much larger individual contributions. A constant shift of the nongravitational Hamiltonian cannot remove its gravitational effect.
Supersymmetry relates bosonic and fermionic degrees of freedom, including their interactions. Their opposite loop signs cancel the quadratic contributions to a scalar field mass in the unbroken theory. With soft supersymmetry breaking, the surviving correction is controlled by the mass splitting, schematically
Thus a sufficiently low soft-breaking scale protects a small electroweak scale against a much higher ultraviolet scale. This is the useful supersymmetric response to the hierarchy problem.
Exact global supersymmetry also cancels vacuum energy: the supersymmetry algebra expresses the Hamiltonian as a positive sum of anticommutators, so a vacuum annihilated by every supercharge has zero energy. Equivalently, with canonical kinetic terms,
vanishes in a supersymmetric vacuum. However, ordinary particles and their superpartners cannot have the identical mass spectrum of unbroken supersymmetry, so a useful phenomenological theory needs supersymmetry breaking. Its vacuum energy is generically of order the fourth power of the breaking scale; even a scale of order gives about , enormously above the required value. In supergravity, a negative term can cancel positive breaking contributions:
but arranging a tiny residual is a new tuning. Consequently supersymmetry can protect the hierarchy after soft breaking, while its exact vacuum-energy cancellation does not by itself survive realistic breaking.
One higher-dimensional proposal uses large extra dimensions. Take flat compact dimensions of common radius , with gravity propagating in the bulk and Standard Model fields confined to a four-dimensional brane. Reducing the gravitational Einstein-Hilbert action gives
so
A fundamental gravitational scale near a TeV then produces apparently weak four-dimensional gravity through dilution into the large compact volume. For and , is about , using . At distances much smaller than , the gravitational potential scales as ; at distances much larger than it scales as . Confining charged Standard Model fields to the brane avoids a light tower of charged Kaluza-Klein modes associated with the large radius. The primary explanatory challenge is radius stabilization: one must generate and stabilize , rather than simply postulate a huge volume and transfer the original hierarchy into a modulus.
A second proposal is the Randall–Sundrum model. Compactify on an interval, equivalently an orbifold with branes at and , and use the warped metric
A negative bulk cosmological constant and suitably related brane tensions support this geometry. Integrating over the full orbifold interval gives
For a scalar field on the brane at , its induced metric gives the kinetic coefficient and mass coefficient . The canonical field is , hence
With and of the same fundamental order, an exponent -- converts a fundamental mass into a weak-scale mass, without requiring a large proper compactification volume.
Again the separation must be selected dynamically. The original warped solution leaves a massless radion, so merely choosing does not complete the explanation. For example, the Goldberger–Wise stabilization mechanism introduces a bulk scalar field with boundary values and a small mass . Its static equation and solution are
For small backreaction and large , the leading radius-dependent potential is proportional to . Its leading minimum obeys , so a modest boundary-value ratio and a small can give the required exponent. Corrections and the residual four-dimensional cosmological constant must still be controlled. Both proposals need a stable dynamical origin for the compactification geometry; their volume or warp relations alone do not supply it.
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 is
Differentiate 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 as
Here 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 are
The 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 is
With 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 , and
These follow by differentiating twice. The quadratic scalar potential is
The doubled scalar mass matrix has blocks
Transforming 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 , hence
The 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.
Use four-dimensional Minkowski spacetime with and . The Clifford algebra duality identity makes the displayed epsilon-form equation equivalent, up to a nonzero convention-dependent phase, to
This is the Euler-Lagrange equation of the first-order Rarita-Schwinger field action , with the overall phase adjusted to the chosen Majorana convention. Varying the Majorana spinor action accounts for both occurrences of the field and cancels the one-half normalization.
A vector times a spinor contains spin- and unwanted spin- pieces, so the tensor type alone does not establish the physical spin. The field equation has gauge invariance
since the two derivatives contract an antisymmetric pair of gamma indices. Put and . Gamma matrix multiplication gives
Hence . Use the gauge transformation, under which , to impose . The equations then imply
with residual gauge freedom satisfying .
For a plane wave with nonzero momentum satisfying the null condition along the third axis, this residual freedom sets the temporal component to zero. Transversality then removes the longitudinal component, leaving the tensor product of two transverse vector polarizations with the two massless spinor helicities. The possible total helicities are and . The gamma trace is a rotation-covariant map to a spinor, which has only helicities . It therefore vanishes on the aligned combinations and removes the two mixed combinations. Equivalently, the transverse gamma trace condition has rank two on the four remaining complex positive-frequency coefficients. The massless Rarita-Schwinger polarization count is thus
The Majorana spinor reality condition relates negative-frequency coefficients to their conjugates; it does not introduce a separate antiparticle multiplet. A complex vector-spinor would also have independent antiparticle states.
A nonzero standard Rarita-Schwinger field mass term destroys the massless gauge invariance and adds the two longitudinal helicities. To see the constraints explicitly, choose its momentum-space sign so the equation is
Contracting with gives . Its gamma trace then gives . For these imply , and the remaining Dirac equation is . In the rest frame . Three spatial vector components times two positive-energy spinor components give six coefficients, and the gamma trace removes two, leaving the irreducible spin- representation. Therefore
In supergravity a consistent spontaneous mass generation is the super-Higgs mechanism, which supplies those extra states from the goldstino.
The massless graviton also has two physical helicities, so the graviton and gravitino already match on shell. The reason for auxiliary fields is the off-shell component count of minimal supergravity mismatch, not a mismatch of these physical states. After removing gauge functions but before using field equations, a metric has independent bosonic components, while a Majorana vector-spinor has fermionic components. In vierbein language the same bosonic count is , subtracting local Lorentz and diffeomorphism gauges. Old-minimal supergravity adds a complex scalar and a real vector, supplying six real nonpropagating bosonic components. This gives off-shell components and closure without imposing equations of motion. Their algebraic elimination leaves the physical graviton–gravitino spectrum unchanged.
Write , , , , , and . Assume and, initially, . The supergravity F-term potential is
The canonical Kähler potential gives the identity Kähler metric. The three Kähler covariant derivatives of a superpotential are
Substituting, including the negative term rather than treating the potential as just a sum of squares, gives the exact answer
Here 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 potential
No 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 is
Indeed 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 is
The canonical-Kähler correction to an F-term hybrid valley begins as
In 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 is
The normalized combinations diagonalize this quadratic form, with
Thus 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 . Hence
For 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 fact
Its 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.
There are two distinct parts of the hierarchy problem. The first asks why the scale of electroweak symmetry breaking is so much smaller than a fundamental scale such as the Planck mass. The second, the technical hierarchy problem, asks why that separation survives quantum corrections once it is chosen. With a fundamental Higgs boson, a mass term is allowed by the ordinary gauge symmetry, so heavy thresholds can contribute additive terms of order a heavy mass squared. This is different from the chiral protection of a fermion mass and the gauge protection of a vector mass.
For example, a cutoff description of the Standard Model gives the schematic one-loop sensitivity
The regulator-dependent quadratic term is not itself an observable, but a physical heavy particle of mass coupled to the Higgs likewise produces a matching correction of order coupling squared times . Maintaining then generically requires cancellation between large unrelated terms. This is the naturalness concern; changing the regulator does not eliminate the heavy-threshold issue.
Exact supersymmetry relates bosonic and fermionic couplings and masses. Their loop contributions have opposite signs, and the relations enforce supersymmetric cancellation of quadratic divergences. Boson-fermion degeneracy in a supermultiplet also transfers fermionic mass protection to its scalar partners. It is not sufficient merely to add arbitrary scalars: the supersymmetric coupling relations are what make the cancellation persist. Perturbative superpotential non-renormalization further protects holomorphic mass parameters, although wave-function renormalization still makes canonically normalized couplings run.
For a realistic separation between ordinary particles and their partners, supersymmetry must be broken. Soft supersymmetry breaking introduces masses and selected positive-mass-dimension interactions without reinstating the original ultraviolet quadratic divergence. A paired propagator difference behaves at high Euclidean momentum as
so a residual scalar correction is of the order
This soft scalar-mass sensitivity controls the technical problem if the relevant soft masses and thresholds are not too far above the weak scale. Very heavy partners can still require tuning through finite and logarithmic terms. Supersymmetric cancellations alone therefore do not guarantee a naturally small weak scale for an arbitrary broken spectrum.
The origin of the hierarchy needs further dynamics. In dynamical supersymmetry breaking, an asymptotically free hidden supersymmetry-breaking sector can generate an exponentially smaller scale by dimensional transmutation,
If that sector actually has no supersymmetric vacuum, its breaking can be communicated to the visible sector to produce small soft terms. The exponential creates a hierarchy without specifying a tiny dimensionless coupling at the high scale, but the existence of breaking and its mediation are additional model-building requirements. In the MSSM, running Higgs soft masses can trigger electroweak symmetry breaking. The supersymmetric mu problem remains: the allowed superpotential mass must also be near the soft scale, and non-renormalization protects a chosen small without explaining its origin.
Extra-dimensional proposals use geometry to explain why observable gravitational and weak scales differ. In large extra dimensions, assume gravity propagates in dimensions with fundamental scale , while ordinary fields are localized on a brane. Integrating the Einstein-Hilbert action over compact volume gives the Planck mass from compactification volume relation
Here denotes the four-dimensional reduced Planck mass. A sufficiently large internal volume lets be near the weak scale even though is enormous. The Higgs need then be stable only up to the lower fundamental cutoff. This explains the weakness of long-distance gravity geometrically but trades the scale question for the origin and stabilization of a large compact volume. Ordinary matter is localized to avoid an unwanted low-mass tower of its own Kaluza-Klein modes; gravitational modes, departures from four-dimensional gravity and bulk energy loss impose phenomenological requirements.
The Randall–Sundrum model instead uses a warped five-dimensional interval, conventionally the doubled orbifold with fixed branes at and :
For a scalar confined to the distant brane, the kinetic and mass terms carry factors and . Canonical rescaling therefore produces
A moderately large yields an exponentially small observable mass without a comparably large compact-volume factor. The inter-brane size is the radion, so one still needs a mechanism fixing its expectation value. Consistent curvature, brane tensions and ultraviolet physics are also part of the model. Warping is a redshift mechanism; it does not provide the same cancellation of arbitrary scalar loops as supersymmetry.
Finally, protecting a Higgs mass is not the same as solving the vacuum-energy hierarchy. Exact global supersymmetry has zero-energy supersymmetric vacua, but broken supersymmetry generically leaves vacuum energy set by its breaking dynamics. In supergravity, positive auxiliary-field contributions coexist with a negative superpotential term, and obtaining a very small cosmological constant requires further structure or cancellation. Neither soft supersymmetry nor the two geometric mechanisms automatically resolves that problem. The mechanisms can also coexist in one higher-dimensional supersymmetric theory.
Supersymmetry protects a chosen hierarchy radiatively and can accompany dynamics generating a small scale; extra-dimensional volume or warping generates the scale separation geometrically, with stabilization still required.
The Noether gauging procedure starts by allowing a constant symmetry parameter to depend on position. For an internal symmetry written as , integration by parts identifies the Noether current:
up to a boundary term. Introduce a gauge field and add , with the inhomogeneous gauge transformation . This cancels the displayed variation. The current coupling has its own variation, so one iterates: add the needed higher-order interactions and corrections to the gauge transformations, and require closure of the local symmetry algebra. For an ordinary gauge theory, this reorganizes derivatives into gauge covariant derivatives and fixes the nonlinear gauge field strength. Gauging is therefore more than replacing a constant parameter by a function.
For rigid supersymmetry, the corresponding Noether current is the spinor-valued supercurrent . A local Majorana spinor parameter gives a variation proportional to . A gravitino , with an inhomogeneous transformation , cancels it through a coupling proportional to . The commutator of two rigid supersymmetry transformations is a translation. With local parameters, the translation parameter becomes position dependent, so the completion must also gauge translations: it introduces the vierbein, diffeomorphism invariance of general relativity, and local Lorentz transformations. The gravitino and graviton thus belong to the same supergravity multiplet.
For pure minimal four-dimensional supergravity, start with the free massless Fierz-Pauli action and the free Rarita-Schwinger field kinetic term. The Noether gauging procedure replaces the former by the Einstein-Hilbert action and couples the latter to the vierbein and spin connection. In a canonical normalization the leading transformations can be written
An overall sign or phase changes with the curvature and Majorana spinor conventions, but the relative normalization must be used consistently. To see why these terms fit together, first work to quadratic order in fermions, so the spin connection is torsion free. Varying the Rarita-Schwinger field kinetic term under produces an antisymmetric double spinor covariant derivative. The spinor curvature identity and the Einstein tensor contraction of spin curvature give, in the matching curvature convention,
The resulting Einstein tensor term cancels the variation of the Einstein-Hilbert action under . This is the essential first nontrivial cancellation in the construction.
At higher fermion order, the variations of the vierbein and spin connection produce further terms. Treating the spin connection as independent makes its Euler-Lagrange field equation algebraic. Its solution is a gravitino-induced torsion connection. With and , a conventional canonical normalization gives
Equivalently, with , the torsion tensor obeys
The Majorana Grassmann bilinear interchange makes the right-hand side antisymmetric in . Eliminating the spin connection generates the four-fermion completion. In the 1.5-order formalism one substitutes its solution but varies the other fields holding the connection fixed: the omitted chain-rule term is . The remaining cubic fermion variations cancel by the Clifford algebra and Fierz rearrangements. This produces the displayed supergravity action in its compact connection-dependent form. Calling this formulation on shell means that no independent auxiliary fields have been retained and that closure of the supersymmetry algebra uses the propagating Euler-Lagrange field equations; it does not mean that action invariance is obtained only by setting every variation to zero on a solution.
In the antisymmetrized kinetic term, is a spinor-valued one-form and the derivative is conventionally written
This is the Lorentz-covariant exterior-derivative convention for that term. If one instead uses the full affine covariant derivative of a vector-spinor, a coordinate-index connection is also present and the antisymmetrization must include its torsion tensor correction. The crucial physical distinction from pure metric general relativity is the spin connection contains gravitino-induced contorsion, rather than being the torsion-free Levi-Civita connection. It reduces to the ordinary spinor covariant derivative when the gravitino vanishes.
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 are
Substitution in the supergravity F-term potential gives
In particular, the subtraction cancels only half of the six terms contributed by the three squares. The full scalar potential is
Its 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 values
The 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 , and
Thus 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 yields
Hence the two charged squared masses and the stability condition are
Above 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, because
On 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.
Use signature , , and unit-weight antisymmetrized gamma products. The massless Rarita-Schwinger field has the gauge freedom
since the antisymmetric annihilates . This gauge freedom is essential to remove the lower-spin components of the vector-spinor.
Put . Contracting the field equation with and using gives
Expanding the original three-gamma product then reduces its equation to
A gauge transformation changes by . Locally solve to impose gamma-trace gauge. The two equations become
Applying again gives . Nonzero propagating Fourier modes therefore have : the physical modes are massless.
For the massless Rarita-Schwinger polarization count, choose a nonzero future null momentum . The remaining gauge parameters satisfy . Transversality gives , and this residual gauge removes , hence also , because itself satisfies . Only remain, with
The kernel of on four-component spinors has complex dimension two, so there are exactly two independent polarization amplitudes.
To identify their helicities, the spinor rotation generator about the third axis in this convention is . Its two eigenvalues on that kernel are . If is such an eigenvector, then . Its transverse vector polarization is consequently for or for . These carry vector helicity or , respectively. Adding the vector and spinor angular momenta leaves
The unwanted opposite-sign vector-spinor combinations, which would have helicity , violate the gamma-trace constraint. For the gravitino of simple supergravity, its Majorana spinor reality condition identifies the negative-frequency antiparticle modes, giving two propagating degrees of freedom. If one instead chooses a complex Dirac vector-spinor, its independent antiparticle sector doubles the particle-plus-antiparticle count; the equation alone does not impose a Majorana condition.
Use mostly-plus Lorentzian signature and , with antisymmetrized gamma products of unit weight. A Majorana spinor obeys a reality condition under charge conjugation:
A Weyl spinor instead has definite chirality,
A four-dimensional Majorana spinor has four real components, while a Weyl spinor has two complex components. Charge conjugation reverses chirality in this signature, so a nonzero spinor cannot satisfy both conditions simultaneously.
For the Dirac equation , the derivative term reverses chirality because anticommutes with every gamma matrix, whereas the mass term preserves it. Projecting a purely chiral spinor equation onto its two chiralities therefore gives both and . Thus a nonzero four-component Weyl spinor satisfying this uncoupled Dirac equation must be massless. A Majorana spinor contains conjugate opposite-chirality components and can have a nonzero mass. Its charge-conjugation reality condition identifies particle and antiparticle operators, so a Majorana particle is its own antiparticle. A Weyl field does not by itself impose that identification.
This does not forbid writing a Majorana mass term for a neutral two-component Weyl field: such a term couples the field to its conjugate, and the resulting four-component massive field is Majorana, not a purely chiral solution of the uncoupled Dirac equation.
For the Rarita-Schwinger field, set and . The antisymmetric kinetic operator is invariant under
because commuting derivatives contract to zero against . Expanding its gamma product gives
Gamma contraction gives , so the equation implies and .
For a Fourier mode with momentum , if the latter identity gives . The mode is proportional to and hence pure gauge. Every physical nonzero-momentum mode therefore has . For a null mode, choose an index with . The same equation makes an element of the image of , allowing a gauge choice with . The field equations then reduce to
Residual gauge transformations obey .
Take a null momentum in the third spatial direction. Residual gauge freedom and transversality remove the temporal and longitudinal vector components, leaving two transverse vector polarizations. Their helicities are , while on-shell spinor helicities are . The gamma-trace constraint removes the two combinations of total helicity and retains the aligned combinations of helicity . Explicitly, in a chiral representation the transverse gamma contractions use , which annihilate the correspondingly aligned spin states and act nontrivially on the opposite states. Thus a Majorana Rarita-Schwinger field has two physical massless polarizations. The Majorana assumption is the one relevant to simple supergravity; a complex vector-spinor has these helicities for its particle and independent antiparticle modes.
A consistent free massive deformation is the algebraic term
added to a kinetic term . Its equation is
For , divergence and gamma contraction give, respectively,
These imply the massive Rarita-Schwinger constraints and , and the remaining equation is . Squaring gives in the chosen signature. The gauge symmetry is lost. In the rest frame, transversality sets the temporal component to zero; three spatial vector components times two on-shell spinor states give six states, and gamma trace removes the two spin-one-half states. The result is four massive spin- states, with spin projections . In supergravity the additional longitudinal states can be supplied by the super-Higgs mechanism.
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.