A canonical Wess–Zumino model with a cubic superpotential already supplies a microscopic membrane-like object. Choose positive real and
There are two isolated supersymmetric vacua, . A planar domain wall has a static scalar profile depending on the transverse coordinate , with one vacuum at either end. Its energy per unit area is
Choosing gives . The real increasing solution saturates the bound:
The tension follows either from integrating or from . This is a supersymmetric domain wall, and the first-order equation also implies the second-order scalar equation. Its thickness is of order .
Figure 1.
Derived Wess-Zumino double-well potential, domain-wall profile and localized energy density
. Details.
The wall breaks transverse translations: changing gives a normalizable scalar zero mode proportional to . It also preserves only half the four real supercharges. In the chiral-fermion transformation, and the derivative term combine into a rank-half condition on the constant supersymmetry parameter, for example in a compatible Weyl convention. The orthogonal two real parameters are broken and generate localized fermion zero modes. One such profile satisfies , giving . The scalar and a three-dimensional Majorana fermion therefore form the low-energy wall multiplet. The domain-wall charge in N=1 supersymmetry is a boundary/tensor charge contributing to the extended algebra; the preserved combinations saturate . This avoids falsely applying the unextended particle-algebra argument of Question 3 to a wall with nonzero tension.
Promote the translation collective coordinate to a slowly varying worldvolume field . At wavelengths long compared with the wall thickness, its leading relativistic geometric action is the Dirac membrane action
It is invariant under worldvolume reparametrizations and the target Poincaré group. In static gauge , , the matrix determinant lemma gives
Directly substituting the leading collective-coordinate profile into the scalar kinetic term gives the same coefficient, since . Target Lorentz symmetry fixes the leading first-derivative nonlinear completion to the invariant area; finite-thickness physics can add higher-curvature terms. The area action is therefore a long-wavelength effective field theory, not an exact replacement for the microscopic wall at arbitrary momenta. Its embedding equation is .
For the four-dimensional supermembrane, extend the embedding to with a four-real-component Majorana spinor. Pull back the invariant coframe of Question 7:
Replacing by makes the area term invariant under rigid target supersymmetry, but does not yet give the appropriate fermionic gauge symmetry. Add a Wess-Zumino brane coupling to a superspace three-form potential . In one orientation and matching normalization,
The supermembrane closed four-form uses the distinct four-dimensional Fierz identity . Differentiating reduces its coefficient to this symmetric tensor, so . A local potential therefore exists. Since the curvature is supertranslation invariant, the potential can vary by an exact form; its pullback integral is invariant modulo boundary terms. This is why the three-form of Question 7 is not itself the membrane field strength: integrating a membrane potential requires three-form degree and hence four-form curvature.
The required additional local fermionic gauge invariance is kappa symmetry. Define the worldvolume gamma matrices and
With mostly-plus target signature, a local orthonormal worldvolume frame gives , so and . Thus are rank-two kappa symmetry projectors. The embedding variation gives . The area variation is consequently proportional to . Contracting the displayed with the fermionic variation and using gives the opposite Wess-Zumino contribution with an extra . Their sum is proportional to
For the boxed kappa variation, , so it vanishes by . Reversing membrane orientation reverses the Wess-Zumino sign and the matching projector. The cancellation fixes the relative charge magnitude to the tension; rigid supersymmetry alone would not fix it.
Worldvolume reparametrizations remove three of the four embedding scalars, leaving one transverse mode. Kappa symmetry removes half the four real embedding spinor components, leaving a two-component three-dimensional Majorana field, whose first-order equation has one on-shell fermionic polarization. The physical worldvolume modes are one scalar and one Majorana fermion, matching the wall zero modes. Without kappa symmetry the fermionic degrees would be doubled. A planar configuration preserves the target supersymmetries that can be compensated by the kappa projector, reproducing the wall's half-supersymmetry condition. This is the four-dimensional effective domain-wall interpretation of a supermembrane, rather than the eleven-dimensional M2-brane particle-content problem.
Here a supersymmetry-preserving combination means a real combination of Hermitian Majorana spinor supercharges, in a positive-norm unitary representation of the ordinary Super-Poincaré algebra. This reality qualification is essential. Let be normalized and in the charge domains, and define the real symmetric matrix
For real , the Hermitian operator satisfies
Therefore is a positive semidefinite matrix, and
The reverse implication uses positivity: diagonalize , so a zero quadratic form has zero component in every positive-eigenvalue direction. This converts the problem into nullity of real N=1 supercharges, not just a condition on the determinant of an operator-valued expression.
In the equivalent Weyl spinor form, . After a fixed invertible change of real charge basis, is the realification of the Hermitian two-by-two matrix
up to the harmless spatial-sign convention. A complex Hermitian matrix has the same eigenvalues in its realification, each repeated twice. The Pauli matrix multiplication law gives , so these eigenvalues are and , each twice. Positivity forces . If one nonzero real annihilates the state, has a kernel: either , with exactly two zero eigenvalues, or , with four. Thus
For a momentum eigenstate these are the null-momentum and zero-momentum cases; the expectation-matrix proof also covers states not assumed to have definite momentum. There are no massive states preserving a real charge in this unextended algebra.
If “linear combination” instead allows arbitrary complex coefficients, the unrestricted claim is false. In a massive fermionic Fock space with two lowering operators and a spin-half Clifford vacuum spectator, take
Then . The three vectors , and are linearly independent, by their occupation numbers and spectator spin labels. The complex annihilator is therefore only one-dimensional. Such a lowering operator is not a Hermitian generator of preserved real supersymmetry. The boxed conclusion applies to the physical real-charge interpretation; it also assumes no domain-wall charge in N=1 supersymmetry.
A scalar superfield transformation is a pullback under a supertranslation. Since that transformation mixes and , an odd-coordinate derivative acquires an extra spacetime-derivative term under the coordinate Jacobian. It therefore does not transform as a spinor superfield merely by differentiating the scalar transformation law. This is partial derivatives and superfield covariance.
For explicit signs, split the Majorana spinor coordinates into and use left Grassmann derivatives. Choose the differential generators
For example, , which is nonzero. Commuting the even supersymmetry variation through consequently gives the unwanted translation term.
Replace the ordinary odd-coordinate derivatives by the supersymmetric covariant derivatives
The graded product rule cancels the mixed coordinate/derivative terms, giving . Thus and transform as spinor superfields. Their own mixed algebra is , with equal-chirality anticommutators zero. This covariant differentiation is also what makes a chiral superfield constraint supersymmetry invariant. Negating every barred derivative is another convention, but changes the displayed mixed-algebra sign.
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.
TeV-scale softly broken supersymmetry addresses the technical hierarchy problem: equal bosonic and fermionic couplings cancel quadratic ultraviolet contributions to the Higgs mass. Soft mass splittings leave corrections of order , so a weak-scale soft spectrum protects the weak scale against a much higher cutoff. Unbroken four-dimensional extended supersymmetry is incompatible with the observed complex chiral gauge spectrum: charged hypermultiplets contain conjugate representations, while vector multiplets have real adjoint matter. It must therefore be broken to at most before reproducing low-energy Standard Model chirality.
In a supersymmetric Higgs mechanism, an internal gauge symmetry breaks while supersymmetry can remain unbroken. A massless vector multiplet absorbs a chiral multiplet and becomes a massive multiplet with spins : the gauge boson acquires its longitudinal particle polarization from the Goldstone mode. In the super-Higgs mechanism, local supersymmetry itself breaks: the spin- gravitino absorbs the spin- goldstino, gaining two longitudinal polarizations and becoming massive. With only global supersymmetry breaking, the goldstino instead remains a physical massless fermion.
For global four-dimensional supersymmetry, use
Let be fermion parity. On a finite one-particle supermultiplet at fixed positive-energy momentum, the supercharges act within the multiplet and . Cyclicity of the finite-dimensional trace gives
Thus the trace with of every displayed diagonal anticommutator vanishes. Summing the two components, , so
Since , this proves , for both massive and massless one-particle multiplets. The restriction matters: a zero-momentum supersymmetric vacuum singlet, annihilated by every supercharge, need not contain a fermionic partner. The algebra does not imply equal counts for such a trivial zero-energy representation or for an arbitrary unregulated infinite-dimensional trace.
The same Super-Poincaré algebra gives the operator identity
For a normalized physical state in a positive-norm Hilbert space,
An unbroken supersymmetric vacuum must be annihilated by every supercharge and its adjoint, hence has zero energy. Conversely, zero expectation of this positive sum forces each norm separately to vanish. Therefore a vacuum with strictly positive energy necessarily breaks supersymmetry. For an infinite-volume field theory the corresponding statement is about vacuum energy density, obtained with an appropriate finite-volume regulator. The zero of energy is fixed by the algebra; it cannot be arbitrarily shifted while preserving this identity. This is the global-supersymmetry result and does not assert positivity of the general local-supergravity scalar potential.
For the unheaded extended-algebra request, fix the central-charge normalization explicitly:
The central charges are scalar numbers on an irreducible massive representation. A unitary skew-diagonalization of an antisymmetric matrix puts into two-by-two blocks and, for odd , a leftover zero entry. Since this change of supercharge basis is unitary, it preserves the mixed anticommutator. Go to the rest frame .
For one block set and , with . Direct use of the algebra gives
Write and form the combinations suggested by the hint:
Then
Each diagonal anticommutator has nonnegative expectation because it is the sum of squared norms of an operator and its adjoint. Therefore for every block, proving
If the algebra is instead written with without the factor two, the same proof gives . This is the normalization used by some definitions of the BPS bound in supersymmetry; the physical bound is unchanged by the naming of the central charge.
A massive BPS state saturates at least one block bound. At saturation , so both and annihilate every state in its multiplet. The two complex inactive oscillators are four preserved real supersymmetries per saturated block. If blocks saturate, the preserved fraction is and only complex fermionic oscillators remain active. For a spin- Clifford vacuum,
compared with for a long massive multiplet. Thus BPS states have an exact mass-charge relation, preserve part of the supersymmetry, and belong to shortened representations. A physical CPT-invariant spectrum may additionally require the conjugate-charge multiplet. The short representation protects the saturated mass relation while it exists; it does not prohibit a decay at a threshold where central-charge phases align and the sum of daughter masses equals the bound.
Work on the physical domain
and abbreviate , , and . There are no vector multiplets specified, hence no additional gauge D-term. In Planck units the supergravity F-term potential and upper-index supergravity auxiliary fields are
The overall auxiliary-field sign is a convention; its vanishing and norm are invariant statements.
The Kähler covariant derivatives of a superpotential here are
The Kähler metric, with rows and columns their barred partners, is
Its block is positive definite because its leading diagonal and determinant are positive. In the inverse-tensor convention , the nonzero upper components are
In particular the conjugations in the off-diagonal components matter.
To verify the no-scale supergravity cancellation explicitly, temporarily write and . Their part of the metric contraction is
The terms involving and its conjugate cancel between the mixed and diagonal contributions. The remaining cancels the universal negative term. Since , the exact matter-logarithm no-scale potential is therefore
It differs from a model where appears outside the logarithm in the Kähler potential.
Substitution into the auxiliary-field formula gives
For example , which reduces to the displayed expression for the cubic superpotential. To test unbroken supersymmetry at any finite point, first forces . Then forces , whereas forces . Subtracting gives . Because , and at a finite point, all auxiliaries can vanish only if . Thus every nontrivial choice of breaks supersymmetry at finite field values.
A finite zero-energy minimum requires both nonnegative terms of to vanish:
There cannot be a finite positive-energy stationary point: keeping fixed and varying the real part of , equivalently , gives
which is strictly negative unless . Hence these zero-energy solutions are all the possible finite minima.
Because were allowed to be arbitrary, existence must be checked. If both are nonzero, put and . The magnitude equation is
The function on the right starts at one at the excluded boundary , tends to zero as , and has derivative . Its maximum is at . Therefore a finite cubic-matter no-scale vacuum with an exponential dilaton exists exactly when
There is one finite positive root for , two for , and one merged root at the maximum. The complex phase equation fixes modulo . If exactly one of vanishes, or the ratio exceeds the bound, no finite minimum exists; the potential instead has infimum zero along the runaway . A zero infimum at an infinite-field boundary is not an attained finite vacuum.
On a nontrivial finite branch, , so
This proves supersymmetry breaking at the intended no-scale vacuum. Its zero energy is consistent with the negative gravitational term: , which cancels in . It is not a counterexample to the global-supersymmetry positivity argument in question 3.
Both real components of are exactly flat on the vacuum family: never enters the potential, and at every allowed positive gives the same zero energy. Generically both components of are fixed. Although the matter field has no quadratic mass there, it is not an exact flat direction: for fixed at its root, and the leading positive potential is . At the special merged root , the real- quadratic curvature also vanishes, but higher orders lift it; this does not add a continuous flat vacuum direction. If , by contrast, is a supersymmetric zero-energy family with both complex and flat and all auxiliaries zero. This exception prevents an unconditional breaking assertion for arbitrary constants.
Finally the gravitino mass from a superpotential is
At a nontrivial finite minimum it becomes
Its value varies along the flat volume modulus; the classical potential does not select a unique supersymmetry-breaking or gravitino-mass scale. On the trivial supersymmetric branch , it is zero.
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.
In conventional Kaluza-Klein theory, bulk fields have a Kaluza-Klein tower with masses of order . If ordinary matter propagates in the extra dimension, the absence of accessible excited modes requires a small : a TeV compactification scale corresponds to roughly m; Planck-scale compactification would be much smaller, of order the Planck length. This is a scale estimate, not a universal radius limit independent of the fields and spectrum.
An unwarped brane-world scenario localizes ordinary fields on a brane while gravity explores a large compact bulk. The volume relation
makes gravity weak without a fundamental Planck-scale cutoff. In the original large-extra-dimension model, permits approximately millimetre/submillimetre dimensions for ; more dimensions are smaller. Ordinary-field KK bounds no longer limit these gravity-only radii, although gravitational and other constraints do. This replaces the large fundamental scale hierarchy by a large compact volume needing stabilization.
A warped brane-world scenario instead uses a position-dependent metric factor. In the two-brane Randall–Sundrum model, , so generates a weak scale from a Planck-sized input without a millimetre proper separation; for of Planck order, is tens of inverse-Planck lengths. The single-brane version even allows infinite proper size through gravity localization in a noncompact warped dimension; it is not by itself the two-brane redshift hierarchy construction. Thus warped proper size can be unbounded, while finite hierarchy models need specified warping and radius stabilization.
Supersymmetry addresses the hierarchy problem differently: boson/fermion cancellations protect scalar masses against quadratic sensitivity to high scales, with residual corrections controlled by soft supersymmetry breaking. It stabilizes a chosen hierarchy rather than explaining its initial size. Volume dilution and the warped redshift mechanism explain scale separation geometrically; neither automatically determines its moduli or removes all tuning.
Take canonical kinetic terms, gauge coupling , and a nonzero charge . Define and choose the convention in which the Fayet–Iliopoulos term contributes to the Lagrangian. With one charged chiral superfield, gauge invariance permits no nonconstant polynomial superpotential; an irrelevant global constant gives . The real auxiliary field part is
Its equation of motion is . Eliminating it gives the D-term scalar potential
The gaugino transformation has the form a field-strength term, with a convention-dependent overall phase. In a translationally invariant vacuum with zero field strength, a nonzero therefore gives an inhomogeneous shift of : no nonzero supersymmetry parameter leaves the vacuum invariant. The massless Goldstino is consequently the gaugino, not the matter fermion, since .
Minimize the potential over . If , the allowed value sets , so supersymmetry is unbroken while the internal gauge symmetry is Higgsed. If , the origin also has . For the broken branch, and the formal zero of would require negative . The actual minimum is
This is single charged-field D-term breaking. Nonzero FI parameter alone does not force breaking if a scalar can cancel it. The degenerate case is different: any breaks supersymmetry in the vector sector while the neutral scalar remains flat; the sign test above assumes an actually charged field.
Expand around the broken vacuum:
For , both canonically normalized real scalars have squared mass . The matter Weyl spinor has no superpotential mass. The gauge boson remains massless because . The gauge Yukawa coupling, proportional to , gives no fermion mixing or mass at this vacuum, so the gaugino is also massless. The tree-level spectrum is therefore
and the chiral-multiplet splitting is
The vector and its gaugino happen to remain degenerate at zero mass even though supersymmetry is broken. If the sign convention for the FI contribution is reversed, the sign criterion changes accordingly; the invariant condition is that the scalar condensate cannot cancel the auxiliary source. This is the classical toy-model spectrum; a quantum completion of the single charged-fermion theory also has to cancel its gauge anomalies.