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.
Work in four-dimensional Minkowski spacetime, with in a unitary representation. The usual Super-Poincaré algebra has the Poincare algebra and possible internal Lorentz scalars as its even generators, and only the stated Weyl spinors as its odd generators. This closure assumption is essential: Lorentz covariance alone would also permit additional tensor-valued generators. It is the setting selected by the Haag–Łopuszański–Sohnius theorem for ordinary interacting relativistic theories.
The Spinor representation of the Lorentz group gives
Here denotes the Lorentz algebra matrices in the convention of the paper. Moving to the left changes the sign; definitions using Hermitian Lorentz algebra generators may also put an explicit into these matrices. The conjugate relation acts on the dotted Weyl spinor indices.
The tensor product of group representations
is a Lorentz four-vector. The only such even generator is , so the mixed anticommutator must be
Applying Hermitian conjugation makes a Hermitian matrix. Positivity of for every linear combination of supercharges makes a positive semidefinite matrix on a positive-energy physical superalgebra representation. Remove any null supercharges, which act trivially, and use a unitary diagonalization of a normal matrix followed by rescaling to obtain . Thus counts the independent nontrivial supercharges.
For equal chirality, the tensor product of group representations is
Consequently the tentative equal-chirality anticommutator can contain and a symmetric spinor tensor , where is the intertwining operator for Lorentz covariance onto . Symmetry of the anticommutator under forces and . At this stage is an internal Lorentz scalar, hence commutes with ; its full centrality will follow below.
To determine the commutator with translations, Lorentz covariance and the absence of additional odd generators leave only
and the relation obtained by Hermitian conjugation. The graded Jacobi identity for , using , gives
where means entrywise complex conjugation. This equation alone would not imply . Contract the graded Jacobi identity
with . The term drops out because its spinor tensor is symmetric, and makes the remaining left side vanish. Substitution of the mixed anticommutator makes the right side a nonzero numerical multiple of . Thus . It follows that and , whence . Applying Hermitian conjugation proves the same assertion for :
Returning to the uncontracted graded Jacobi identity now gives . Since the Lorentz algebra generators do not commute with translations, the tentative term must have . Hence
In particular for . The dotted-dotted anticommutator follows by Hermitian conjugation applied to the second relation.
The graded Jacobi identity for , together with , gives . As a Lorentz scalar, commutes with , and it already commutes with . Closure and Lorentz covariance make for some coefficients. Apply the graded Jacobi identity once more:
Thus . Since every and is itself an anticommutator of supercharges, the 's also commute with each other and their conjugates. Therefore are central charges in supersymmetry of the displayed algebra. Additional R-symmetry automorphisms are not among the generators specified here.
For boson-fermion degeneracy in a supermultiplet, fix a physical four-momentum with , and take the finite internal space of states at that four-momentum. Let be fermion parity. It anticommutes with each supercharge and its adjoint. For any fixed , summing the diagonal spinor indices gives
because and the Pauli matrices are traceless. Cyclicity of the operator trace and imply
The supertrace of the preceding summed anticommutator therefore vanishes:
This counts physical boson and fermion degrees of freedom, including polarizations. The phrase “any representation” needs a qualification: a one-dimensional even supersymmetric vacuum with has one boson and no fermion. Thus the equality applies to positive-energy physical supermultiplets with finite state counts at fixed four-momentum, not to arbitrary abstract superalgebra representations or unregulated infinite-dimensional operator traces.
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.
Use the canonical Kähler potential and normalize superspace integration by . The superspace Lagrangian density is
The full superspace integration produces a D-term, while the chiral superfield integral produces an F-term. Work in chiral coordinates for the chiral-superfield component expansion, so the omitted spacetime-derivative terms do not enter the extraction of .
Set . A Taylor expansion of the superpotential gives
Higher terms vanish because there are only two Grassmann variables . With and , their anticommutation gives . Thus
The canonical Kähler potential contributes . Consequently the part of the Lagrangian density containing the auxiliary field is
The fermion terms coming from the superpotential are
The Weyl spinor kinetic term and the complex scalar field kinetic term are canonical because .
Treat and as independent variables in their algebraic Euler-Lagrange equations. They give
Equivalently,
After eliminating the auxiliary field, the Lagrangian density contains , so the F-term scalar potential is
It is nonnegative for arbitrary complex , since it is a modulus squared. A supersymmetric vacuum satisfies F-flatness, so its zeros are:
If and these coincide; if and only the origin remains; if every constant is a supersymmetric vacuum.
To compare masses, expand around a supersymmetric vacuum satisfying , writing . With ,
Writing gives the scalar field mass term ; the Weyl spinor has physical mass . Therefore the supersymmetric mass degeneracy is
In particular, at the boson and fermion masses are both . At the second supersymmetric vacuum the sign of reverses, but the physical mass is again . Equality here concerns fluctuations about a supersymmetric vacuum, not arbitrary backgrounds with .
In the convention and , the same superpotential coefficient gives and . The supersymmetric relation between quartic and Yukawa couplings is therefore
If instead the Yukawa interaction is written , then and the same physical relation is . The numerical factor depends on the definition of the Yukawa coupling.
The perturbative non-renormalization theorem applies to the local holomorphic superpotential in the Wilsonian effective action, using regularization in quantum field theory that preserves supersymmetry. There are two complementary ways to see why it applies here.
First, in supergraph calculations in perturbative quantum field theory, the algebra of supersymmetric covariant derivatives puts any candidate local correction to the superpotential into a full superspace integration. It therefore corrects a D-term, such as the Kähler potential, rather than a local chiral F-term. Turning such a contribution into an apparent chiral integral would require nonlocal inverse spacetime derivatives, schematically . These are excluded from the local Wilsonian effective action with a fixed nonzero momentum cutoff. This gives the diagrammatic non-renormalization theorem.
Second, the holomorphy argument for superpotential non-renormalization treats and as background chiral spurions, so the Wilsonian effective action superpotential is a holomorphic function of , with no dependence on or . Assign an ordinary spurion charge and an R-charge as follows:
The superpotential has ordinary charge zero and R-charge two, since has R-charge minus two. A prospective holomorphic monomial must therefore satisfy
For perturbative corrections, regularity at and requires nonnegative powers of the couplings. Regularity in is justified by keeping a nonzero Wilsonian momentum cutoff and retaining as a light field. Hence only and survive: the existing and structures. The quadratic coefficient is fixed by the free theory at , where there are no interaction loops. The cubic coefficient is fixed at first order in , where a connected three-field interaction has only its tree-level Feynman diagram; loop corrections would require further powers of the interaction couplings, which the holomorphy argument for superpotential non-renormalization charge constraints forbid. Thus
A field-independent constant is physically irrelevant in this rigid model; the spurion charges would in any case require , which is not regular at .
The Kähler potential can still receive wave-function renormalization. For example, gives the canonical field normalization , and consequently
These canonically normalized parameters can run with the renormalization scale; this does not contradict the holomorphic non-renormalization theorem. When massless modes are included in the full quantum effective action, nonlocal terms associated with infrared divergences can also imitate an F-term. Distinguishing that action from the local Wilsonian effective action is part of the theorem's convention.
Write . Parity reverses the spatial coordinates and must exchange the two chiral Weyl spinors. One convenient choice is
The identities and exchange the two kinetic terms after . The mass bilinear maps to its complex conjugate , so the two mass terms are exchanged and the action is invariant. More generally, independent unit phases may multiply the two transformations provided .
In four spacetime dimensions a Weyl spinor has mass dimension , so each chiral current or has dimension three. Since the interaction is , dimensional homogeneity of the Lagrangian gives
Equivalently, the expanded four-fermion interaction has coefficients of mass dimension minus two.
Parity exchanges and . The square is invariant precisely when the two same-chirality coefficients agree, , while the mixed coefficient is already symmetric. Therefore
A chiral superfield obeys
Examples in the Minimal supersymmetric Standard Model include the quark, lepton and Higgs chiral superfields. Such a multiplet contains a complex scalar , a two-component Weyl spinor , and a complex auxiliary field ; only the scalar and fermion propagate on shell.
The chiral coordinate is annihilated in the required combination by , so the solution has the simple form
Taylor-expand each component about . Nilpotence truncates the series, and the Grassmann identity
gives the chiral-superfield component expansion
Therefore
With , define the Pauli-Lubanski pseudovector by
For a translation and a Lorentz transformation , a left-handed Weyl spinor transforms as
Equivalently, the active field at a fixed point uses .
The Clebsch-Gordan decomposition is
Indeed,
The symmetric spinor is the representation, while its antisymmetric part is the Lorentz scalar .
In the conventions used below, the nonzero brackets involving the supercharges are
and . These equations, together with the Poincare algebra, are the four-dimensional Super-Poincaré algebra without central charges.
A coordinate transformation conjugates an infinitesimal generator, hence . It fixes the rotation generators and negates the boosts . Therefore it exchanges and , and the parity action on a Lorentz representation is
An irreducible representation is parity invariant precisely when . If , parity invariance requires the reducible sum . Thus the two Weyl-spinor representations and are exchanged, while their direct sum is the parity-invariant Dirac spinor.
In the chiral coordinate , a chiral superfield is
Here is a complex scalar, is a two-component Weyl spinor, and is a complex auxiliary field. Off shell, and contribute two real bosonic components each, while has two complex Grassmann components. Thus there are four real bosonic and four real fermionic degrees of freedom.
Quark field 2026-10-14
A quark field is a Dirac field or a chiral Weyl spinor carrying the colour fundamental representation of . Its three colour components transform as under local gauge transformations. The colour index is independent of the Lorentz spinor index, and the weak representations of its left and right chiral components differ in the Standard Model.
Spinor dimension in arbitrary spacetime dimension Created 2026-10-06 Updated 2026-10-14
An irreducible complex Clifford algebra module in even spacetime dimension has dimension and splits under the connected Spin group into two Weyl spinor modules of dimension . In odd dimension , an irreducible spinor still has dimension but has no Weyl splitting. Reality conditions depend on signature and are additional to these complex counts.
With left Grassmann derivatives, define , and . The anticommutators of the derivative parts and of the coordinate parts vanish. Each mixed derivative/coordinate pair contributes by the graded product rule, giving the displayed mixed anticommutator. Equal-chirality anticommutators vanish, and all these operators commute with translations. Under Lorentz transformations their spinor indices transform in conjugate Weyl spinor representations, completing the minimal Super-Poincaré algebra. A convention for left derivatives is essential to the signs.
Supersymmetric mass degeneracy Created 2026-10-05 Updated 2026-10-06
In an unbroken supersymmetric vacuum, physical boson and fermion partners have equal masses because supercharges commute with four-momentum. For one canonical chiral superfield, fluctuations about have mass for both the complex scalar field and Weyl spinor.
Supersymmetry generator 2026-10-05
A supersymmetry generator is an odd Weyl spinor generator of the Super-Poincaré algebra. Acting on a physical state reverses fermion parity while preserving its four-momentum.