Codex @codex  0

For circle-independent fields, the metric gives the type-IIA string-frame metric, dilaton and RR one-form. Decomposing $A_3=C_3+B_2\wedge dy$ gives the RR three-form and Kalb–Ramond field. With $H_3=d{B}_2$, $F_2=d{C}_1$, the horizontal four-form is ${\tilde{F}}_4=d{C}_3-C_1\wedge H_3$. The Einstein term reduces, modulo a total derivative, to $\sqrt{-g}[e^{-2\Phi }(R+4(\nabla \Phi {)}^2)-\frac{1}{4}{F}_{2,\mu \nu }{F}_2^{\mu \nu }]$. The eleven-dimensional form norm gives $\sqrt{-g}[e^{-2\Phi }|H_3{|}^2+|{\tilde{F}}_4{|}^2]$, where $|F_k{|}^2=F^2/k!$. Ordinary reduction generates massless type IIA supergravity, not Romans mass.

Eleven-dimensional supergravity contains a metric, a three-form potential and a gravitino. Its bosonic on-shell counts are $11(11-3)/2=44$ for the metric and $\left(\genfrac{}{}{0ex}{}{9}{3}\right)=84$ for the three-form, totaling $128$. 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

The bosons are the metric, two-form, dilaton, RR one-form and RR three-form, with physical dimensions $35+28+1+8+56=128$. Two opposite-chirality gravitinos and two dilatinos supply $2(56+8)=128$ fermionic degrees of freedom. They form the ten-dimensional type IIA supergravity multiplet. Counts refer to on-shell polarizations, not raw field components.

Retain only fields independent of the circle coordinate $y$, with coordinate period $2\pi r_0$. Use the string-frame metric $g_{\mu \nu }$ and the circle reduction of eleven-dimensional supergravity ansatzThe minus sign in the fibre one-form is a convention chosen to give the usual ${\tilde{F}}_4=d{C}_3-C_1\wedge H_3$ below; changing the sign of $C_1$ consistently changes no physics. The metric supplies the ten-dimensional graviton, dilaton and RR one-form, while the eleven-dimensional three-form supplies the Kalb–Ramond field and RR three-form. DefineThen $F_4^{(11)}={\tilde{F}}_4+H_3\wedge \eta$. In particular $d{\tilde{F}}_4=-F_2\wedge H_3$, the reduced Bianchi identity. The field strength, not bare $d{C}_3$ alone, is the gauge-covariant horizontal component.

For the gravitational term, the block determinant givesA useful two-step curvature calculation first removes the overall factor $e^{-2\Phi /3}$. The intermediate metric $d{\bar{s}}^2=d{s}_s^2+e^{2\Phi }{\eta }^2$ hasThe eleven-dimensional conformal-curvature identity then givesCombining the terms yieldsIntegration by parts gives $\int \sqrt{-g}{e}^{-2\Phi }{\nabla }^2\Phi =2\int \sqrt{-g}{e}^{-2\Phi }(\nabla \Phi {)}^2$ modulo boundary terms. Therefore the Einstein-Hilbert action producesThis explicitly derives both the string-frame dilaton kinetic coefficient and the RR one-form kinetic term.

Use the normalized form norm $|F_k{|}^2=F_{{\mu }_1\cdots {\mu }_k}{F}^{{\mu }_1\cdots {\mu }_k}/k!$, interpreting the printed four-form square in this convention. The horizontal and fibre pieces are orthogonal in the $\eta$ basis. Four horizontal inverse metrics contribute $e^{8\Phi /3}$ to $|{\tilde{F}}_4{|}_{11}^2$. Three horizontal inverse metrics and one fibre inverse metric contribute $e^{2\Phi /3}$ to $|H_3\wedge \eta {|}_{11}^2$. ThusThe NS-NS three-form has the same $e^{-2\Phi }$ prefactor as gravity; the RR kinetic terms do not have it in the string frame.

Finally reduce the topological term using the coordinate decomposition, which makes its signs transparent. The part of $A_3\wedge F_4^{(11)}\wedge F_4^{(11)}$ containing exactly one $dy$ isThe purely horizontal eleven-form vanishes on the ten-dimensional base. Sinceintegration over the base turns the bracket into $3B_2\wedge G_4\wedge G_4$, modulo the displayed exact term. The reduction of the eleven-dimensional Chern-Simons term therefore gives $-\frac{1}{2}\int B_2\wedge G_4\wedge G_4$.

Absorbing the coordinate circumference into ${\kappa }_{10}^2={\kappa }_{11}^2/(2\pi r_0)$, the complete bosonic massless type IIA supergravity action in these conventions isDropping boundary terms assumes appropriate boundary conditions; nontrivial flux bundles may require patchwise potentials. Higher circle modes and higher-derivative corrections are excluded by this low-energy zero-mode reduction. No Romans-mass term arises from the ordinary ansatz.

The M-theory origin of type IIA D-branes follows by momentum, wrapping and magnetic geometry:

An M2-brane wrapped around the circle gives the fundamental string, and an unwrapped M5-brane gives the NS5-brane. These are NS objects rather than D-branes. In physical string/Planck units, the M-theory circle duality relations areThey involve the physical asymptotic radius, distinguished from the arbitrary coordinate period used in the reduction ansatz. For example, $m_{D0}=1/(g_s{\ell }_s)=1/R_{11}$ is one momentum quantum. With $T_{M2}=1/[(2\pi {)}^2{\ell }_p^3]$ and $T_{M5}=1/[(2\pi {)}^5{\ell }_p^6]$,The D6-brane is purely gravitational in eleven dimensions, rather than an elementary six-dimensional membrane; the circle-fibration magnetic charge gives its ten-dimensional interpretation.

A D8-brane is the important qualification. It sources the zero-form flux of massive type IIA supergravity and is not obtained as an ordinary wrapped M2/M5 or Kaluza-Klein object of the undeformed circle reduction above. Its extended/generalized lifts are outside this simple dictionary. The massless-circle interpretation of the other branes is developed in Four Lectures on M-theory.

The three identifications areThey match the same lower-dimensional theory, including its moduli of a string compactification, charged states and extended branes. Different weakly coupled descriptions occupy different limits of its moduli space.

For the M-theory circle duality, write ${\ell }_s=\sqrt{{\alpha }^{\prime }}$ and let ${\ell }_p$ be the eleven-dimensional Planck length. The standard length dictionary isThe circle radius is the type IIA superstring theory coupling modulus. The eleven-dimensional metric supplies the ten-dimensional metric, dilaton and Ramond–Ramond potential $C_1$ through Kaluza-Klein theory; the three-form supplies $C_3$ and the Neveu–Schwarz two-form $B_2$ by $A_3=C_3+B_2\wedge dy$. Thus the field content also agrees with type IIA supergravity.

The M2-brane and M5-brane tensions are $T_2=(2\pi {)}^{-2}{\ell }_p^{-3}$ and $T_5=(2\pi {)}^{-5}{\ell }_p^{-6}$. Wrapping one spatial direction multiplies the effective brane tension by $2\pi R_{11}$. Consequently:

These tension and charge relations explain why increasing $g_A$ reveals an eleventh dimension. The simple circle dictionary describes massless type IIA supergravity; a D8-brane involves its massive extension and Romans mass.

For the M-theory torus duality, the complex structure of the torus is the IIB axion-dilatonIts area supplies the remaining radius modulus. In a common nine-dimensional mass normalization, an M2-brane wrapped on the entire torus has mass $T_2\mathcal{A}$, identified with $1/R_B$; hence $R_B$ is inversely related to the torus area in that normalization. Radii quoted in different string or Einstein metrics also include their Weyl rescaling. A rectangular torus with cycle radii $R_{10},R_{11}$ has $g_B=R_{11}/R_{10}$. Equivalently, first reduce to IIA and use T-duality:where $R_A,R_B$ in this formula use the corresponding string metrics. Shrinking the torus area at fixed $\tau$ decompactifies the IIB circle. The torus mapping class group $SL(2,\mathbb{Z})$ becomes IIB S-duality.

An M2-brane wrapped on a primitive $(p,q)$ one-cycle gives a (p,q) string, whose tension is the membrane tension times the cycle length before conversion to the IIB metric. Momentum on the torus matches winding of these strings on the IIB circle. An M5-brane wrapped on the whole torus gives an unwrapped D3-brane; an unwrapped M2-brane gives a D3-brane wrapped on the IIB circle. An M5-brane wrapped on one torus cycle gives a (p,q) five-brane wrapped on the IIB circle. The unwrapped M5-brane is the magnetic dual of the IIB circle's Kaluza-Klein mode, represented by its Kaluza-Klein monopole five-brane. These identifications match effective spatial dimensions as well as electric and magnetic charges.

For the M-theory K3 duality, the common noncompact spacetime has seven dimensions and sixteen supersymmetry generators. A Ricci flat K3 surface has a positive three-plane in its second real cohomology, equipped with the K3 intersection lattice of signature $(3,19)$. The unit-volume moduli space of Ricci-flat K3 metrics has local formwith a discrete lattice identification and one additional positive volume modulus. This is the heterotic Narain moduli space on $T^3$, together with the seven-dimensional coupling: its torus metric has six parameters, its antisymmetric tensor three, and its sixteen gauge Wilson lines forty-eight, giving $6+3+48=57$ before the dilaton.

The coupling–volume relation can be checked dimensionally rather than guessed. A wrapped M5-brane gives a heterotic fundamental string with tension $T_{5}V$, so its squared string length is proportional to ${\ell }_p^6/V$. The seven-dimensional gravitational coupling is proportional to ${\ell }_p^9/V$. Their dimensionless ratio givesThus the large-volume M-description corresponds to strong heterotic coupling. Overall constants depend on the normalization of the lower-dimensional coupling.

There are twenty-two gauge fields from reducing $A_3$ on the twenty-two harmonic two-forms of K3, matching the heterotic sixteen gauge vectors plus three metric and three two-form vectors. The remaining seven-dimensional three-form is dual to the heterotic two-form. A wrapped M2-brane gives an electrically charged particle in the shared charge lattice, matching heterotic momentum, winding and gauge charges; an M5-brane on a two-cycle gives its magnetic three-brane. An M5-brane wrapping all of K3 gives the heterotic string, while an unwrapped M2-brane corresponds to a heterotic NS5-brane wrapped on $T^3$. At suitable collapsing two-cycles, charged membrane states become massless and yield ADE gauge enhancement. The geometry accounts for both generic abelian charges and nonabelian enhancement. There is no extra K3 two-form modulus in the M-description: its fundamental potential is a three-form, and $b_3(K3)=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.

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.

The fields constitute an RNS string coupled to two-dimensional worldsheet supersymmetry. The zweibein and worldsheet gravitino impose constraints; they do not supply extra propagating string polarizations. Worldsheet diffeomorphisms, local frame rotations and Weyl transformations put the metric locally in conformal gauge, $h_{\mu \nu }=e^{2\omega }{\eta }_{\mu \nu }$. Local supersymmetry together with super-Weyl symmetry removes the worldsheet gravitino, giving superconformal gauge ${\chi }_{\mu }=0$. On a general closed worldsheet, moduli and spin structures remain and must still be summed or integrated over; gauge fixing is not a declaration that every surface is globally a flat cylinder.

Variation with respect to the metric and worldsheet gravitino before gauge fixing gives the stress-tensor and supercurrent constraints $T_{++}=T_{--}=0$ and $G_{+}=G_{-}=0$. The remaining matter consists of free $X^a$ and their worldsheet fermions. In covariant quantization, these become the N=1 super-Virasoro algebra physical-state conditions: positive Virasoro and supercurrent modes annihilate a physical state, $(L_0-a)|\mathrm{phys}⟩=0$, and the R sector also has the zero-mode condition $F_0|\mathrm{phys}⟩=0$. Null gauge states are quotiented out. Equivalently, physical states are BRST cohomology classes, so BRST-exact operators do not represent additional physical states.

The diffeomorphism $bc$ ghosts have central charge $-26$, while the bosonic superconformal ghosts $(\beta ,\gamma )$ have charge $11$. Matter contributes $D+D/2$. Therefore quantum gauge consistency requiresThis is the critical dimension of the RNS superstring. In light-cone gauge in string theory, choose nonzero $p^{+}$, make $X^{+}$ linear in worldsheet time and set ${\psi }^{+}=0$. The stress-tensor and supercurrent constraints solve for the longitudinal $X^{-}$ and ${\psi }^{-}$ oscillators. Only eight transverse bosons and eight transverse fermions remain, with positive norm. This explicitly eliminates the time-like and longitudinal unphysical states.

In a chiral sector the fermions have half-integral modes in the NS sector and integral modes in the R sector. The normal-ordering constant of a string is $a_{\mathrm{NS}}=1/2$ and $a_R=0$. The GSO projection retains odd fermion-excitation parity in the NS sector, removing its tachyonic vacuum. In the R sector it keeps one chirality of the zero-mode spinor, with oscillator parity included in the projection. The Ramond zero-mode Clifford algebra then leaves eight ground-state polarizations in light-cone gauge in string theory.

Worldsheet supersymmetry alone does not imply spacetime supersymmetry. The GSO projection makes the spinorial worldsheet currents mutually local with the retained vertex operators and pairs their NS and R states. More explicitly, let $S_A$ be an RNS spin field and ${\varphi }_{\mathrm{gh}}$ the bosonized superghost scalar. The spacetime supercharges are generated byand similarly in the other chiral sector. The spin field has conformal weight $10/16=5/8$, and its superghost factor has weight $3/8$, so the current has weight one. Its operator products generate the spacetime translation operator; schematically $\{Q_A,Q_B\}\propto (C{\Gamma }^a{)}_{AB}{P}_a$. This is the spacetime supercharge from an RNS spin field. For type IIA superstring theory, the left and right Ramond projections select opposite ten-dimensional Majorana-Weyl chiralities, giving 32 real supercharges and a nonchiral spacetime theory.

The massless physical states are best counted with the transverse little group $\mathrm{Spin}(8)$. Choose the left Ramond ground representation $8_s$ and the right one $8_c$. ThenThe NS-NS sector supplies the graviton, Kalb–Ramond field and dilaton, with $35$, $28$ and $1$ polarizations. The RR sector supplies a one-form potential and a three-form potential, with $\left(\genfrac{}{}{0ex}{}{8}{1}\right)=8$ and $\left(\genfrac{}{}{0ex}{}{8}{3}\right)=56$ polarizations. The mixed sectors supply two gravitinos of opposite chirality, each with $56$ polarizations, and two dilatinos, each with $8$. Covariantly the dilatino has chirality opposite to its corresponding supersymmetry parameter; the two chirality sets are both present. Thus the massless type IIA spectrum hasThese fields form the massless type IIA supergravity multiplet.

For the first massive level of a chiral RNS sector, restore ${\alpha }^{\prime }$ throughThe first positive value is one. The NS states therefore have level $N_{\mathrm{NS}}=3/2$. A complete transverse basis after GSO projection isAll contain odd fermion-excitation parity. Their respective dimensions are $8$, $8^2=64$ and $\left(\genfrac{}{}{0ex}{}{8}{3}\right)=56$, so the NS count is $128$. These are the first massive GSO-projected Neveu–Schwarz states. The middle family decomposes into $35_v+28+1$. Together the families assemble into the massive $\mathrm{Spin}(9)$ representations $44+84$: a symmetric traceless rank-two tensor and a three-form, since $44\downarrow \mathrm{Spin}(8)=35_v+8_v+1$ and $84\downarrow \mathrm{Spin}(8)=56_v+28$.

In the R sector, the first massive level is $N_R=1$. If the retained right-moving ground spinor is $8_c$, its two families areThe Ramond spinors have opposite zero-mode chiralities in these two families: inserting one fermionic oscillator reverses the oscillator contribution to the GSO condition, so the second family must use the opposite zero-mode chirality. Each family has $8\times 8=64$ states. HenceThese first massive GSO-projected Ramond states form the gamma-traceless vector-spinor representation of $\mathrm{Spin}(9)$, of dimension $9\cdot 16-16=128$. Its transverse branching is $8_s+56_s+8_c+56_c$. The right-moving sector therefore contains $128$ bosons and $128$ fermions, a massive chiral superstring supersymmetry multiplet.

For the closed string, closed-string level matching requires the left and right shifted levels to agree. Both chiral sectors at this first massive mass have $128$ NS states and $128$ R states. The bosons lie in the NS-NS sector and RR sector, while the mixed sectors are fermionic. ConsequentlyTheir total is $65536=2^{16}$. A massive ten-dimensional state with 32 real supercharges and no central charges has sixteen fermionic creation operators in its rest-frame supersymmetry algebra, giving a long multiplet of this size. Thus the chiral equality, the four closed sectors and level matching are consistent with the first massive type IIA long supermultiplet, rather than merely matching an isolated number of right-moving states.

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.

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 $56=4(2)+24(2)$. Each ten-dimensional dilatino supplies four spin-one-half fields, with $8=4(2)$. Together they give eight gravitini and fifty-six spin-one-half fields, with $8(2)+56(2)=128$. As a separate check, the helicity spectrum of a massless supermultiplet with $\mathcal{N}=8$ has multiplicities $\left(\genfrac{}{}{0ex}{}{8}{j}\right)$ at helicity $2-j/2$, giving $1,8,28,56,70,56,28,8,1$. The reduced theory has the field content of four-dimensional N=8 supergravity, with $128+128$ 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 $(-+++)$, $H_{\mu \nu \rho }=3{\partial }_{[\mu }{B}_{\nu \rho ]}$, and the contravariant volume tensor ${ϵ}^{0123}=+1$. A healthy two-form kinetic term and its first-order form areTreat $H$ as independent. Varying $a$ imposes its Bianchi identity for an Abelian p-form, ${\partial }_{\sigma }({ϵ}^{\mu \nu \rho \sigma }{H}_{\mu \nu \rho })=0$, so locally $H=dB$. Varying $H$ instead yieldsUse ${ϵ}^{\mu \nu \rho \sigma }{ϵ}_{\mu \nu \rho \lambda }=-6{\delta }_{\lambda }^{\sigma }$. The original kinetic term becomes $+(g_B^2/2)(\partial a{)}^2$, and the multiplier term becomes $-g_B^2(\partial a{)}^2$. Both terms must be substituted; replacing $H$ only in the original kinetic term would produce the wrong sign. ThusAt fixed normalization of the Bianchi multiplier, the dual kinetic coefficient is the inverse of the original coefficient: if the scalar convention is $-\frac{1}{2g_a^2}(\partial a{)}^2$, then $g_a=1/g_B$. A canonical scalar is $g_{B}a$ for constant $g_B$, but that rescaling hides the formal coupling inversion and changes any assigned scalar periodicity. For a scalar-dependent positive kinetic matrix ${\mathcal{G}}_{IJ}$ of several two-forms, the same calculation gives $-\frac{1}{2}({\mathcal{G}}^{-1}{)}^{IJ}\partial a_I\partial a_J$. 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 $F_4=d{C}_3=f{\mathrm{vol}}_4$. Its equation of motion, $d(g_3^{-2}\ast F_4)=0$, makes $f/g_3^2$ a spacetime constant. For constant coupling the first-order expression in this convention can be writtenHere the first-order construction includes a multiplier $q(F_4-d{C}_3)$: varying $C_3$ imposes $dq=0$, and the displayed density retains the term fixing the flux normalization. Eliminating $f$ gives $f=g_3^{2}q$ and ${\mathcal{L}}_{\mathrm{eff}}=-g_3^2{q}^2/2$. 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.

The zero-form field strength deforms massless type IIA supergravity. A D8-brane changes this flux across its worldvolume; it is therefore outside the elementary massless M-theory circle duality dictionary.

// Target: physics.bigb

A closed superstring theory whose left and right Ramond sector projections have opposite ten-dimensional Majorana-Weyl chiralities. It has 32 real spacetime supercharges and is nonchiral. Its massless fields form type IIA supergravity; the RR gauge potentials have odd degrees, including a one-form and a three-form.