In flat four-dimensional N=1 supersymmetry, let , contracting the two spinor indices with the antisymmetric epsilon invariant tensor. The supercovariant derivative algebra with left derivatives has . There are only two dotted components, so every product of three barred derivatives repeats one component and vanishes. Therefore for any superfield : is a chiral superfield. This map is called chiral projection, although is not an idempotent projector.
If is a chiral superfield, holomorphic closure of chiral superfields also makes chiral. Thus an equation is consistent with the chiral constraint: applying any gives zero on both sides. Both sides are scalar superfields, and the squared supersymmetric covariant derivative commutes with the supercharges, so the equation is Lorentz invariant and supersymmetry covariant.
For canonical global four-dimensional N=1 supersymmetry, define , and at a stationary vacuum. Gauge invariance of the superpotential gives , while stationarity of gives . Therefore the canonically normalized fermion mass matrix, after a harmless gaugino phase choice, obeys
If supersymmetry is broken, this vector is nonzero and specifies a massless Goldstino. The matrix with off-diagonal blocks instead acts on ; it is related to the canonical matrix by a change of normalization, not by equality of canonical entries. Additional zero modes can coexist with the Goldstino.
For physical finite-spin one-particle states, a positive-energy Poincaré group representation is labelled by mass and spin when , or mass and helicity when massless. The individual states also carry their four-momentum and a spin projection. For four-dimensional N=1 supersymmetry, the irreducible labels become , with the superspin, or , with a chosen superhelicity convention. The constituent representation labels are
with the last entry omitted for , and
A required CPT completion of a supermultiplet adds the conjugate labels and conjugates any internal charges.
In a massive four-dimensional N=1 supersymmetry representation, the two normalized raising supercharges transform as a spin-half doublet. Start with a Clifford vacuum of superspin . At occupation levels zero, one and two, the ordinary spins are
The two-creation state has a spin-singlet oscillator factor because the creation operators anticommute. Thus the massive N=1 vector multiplet contains
There are four bosonic polarizations, , and four fermionic polarizations, , as required by boson-fermion degeneracy in a supermultiplet.
In the massless limit the helicity multiplicities become , two copies each of , and two zero-helicity states. They separate into the four irreducible helicity pairs
With the lower-helicity convention for superhelicity, a pair has labels , respectively. A midpoint convention shifts each label by ; the explicit helicity pairs remove any naming ambiguity.
Pairing under the CPT theorem, the first and last pairs form a massless vector multiplet, and the middle two form a massless chiral multiplet. This is the massless limit of a massive N=1 vector multiplet. The longitudinal vector polarization supplies one of the chiral multiplet's two real scalar modes; the original spin-zero state supplies the other. Simply discarding the longitudinal polarization would lose a physical degree of freedom and give the wrong decomposition.
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.
Work with metric , and , where are the Pauli matrices. The supercharges of four-dimensional N=1 supersymmetry form one Weyl spinor and its conjugate . Dotted and undotted indices cannot be interchanged; the conjugate charge in the printed mixed relation has a dotted index.
A direct derivation starts from superspace coordinates , with the four odd coordinates generating a Grassmann algebra. Use left Grassmann derivatives, so
Odd derivatives anticommute with one another, and multiplication by distinct odd coordinates also anticommutes. The operators specified by the question can be written
Their coefficients do not depend on , hence . Within , the two odd derivative terms anticommute; the derivatives of the barred-coordinate coefficients vanish; and the two barred-coordinate multiplication terms cancel because the coordinates anticommute while the spacetime derivatives commute. Thus
This realizes the minimal algebra with no extra tensorial charges.
For the mixed anticommutator, split each operator into its odd derivative and odd-coordinate parts. The derivative/derivative anticommutator is zero. The coordinate/coordinate terms also cancel, since . The two remaining pieces are
Adding gives the superspace differential realization of N=1 supercharges:
In particular the differentiated-coordinate contributions have the same sign, not opposite signs. The graded product rule is the essential step; treating these as ordinary commuting-coordinate derivatives would give an incorrect algebra.
To obtain the Lorentz part, let transform as a four-vector and in conjugate spinor representations. Define
The Pauli matrix multiplication law gives the intertwining identity
It shows that the two terms in transform together as a covariant Weyl spinor: the coordinate derivative transforms in the dual spinor representation, while the barred-coordinate/spacetime-derivative term transforms in that same representation through this identity. Infinitesimally, with , its transformation is . Comparing with the first-order expansion of gives
If the paper's spin matrix is denoted , this is exactly its first displayed relation. Defining that spin matrix without the factor instead requires an explicit in the commutator; this is a generator convention, not a different algebra. The conjugate relation follows by Hermitian conjugation.
Combining the Lorentz transformation with the differential computations gives the Super-Poincaré algebra in the question's notation:
The even generators retain the ordinary Poincare algebra. As a closure check, the even superspace variation gives , and . Two such variations commute to a translation by , with zero commutator on the odd coordinates, reproducing the same normalization and showing why the anticommutator produces momentum.
Four-dimensional N=1 supersymmetry is compatible with a chiral gauge spectrum. Each matter Weyl spinor belongs to a chiral superfield with a complex scalar in the same gauge representation, and each gauge boson belongs to a vector multiplet with an adjoint gaugino. Thus a supersymmetric extension of the Standard Model predicts squarks, sleptons and gauge-fermion partners, together with Higgs-sector partners. Exact unbroken supersymmetry would make partners mass-degenerate, so a phenomenologically useful model needs supersymmetry breaking.
The Minimal supersymmetric Standard Model uses two Higgs chiral doublets. Holomorphy of the superpotential prevents use of the conjugate of one doublet as an independent chiral field, so up-type and down-type Yukawa couplings require opposite-hypercharge doublets. Their higgsinos also cancel each other's gauge anomalies. The superpotential has the schematic form
with gauge contractions understood. Supersymmetry relates the scalar quartic interactions and Yukawa interactions to the same gauge and superpotential couplings, rather than allowing arbitrary independent choices.
A central motivation is the hierarchy problem. A nonsupersymmetric scalar mass can receive corrections proportional to a high ultraviolet cutoff squared. The paired bosonic and fermionic loops in exact supersymmetry cancel that quadratic sensitivity. Soft supersymmetry breaking introduces scalar squared masses, gaugino masses and appropriate scalar bilinear and trilinear terms without restoring the original quadratic divergence. With a typical soft scale , residual corrections have the schematic size
plus finite thresholds. This favors not excessively heavy partners if one wishes to avoid a new tuning, but does not derive their masses or guarantee that they are experimentally accessible. A hidden breaking sector can communicate soft terms through gauge or gravitational interactions.
The altered particle spectrum also changes the renormalization group evolution of the gauge couplings. The MSSM one-loop coefficients, with the usual grand-unified hypercharge normalization, are in . They allow approximate supersymmetric gauge coupling unification near GeV, subject to threshold corrections. Top-Yukawa effects can drive the up-type Higgs squared mass negative and help produce radiative electroweak symmetry breaking. Neither phenomenon alone specifies a full breaking mechanism.
Without an additional symmetry, gauge invariance allows renormalizable baryon- or lepton-number violating superpotential terms. Conserved R-parity, , forbids the usual such renormalizable terms, distinguishes ordinary particles from their superpartners, and makes the lightest supersymmetric particle stable. A neutral stable lightest partner can be a dark matter candidate; its abundance and interactions require a separate calculation. Pair production followed by cascades to such a particle can give missing-momentum signals. R-parity is an extra model assumption, and does not by itself exclude all higher-dimensional proton-decay operators.
Possible low-energy consequences are a partner spectrum, controlled scalar-mass sensitivity, a constrained Higgs sector, modified coupling evolution and, with conserved R-parity, a stable lightest partner. Soft parameters also affect flavor-changing and CP-violating processes. Supersymmetry provides relations and mechanisms, not a unique numerical spectrum or an automatic solution to every flavor or cosmological problem.
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 mostly-minus metric signature, . The Weyl sigma matrices are and , with the three Pauli matrices
The Pauli matrix multiplication law immediately gives : the case is , the mixed cases cancel, and the spatial cases give . The spinor indices of express the correspondence between a Lorentz four-vector and a Hermitian matrix. For , ; preserves this determinant for , yielding the Lorentz spinor double cover.
In four-dimensional N=1 supersymmetry, the odd supercharges and transform as conjugate Weyl spinors. Their Super-Poincaré algebra is
The ordinary translation and Lorentz generators satisfy the Poincare algebra, and the Lorentz generators act on the supercharges by the corresponding group representations on Weyl spinors. Tracing the mixed anticommutator gives , proving energy positivity in global supersymmetry. For a massive rest-frame state, , the rescaled charges obey the canonical anticommutation relations. Acting with their adjoints builds a supermultiplet containing states of alternating fermion parity.
First assume global four-dimensional N=1 supersymmetry, canonical positive Kähler potential, and tree level. Write and at the stationary vacuum. The chiral-superfield fermion mass matrix is the symmetric matrix , and the sum of squared Weyl spinor masses is . From the F-term scalar potential , its mixed and holomorphic Hessian matrix blocks are
For canonically normalized real and imaginary parts of the scalar fields, the real scalar mass matrix has trace twice the mixed trace. Its holomorphic blocks can split the two real scalar masses but do not change their sum. Hence
A Weyl spinor has two spin states, so this proves the tree-level supertrace mass sum rule,
The paper defines its supertrace with , the negative of the conventional boson-minus-fermion supertrace used here. The asserted zero is the same in either convention. The result requires the stated canonical tree-level hypotheses; a noncanonical Kähler metric, supergravity, or radiative corrections can change the sum rule.
If vector multiplets are also present, the gauge contributions to the F-term supertrace cancel rather than being omitted. At , define for the scalar expectation vector . Differentiating adds to the real-scalar trace. The symmetric gaugino-matter mass matrix has off-diagonal entries , giving an extra in its fermion squared-mass trace. The covariant scalar kinetic term gives vector squared-mass trace . Thus their contribution is . The gauge-theory result uses all spin states, including the vector weight three; it is not obtained by dropping massive gauge partners.
The MSSM tree-level sfermion mass constraint explains the phenomenological difficulty with direct visible-sector breaking. If F-term breaking is neutral under an unbroken electric and color gauge symmetry, and no D-term shifts are present, the same trace argument applies within each conserved-charge fermion block. Its corresponding scalar partners cannot all have squared masses above the mean of the light fermion squared masses. Thus canonical tree-level visible-sector supersymmetry breaking alone cannot make every squark and other scalar partner heavy while leaving the observed fermions light. The usual effective soft supersymmetry breaking terms arise after communicating breaking from a separate sector; integrating out that sector, noncanonical interactions and radiative effects evade the hypotheses. The global trace identity alone would not identify a particular light squark without the conserved-charge block argument.
For the specified O'Raifeartaigh model, phases may be chosen so that are real and positive. Its superpotential derivatives are
and its F-term scalar potential is
For fixed , choose to minimize the final square. Since ,
Thus makes a global minimum with arbitrary . The hierarchy ensures this for fixed perturbative , rather than for arbitrarily large . The origin is one member of this classically flat family, with and . The complex field is a pseudomodulus.
At the origin the chiral-superfield fermion mass matrix, in the basis, is
Its physical fermion masses are ; the two massive Weyl spinors form one massive four-component fermion. The massless is the goldstino. More generally, stationarity gives , so the nonzero auxiliary field direction is a null vector of , proving the goldstino zero mode from vacuum stationarity.
Writing and similarly for , the quadratic scalar potential is
The mass spectrum of the quadratic-cubic O'Raifeartaigh model is therefore
The scalar squared-mass sum is , while twice the fermion squared-mass sum is also , so the supertrace is zero, as required. The two massless real modes are tree-level pseudomoduli, which can be lifted by a quantum effective potential; their tree-level masslessness is not the exact symmetry protection enjoyed by the goldstino.
Use left Grassmann derivatives for the Grassmann variables. A chiral superfield satisfies . In the derivative convention printed in the PDF, differentiating with respect to a barred coordinate brings a minus sign from moving the odd derivative through . Consequently , so the general solution depends only on and :
Here is a complex scalar field, a Weyl spinor and a complex auxiliary field. This is a finite Grassmann algebra expansion, not an assumption that the spacetime fields are constant.
For a completely convention-independent way to organize the ordinary-coordinate expansion, let . Translation by gives
All higher terms vanish because there are only two unbarred and two barred odd coordinates. For example take , signature , and , with both lower epsilon tensors having . Then and the chiral-superfield component expansion reads
The frequently written positive quarter coefficient corresponds to the opposite convention for or the spinor contractions; the preceding shift formula fixes the sign without ambiguity. The local TeX's barred derivative is damaged: the original PDF has , not a barred-coordinate factor at its end.
Write in chiral coordinates. Multiplication gives the three component constraints
On the regular branch where the ordinary commuting part of is nonzero, the nilpotent chiral superfield is therefore
The goldstino and auxiliary field are independent; the scalar is a composite, not another independent degree of freedom. Its first two constraints follow because any product of three identical two-component odd spinor entries vanishes. It is essential not to divide by on a branch with zero commuting part: for example satisfies the nilpotency condition without breaking supersymmetry.
For a regular local action with no superspace derivatives in or , nilpotency truncates the most general superpotential and Kähler potential to
The last inequality makes the kinetic Kähler metric healthy. In global four-dimensional N=1 supersymmetry, the constant and holomorphic pieces of integrate to zero, and does not affect the action. On the bosonic background , the constraint sets and the auxiliary terms are . Eliminating them gives
A nonzero is necessary for this regular constrained branch to be an on-shell vacuum. It gives nonzero and supersymmetry breaking, with the goldstino. Nilpotency alone is not a proof that every possible branch breaks supersymmetry. With the above composite parametrization is singular on shell, rather than evidence for a regular supersymmetric vacuum containing an independent Goldstino.
If these data are instead embedded in supergravity, the constant and linear terms cannot simply be discarded independently: a Kähler transformation also transforms . Before such a transformation, at the supergravity F-term potential is
Thus nonzero still breaks supersymmetry, but the vacuum energy need not be positive. This distinguishes the global answer from the local theory explicitly introduced in the next question.
Now write . The condition becomes
Using the same nonzero- branch gives the chiral superfield constrained by a nilpotent superfield
The spinor and the auxiliary remain independent; the scalar is removed. Substituting this expression verifies the other two product constraints using two-component spinor identities. It does not impose . It does imply cubic nilpotency from a mixed chiral constraint: . Indeed , so
These are exactly the three components needed for . The generic nonzero expression for shows why imposing quadratic nilpotency on would lose allowed interactions.
The analytic chiral monomials consequently reduce to . The most general superpotential is
For the Kähler potential, put . Every allowed mixed monomial is included in
This includes , , , , , and the necessary conjugates; products containing or vanish. In a global theory the holomorphic terms again integrate to zero; in supergravity they can be changed by a Kähler transformation. Positivity requires the kinetic metric on the independent multiplets to be positive definite at the chosen background, not necessarily the entire coefficient matrix on the redundant composite list . The most general claim here concerns regular analytic two-derivative actions; singular functions of the constrained fields or higher-derivative operators are outside it.
Use a positive-energy unitary representation with finite helicity states, excluding continuous-spin representations. In the specified frame the Pauli matrices give
For every and every state ,
Positivity therefore gives on this massless supermultiplet. The equal-chirality anticommutator then shows that every central charge in supersymmetry vanishes on this superalgebra representation.
Normalize the remaining supercharges as fermionic raising and lowering operators:
They obey the canonical anticommutation relations
Choose a Clifford vacuum of helicity annihilated by every . Such a vector exists because the commuting fermion number operators have eigenvalues and , and lowering every occupied mode produces a nonzero empty state. In an irreducible representation this empty space has dimension one; multiple empty states produce a direct sum of copies. The states are
The canonical anticommutation relations make these states orthonormal for a normalized Clifford vacuum. In the helicity convention , its adjoint has . Thus the Clifford vacuum is the highest-helicity state and
Reversing the rotation convention reverses the displayed ordering and leaves all counts unchanged. The level- states form the exterior power , which explains the binomial coefficient. Summing the binomial coefficients gives the helicity spectrum of a massless supermultiplet:
Each application of a fermionic raising and lowering operator reverses fermion parity. The even and odd levels each contain states, so a physical massless supermultiplet has boson and fermion states.
These formulas describe one irreducible representation of the massless Super-Poincaré algebra at fixed four-momentum. A reducible superalgebra representation can contain several such supermultiplets. Also, the CPT theorem sends helicity to and conjugates internal charges. CPT completion of a supermultiplet may therefore require a second -state supermultiplet, with highest helicity . A necessary condition for the original helicity spectrum of a massless supermultiplet to be self-conjugate is ; internal charges must also admit the conjugation in a realization compatible with the Spin-statistics theorem. Thus this helicity condition alone is not sufficient for CPT completion of a supermultiplet without doubling. In particular, the original irreducible count is not automatically the count after CPT completion of a supermultiplet.
For the conventional bounds on extended supersymmetry, suppose all massless states satisfy . The helicity spectrum of a massless supermultiplet occupies an interval of width , whereas the available interval has width . Hence
An ordinary four-dimensional renormalizable quantum field theory without gravity uses interacting massless fields of spin angular momentum at most one. Massless spin angular momentum requires supergravity, whose gravitational coupling has negative mass dimension and is a nonrenormalizable interaction by power counting in quantum field theory. Setting gives for conventional renormalizable theories. The bound is attained by four-dimensional N=4 super Yang-Mills theory: choosing gives
for its supersymmetric vector multiplet.
Allowing gravity permits , so for conventional theories including gravity. The four-dimensional N=8 supergravity supergravity multiplet attains the bound with :
It has states, boson and fermion states. The conventional claim about a maximum “in general” assumes local interacting four-dimensional theories in Minkowski spacetime with a finite spectrum of fields and no massless spin angular momentum above two. It is not a theorem excluding arbitrary free higher-spin angular momentum constructions or all theories in other spacetime settings.
Finally, a chiral gauge spectrum means that the independent left-handed Weyl spinors occur in complex gauge group representations without obligatorily paired conjugate left-handed Weyl spinors. In four-dimensional N=1 supersymmetry, an irreducible matter supermultiplet with helicities can carry a complex gauge group representation . Its CPT completion of a supermultiplet supplies the right-handed antiparticle in , as every left-handed Weyl spinor requires; it does not supply a second independent left-handed Weyl spinor in . Consequently a chiral gauge spectrum is possible.
For , the matter hypermultiplet has helicities before internal charge conjugation. If it carries a complex gauge group representation , its CPT completion of a supermultiplet adds the conjugate hypermultiplet. Equivalently, the resulting full hypermultiplet contains two chiral superfields, one in and one in . These give a vectorlike gauge spectrum. Half-hypermultiplets can occur in pseudoreal representations, which also do not produce genuinely complex chiral gauge spectra. A supersymmetric vector multiplet has Adjoint representation, hence real gauge quantum numbers. Since every algebra contains an subalgebra, the same obstruction applies to greater extended supersymmetry.
Therefore a conventional chiral gauge spectrum is possible only for or . Here means no supersymmetry; among theories with actual supersymmetry, only qualifies. These are necessary structural conditions, not a guarantee that a chosen chiral gauge spectrum satisfies anomaly cancellation.
Choose and left Grassmann derivatives. A consistent differential realization of four-dimensional N=1 supersymmetry is
The signs can change with the definitions of , Grassmann differentiation and the finite transformation, but these operators obey the convention-independent content of the Super-Poincaré algebra,
They follow by expanding the finite transformation to first order and requiring a supersymmetry translation of the superspace coordinates.