Eleven-dimensional supergravity contains a metric, a three-form potential and a gravitino. Its bosonic on-shell counts are for the metric and for the three-form, totaling . Flat toroidal zero-mode reduction gives type IIA supergravity in ten dimensions and four-dimensional N=8 supergravity in four dimensions without losing these bosonic polarizations.
// Target: supersymmetry.bigb
Start with the Clifford algebra . For the dimension count, complexify and rescale the timelike matrix so that the generators obey the Euclidean complex relation . This changes neither the complex representation dimension nor its decomposition under the complexified even algebra. In , pair the generators into
Direct substitution gives and . The commuting operators satisfy , so their occupation eigenvalues are zero or one. An irreducible module contains an all-zero occupation state , obtained by lowering the occupied entries of a simultaneous eigenvector. The states
are nonzero and independent by their distinct joint occupation eigenvalues. They span an invariant module; irreducibility makes this the full module. Conversely this Fock construction supplies a representation on exactly these states. Products of occupation projectors and raising/lowering operators give its matrix units, so the generated algebra is the full matrix algebra. Therefore the minimal complex Dirac spinor has
This module is irreducible under the full Clifford algebra, but the Spinor representation of the Lorentz group is generated by the even bilinears . The chirality matrix in the Euclideanized basis is
Its two eigenspaces therefore remain invariant under Lorentz transformations. Each has half the Fock states, since any gamma matrix bijects them. The even algebra connects every pair of occupation states of the same parity and has no further invariant subspaces within either one. Hence
These are the irreducible Weyl spinors. Globally they are ordinary representations of , the double cover; calling them representations of uses the conventional projective spinor terminology.
For , adjoin . It anticommutes with the old matrices and gives a Clifford module of the same dimension . The new even generators interchange the two old chirality eigenspaces, so the odd-dimensional Lorentz spinor is irreducible of complex dimension , with no Weyl splitting. The product of all odd-dimensional gamma matrices is central and acts as a scalar; it cannot be a new anticommuting chirality operator. Its two signs distinguish the two complex odd-Clifford modules, whose restrictions to Spin group are equivalent. Majorana spinor reality conditions, when the signature permits them, are additional conditions and should not be confused with complex chirality.
For the reduction, take the massless zero modes on a flat seven-torus with no flux or projections. The eleven-dimensional fields are the metric , a three-form and a Majorana gravitino . Split with and . The metric supplies , seven vectors and 28 scalar fields . The three-form supplies a four-dimensional three-form , seven two-forms , vectors and scalars .
A massless two-form in four dimensions has one physical particle polarization and can be dualized to a scalar by ; the seven two-forms thus supply seven more scalars. The four-dimensional three-form has no local particle polarization, since its four-form field strength is locally a constant times the volume form. The total bosonic content is consequently
The eleven-dimensional Majorana spinor has 32 real components, decomposing into eight four-dimensional Majorana spinors. Accordingly supplies eight gravitini, while supplies spin- fields after diagonalizing the gravitino/matter kinetic terms. The resulting theory has 32 real supercharges, hence is four-dimensional N=8 supergravity, with
The on-shell counts check the reduction: the metric has polarizations and the three-form has , totaling 128. In four dimensions bosonic polarizations match fermionic ones. Higher Kaluza–Klein levels, fluxes or projections would be additional choices beyond this massless toroidal reduction.
Use an unfluxed toroidal zero-mode dimensional reduction, with no projection removing fields. A ten-dimensional gauge field has physical polarizations per gauge generator. Its Majorana-Weyl spinor partner has sixteen real components before the massless equation, and eight propagating fermionic states. Thus ten-dimensional super Yang-Mills theory has sixteen real supercharges and eight bosonic plus eight fermionic states per generator.
Split the spacetime index as , with and six internal directions. The zero modes of become and six real adjoint scalar fields . The spinor representation decomposes under into four four-dimensional Weyl spinors; the Majorana condition supplies their conjugates rather than independent additional spinors. All sixteen supercharges survive, giving four-dimensional N=4 super Yang-Mills theory. The supermultiplet is therefore one gauge vector, four Weyl gauginos and six real scalars, all in the Adjoint representation, with bosonic and fermionic states. The internal acts as R-symmetry, with the scalars in its six-dimensional representation and the Weyl gauginos in its four-dimensional representation.
Since the internal derivatives vanish, the internal Yang-Mills field strength is in a Hermitian-generator convention. The internal part of the gauge kinetic term becomes the scalar potential
Here the invariant trace is normalized by and ; the coupling and scalar kinetic terms use the same normalization. The sum includes both orders of each pair. For Hermitian , the commutator is anti-Hermitian, so equivalently . It is nonnegative and vanishes exactly when all six adjoint scalars commute. This gives the classical vacuum moduli space of a supersymmetric gauge theory.
Interpret as a massless three-form gauge field, with transformation and kinetic term built from . The massless p-form gauge field count is an on-shell count, rather than the raw tensor components. For a null plane wave, gauge transformations remove the components along the null gauge direction, while the field equation removes the complementary longitudinal components. The independent polarization is consequently an antisymmetric tensor on the transverse directions. Thus
This argument incorporates the redundancies in the two-form gauge parameter; subtracting once from would not do so.
Let and split indices into four-dimensional and internal ones. The toroidal reduction of a p-form gauge field gives one , two-forms , vectors and scalars . A massless three-form in four dimensions has no local propagating state; each massless two-form has one, each vector two and each scalar one. The two-form state can equivalently be represented by a scalar using massless p-form duality: its three-form field strength satisfies . Consequently
This verifies the required matching, including where the count is . The nondynamical four-dimensional three-form can carry a constant flux parameter, but that is not an additional propagating degree of freedom.
Eleven-dimensional supergravity contains the metric , a three-form and a Majorana gravitino . The massless graviton is a symmetric traceless tensor of the nine-dimensional transverse rotation group, giving states. The three-form gives . The gravitino is a gamma-traceless transverse vector-spinor: a spinor representation of has sixteen real components, so it gives states. Hence the eleven-dimensional balance is bosonic states and fermionic states.
Reduction on a circle yields type IIA supergravity, with thirty-two real supercharges and opposite ten-dimensional chiralities. The metric decomposes into the ten-dimensional metric, the Kaluza-Klein vector and the radius scalar, or dilaton. Their counts are . The three-form gives a ten-dimensional three-form and a two-form , with states. The eleven-dimensional Majorana spinor decomposes into two opposite-chirality Majorana-Weyl spinors. The external gravitino components give two gravitini, each with states; the internal component supplies two spin-one-half dilatini, each with eight states. Therefore
The two-form is in the NS--NS sector and the one-form and three-form are the Ramond--Ramond potentials. This reduction is nonchiral IIA rather than IIB.
Reduction on a seven-torus yields four-dimensional N=8 supergravity, again preserving thirty-two real supercharges. From one gets one graviton, seven vectors and scalars , giving states. From one gets a nonpropagating four-dimensional three-form, seven two-forms, vectors and scalars, giving states. Dualizing the seven two-forms to scalars gives the familiar field content
The gravitino reduces to eight four-dimensional Majorana gravitini and spin-one-half Majorana fermions, after the external gravitini are separated from their gamma-trace mixing with the internal components. Their count is . Together these fields form the single maximal supergravity multiplet.
A massless graviton in dimensions has a symmetric traceless transverse polarization tensor. Its state count is
Thus the metric of eleven-dimensional supergravity has polarizations, while its three-form has . The total bosonic count is .
For circle reduction to ten dimensions, split . The metric supplies , a Kaluza-Klein vector from , and a scalar from , conventionally the dilaton. The three-form supplies and . Their ten-dimensional counts are
This is the bosonic content of type IIA supergravity: , and the dilaton together with and . Consequently
For flat seven-torus reduction directly to four dimensions, split , . The metric yields one four-dimensional metric, seven vectors and scalars . Their polarizations are . The three-form gives
The three-form count is , as required by toroidal reduction of a p-form gauge field. Applying two-form scalar duality to the seven two-forms, the propagating four-dimensional spectrum is
This is the bosonic content of four-dimensional N=8 supergravity. The remaining four-dimensional three-form has no local polarization and can be omitted from the propagating spectrum, though a flux choice can matter in other backgrounds. The toroidal reduction of eleven-dimensional supergravity here retains all zero modes; fixing moduli, introducing fluxes or using an orbifold projection would change the spectrum and would not be this unprojected counting problem.
In extended supersymmetry there are Weyl-spinor charges , . A positive Hermitian mixed bracket can be diagonalized and normalized in this internal index. The ordinary four-dimensional particle algebra is
All supercharges commute with translations. The new central charges in supersymmetry are Lorentz scalars commuting with momentum, Lorentz generators and supercharges. Their antisymmetry follows because the full anticommutator is symmetric under interchange of the two paired spinor/internal labels, while is antisymmetric. They can be nonzero only for . Internal R-symmetry automorphisms rotate the supercharge index; the algebra without specified central charges admits unitary rotations, and a chosen central-charge matrix restricts the subgroup preserving it. Central charges allow BPS states and shortened massive representations, with the numerical BPS normalization depending on whether a factor two is included in the definition of .
For a massless unitary representation at the momentum used above, every has zero anticommutator with its adjoint and hence vanishes. Its mixed same-chirality bracket with then forces on that representation. The surviving charges give independent fermionic creation operators, each lowering helicity by one half. Starting from helicity , their antisymmetric products give
Thus the helicity spectrum of a massless supermultiplet occupies an interval of width and has states before any separate CPT completion.
The assumption excluding helicity above two also excludes helicity below minus two in a CPT-complete physical spectrum. Therefore both ends of the interval must obey
and the spin bound for massless supermultiplets gives
This bound is attained: for and highest helicity two, the helicities are with multiplicities . They form the CPT-self-conjugate multiplet of four-dimensional N=8 supergravity, with bosonic and fermionic states. Its bosonic graviton, vectors and scalars agree with the toroidal reduction counted above. Here means eight Weyl-spinor supersymmetries, or real supercharge components, not eight real components.
Complexifying the Clifford algebra removes the signature dependence of its representation dimension. Pair the gamma matrices into operators with and . The commuting occupation operators have eigenvalues zero or one. Starting from a Clifford vacuum, applying every subset of the fermionic creation operators produces independent states. Conversely, these operators construct matrices on a -dimensional space, and their products span its full matrix algebra. Thus an irreducible complex Clifford algebra module in has
A general Clifford module is a direct sum of these; the statement concerns the minimal spinor.
The Lorentz group acts through even Clifford products, . More precisely this is a representation of its double cover, the Spin group. The normalized product of all matrices squares to one and anticommutes with each , while commuting with every . Its eigenspaces are the two Weyl spinor representations, so the Dirac spinor is reducible under the connected spin group:
Each summand is irreducible. The Clifford module itself remains irreducible because an individual interchanges the summands. In one can use the old as the additional matrix, with an appropriate phase for its signature. No independent chirality matrix remains: the product of all matrices is central and fixed to a scalar on an irreducible module. There are two choices of this central sign for the complex Clifford algebra, but each restricts to the same irreducible -dimensional spinor representation of the connected spin group. An odd-dimensional spinor has no Weyl splitting. Majorana spinor reality conditions depend additionally on dimension and signature; they must be imposed separately from this complex dimension count.
For the massless field counts, use the rotational part of the little group and real physical polarizations. A massless p-form gauge field has only transverse, antisymmetric components after its gauge redundancy and equations of motion are imposed, giving polarizations. A graviton has a symmetric traceless transverse tensor, giving . A massless fermion obeys a Dirac equation which halves its off-shell spinor components. In ten dimensions a Majorana-Weyl spinor has sixteen real components off shell and eight physical components; in nine dimensions a Majorana spinor has sixteen off shell and eight physical components; in eleven dimensions a Majorana spinor has thirty-two off shell and sixteen physical components. A gravitino is a transverse vector-spinor with its gamma trace removed, leaving times the corresponding physical spinor dimension. Thus the ten-dimensional Majorana-Weyl gravitino has polarizations, the nine-dimensional Majorana gravitino has , and the eleven-dimensional Majorana gravitino has .
The common Neveu-Schwarz sector of type IIA supergravity and type IIB supergravity consists of a metric tensor, the Kalb–Ramond field , and the dilaton . Their counts are respectively , , and . The Ramond-Ramond sectors and fermions distinguish the theories. In type IIA supergravity the independent bosonic potentials and counts are
There are two Majorana-Weyl gravitini of opposite chirality, giving , and two Majorana-Weyl dilatini of opposite chirality, giving . Their total is . With gravitini labelled and , the corresponding dilatini have signs and respectively. Type IIA is nonchiral.
In type IIB supergravity, the independent bosonic potentials and counts are
The five-form field strength associated with is a self-dual differential form, so only half the seventy transverse four-form components are independent. In Lorentzian ten dimensions the Hodge star operator on five-forms squares to one, making a real self-duality condition possible. The two Majorana-Weyl gravitini have the same chirality and contribute states. Both Majorana-Weyl dilatini have the opposite chirality to those gravitini and contribute states. Type IIB is chiral, with bosonic and fermionic polarizations.
For dimensional reduction, retain the massless zero modes on a flat circle, with no flux, gauging or fermion twist. A metric splits into a lower-dimensional metric, one vector and one scalar. An ordinary -form splits into a -form and a -form, according as it has no compact index or one. This preserves counts by Pascal's identity, .
Reducing type IIA supergravity to nine dimensions gives the following decompositions; each number is a count of physical states:
Thus the bosonic maximal nine-dimensional supergravity multiplet contains one graviton, three massless vectors, two massless two-forms, one massless three-form and three real scalars, with
Each ten-dimensional Majorana-Weyl gravitino becomes one nine-dimensional Majorana gravitino and one Majorana spin-one-half field, giving . Each ten-dimensional dilatino gives one more Majorana spin-one-half field. The fermionic multiplet therefore has two gravitini and four spin-one-half fields, with . The fields belong to one maximal gravity supermultiplet, not separate interacting matter multiplets.
Reducing type IIB supergravity gives from the metric; one two-form and one vector each from and ; and the two scalars . The four-form potential yields a nine-dimensional four-form and three-form, but the ten-dimensional self-dual differential form condition relates their field strengths. Retaining either one gives independent polarizations, not seventy. The same bosonic count, three scalars, three vectors, two two-forms and one three-form, follows. The fermionic reduction likewise gives two gravitini and four spin-one-half fields. These are the same maximal nine-dimensional supergravity spectrum, as expected from T-duality. The spectrum is nonchiral in nine dimensions, since the odd-dimensional spinor representation has no independent Weyl chirality; the ten-dimensional distinction is lost on restriction to nine-dimensional Lorentz symmetry.
Eleven-dimensional supergravity has a metric with states, a three-form with , and a Majorana gravitino with . For direct reduction on a flat two-torus, write the internal indices as . The metric gives , two vectors and three symmetric components ; the three-form gives , two two-forms and one vector . Hence
The eleven-dimensional Majorana spinor restricts to two nine-dimensional Majorana spinors. The vector-spinor consequently yields two gravitini and four spin-one-half fields, giving . This is again the same maximal nine-dimensional multiplet.
For reduction of massless type IIA supergravity to four dimensions, use a flat six-torus and retain all zero modes, without flux or projections. Internal indices give
The multiplicities come respectively from a symmetric pair of six internal indices, , and . Before dualizing, this gives one graviton, vectors, scalars, seven two-forms and one three-form. The seven two-forms provide seven scalar polarizations, whereas the three-form has no local propagating polarization. Thus the final bosonic spectrum is one graviton, vectors and scalars, with states.
A ten-dimensional Majorana-Weyl spinor decomposes into four four-dimensional Majorana spinors. Each ten-dimensional gravitino supplies four four-dimensional gravitini and twenty-four spin-one-half fields, with . Each ten-dimensional dilatino supplies four spin-one-half fields, with . Together they give eight gravitini and fifty-six spin-one-half fields, with . As a separate check, the helicity spectrum of a massless supermultiplet with has multiplicities at helicity , giving . The reduced theory has the field content of four-dimensional N=8 supergravity, with physical states, exactly as in ten and eleven dimensions. Other compact manifolds or projections can reduce the number of preserved supercharges; the flat-torus assumption is essential to this spectrum.
Here is the local two-form scalar duality including its coupling dependence. For this calculation use signature , , and the contravariant volume tensor . A healthy two-form kinetic term and its first-order form are
Treat as independent. Varying imposes its Bianchi identity for an Abelian p-form, , so locally . Varying instead yields
Use . The original kinetic term becomes , and the multiplier term becomes . Both terms must be substituted; replacing only in the original kinetic term would produce the wrong sign. Thus
At fixed normalization of the Bianchi multiplier, the dual kinetic coefficient is the inverse of the original coefficient: if the scalar convention is , then . A canonical scalar is for constant , but that rescaling hides the formal coupling inversion and changes any assigned scalar periodicity. For a scalar-dependent positive kinetic matrix of several two-forms, the same calculation gives . Additional topological couplings modify the multiplier's derivative terms but do not change this basic inversion of the two-form kinetic matrix. The Hodge star operator exchanges the two-form Euler-Lagrange equations and Bianchi identities for an Abelian p-form with those of the dual scalars; the duality is local and global flux sectors require separate treatment.
A four-dimensional three-form instead has . Its equation of motion, , makes a spacetime constant. For constant coupling the first-order expression in this convention can be written
Here the first-order construction includes a multiplier : varying imposes , and the displayed density retains the term fixing the flux normalization. Eliminating gives and . Thus it can encode a constant-flux contribution to the vacuum energy, but no local massless particle or scalar wave. On the zero-flux perturbative vacuum it contributes no state. The seven two-forms are scalar duals; the three-form is nondynamical, which completes the four-dimensional field count without discarding a possible global flux parameter.
Choose a null four-momentum with and orient the third axis so that . The Super-Poincaré algebra gives
For every state in a unitary representation, the second anticommutator is the sum . Thus both operators act trivially. A central charge in supersymmetry also vanishes in this massless supermultiplet: its mixed-spinor anticommutator contains the now-trivial . The remaining pairs, normalized by , satisfy the canonical anticommutation relations
Label a Clifford vacuum by its highest helicity and choose the lowering convention . Acting with distinct fermionic creation operators produces the fermionic Fock space
This proves the helicity spectrum of a massless supermultiplet and the state count. If the internal charges or helicities do not already make the spectrum invariant under the CPT theorem, add its conjugate using the CPT completion of a supermultiplet.
The spin bound for massless supermultiplets follows directly from the width of this helicity interval. Requiring gives , achieved by the four-dimensional N=4 super Yang-Mills theory vector multiplet with multiplicities at helicities . These helicity bounds are necessary spin restrictions for the usual interacting renormalizable quantum field theory; they do not by themselves establish renormalizability for an arbitrary action. Requiring gives . The four-dimensional N=8 supergravity supergravity multiplet attains this bound with highest helicity and multiplicities . There is one state and one state, the two polarizations of a single graviton.
The stronger restriction relevant to matter is the chirality constraint on extended supersymmetry. An chiral superfield can contain a left-handed Weyl spinor in a complex gauge group representation . By contrast, a full hypermultiplet consists of matter in , and the gauginos of a vector multiplet are in the real adjoint group representation. Higher unbroken extended supersymmetry retains this pairing. A pseudoreal representation may allow a half-hypermultiplet, but it does not yield net chirality in a genuinely complex gauge group representation. Consequently the chiral gauge spectrum of the Standard Model permits at most unbroken supersymmetry in its four-dimensional low-energy matter sector.
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.
In four-dimensional supersymmetry, a finite-helicity massless supermultiplet has helicity interval of width . If every state obeys , that interval fits inside one of width , giving . The bounds for and for are attained by the four-dimensional N=4 super Yang-Mills theory vector multiplet and the four-dimensional N=8 supergravity supergravity multiplet. Spin bounds alone do not prove that an arbitrary action is renormalizable.
Supergravity multiplet 2026-10-05
A supergravity multiplet is a supermultiplet containing a graviton and its supersymmetric partners. In four-dimensional N=8 supergravity, the irreducible massless supermultiplet contains boson and fermion states.