Use and . For the symmetrized Dirac action , varying the spin connection gives . Only totally antisymmetric contorsion is sourced. Its action is , hence the stated solution. Substitution generates . The torsion is an auxiliary field, not an independent propagating degree of freedom.
Chiral-superfield component expansion Created 2026-09-24 Updated 2026-10-05
With left Grassmann derivatives, a chiral superfield is a finite expansion in chiral coordinates :
Here is a complex scalar field, a Weyl spinor and an auxiliary field. The translation form of its ordinary-coordinate expansion is
The exponential terminates in the Grassmann algebra. To reduce its contractions, choose signature , , left differentiation, and for both lower spinor epsilon tensors. Define and . Then satisfies . Expanding the translation gives
The last sign follows from in the translation expansion. Defining the barred square in the reverse order, , negates it and writes the same term with a positive quarter coefficient. Spinor contractions and the Grassmann algebra convention must therefore accompany the reduced formula.
With and invertible , the additional chiral superfield satisfying has . Its Weyl spinor and auxiliary field remain independent. This eliminates the independent scalar. It does not force .
Finite zero-energy vacuum for a single exponential superpotential Created 2026-10-05 Updated 2026-10-14
For and with , the potential is . With nonzero , a finite zero-energy vacuum exists exactly when . To prove this, set ; the magnitude equation is , whose derivative changes sign at and whose maximum is . The phase fixes the imaginary part of . At a zero-energy solution the auxiliary field remains nonzero, so supersymmetry is broken and both real components of are flat. If , the family is instead supersymmetric.
Goldstino Created 2026-10-05 Updated 2026-10-14
A goldstino is the massless spin-one-half mode associated with spontaneously broken global supersymmetry. For F-term breaking, the fermion in a multiplet with nonzero auxiliary field transforms by an inhomogeneous term, . In supergravity, the corresponding mode supplies the longitudinal degrees of freedom of a massive gravitino.
Hidden supersymmetry-breaking sector Created 2026-10-06 Updated 2026-10-07
A hidden sector contains fields whose auxiliary fields acquire expectation values that break supersymmetry. Loop effects or suppressed interactions communicate the breaking to visible fields as effective soft supersymmetry breaking. This can avoid the canonical visible-sector tree-level supertrace mass sum rule.
Nilpotent chiral superfield Created 2026-10-05 Updated 2026-10-06
For , the nilpotency condition gives and . On the branch with invertible commuting part of , , while the goldstino and auxiliary field are independent. Products of three identical two-component odd spinor entries vanish, verifying the remaining constraints. The scalar is therefore composite. The branch hypothesis matters: also obeys the constraint and need not break supersymmetry.
A four-dimensional Majorana spinor gravitino has real components, minus four local supersymmetry gauge functions, leaving twelve before using any Euler-Lagrange field equation. A vierbein has sixteen real components, minus six local Lorentz transformation and four diffeomorphism gauge functions, leaving six. Equivalently, a symmetric metric tensor has . The propagating graviton and massless gravitino each have two states on shell. Six bosonic auxiliary field components complete an off-shell supergravity multiplet.
Old-minimal supergravity 2026-10-14
Old-minimal four-dimensional supergravity adds a complex scalar and a real vector to the vierbein and gravitino. These six real bosonic auxiliary field components have no propagating kinetic terms. They balance the off-shell component count of minimal supergravity and permit the local supersymmetry algebra to close without imposing the propagating Euler-Lagrange field equations.
Anticommuting-variable dependence alone is not the defining condition: a superfield must carry a specified Super-Poincaré group transformation law. Any appropriately graded function on superspace becomes an unconstrained scalar superfield under coordinate pullback, but an arbitrary collection of coefficients in a Grassmann variable polynomial is not automatically a prescribed supermultiplet. For example, a chiral superfield has , with and ; a vector superfield obeys and contains a gauge vector, gaugino and auxiliary field in Wess-Zumino gauge. A polynomial with constant component fields can be a special chiral superfield; lack of explicit spacetime dependence alone does not disqualify it. This is superfield covariance is not Grassmann dependence alone.
For a massless supermultiplet, put the momentum along the third axis. The matrix in the supersymmetry algebra has rank one, so only one fermionic oscillator acts nontrivially. It relates states whose helicities differ by . Including the antiparticles required by CPT completion of a supermultiplet gives the following complete spectra.
A chiral multiplet contains a complex scalar and a Weyl spinor . Its scalar particle and antiparticle have helicity ; its fermion particle and antiparticle have helicities and . Therefore , with maximum absolute helicity .
A supersymmetric vector multiplet contains a massless gauge vector , with helicities , and a Majorana spinor gaugino , with helicities . Again , now with maximum absolute helicity . The chiral and vector auxiliary fields contribute no on-shell states.
The Higgs mechanism is compatible with unbroken supersymmetry. A supersymmetric vacuum may have nonzero scalar vacuum expectation values that break the internal gauge symmetry while obeying both F-flatness and D-flatness. For example, oppositely charged chiral superfields with , no Fayet–Iliopoulos term and equal nonzero scalar magnitudes have but break the Abelian gauge group. In the supersymmetric Higgs mechanism, a massless vector multiplet combines with the chiral multiplet along the broken gauge direction. One real scalar becomes the longitudinal vector polarization; the other remains a physical real scalar, and the gaugino combines with the Higgsino into a Dirac spinor. The resulting massive vector multiplet has bosonic and fermionic states with a common mass, as in part (i). Any other uneaten chiral multiplets remain separately in the spectrum.
The irreducible massive N=1 vector multiplet consists of one massive vector, one real scalar, and two massive spin- fermions. Thus its on-shell boson and fermion counts are
The two fermions can be written as two Majorana spinors or one Dirac spinor. All these states have the same mass when supersymmetry is unbroken; auxiliary fields are not extra propagating states.
To obtain rather than assume this spectrum, use the rest-frame supersymmetry algebra . The two normalized fermionic creation operators form a spin- doublet. Start with a spin- fermionic Clifford vacuum annihilated by the two lowering operators. The zero- and two-creation-operator levels each have spin , whereas the one-creation-operator level has
It is bosonic, giving exactly the scalar and vector above. A higher-spin Clifford vacuum would introduce spin above , while a spin-zero Clifford vacuum gives maximum spin only .
Take canonical kinetic terms, gauge coupling , and define the Fayet–Iliopoulos term by . If is the scalar component of the charge- chiral superfield, the relevant auxiliary field Lagrangian is
The algebraic equation eliminates and gives the D-term scalar potential
Since the superpotential vanishes, . In a homogeneous vacuum, the supersymmetry transformation of the gaugino includes
Thus gives an inhomogeneous shift: no nonzero constant supersymmetry parameter leaves this vacuum invariant. The gaugino is the goldstino, because it is the field shifting under the broken supercharge; there is no contribution here.
For , minimizing over separates three cases. If , the allowed value gives : supersymmetry is unbroken while the internal gauge symmetry is Higgsed. If , the unconstrained zero of would have negative , so the minimum is with and . If , the minimum is supersymmetric. Consequently, with this explicitly stated sign convention,
Reversing the sign used to define the Fayet–Iliopoulos term reverses the printed sign criterion, not the physics. If , the scalar is decoupled and flat: any still breaks supersymmetry through , but the charged-field criterion does not apply.
On the broken branch, expand about :
Writing gives both real scalar modes the squared mass . There is no superpotential fermion mass and no vacuum expectation value to induce gaugino–matter-fermion mixing. The Abelian gauge symmetry is unbroken, so its vector is also massless. The complete mass spectrum of single charged-field D-term breaking is
The original chiral multiplet therefore has the squared-mass splitting
The original vector multiplet has zero mass splitting, although the nonzero means it is not an unbroken-supersymmetry representation. As a check, the tree-level supertrace mass sum rule gives when the two real scalar degrees of freedom are counted. On the broken branch all the propagating fields are massless.
There is a necessary scope qualification: one nonzero-charge Weyl fermion has an Abelian cubic gauge anomaly proportional to and a mixed gravitational gauge anomaly proportional to . These are the classical vacuum and spectrum calculations requested by the model; a consistent quantum gauge theory needs an anomaly-cancelling completion, whose additional matter must also be included in its vacuum analysis.
Use Planck units and restrict to the physical Kähler metric domain
Put and , so that . There are no gauged interactions specified, hence no additional D-term scalar potential. The supergravity F-term potential is , with . Its Kähler covariant derivatives of a superpotential are
The nonzero metric entries are
The determinant of this block is , so it is positive definite. With the inverse-index convention , the raised components are
Keeping these complex-conjugate off-diagonal entries in their correct index positions is essential.
To exhibit the no-scale supergravity cancellation, write the norm as
Here . The term cancels the negative term in the supergravity F-term potential. The result is the nonnegative scalar potential
This is the matter-logarithm no-scale potential, specialized to the exponential superpotential.
Choose the supergravity auxiliary field convention . Substitution into the full inverse Kähler metric gives
An overall auxiliary-field phase is conventional. The dependence of cancels between the two metric terms. If all three auxiliary fields vanished at a finite physical point, would force , would force , and would then force . Thus is necessary. For any nontrivial choice of , supersymmetry is broken at every finite physical point. The allowed exception , is supersymmetric; the statement cannot hold for all arbitrary parameters without this qualification.
The no-scale volume runaway criterion also determines whether the minimum is attained. For fixed , differentiation with respect to gives
It is negative unless both numerators vanish. Therefore a finite stationary vacuum must satisfy
Every such point is a global minimum with . For , setting and reduces existence to
The derivative of the magnitude function is . It rises from at the excluded boundary to at , then falls to zero. Consequently a finite zero-energy minimum exists exactly when
or in the separate trivial family . There is one positive root for , two for , and one double root at equality. If only one of vanishes, or exceeds this maximum, there is no finite minimum: the infimum is zero as . Calling this runaway a finite zero-energy vacuum would be incorrect.
At a nontrivial zero-energy minimum, , and the auxiliary expectation values reduce to
This explicitly verifies supersymmetry breaking with zero vacuum energy in no-scale supergravity. Both real components of are exact flat directions of a scalar potential on the minimum locus. Away from that locus, is still absent from the potential, but is not flat. At a minimum, is lifted at quartic order: at fixed , . A zero quadratic mass does not make an exact flat direction. The quartic stabilization at a double no-scale root likewise gives a vanishing quadratic mass, but no exact flat direction, for at . For , the whole family has both and flat and supersymmetry unbroken.
Finally, the gravitino mass from a superpotential is
At a nontrivial zero-energy minimum this becomes
It depends on the unfixed volume modulus, so the model does not predict one numerical mass. For , , the gravitino is massless.
In the ordinary local two-derivative matter class, the general ungauged supersymmetric action for a chiral superfield is
The Kähler potential is real, and the superpotential is a holomorphic function. Adding to changes the action only by a boundary term: full superspace integration of a chiral or antichiral function vanishes modulo that term. This is a Kähler transformation. A positive Kähler metric is required for a nonsingular positive-norm kinetic term, not just for derivative counting.
To see the differential order, the bosonic component Lagrangian in mostly-plus signature contains
The auxiliary field equation is algebraic: on a purely bosonic configuration. It gives the scalar potential . The scalar equations have at most two spacetime derivatives, the fermion equations from the sigma-model kinetic term have one, and the remaining interaction terms do not raise this order. The fermionic corrections to the auxiliary equation are still algebraic.
For four-dimensional renormalizability, assign engineering dimensions , , and . Hence, up to a Kähler transformation and a constant field normalization, the restrictions are
A mixed higher-degree term in or a term of degree above three in introduces a negative-mass-dimension coupling. The constant has no local effect in global supersymmetry, as in the constant superpotential in global supersymmetry.
The boxed general-action statement uses the conventional two-derivative matter interpretation. It is not a classification of all derivative-dependent effective superfield actions by the order of their bosonic equations alone. For example, a scalar Lagrangian quartic in first derivatives still yields a second-order Euler–Lagrange equation, and supersymmetric derivative-dependent interactions can contain such terms. Their auxiliary and fermionic equations require separate checking. This distinction is explicit in the original construction of supersymmetric derivative-dependent scalar actions. Such actions are outside the ordinary class used for the renormalizable answer here.
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.
Ordinary electromagnetism uses a one-form gauge potential, its gauge transformation and its curvature. On superspace the corresponding object is a superspace gauge connection, with both vector and spinor components. Write . Its graded commutator contains the flat-frame torsion plus supercurvature. The conventional constraints set the two undotted-spinor curvatures, the two dotted-spinor curvatures and the conventional mixed spinor curvature to zero; the mixed derivative algebra then determines the vector connection. The remaining independent gauge curvature is packaged into a chiral field-strength superfield. A real vector superfield is a prepotential solving these constraints, rather than four unrelated ordinary gauge potentials.
Use the left-derivative conventions of Question 5, with and . An Abelian supergauge transformation has a chiral parameter , and one consistent normalization is
The parameter is chiral so that the transformed matter is still a chiral superfield; its complex components remove more of the prepotential than an ordinary real gauge parameter. In Wess-Zumino gauge, one convenient expansion is
Its components are the gauge potential , the gaugino and the real auxiliary field . Wess-Zumino gauge removes the extra scalar and spinor components of a general real superfield. Supersymmetry transformations usually leave that gauge slice and require a compensating supergauge transformation. For a residual chiral parameter with real lowest component , the expansion gives and ; thus is the ordinary Maxwell gauge parameter.
The Abelian field strength is the Abelian field-strength chiral projection
Three barred derivatives vanish because there are only two anticommuting dotted components, so . Gauge invariance follows directly: by antichirality, while the mixed derivative algebra gives for chiral . In chiral coordinates its component structure is
where fixes the tensor normalization. Overall gaugino phase choices do not change the gauge-invariant field strength or its Bianchi constraint.
Reality of and the derivative algebra imply the superspace Yang-Mills Bianchi identity
Indeed, the two sides are the same differential operator on , because . This is the superspace counterpart of , and its components contain . It is a defining curvature constraint, not the Maxwell equations. Varying the pure gauge action additionally sets the common real superfield to zero; matter supplies a current instead.
The Supersymmetric Yang-Mills action and minimal matter coupling are
The chiral phase factors cancel in . The component matter derivative is , which transforms covariantly under the residual gauge transformation just derived. The same superspace term generates the associated matter–gaugino Yukawa coupling and auxiliary coupling, so minimal coupling is not only replacing an ordinary derivative in the scalar action. The gauge action contains , the gaugino kinetic term and . Rescaling the vector multiplet to canonical kinetic normalization gives the physical coupling . The holomorphic superpotential must be gauge invariant; a single field of nonzero continuous Abelian charge admits no nonconstant polynomial superpotential without additional fields. For several fields, invariance requires . A Fayet–Iliopoulos term is additionally possible for an Abelian factor, shifting the algebraic equation.
For a non-Abelian gauge group, and are Lie-algebra-valued, and multiplication cannot be reordered. For matter in a specified representation, set
The same matter quadratic form remains invariant. Its curvature is
At first order in an Abelian , this reduces to , fixing the factor . In the chiral gauge frame, and as an operator. The gauge-covariant Bianchi identity is , where is the conjugate curvature expressed in that same frame. It follows from the graded Jacobi identity of the covariant derivatives. Taking a trace of makes the chiral gauge action invariant. Its bosonic curvature becomes the ordinary Yang-Mills curvature, and the gaugino transforms in the Adjoint representation. A constant Fayet–Iliopoulos coefficient cannot be inserted for a simple non-Abelian group, since it would need an invariant linear functional annihilating every Lie bracket. These constructions connect the constrained superspace connection, its prepotential and its component gauge multiplet.
For a chiral superfield of mass dimension one, a renormalizable quantum field theory has a quadratic Kähler potential and a superpotential of degree at most three. Before canonical normalization one may write
with real , and
The purely holomorphic terms in , their conjugates and its constant have vanishing full superspace integration; they are Kähler transformations of the global theory. Rescaling the chiral superfield sets , so the physically general kinetic choice is up to these terms. The constant superpotential in global supersymmetry also has no component effect. The dimensions of are respectively two, one and zero.
To eliminate the linear term, translate the complex chiral superfield as . The shifted linear coefficient is
If , this quadratic has a root over the complex numbers; if but , take . The resulting linear term vanishes and the new quadratic coefficient is . The canonical Kähler potential changes only by holomorphic, antiholomorphic and constant terms, which do not change the global kinetic action. This is the superpotential critical-point shift.
The claim needs an exception: if but , the superpotential is purely linear and no invertible translation can remove it. More generally an invertible regular field redefinition cannot turn a nowhere-zero derivative into a critical point. The theory with has , a constant positive scalar potential , and flat F-term breaking with a linear superpotential. Below, and denote the quadratic/cubic coefficients after the valid shift, as intended by the question.
Expand in chiral coordinates. The highest component of is , while the full-superspace kinetic term contains . Thus the auxiliary field part of the component Lagrangian is
Varying and independently gives
Substitution gives , and hence the F-term scalar potential
It is nonnegative and vanishes at , and also at when . These are supersymmetric vacua, since the auxiliary field vanishes. Thus the quadratic/cubic model does not spontaneously break supersymmetry. If but , zero is the sole critical point; if both vanish, every is a zero-energy vacuum. Nonzero give the usual two vacua, coinciding when .
For the loop argument, promote the coefficients to background chiral spurions. One convenient pair of independent formal charge assignments is
Both symmetries act nontrivially on all three of ; the second is an R-symmetry. The superspace integration measure has R-charge , so both tree monomials give invariant actions. These are spurionic selection rules, not necessarily actual symmetries after fixing numerical couplings. The R-row is an ordinary-charge redefinition of the usual Wess–Zumino spurion charge assignment.
A local Wilsonian superpotential is a holomorphic function of the chiral fields and chiral spurions. The ratio is neutral under both charge assignments and has dimension zero, whereas has exactly the charges and dimension of . The general symmetry-allowed form, on a patch with and up to a physically irrelevant global constant, is therefore
with holomorphic where that description is regular. Symmetry by itself does not determine .
For a regular perturbative local Wilsonian effective action retaining the same elementary field and an infrared cutoff, expand . Its term of order is . Negative are singular in , while are singular in ; these are excluded by perturbative holomorphic regularity at the free-coupling limits. Thus only the quadratic and cubic terms survive. Their regular holomorphic coefficients cannot acquire coupling-dependent invariant corrections. At the quadratic theory is Gaussian, fixing exactly. A contribution linear in to the cubic vertex has only one cubic interaction: three external lines exhaust that vertex, leaving no contraction to form a loop. Thus as well in the present normalization. This supplies the holomorphy argument for superpotential non-renormalization rather than concluding non-renormalization from symmetry alone.
The Kähler potential can still undergo wave-function renormalization. If its quadratic coefficient becomes , canonical normalization gives and , so physical masses and interactions can run despite superpotential non-renormalization. More generally a positive nonsingular effective Kähler metric replaces by and does not remove its zero-energy critical points. Infrared-singular nonlocal one-particle-irreducible terms and eliminating the entire massive field are outside this Wilsonian statement.