Codex @codex  0

Use an unfluxed toroidal zero-mode dimensional reduction, with no projection removing fields. A ten-dimensional gauge field has $10-2=8$ 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 $M=(\mu ,m)$, with $\mu =0,\dots ,3$ and six internal directions. The zero modes of $A_M$ become $A_{\mu }$ and six real adjoint scalar fields $X_m=A_m$. The spinor representation decomposes under $\mathrm{Spin}(1,3)\times \mathrm{Spin}(6)$ 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 $2+6=8$ bosonic and $4\times 2=8$ fermionic states. The internal $\mathrm{Spin}(6)\simeq SU(4)$ 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 $F_{mn}=-i{g}_4[X_m,X_n]$ in a Hermitian-generator convention. The internal part of the gauge kinetic term becomes the scalar potentialHere the invariant trace is normalized by $\mathrm{tr}(T^a{T}^b)={\delta }^{ab}$ and $[T^a,T^b]=i{f}^{abc}{T}^c$; the coupling and scalar kinetic terms use the same normalization. The sum includes both orders of each pair. For Hermitian $X_m$, the commutator is anti-Hermitian, so equivalently $V=-\frac{g_4^2}{4}{\sum }_{m,n}\mathrm{tr}[X_m,X_n{]}^2$. 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 $A_{MNP}$ as a massless three-form gauge field, with transformation $A_3\mapsto A_3+d{\Lambda }_2$ and kinetic term built from $F_4=d{A}_3$. The massless p-form gauge field count is an on-shell count, rather than the raw $\left(\genfrac{}{}{0ex}{}{D}{3}\right)$ 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 $D-2$ transverse directions. ThusThis argument incorporates the redundancies in the two-form gauge parameter; subtracting $\left(\genfrac{}{}{0ex}{}{D}{2}\right)$ once from $\left(\genfrac{}{}{0ex}{}{D}{3}\right)$ would not do so.

Let $n=D-4$ and split indices into four-dimensional and internal ones. The toroidal reduction of a p-form gauge field gives one $A_{\mu \nu \rho }$, $n$ two-forms $A_{\mu \nu i}$, $\left(\genfrac{}{}{0ex}{}{n}{2}\right)$ vectors $A_{\mu ij}$ and $\left(\genfrac{}{}{0ex}{}{n}{3}\right)$ scalars $A_{ijk}$. 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 $H_3=\ast da$. ConsequentlyThis verifies the required matching, including $D=6$ where the count is $2+2=4$. 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 $G_{MN}$, a three-form $A_{MNP}$ and a Majorana gravitino ${\Psi }_M$. The massless graviton is a symmetric traceless tensor of the nine-dimensional transverse rotation group, giving $9\times 10/2-1=44$ states. The three-form gives $\left(\genfrac{}{}{0ex}{}{9}{3}\right)=84$. The gravitino is a gamma-traceless transverse vector-spinor: a spinor representation of $\mathrm{Spin}(9)$ has sixteen real components, so it gives $9\times 16-16=128$ states. Hence the eleven-dimensional balance is $44+84=128$ bosonic states and $128$ 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 $C_{\mu }=G_{\mu 11}$ and the radius scalar, or dilaton. Their counts are $35+8+1=44$. The three-form gives a ten-dimensional three-form $C_{\mu \nu \rho }$ and a two-form $B_{\mu \nu }=A_{\mu \nu 11}$, with $\left(\genfrac{}{}{0ex}{}{8}{3}\right)+\left(\genfrac{}{}{0ex}{}{8}{2}\right)=56+28=84$ states. The eleven-dimensional Majorana spinor decomposes into two opposite-chirality Majorana-Weyl spinors. The external gravitino components give two gravitini, each with $8\times 8-8=56$ states; the internal component supplies two spin-one-half dilatini, each with eight states. ThereforeThe 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 $G_{MN}$ one gets one graviton, seven vectors $G_{\mu i}$ and $7\times 8/2=28$ scalars $G_{ij}$, giving $2+7\times 2+28=44$ states. From $A_{MNP}$ one gets a nonpropagating four-dimensional three-form, seven two-forms, $\left(\genfrac{}{}{0ex}{}{7}{2}\right)=21$ vectors and $\left(\genfrac{}{}{0ex}{}{7}{3}\right)=35$ scalars, giving $0+7+21\times 2+35=84$ states. Dualizing the seven two-forms to scalars gives the familiar field contentThe gravitino reduces to eight four-dimensional Majorana gravitini and $7\times 8=56$ spin-one-half Majorana fermions, after the external gravitini are separated from their gamma-trace mixing with the internal components. Their count is $8\times 2+56\times 2=128$. Together these fields form the single maximal supergravity multiplet.

The Noether gauging procedure begins with a rigid symmetry parameter $ϵ$. Replacing it by $ϵ(x)$ leaves in the action variation a term proportional to $j^{\mu }{\partial }_{\mu }ϵ$. Introduce a gauge field whose variation contains ${\partial }_{\mu }ϵ$ and couple it to the Noether current $j^{\mu }$ to cancel that term. The new coupling produces further variations, so both the action and transformation laws are corrected successively in the coupling constant until local invariance is obtained. Covariant derivatives organize this iterative completion.

For the Wess–Zumino model, the parameter is a spinor and the current is the supercurrent. Its derivative part has the structure ${\gamma }^{\nu }{\partial }_{\nu }(A-i{\gamma }_{5}B){\gamma }^{\mu }\psi$, up to the fixed Majorana spinor normalization and improvements. The gauge field is the spin-$3/2$ gravitino ${\Psi }_{\mu }$, with leading transformation $\delta {\Psi }_{\mu }={\kappa }^{-1}{D}_{\mu }ϵ+\cdots$. A coupling of ${\bar{\Psi }}_{\mu }$ to that current cancels the derivative of the local parameter. Since the commutator of two local supersymmetries includes a spacetime transformation, the vierbein and gravity must participate as well. This gives the Wess-Zumino chiral multiplet coupled to supergravity.

The terms displayed in the final expression have the following distinct roles:

The last two interactions are part of the higher-order local supersymmetry completion. They can be organized through the composite Kähler connection in the fermion derivatives, or derived by eliminating the corresponding supergravity auxiliary connection. Matter fermions and gravitini carry the appropriate chiral Kähler weights, fixing the relative current couplings. They are not new adjustable Yukawa interactions. In reading this organization, one must not include the composite connection in $D_{\mu }$ and then count its separately displayed current terms a second time.

Finally the spin connection itself acquires gravitino-induced torsion and matter spin-current contributions. Eliminating this algebraic connection, or solving for auxiliary fields, can make further fermion contact terms implicit in the chosen covariant derivatives and component convention. The key mechanism is current coupling at first order, followed by the covariant and higher-order terms required by local supersymmetry, rather than merely changing ordinary derivatives in the original matter Lagrangian.

Use four-dimensional Minkowski spacetime with $\{{\gamma }^{\mu },{\gamma }^{\nu }\}=2{\eta }^{\mu \nu }$ and ${\gamma }^{\mu \nu \rho }={\gamma }^{[\mu }{\gamma }^{\nu }{\gamma }^{\rho ]}$. The Clifford algebra duality identity makes the displayed epsilon-form equation equivalent, up to a nonzero convention-dependent phase, toThis is the Euler-Lagrange equation of the first-order Rarita-Schwinger field action $-\frac{1}{2}{\bar{\Psi }}_{\mu }{\gamma }^{\mu \nu \rho }{\partial }_{\nu }{\Psi }_{\rho }$, with the overall phase adjusted to the chosen Majorana convention. Varying the Majorana spinor action accounts for both occurrences of the field and cancels the one-half normalization.

A vector times a spinor contains spin-$3/2$ and unwanted spin-$1/2$ pieces, so the tensor type alone does not establish the physical spin. The field equation has gauge invariancesince the two derivatives contract an antisymmetric pair of gamma indices. Put $\chi ={\gamma }^{\mu }{\Psi }_{\mu }$ and $d={\partial }^{\mu }{\Psi }_{\mu }$. Gamma matrix multiplication givesHence $d=/\partial \chi$. Use the gauge transformation, under which $\delta \chi =/\partial ϵ$, to impose $\chi =0$. The equations then implywith residual gauge freedom satisfying $/\partial ϵ=0$.

For a plane wave with nonzero momentum satisfying the null condition along the third axis, this residual freedom sets the temporal component to zero. Transversality then removes the longitudinal component, leaving the tensor product of two transverse vector polarizations with the two massless spinor helicities. The possible total helicities are $\pm 3/2$ and $\pm 1/2$. The gamma trace is a rotation-covariant map to a spinor, which has only helicities $\pm 1/2$. It therefore vanishes on the aligned $\pm 3/2$ combinations and removes the two mixed combinations. Equivalently, the transverse gamma trace condition has rank two on the four remaining complex positive-frequency coefficients. The massless Rarita-Schwinger polarization count is thusThe Majorana spinor reality condition relates negative-frequency coefficients to their conjugates; it does not introduce a separate antiparticle multiplet. A complex vector-spinor would also have independent antiparticle states.

A nonzero standard Rarita-Schwinger field mass term destroys the massless gauge invariance and adds the two longitudinal helicities. To see the constraints explicitly, choose its momentum-space sign so the equation isContracting with $p_{\mu }$ gives $/p(\gamma \cdot u)-p\cdot u=0$. Its gamma trace then gives $3m\gamma \cdot u=0$. For $m\ne 0$ these imply $\gamma \cdot u=p\cdot u=0$, and the remaining Dirac equation is $(/p-m)u_{\mu }=0$. In the rest frame $u_0=0$. Three spatial vector components times two positive-energy spinor components give six coefficients, and the gamma trace removes two, leaving the irreducible spin-$3/2$ representation. ThereforeIn supergravity a consistent spontaneous mass generation is the super-Higgs mechanism, which supplies those extra states from the goldstino.

The massless graviton also has two physical helicities, so the graviton and gravitino already match on shell. The reason for auxiliary fields is the off-shell component count of minimal supergravity mismatch, not a mismatch of these physical states. After removing gauge functions but before using field equations, a metric has $10-4=6$ independent bosonic components, while a Majorana vector-spinor has $16-4=12$ fermionic components. In vierbein language the same bosonic count is $16-6-4=6$, subtracting local Lorentz and diffeomorphism gauges. Old-minimal supergravity adds a complex scalar and a real vector, supplying six real nonpropagating bosonic components. This gives $12+12$ off-shell components and closure without imposing equations of motion. Their algebraic elimination leaves the physical $2+2$ graviton–gravitino spectrum unchanged.

The Noether gauging procedure starts by allowing a constant symmetry parameter to depend on position. For an internal symmetry written as $\delta {\varphi }^i={ϵ}^A{T}_A{\varphi }^i$, integration by parts identifies the Noether current:up to a boundary term. Introduce a gauge field $A_{\mu }^A$ and add $-g{A}_{\mu }^A{j}_A^{\mu }$, with the inhomogeneous gauge transformation $\delta A_{\mu }^A=g^{-1}{\partial }_{\mu }{ϵ}^A+\cdots$. This cancels the displayed variation. The current coupling has its own variation, so one iterates: add the needed higher-order interactions and corrections to the gauge transformations, and require closure of the local symmetry algebra. For an ordinary gauge theory, this reorganizes derivatives into gauge covariant derivatives and fixes the nonlinear gauge field strength. Gauging is therefore more than replacing a constant parameter by a function.

For rigid supersymmetry, the corresponding Noether current is the spinor-valued supercurrent $S^{\mu }$. A local Majorana spinor parameter gives a variation proportional to $({\partial }_{\mu }\overline{ϵ})S^{\mu }$. A gravitino ${\Psi }_{\mu }$, with an inhomogeneous transformation $\delta {\Psi }_{\mu }\sim {\kappa }^{-1}{\partial }_{\mu }ϵ$, cancels it through a coupling proportional to $\kappa {\bar{\Psi }}_{\mu }{S}^{\mu }$. The commutator of two rigid supersymmetry transformations is a translation. With local parameters, the translation parameter becomes position dependent, so the completion must also gauge translations: it introduces the vierbein, diffeomorphism invariance of general relativity, and local Lorentz transformations. The gravitino and graviton thus belong to the same supergravity multiplet.

For pure minimal four-dimensional supergravity, start with the free massless Fierz-Pauli action and the free Rarita-Schwinger field kinetic term. The Noether gauging procedure replaces the former by the Einstein-Hilbert action and couples the latter to the vierbein and spin connection. In a canonical normalization the leading transformations can be writtenAn overall sign or phase changes with the curvature and Majorana spinor conventions, but the relative normalization must be used consistently. To see why these terms fit together, first work to quadratic order in fermions, so the spin connection is torsion free. Varying the Rarita-Schwinger field kinetic term under $\delta {\Psi }_{\mu }={\nabla }_{\mu }ϵ/\kappa$ produces an antisymmetric double spinor covariant derivative. The spinor curvature identity and the Einstein tensor contraction of spin curvature give, in the matching curvature convention,The resulting Einstein tensor term cancels the variation of the Einstein-Hilbert action under $\delta e_{\mu }{}^a$. This is the essential first nontrivial cancellation in the construction.

At higher fermion order, the variations of the vierbein and spin connection produce further terms. Treating the spin connection as independent makes its Euler-Lagrange field equation algebraic. Its solution is a gravitino-induced torsion connection. With ${\Psi }_a=e_a{}^{\mu }{\Psi }_{\mu }$ and ${\gamma }^{ab}=[{\gamma }^a,{\gamma }^b]/2$, a conventional canonical normalization givesEquivalently, with $T^a=d{e}^a+{\tilde{\omega }}^a{}_b\wedge e^b$, the torsion tensor obeysThe Majorana Grassmann bilinear interchange makes the right-hand side antisymmetric in $\mu ,\nu$. Eliminating the spin connection generates the four-fermion completion. In the 1.5-order formalism one substitutes its solution but varies the other fields holding the connection fixed: the omitted chain-rule term is $(\delta S/\delta \omega )\delta \tilde{\omega }=0$. The remaining cubic fermion variations cancel by the Clifford algebra and Fierz rearrangements. This produces the displayed supergravity action in its compact connection-dependent form. Calling this formulation on shell means that no independent auxiliary fields have been retained and that closure of the supersymmetry algebra uses the propagating Euler-Lagrange field equations; it does not mean that action invariance is obtained only by setting every variation to zero on a solution.

In the antisymmetrized kinetic term, ${\Psi }_{\sigma }$ is a spinor-valued one-form and the derivative is conventionally writtenThis is the Lorentz-covariant exterior-derivative convention for that term. If one instead uses the full affine covariant derivative of a vector-spinor, a coordinate-index connection is also present and the antisymmetrization must include its torsion tensor correction. The crucial physical distinction from pure metric general relativity is the spin connection contains gravitino-induced contorsion, rather than being the torsion-free Levi-Civita connection. It reduces to the ordinary spinor covariant derivative when the gravitino vanishes.

Use the Clifford algebra $\{{\gamma }^{\mu },{\gamma }^{\nu }\}=2{\eta }^{\mu \nu }$ and unit-weight antisymmetrization. The duality identity between ${\gamma }_5{\gamma }_{\nu }$ and three antisymmetrized gamma matrices turns the equation intoThe overall nonzero factor in this identity depends on the orientation and ${\gamma }_5$ convention and does not change its solutions. This Rarita-Schwinger field equation has the gauge symmetrysince ${\gamma }^{\mu \nu \rho }{\partial }_{\nu }{\partial }_{\rho }ϵ=0$. It is the free-field limit of local supersymmetry, so it is suitable for the gravitino.

To check which spin it propagates, put $A={\gamma }^{\mu }{\Psi }_{\mu }$ and $B={\partial }^{\mu }{\Psi }_{\mu }$. Expanding the three gamma matrices using the Clifford algebra givesin four dimensions. Thus the Euler-Lagrange field equation requires $B=/\partial A$. Under the gauge transformation, $A\mapsto A+/\partial ϵ$; locally one may choose gamma-trace gauge fixing, $A=0$, by solving $/\partial ϵ=-A$. The Euler-Lagrange field equation then yieldsThese are the massless Dirac equation, transversality and gamma-trace constraints that remove the lower-spin part of a vector-spinor.

For a more explicit massless Rarita-Schwinger polarization count, take a positive-frequency plane wave with null momentum along the third axis, in signature $(-,+,+,+)$. Transversality relates its temporal and longitudinal components. Residual gauge transformations with $/pϵ=0$ remove both. Write the surviving components as $u_1,u_2$; their gamma-trace condition reads ${\gamma }^1{u}_1+{\gamma }^2{u}_2=0$, henceThe massless Dirac equation leaves two complex positive-frequency amplitudes in $u_1$. If $i{\gamma }^1{\gamma }^2{u}_1=s{u}_1$, $s=\pm 1$, then $(u_1,u_2)$ is proportional to $(1,-is)$ in the transverse vector index. With spatial rotation generators $J_3^{\mathrm{vec}}{}_{12}=-i$ and $J_3^{\mathrm{spin}}=-i{\gamma }^1{\gamma }^2/2$, the vector has helicity $-s$ and the Majorana spinor has helicity $-s/2$, giving total helicity $-3s/2$. The Majorana spinor condition fixes the negative-frequency coefficients from these amplitudes. Therefore a massless gravitino has spin $3/2$, with the two physical helicities $\pm 3/2$. A complex vector-spinor would also have independent antiparticle modes.

The requested count is instead the off-shell component count of minimal supergravity, before imposing any Euler-Lagrange field equations. A four-dimensional Majorana spinor has four real components. Its vector index supplies four copies, and local supersymmetry supplies four real gauge functions:One must not additionally subtract transversality and the massless Dirac equation in this count: those are on shell conditions. The gamma-trace gauge fixing already uses the same four gauge functions subtracted above. For the graviton, a symmetric metric tensor has ten real components, with four diffeomorphism gauge functions. Equivalently, a vierbein has sixteen real components, minus six local Lorentz transformation and four diffeomorphism functions:The gravitino and graviton each have two propagating states on shell, but their off-shell counts disagree by six.

An auxiliary field has an algebraic Euler-Lagrange field equation and no propagating kinetic term. In old-minimal supergravity, a complex scalar $M$ contributes two real bosonic components and a real vector $b_{\mu }$ contributes four, so the bosonic count becomes $6+2+4=12$, matching the gravitino. Their supersymmetry transformations also absorb the terms that would otherwise require the propagating Euler-Lagrange field equations to close the local algebra. Thus auxiliary fields allow off-shell supersymmetry closure and matching component counts without adding physical particles. Eliminating them recovers an on shell formulation.

Use signature $(-,+,+,+)$, $\{{\gamma }^{\mu },{\gamma }^{\nu }\}=2{\eta }^{\mu \nu }$, and unit-weight antisymmetrized gamma products. The massless Rarita-Schwinger field has the gauge freedomsince the antisymmetric ${\gamma }^{\mu \nu \rho }$ annihilates ${\partial }_{\nu }{\partial }_{\rho }ϵ$. This gauge freedom is essential to remove the lower-spin components of the vector-spinor.

Put $\chi ={\gamma }^{\mu }{\psi }_{\mu }$. Contracting the field equation with ${\gamma }_{\mu }$ and using ${\gamma }_{\mu }{\gamma }^{\mu \nu \rho }=2{\gamma }^{\nu \rho }$ givesExpanding the original three-gamma product then reduces its equation toA gauge transformation changes $\chi$ by $/\partial ϵ$. Locally solve $/\partial ϵ=-\chi$ to impose gamma-trace gauge. The two equations becomeApplying $/\partial$ again gives $\square {\psi }_{\mu }=0$. Nonzero propagating Fourier modes therefore have $p^2=0$: the physical modes are massless.

For the massless Rarita-Schwinger polarization count, choose a nonzero future null momentum $p^{\mu }=(\omega ,0,0,\omega )$. The remaining gauge parameters satisfy $/pϵ=0$. Transversality gives ${\psi }_0+{\psi }_3=0$, and this residual gauge removes ${\psi }_0$, hence also ${\psi }_3$, because ${\psi }_0$ itself satisfies $/p{\psi }_0=0$. Only ${\psi }_1,{\psi }_2$ remain, withThe kernel of $/p$ on four-component spinors has complex dimension two, so there are exactly two independent polarization amplitudes.

To identify their helicities, the spinor rotation generator about the third axis in this convention is $S_3=-i{\gamma }^1{\gamma }^2/2$. Its two eigenvalues on that kernel are $h_s=\pm 1/2$. If ${\psi }_1$ is such an eigenvector, then ${\psi }_2=2i{h}_s{\psi }_1$. Its transverse vector polarization is consequently $(1,+i)$ for $h_s=+1/2$ or $(1,-i)$ for $h_s=-1/2$. These carry vector helicity $+1$ or $-1$, respectively. Adding the vector and spinor angular momenta leavesThe unwanted opposite-sign vector-spinor combinations, which would have helicity $\pm 1/2$, violate the gamma-trace constraint. For the gravitino of simple supergravity, its Majorana spinor reality condition identifies the negative-frequency antiparticle modes, giving two propagating degrees of freedom. If one instead chooses a complex Dirac vector-spinor, its independent antiparticle sector doubles the particle-plus-antiparticle count; the equation alone does not impose a Majorana condition.

Work through terms quadratic in the fermions, with Grassmann-odd Majorana spinors ${\psi }_{\mu }$ and $ϵ$. At this order the spin connection can be taken torsion-free: eliminating its gravitino-induced torsion changes the action only at four-fermion order. The Christoffel term needed to turn the printed $D_{\nu }{\psi }_{\sigma }$ into a full vector-spinor covariant derivative drops out after contraction with ${\gamma }^{\mu \nu \sigma }$, since the connection is symmetric in $\nu ,\sigma$.

First establish the Einstein tensor contraction of spin curvature. Expanding the Clifford product and using the first Bianchi identity, its five-gamma and antisymmetric three-gamma curvature contributions vanish, leavingSince $[{\nabla }_{\nu },{\nabla }_{\rho }]=R_{\nu \rho ab}{\gamma }^{ab}/4$, it follows thatThe factor $1/2$ arises from antisymmetrizing the two derivatives, not from a choice of Einstein-Hilbert normalization.

For the Einstein-Hilbert action, the metric variation isVariation with respect to the covariant metric, including the determinant variation and discarding the usual boundary divergence, givesNo gravitational field equation has been assumed here.

For the Rarita-Schwinger field action, the determinant, gamma-matrix and connection variations each multiply a term already quadratic in $\psi$. Since $\delta e$ is bilinear in $\psi ,ϵ$, these contributions have four fermionic factors and are outside the requested order. Retain only the variations of the two explicit gravitino factors. The four-dimensional Majorana bilinear interchange gives $\bar{\chi }{\gamma }^{\mu \nu \rho }\eta =\bar{\eta }{\gamma }^{\mu \nu \rho }\chi$ for odd spinors. After integration by parts, the first gravitino variation iswhere the last step swaps $\mu ,\rho$ and reverses the three-gamma sign. It is exactly equal to the variation of the second gravitino factor. ThereforeThe curvature contribution cancels $\delta S_{\mathrm{EH}}$ pointwise. Thusup to boundary terms and the omitted four-fermion-order variations. This directly proves the stated local supersymmetry invariance with its printed coefficients. At higher order, the torsion and quartic-fermion completion of minimal four-dimensional supergravity is needed; it cannot be inferred by dropping the terms indefinitely.

Use mostly-plus Lorentzian signature and $\{{\gamma }^{\mu },{\gamma }^{\nu }\}=2{\eta }^{\mu \nu }$, with antisymmetrized gamma products of unit weight. A Majorana spinor obeys a reality condition under charge conjugation:A Weyl spinor instead has definite chirality,A four-dimensional Majorana spinor has four real components, while a Weyl spinor has two complex components. Charge conjugation reverses chirality in this signature, so a nonzero spinor cannot satisfy both conditions simultaneously.

For the Dirac equation $(/\partial +m)\psi =0$, the derivative term reverses chirality because ${\gamma }_5$ anticommutes with every gamma matrix, whereas the mass term preserves it. Projecting a purely chiral spinor equation onto its two chiralities therefore gives both $/\partial \psi =0$ and $m\psi =0$. Thus a nonzero four-component Weyl spinor satisfying this uncoupled Dirac equation must be massless. A Majorana spinor contains conjugate opposite-chirality components and can have a nonzero mass. Its charge-conjugation reality condition identifies particle and antiparticle operators, so a Majorana particle is its own antiparticle. A Weyl field does not by itself impose that identification.

This does not forbid writing a Majorana mass term for a neutral two-component Weyl field: such a term couples the field to its conjugate, and the resulting four-component massive field is Majorana, not a purely chiral solution of the uncoupled Dirac equation.

For the Rarita-Schwinger field, set $\chi ={\gamma }^{\mu }{\psi }_{\mu }$ and $d={\partial }^{\mu }{\psi }_{\mu }$. The antisymmetric kinetic operator is invariant underbecause commuting derivatives contract to zero against ${\gamma }^{\mu \nu \rho }$. Expanding its gamma product givesGamma contraction gives ${\gamma }_{\mu }{E}^{\mu }=2(/\partial \chi -d)$, so the equation implies $d=/\partial \chi$ and $/\partial {\psi }^{\mu }={\partial }^{\mu }\chi$.

For a Fourier mode with momentum $k$, if $k^2\ne 0$ the latter identity gives $k^2{\psi }^{\mu }=k^{\mu }/k\chi$. The mode is proportional to $k^{\mu }$ and hence pure gauge. Every physical nonzero-momentum mode therefore has $k^2=0$. For a null mode, choose an index with $k^{\mu }\ne 0$. The same equation makes $\chi$ an element of the image of $/k$, allowing a gauge choice with $\chi =0$. The field equations then reduce toResidual gauge transformations obey $/\partial \eta =0$.

Take a null momentum in the third spatial direction. Residual gauge freedom and transversality remove the temporal and longitudinal vector components, leaving two transverse vector polarizations. Their helicities are $\pm 1$, while on-shell spinor helicities are $\pm 1/2$. The gamma-trace constraint removes the two combinations of total helicity $\pm 1/2$ and retains the aligned combinations of helicity $\pm 3/2$. Explicitly, in a chiral representation the transverse gamma contractions use ${\sigma }_1\pm i{\sigma }_2$, which annihilate the correspondingly aligned spin states and act nontrivially on the opposite states. Thus a Majorana Rarita-Schwinger field has two physical massless polarizations. The Majorana assumption is the one relevant to simple supergravity; a complex vector-spinor has these helicities for its particle and independent antiparticle modes.

A consistent free massive deformation is the algebraic termadded to a kinetic term $-\frac{1}{2}{\overline{\psi }}_{\mu }{\gamma }^{\mu \nu \rho }{\partial }_{\nu }{\psi }_{\rho }$. Its equation isFor $m\ne 0$, divergence and gamma contraction give, respectively,These imply the massive Rarita-Schwinger constraints $\chi =0$ and $d=0$, and the remaining equation is $(/\partial +m){\psi }_{\mu }=0$. Squaring gives $(\square -m^2){\psi }_{\mu }=0$ in the chosen signature. The gauge symmetry is lost. In the rest frame, transversality sets the temporal component to zero; three spatial vector components times two on-shell spinor states give six states, and gamma trace removes the two spin-one-half states. The result is four massive spin-$3/2$ states, with spin projections $\pm 3/2,\pm 1/2$. In supergravity the additional longitudinal states can be supplied by the super-Higgs mechanism.

A Majorana spinor equals its transform under charge conjugation, so its spinor components are not independent of their conjugates. In a real two-dimensional gamma matrix representation it can be taken real, with anticommuting Grassmann variables as components. Each target index labels a separate worldsheet Majorana fermion; it is not itself a target-space spinor.

Use worldsheet signature $(-,+)$ and the real gamma matricesTake $\bar{\psi }={\psi }^{T}C$ with $C={\gamma }^0$. Define the chirality matrix with the chosen worldsheet orientation byIt squares to one and anticommutes with each gamma matrix. Chirality is its eigenvalue, selected by the chiral projectors. Its overall sign is conventional.

Writing $\psi =({\psi }_{+},{\psi }_{-}{)}^T$, the fermion equation of motion ${\gamma }^{\mu }{\partial }_{\mu }\psi =0$ becomesHenceThe first profile travels toward increasing $\sigma$, and the second toward decreasing $\sigma$. Thus the choice of chirality orientation realizes the requested worldsheet chirality and propagation direction correspondence; reversing the orientation interchanges the labels.

For the rigid worldsheet supersymmetry variation, let $ϵ$ be a constant Grassmann-odd Majorana spinor. With the displayed conventions,The minus sign follows from $({\gamma }^{\mu }{)}^{T}C=-C{\gamma }^{\mu }$. A second identity from the Majorana Grassmann bilinear interchange is $\bar{\chi }{\gamma }^{\nu }{\gamma }^{\mu }ϵ=\overline{ϵ}{\gamma }^{\mu }{\gamma }^{\nu }\chi$. Keeping these Grassmann signs is essential.

The bosonic kinetic variation is $2i{\partial }_{\mu }{X}_a\overline{ϵ}{\partial }^{\mu }{\psi }^a$. The two fermionic kinetic variations, using the two identities above, give the full resultFor the second equality use ${\gamma }^{\nu }{\gamma }^{\mu }=2{\eta }^{\mu \nu }-{\gamma }^{\mu }{\gamma }^{\nu }$ and symmetry of the second embedding derivative. No field equation has been used. Thus the variation is an off-shell total derivative:This is the rigid worldsheet supersymmetry boundary term. It vanishes when the boundary flux vanishes, for example on a closed worldsheet with compatible fields and variations. On a spatial circle, a constant supersymmetry parameter must also respect the chosen spin structure. Periodic fermions allow this rigid transformation; antiperiodic fermions and a constant parameter would give an antiperiodic $\delta X$ and fail to preserve a periodic bosonic embedding. The local action identity remains valid, but global symmetry requires compatible boundary data. This is the spin-structure obstruction to constant worldsheet supersymmetry.

For the spectrum, assume the usual critical RNS string, physical-state constraints, a nonzero null target momentum, and the supersymmetric GSO projection. Analyze just one chiral sector. Its matter central charge is $d+d/2$; the bc system and superconformal ghosts contribute $-26+11$. Therefore $3d/2-15=0$ gives the critical dimension of the RNS superstring $d=10$. Light-cone gauge in string theory leaves eight transverse bosonic and eight transverse fermionic string oscillator directions.

In the Neveu–Schwarz sector, the normal-ordering intercept is $a_{\mathrm{NS}}=1/2$. The massless level is $N=1/2$ and has statesThe GSO projection retains these eight transverse vector polarizations while removing the tachyonic ground state. They are spacetime bosons, although the creating string oscillator is a worldsheet fermion. In covariant language transversality and the longitudinal null-state quotient leave $10-2=8$ polarizations.

In the Ramond sector, bosonic and fermionic zero-point energies cancel, so $a_{\mathrm{R}}=0$ and the ground states are massless. The eight transverse fermion zero modes obeyThis Ramond zero-mode Clifford algebra acts on a sixteen-dimensional ground-state space. Its two chirality subspaces each have dimension eight. The GSO projection keeps one, an $8_s$ or $8_c$ spinor of $\mathrm{SO}(8)$, the rotation subgroup of the massless little group. These are spacetime fermions. Equivalently a ten-dimensional Majorana-Weyl spinor has sixteen real components before the massless Dirac equation reduces the physical polarization count to eight.

Consequently the massless chiral RNS spectrum after GSO projection satisfiesThe GSO projection is essential: without it, the transverse Ramond sector would retain both eight-dimensional spinor chiralities. These are counts for one chiral sector, not the tensor-product counts of the full closed-string spectrum.

Complexifying the Clifford algebra removes the signature dependence of its representation dimension. Pair the $2k$ gamma matrices into operators $a_i,a_i^{†}$ with $\{a_i,a_j^{†}\}={\delta }_{ij}$ and $\{a_i,a_j\}=0$. The $k$ commuting occupation operators have eigenvalues zero or one. Starting from a Clifford vacuum, applying every subset of the $k$ fermionic creation operators produces $2^k$ independent states. Conversely, these operators construct matrices on a $2^k$-dimensional space, and their products span its full matrix algebra. Thus an irreducible complex Clifford algebra module in $D=2k$ hasA general Clifford module is a direct sum of these; the statement concerns the minimal spinor.

The Lorentz group acts through even Clifford products, ${\Sigma }^{\mu \nu }=\frac{1}{4}[{\Gamma }^{\mu },{\Gamma }^{\nu }]$. More precisely this is a representation of its double cover, the Spin group. The normalized product ${\Gamma }_{\ast }$ of all $2k$ matrices squares to one and anticommutes with each ${\Gamma }^{\mu }$, while commuting with every ${\Sigma }^{\mu \nu }$. 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 ${\Gamma }^{\mu }$ interchanges the summands. In $D=2k+1$ one can use the old ${\Gamma }_{\ast }$ as the additional matrix, with an appropriate phase for its signature. No independent chirality matrix remains: the product of all $2k+1$ 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 $2^k$-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 $SO(D-2)$ 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 $\left(\genfrac{}{}{0ex}{}{D-2}{p}\right)$ polarizations. A graviton has a symmetric traceless transverse tensor, giving $(D-2)(D-1)/2-1=D(D-3)/2$. 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 $(D-3)$ times the corresponding physical spinor dimension. Thus the ten-dimensional Majorana-Weyl gravitino has $7\times 8=56$ polarizations, the nine-dimensional Majorana gravitino has $6\times 8=48$, and the eleven-dimensional Majorana gravitino has $8\times 16=128$.

The common Neveu-Schwarz sector of type IIA supergravity and type IIB supergravity consists of a metric tensor, the Kalb–Ramond field $B_2$, and the dilaton $\varphi$. Their counts are respectively $35$, $\left(\genfrac{}{}{0ex}{}{8}{2}\right)=28$, and $1$. The Ramond-Ramond sectors and fermions distinguish the theories. In type IIA supergravity the independent bosonic potentials and counts areThere are two Majorana-Weyl gravitini of opposite chirality, giving $56+56=112$, and two Majorana-Weyl dilatini of opposite chirality, giving $8+8=16$. Their total is $128$. With gravitini labelled ${\psi }^{+}$ and ${\psi }^{-}$, the corresponding dilatini have signs $-$ and $+$ respectively. Type IIA is nonchiral.

In type IIB supergravity, the independent bosonic potentials and counts areThe five-form field strength associated with $C_4$ 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 $112$ states. Both Majorana-Weyl dilatini have the opposite chirality to those gravitini and contribute $16$ states. Type IIB is chiral, with $128+128$ 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 $p$-form splits into a $p$-form and a $(p-1)$-form, according as it has no compact index or one. This preserves counts by Pascal's identity, $\left(\genfrac{}{}{0ex}{}{D-2}{p}\right)=\left(\genfrac{}{}{0ex}{}{D-3}{p}\right)+\left(\genfrac{}{}{0ex}{}{D-3}{p-1}\right)$.

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, withEach ten-dimensional Majorana-Weyl gravitino becomes one nine-dimensional Majorana gravitino and one Majorana spin-one-half field, giving $56=48+8$. 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 $2(48)+4(8)=128$. The fields belong to one maximal gravity supermultiplet, not separate interacting matter multiplets.

Reducing type IIB supergravity gives $g_{\mu \nu },A_{\mu }^{\mathrm{metric}},\rho$ from the metric; one two-form and one vector each from $B_2$ and $C_2$; and the two scalars $\varphi ,C_0$. 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 $\left(\genfrac{}{}{0ex}{}{7}{3}\right)=\left(\genfrac{}{}{0ex}{}{7}{4}\right)=35$ 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 $11(8)/2=44$ states, a three-form with $\left(\genfrac{}{}{0ex}{}{9}{3}\right)=84$, and a Majorana gravitino with $128$. For direct reduction on a flat two-torus, write the internal indices as $i=1,2$. The metric gives $g_{\mu \nu }$, two vectors $g_{\mu i}$ and three symmetric components $g_{ij}$; the three-form gives $A_{\mu \nu \rho }$, two two-forms $A_{\mu \nu i}$ and one vector $A_{\mu 12}$. HenceThe 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 $128=2(48)+4(8)$. This is again the same $128+128$ 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 $i=1,\dots ,6$ giveThe multiplicities $21,15,20$ come respectively from a symmetric pair of six internal indices, $\left(\genfrac{}{}{0ex}{}{6}{2}\right)$, and $\left(\genfrac{}{}{0ex}{}{6}{3}\right)$. Before dualizing, this gives one graviton, $28$ vectors, $63$ 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, $28$ vectors and $70$ scalars, with $2+56+70=128$ states.