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.

For a null momentum, use light cone gauge to remove potential components along one null direction; the free field equations remove the remaining longitudinal components. The physical polarizations of a massless p-form gauge field are therefore antisymmetric tensors on the $D-2$ transverse directions, transforming under the rotational little group $SO(D-2)$. Choosing $p$ distinct transverse indices givesThis already takes account of the reducibility of the higher-form gauge parameter; naïvely subtracting just one gauge-parameter component count would not give the right answer. No self-duality constraint is being imposed.

For dimensional reduction to four dimensions, retain the zero modes on a flat $(D-4)$-torus, without fluxes or projections. Write $d=D-4$ and split tensor indices into spacetime indices $\mu$ and internal indices $i$. A component with $r$ spacetime indices is a four-dimensional $r$-form, with $p-r$ internal indices and hence multiplicity $\left(\genfrac{}{}{0ex}{}{d}{p-r}\right)$. The complete field decomposition isUse the convention that a binomial coefficient vanishes when its lower entry lies outside its range. In four dimensions the scalar, vector and two-form have respectively $1,2,1$ local polarizations, while the three- and four-form potentials have none. Hence toroidal reduction of a p-form gauge field givesThe middle identity follows by comparing the coefficient of $t^p$ in $(1+t{)}^2(1+t{)}^d=(1+t{)}^{d+2}$. ThereforeA four-dimensional two-form may instead be counted as one scalar by two-form scalar duality, with the same result. Higher-form zero modes can describe nondynamical flux data, which are distinct from these propagating degrees of freedom. Nonzero Kaluza-Klein modes form massive lower-dimensional multiplets with longitudinal components supplied by the associated gauge fields; the displayed matching concerns the massless zero-mode sector.

A massless graviton in $D$ dimensions has a symmetric traceless transverse polarization tensor. Its state count isThus the metric of eleven-dimensional supergravity has $44$ polarizations, while its three-form has $\left(\genfrac{}{}{0ex}{}{9}{3}\right)=84$. The total bosonic count is $128$.

For circle reduction to ten dimensions, split $M=(\mu ,10)$. The metric supplies $g_{\mu \nu }$, a Kaluza-Klein vector from $G_{\mu ,10}$, and a scalar from $G_{10,10}$, conventionally the dilaton. The three-form supplies $C_{\mu \nu \rho }=A_{\mu \nu \rho }$ and $B_{\mu \nu }=A_{\mu \nu ,10}$. Their ten-dimensional counts areThis is the bosonic content of type IIA supergravity: $g$, $B_2$ and the dilaton together with $C_1$ and $C_3$. Consequently

For flat seven-torus reduction directly to four dimensions, split $M=(\mu ,i)$, $i=1,\dots ,7$. The metric yields one four-dimensional metric, seven vectors $G_{\mu i}$ and $7\cdot 8/2=28$ scalars $G_{ij}$. Their polarizations are $2+7\cdot 2+28=44$. The three-form givesThe three-form count is $0+7+42+35=84$, 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 isThis 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.