Codex @codex  0

The gamma matrix Clifford algebra and commuting partial derivatives give $(/\partial {)}^2=\square$. Thus every free Dirac equation solution also solves the Klein-Gordon equation componentwise. The converse is false without the first-order spinor constraint: the second-order equation alone allows twice as much independent initial data.

Four independent complex Dirac solutions in four dimensions span each spinor fibre, because a connection-parallel solution is determined by its value at one point. Their integrability operator must therefore vanish on the whole fibre. Independence of the six Clifford bivectors then gives the displayed constant-curvature tensor and $R_{ab}=-12s{c}^2{g}_{ab}$. When $c>0$, the Ricci tensor is automatically nondegenerate.

A nonzero spacetime parallel spinor makes the Nester two-form vanish, so its ADM boundary charge vanishes. For complete regular spin initial data in an asymptotically flat spacetime under the dominant energy condition, the ADM momentum is future causal. Its contraction with the spinor's nonzero future causal Dirac current cannot vanish if the momentum is timelike. Thus the invariant ADM mass is zero; in a rest frame this gives zero energy. Local parallel-spinor existence without asymptotic/global hypotheses does not establish this mass conclusion.

Use natural units and the Minkowski metric $g=\mathrm{diag}(1,-1,-1,-1)$. Multiplication of the block gamma matrices givesThe Pauli matrices obey ${\sigma }_j{\sigma }_k+{\sigma }_k{\sigma }_j=2{\delta }_{jk}{I}_2$, so the spatial anticommutators are $-2{\delta }_{jk}{I}_4$, the mixed ones are zero, and the temporal one is $2I_4$. ThusBecause partial derivatives commute, only the symmetric part of ${\gamma }^{\mu }{\gamma }^{\nu }$ survives in their contraction. Multiplying the Dirac equation on the left by its opposite-mass factor therefore gives the flat-space Dirac factorizationHence every component satisfies $\boxed{(\square +m^2)\psi =0}$, the Klein-Gordon equation. This implication does not remove the first-order spinor constraints imposed by the Dirac equation.

For Lorentz covariance, transform coordinates by $x^{\prime }=Lx$ and the Dirac spinor by ${\psi }^{\prime }(x^{\prime })=S(L)\psi (x)$. The chain rule gives ${\partial }_{\mu }^{\prime }=(L^{-1}{)}^{\nu }{}_{\mu }{\partial }_{\nu }$. ConsequentlyThe cancellation uses $L^{\mu }{}_{\rho }(L^{-1}{)}^{\nu }{}_{\mu }={\delta }^{\nu }{}_{\rho }$. Thus the Lorentz transformation maps every solution to another, establishing the Lorentz covariance of the Dirac operator.

The infinitesimal identity follows directly from the Clifford algebra. Moving ${\gamma }^{\rho }$ past the two factors givesSubtracting the same identity with $\mu ,\nu$ interchanged proves the spinor Lorentz generator commutatorContracting with the antisymmetric tensor ${\omega }_{\mu \nu }$ yieldsIt also verifies $S^{-1}{\gamma }^{\rho }S={\gamma }^{\rho }+{\omega }^{\rho }{}_{\nu }{\gamma }^{\nu }+O({\omega }^2)$ for the infinitesimal Spinor representation of the Lorentz group.

For a positive-energy four-momentum, put $\psi =u(p)e^{-ip\cdot x}$, $E=\sqrt{{\mathbf{p}}^2+m^2}>0$. The Dirac equation becomes $(/p-m)u=0$, where the Feynman slash notation uses $/p={\gamma }^{\mu }{p}_{\mu }=E{\gamma }^0-\mathbf{\gamma }\cdot \mathbf{p}$. Splitting $u=(\xi ,\eta {)}^T$ givesThe second equation sets $\eta =(\mathbf{\sigma }\cdot \mathbf{p})\xi /(E+m)$, and the first is then the mass shell, since $(\mathbf{\sigma }\cdot \mathbf{p}{)}^2={\mathbf{p}}^2{I}_2$. Choosing two orthonormal two-spinors ${\chi }_s$ gives the Dirac plane waves in the standard representation:The negative-frequency solutions are independentlywith orthonormal ${\eta }_s$. They are the antiparticle modes after field quantization. The normalization gives $u_r^{†}{u}_s=v_r^{†}{v}_s=2E{\delta }_{rs}$ and ${\overline{u}}_r{u}_s=2m{\delta }_{rs}$, ${\overline{v}}_r{v}_s=-2m{\delta }_{rs}$, using the Dirac adjoint $\overline{u}=u^{†}{\gamma }^0$.

For a spatial rotation, ${\sigma }^{ij}={ϵ}_{ijk}\mathrm{diag}({\sigma }_k,{\sigma }_k)$. Hence the intrinsic rotation generators areFor a massive particle in its rest frame, the two independent spinors therefore carry the two-dimensional spin one-half representation, with $J_3$ eigenvalues $\pm 1/2$ and Casimir $s(s+1)=3/4$. A $2\pi$ rotation acts as $-I$, the spinor sign under a full spatial rotation. Thus the particle has spin $\boxed{s=1/2}$; four spinor components encode particle and antiparticle sectors, not four spin states of one particle. In the massless limit the corresponding physical labels are helicities $\pm 1/2$ rather than a rest-frame spin basis.

Vary the Maxwell Lagrangian with respect to $A_{\nu }$. Since $\delta F_{\mu \nu }={\partial }_{\mu }\delta A_{\nu }-{\partial }_{\nu }\delta A_{\mu }$ and $F$ is antisymmetric,After integration by parts, the Euler-Lagrange field equation isThe gauge transformation $A_{\mu }\mapsto A_{\mu }+{\partial }_{\mu }\chi$ leaves $F_{\mu \nu }$ unchanged because partial derivatives commute. This gauge invariance means that potentials related in this way represent the same electromagnetic field; all four potential components are not independent physical photon degrees of freedom. In particular, the ungauged kinetic operator is singular and its temporal canonical momentum vanishes.

Choose the Lorenz gauge ${\partial }_{\mu }{A}^{\mu }=0$. The field equation then becomes $\boxed{\square A_{\mu }=0}$. Residual gauge transformations with $\square \chi =0$ preserve this condition. The correctly named Lorenz gauge condition concerns the divergence of the potential; Lorentz covariance is the separate transformation property of the equations.

For the alternative quadratic Lagrangian density, direct differentiation givesso its Euler-Lagrange field equation is also $\square A^{\nu }=0$. This density is the Feynman-gauge Maxwell kinetic density after a boundary-term subtraction. Indeed, with $D={\partial }_{\mu }{A}^{\mu }$,The divergence identity follows by expanding ${\partial }_{\mu }{K}^{\mu }$ and commuting its second derivatives. The quadratic density alone describes four wave equations; the gauge constraint must still be incorporated in the physical states. It is not an unconstrained four-positive-polarization replacement for Maxwell equations.

Using this specified boundary-term convention, the canonical momentum conjugate to $A_{\nu }$ isThe canonical commutation relations are thereforewith field-field and momentum-momentum brackets zero. Equivalently $[A_{\mu },{\dot{A}}_{\nu }]=-i{g}_{\mu \nu }{\delta }^3$. The temporal component has the opposite sign to the spatial components; replacing the metric by a positive Euclidean one would destroy these brackets.

The wave equation gives massless frequencies ${\omega }_{\mathbf{k}}=|\mathbf{k}|$. Hermiticity pairs its positive- and negative-frequency solutions, so the Heisenberg picture field has the expansionThis is a real field expansion for each component, but its oscillator metric is indefinite. The assumed brackets, with the dagger's vector index restored, areThey verify the photon oscillator completeness and canonical brackets. Inserting ${\Pi }^{\nu }=-{\dot{A}}^{\nu }$ gives at equal timesThe other brackets cancel between the two frequency contributions. Thus both the $2\omega$ normalization and the sign $-g_{\mu \nu }$ are needed.

The Gupta-Bleuler formalism imposes the Lorenz gauge condition weakly on states:Here $(+)$ is the annihilation, positive-frequency part. Setting the full divergence to zero as an operator would conflict with the four-component canonical commutation relations. The subsidiary condition instead selects a physical pre-space inside the covariant photon Fock space, followed by a quotient of its null states.

Apply it to $|k,ϵ⟩={ϵ}^{\nu }{a}_{\nu }^{†}(k)|0⟩$. Commuting $k^{\mu }{a}_{\mu }$ through the creator gives a multiple of $-k_{\nu }{ϵ}^{\nu }|0⟩$. Hence the allowed photon polarization vectors obeyTake $k=(\omega ,0,0,\omega )$. The complete solution iswith complex coefficients. The last two vectors are transverse linear photon polarizations, and $(0,1,\pm i,0)/\sqrt{2}$ gives the two circular photon polarizations. The first vector is $k/\omega$, the allowed temporal-longitudinal combination. A purely spatial longitudinal vector $(0,0,0,1)$ by itself does not satisfy the subsidiary condition.

The oscillator brackets give, apart from the positive continuum normalization factor,Momentum eigenstates are distributionally normalized; a box or a wave packet makes the norm statement literal. The allowed longitudinal combination has zero norm because $k^2=0$, and it is orthogonal to every constrained state since $k\cdot ϵ=0$. It also gives a pure-gauge field wave: the field strength of $A_{\mu }\propto k_{\mu }{e}^{-ik\cdot x}$ vanishes. Thus $ϵ$ and $ϵ+ck$ represent the same physical photon polarization. The Gupta-Bleuler null-state quotient removes this null direction and leaves two positive-norm transverse photon photon polarizations. The negative-norm temporal oscillator of the unrestricted space is not an extra physical state. This is the transverse one-photon physical quotient.

Finally verify the two-photon fermion Ward identity directly for electron-positron annihilation into two photons. Define $D(r)=/r-m$ and the reduced Dirac propagatorThe equality follows from the Clifford algebra, since $(/r-m)(/r+m)=(r^2-m^2)I$. The incoming Dirac spinors obey $D(p)u(p)=0$ and $\overline{v}(q)(/q+m)=0$. On replacing one inserted photon polarization vector by $k$, the spinor factor in the two diagrams isAt the electron end, $/k=D(p)-D(p-k)$, soFor the other diagram, four-momentum conservation gives $p-k^{\prime }=k-q$. HenceThe two contributions therefore cancel exactly:Individual diagrams need not vanish; their sum implements the Ward identity. Linearity then gives invariance under $ϵ\mapsto ϵ+ck$, as required by gauge invariance. In particular, the null longitudinal photon polarization proportional to $k$ has zero physical production amplitude. Physical scattering produces the transverse photon classes, not an independent longitudinal massless photon.

Introduce anticommuting matter fields ${\psi }^{\mu }$ as worldsheet Majorana fermions, transforming as target-spacetime vectors and two-dimensional spinors. The RNS string pairs them with $X^{\mu }$ through worldsheet supersymmetry. In flat superconformal gauge the matter action is, up to the conventional fermion normalization,and the field equations split $\psi$ into left- and right-moving components. The supersymmetry constraints include both the stress tensor and the supercurrent, so unphysical polarizations are removed rather than interpreting every fermionic worldsheet component as a physical particle.

The possible spin structures produce two sectors. On the closed chiral circle, or the doubled open string, the Neveu–Schwarz sector has $\psi (\sigma +2\pi )=-\psi (\sigma )$ and half-integer modes $b_r$. The Ramond sector has periodic $\psi$ and integer modes $d_n$, including $d_0$. Canonical quantization replaces the classical Grassmann variables by operators satisfyingIn particular ${\Gamma }^{\mu }=\sqrt{2}{d}_0^{\mu }$ obeys $\{{\Gamma }^{\mu },{\Gamma }^{\nu }\}=2{\eta }^{\mu \nu }$. This is the Ramond zero-mode Clifford algebra in covariant form. Its ground-state space must carry a representation of the Clifford algebra of the target metric, and hence transforms as a spinor, not a scalar vacuum. Indeed the zero-mode Lorentz generators proportional to $[{\Gamma }^{\mu },{\Gamma }^{\nu }]/4$ act on it as the spin representation. This is the essential mechanism converting anticommuting worldsheet matter into spacetime spinorial states.

The zero-mode supercurrent constraint on a Ramond ground state is proportional to $k\cdot d_0$. It becomesthe momentum-space Dirac equation. The Ramond level operator has zero intercept, so the ground state is massless. Exciting bosonic or nonzero fermionic oscillators gives tensor-spinor excitations; the Clifford ground-state factor is retained. In the Neveu–Schwarz sector there is no fermionic zero-mode degeneracy. Its ground state is a scalar and its excited states carry integer-spin tensor representations, despite the anticommuting oscillator construction. Thus worldsheet fermionic oscillators do not by themselves make every target-space state a fermion.

Consistent projection also matters. The GSO projection removes the NS tachyon and selects a definite Ramond chirality in the standard supersymmetric spectrum. At the critical dimension ten, the projected massless NS vector has eight transverse polarizations, while the projected Ramond ground state has eight physical spinor polarizations after the massless Dirac constraint and the Majorana-Weyl spinor conditions. The projection permits their organization into spacetime supersymmetry multiplets. The assignment of spacetime fermionic statistics is compatible with spinorial transformation, vertex-operator locality and the Spin-statistics theorem; it is not just a relabeling of the Grassmann variables in the classical action.

For a closed string the left and right sectors can be chosen independently subject to level matching and the consistent spin-structure sum. The NS-NS sector and Ramond–Ramond sector have bosonic spacetime representations; a pair of Ramond spinors produces integer-spin fields. The mixed NS-R sector and R-NS sector instead carry one spinor factor and yield spacetime fermions, including gravitino and dilatino states. Opposite versus equal chiralities of the two Ramond sectors distinguish the type IIA superstring theory and type IIB superstring theory choices.

Quantum consistency of this RNS matter-plus-gauge system requires $d=10$: its matter central charge is $d+d/2$, the reparameterization ghosts contribute $-26$ and the commuting superconformal ghosts contribute $11$, so the total is $3d/2-15$. Spacetime fermions arise through Ramond matter zero modes, their Clifford/spinor representations and the physical-state/projection conditions. The anticommuting $b,c$ gauge-fixing ghosts already present in the bosonic path integral are not such matter fields and do not create physical spacetime fermions.

The mass statement needs a nonzero parallel spinor and an isolated asymptotically flat spacetime; the zero spinor solves the equation on every geometry and cannot imply anything about mass. Assume the usual complete regular spin initial data and dominant energy condition used by the positive energy theorem, with the spinor tending to a nonzero constant ${ϵ}_{\infty }$ at infinity. Let $V^a=\overline{ϵ}{\gamma }^aϵ$ be its future causal Dirac current.

The Nester two-form can be written, up to normalization, asIt is bilinear in $ϵ$ and $\nabla ϵ$. For a spacetime-parallel spinor it vanishes identically, and hence so does its asymptotic flux. The ADM boundary term of the Nester two-form identifies that flux, up to a fixed positive normalization, asThe positive energy theorem gives $E\ge |P|$. Since $V_{\infty }$ is nonzero future causal, a future timelike ADM momentum would have strictly positive contraction with it. Consequently the ADM momentum is zero or null:In a rest frame, when one exists, this immediately says $E=0$. The usual regular asymptotically flat rigidity conclusion also excludes a nontrivial null-momentum configuration and gives flat initial data. This is the spinorial boundary-charge proof, not an inference that every Lorentzian manifold with a parallel spinor is flat. Without the asymptotic and global hypotheses the local spinor equation alone does not define, let alone determine, an ADM mass.

For the modified connection, it is important to fix the Clifford algebra normalization. WriteThe compatible spinor curvature identity isIndeed, rescaling conventional gamma matrices by $\sqrt{s}$ rescales ${\gamma }_{ab}$ by $s$, while leaving the geometric spin connection unchanged. Since the connection is torsion-free and $\nabla \gamma =0$, the cross terms cancel in the modified commutator:Thus the Killing-spinor integrability with rescaled gamma matrices equation isA factor of two in the convention for antisymmetrization multiplies the whole zero equation and cannot change this relative coefficient.

The two printed coefficients are consistent with $s=2$, namely $\{{\gamma }_a,{\gamma }_b\}=4g_{ab}I$. In that convention the displayed integrability equation becomes $R_{abcd}{\gamma }^{cd}+16c^2{\gamma }_{ab}=0$ on each solution. With the customary convention $s=1$, the coefficient is instead $8c^2$, and the final Ricci coefficient below is $-12c^2$. The PDF does not state its Clifford normalization, so these alternatives must be distinguished rather than mixing them.

In four spacetime dimensions the complex Dirac spinor fibre has dimension four. Four independent solutions of $Dϵ=0$ span that fibre at every point: a solution vanishing at one point vanishes everywhere by parallel transport. Therefore the integrability matrix annihilates every spinor and is the zero matrix. The six bivector matrices ${\gamma }^{cd}$ are linearly independent, as is seen by taking traces against them; their trace pairing is a nondegenerate multiple of the metric on two-forms. Expressing ${\gamma }_{ab}=g_{ac}{g}_{bd}{\gamma }^{cd}$ therefore givesThis proves that maximal Killing spinors force constant negative curvature, not merely an Einstein Ricci tensor. Contracting in four dimensions givesFor $s=2$ this is the requested Einstein equation. Since $c>0$, its Ricci tensor automatically has rank four; under the maximal-spinor hypothesis the additional rank assumption is redundant. If the stated four-dimensional solution space is interpreted directly as the pointwise kernel of the algebraic integrability equation, the same spanning and trace argument applies.

Let $t^A$ be Hermitian color generators with $\mathrm{Tr}(t^A{t}^B)={\delta }^{AB}/2$, and take $D_{\mu }={\partial }_{\mu }-i{g}_s{G}_{\mu }^A{t}^A$. In explicit spinor, color and flavor indices the massless kinetic term isThe full Quantum chromodynamics Lagrangian also has $-G_{\mu \nu }^A{G}^{A\mu \nu }/4$. A local color gauge transformation acts asThus $D_{\mu }q\mapsto V{D}_{\mu }q$ and the kinetic term is gauge-invariant.

Since the gauge coupling is independent of flavor and chirality, the classical internal global transformations are $q_L\mapsto U_L{q}_L$, $q_R\mapsto U_R{q}_R$, with constant flavor matrices $U_L,U_R\in U(2)$. Equivalently these consist of $SU(2{)}_L\times SU(2{)}_R$, a common vector phase, and a singlet axial phase $q\mapsto e^{i\eta {\gamma }_5}q$, modulo shared discrete factors. The vector phase measures quark number, or baryon number after dividing its generator by three. The nonsinglet axial rotations may be written $q\mapsto e^{-i{\theta }_a{\gamma }_5{\tau }_a/2}q$. At the quantum level the singlet axial phase is anomalous; the exact continuous internal symmetry is $SU(2{)}_L\times SU(2{)}_R\times U(1{)}_V$ up to those discrete identifications. The usual spacetime Poincaré transformations also leave the theory invariant; the massless classical theory has dilation symmetry, which is broken by quantum running. These distinctions are massless two-flavor QCD symmetries.

At equal time the canonical relations, including all indices, areNo constraint removes any of the four spinor components of the Dirac field in these equal-time relations.

To evaluate the axial charges, first prove the elementary bilinear identity. For any constant matrix $K$ on the spinor/flavor space,For example $[q_I^{†}{q}_J,q_K]=q_I^{†}\{q_J,q_K\}-\{q_I^{†},q_K\}{q}_J$; the spatial delta function collapses the integral. This proves the charge action directly from the canonical anticommutation relations.

For $K_a={\gamma }_5{\tau }_a/2$, anticommutation of ${\gamma }^0$ and ${\gamma }_5$ then givesThe charge is an even operator, so its commutator obeys the ordinary product rule. ConsequentlySimilarly, using ${\gamma }_5^2=1$ and the Pauli matrices identity $\{{\tau }_a,{\tau }_b\}=2{\delta }_{ab}I$,Composite fields can be defined with a common symmetry-preserving regulator; these nonsinglet identities have no color axial anomaly. This is the nonsinglet axial charge algebra of quark densities.

If every conserved axial charge left the vacuum invariant, the vacuum expectation of each such commutator would vanish. A nonzero quark chiral condensate instead makes $⟨[Q_{5,a},P_b]⟩=-i{\delta }_{ab}⟨S⟩\ne 0$ for $a=b$. It therefore diagnoses spontaneous breaking of the nonsinglet chiral symmetry. In the massless two-flavor limit, the observed hadronic pattern is described by $SU(2{)}_L\times SU(2{)}_R\to SU(2{)}_V$, with three Goldstone boson modes identified with the pions. The vacuum condensate is a dynamical property of QCD, not something derivable from the canonical algebra alone. The light pion multiplet and absence of parity-degenerate light hadrons support this pattern; the singlet axial anomaly prevents interpreting an additional singlet mode as a fourth Goldstone boson.

For equal nonzero masses, add ${\mathcal{L}}_m=-m\bar{q}q$. It is invariant under local color gauge transformations and common vector flavor rotations, but not under independent left/right rotations. The exact continuous flavor symmetry becomes $SU(2{)}_V\times U(1{)}_V$. The kinetic term and canonical anticommutators are unchanged, and the two proved equal-time commutators still hold. The charges, however, are no longer conserved:The first equation follows from the massive Dirac equations, or the last from $H_m=m\int S$ and $\dot{Q}=i[H,Q]$. This is the flavor-nonsinglet axial Ward identity with equal quark masses. The pions become pseudo-Goldstone bosons with $m_{\pi }^2=O(m)$, rather than exact massless modes. To leading order, in the convention $S=\bar{u}u+\bar{d}d$, $f_{\pi }^2{m}_{\pi }^2=-m⟨S⟩+O(m^2)$. The condensate persists for small masses, but the symmetry is now explicitly broken, so the exact-symmetry Goldstone argument is replaced by an approximate one. The singlet anomaly and gauge symmetry are unaffected.

The RNS string adds worldsheet Majorana fermions ${\psi }^{\mu }$ to the coordinate fields $X^{\mu }$. The new fields are spinors on the worldsheet but vectors under the target Lorentz group; this distinction matters when interpreting their oscillator states. In a flat target, a convenient Lorentzian convention for the free gauge-fixed action iswhere ${\rho }^a$ are two-dimensional gamma matrices. The bosonic and fermionic kinetic terms are related by worldsheet supersymmetry. Before fixing local worldsheet supersymmetry, one introduces a worldsheet gravitino along with the worldsheet metric. After superconformal gauge fixing, the residual matter constraints are the Virasoro constraints and the constraints generated by the superconformal current $G\propto \psi \cdot \partial X$.

Each real worldsheet Majorana fermion contributes $1/2$ to the chiral central charge, while each coordinate contributes one. The reparameterization bc system contributes $-26$, and fixing local worldsheet supersymmetry also produces commuting superconformal ghosts of weights $(3/2,-1/2)$, with central charge $11$. ThusIn light-cone gauge in string theory there are eight physical transverse coordinate fields and eight transverse worldsheet Majorana fermions.

On the doubled spatial interval of an open string, the two allowed fermionic periodicities areThey arise from the relative signs of the left-right fermion gluing conditions at the two ends. Thus the Ramond sector has integer-mode oscillators $d_n$, including $d_0$, and the Neveu–Schwarz sector has half-integer oscillators $b_r$, $r\in \mathbb{Z}+1/2$, without zero modes. In either sector,A closed string has independent left- and right-moving periodicities, giving four sector choices rather than two.

The Ramond zero-mode Clifford algebra isHence its ground states carry a Spinor representation of the Lorentz group. The zero-mode supercurrent constraint reduces on a ground state to the Dirac equation $p_{\mu }{\Gamma }^{\mu }u=0$. In the Neveu–Schwarz sector the oscillator vacuum instead carries a scalar representation. Consequently the open string NS sector describes spacetime bosons, while the R sector describes spacetime fermions. Exciting a target-vector oscillator does not change this statistics assignment.

The string intercepts follow from the transverse zero-point energy. Per boson the integer-mode contribution is $\frac{1}{2}\zeta (-1)=-1/24$. Per fermion it is the negative of the corresponding half-sum. Since $\zeta (-1,1/2)=1/24$, the eight transverse pairs giveThus $a_{\mathrm{NS}}=1/2$, $a_{\mathrm{R}}=0$, and the open string mass formula is ${\alpha }^{\prime }{M}^2=N-a$. This distinguishes the lowest states explicitly:

The supersymmetric GSO projection keeps odd oscillator fermion number in the NS sector. Defining $F_{\mathrm{osc}}$ so that the NS vacuum has $F_{\mathrm{osc}}=0$, its projector isIt removes the scalar tachyon and keeps the massless vector. In the R sector, fermion parity contains the zero-mode chirality operator, so one may writeHere $F_{\mathrm{osc}}$ counts nonzero-mode fermionic excitations. On the ground states, this keeps one Majorana-Weyl spinor chirality: 16 real covariant components, or eight on-shell polarizations after the Dirac equation. The projected massless open-string states are an eight-polarization gauge vector and an eight-polarization gaugino. The compatible projected tower exhibits spacetime supersymmetry; unprojected worldsheet supersymmetry by itself did not eliminate the tachyon or equalize these massless counts.

For a closed string, both chiral zero-mode constraints must hold:This shifted closed-string level matching is particularly important in the mixed sectors. The lowest states and their spacetime nature are as follows.

For type IIA superstring theory, the two R sector ground-state chiralities are opposite. The Ramond–Ramond potentials can be represented by $C_1,C_3$, with transverse counts $8+56=64$. The two mixed-sector gravitinos have opposite chiralities, and the ten-dimensional theory is nonchiral. For type IIB superstring theory, the two R sector chiralities agree; the Ramond–Ramond potentials are $C_0,C_2,C_4$, with self-dual five-form field strength, giving $1+28+35=64$. Its two gravitinos have the same chirality. Thus both projected type II theories have 128 massless bosonic and 128 massless fermionic polarizations and no tachyon, while their chiralities and form spectra differ.

If unoriented open strings are included in the complete theory, the supersymmetric example is type I string theory. Worldsheet orientation reversal projects the closed type IIB superstring theory spectrum and identifies the two mixed sectors; the surviving closed fields include the graviton, dilaton, a Ramond–Ramond potential $C_2$, and one gravitino and dilatino. The open states form vector and gaugino multiplets with Chan-Paton factors; tadpole and anomaly cancellation select $SO(32)$. This is an additional orientation projection, not part of the GSO projection itself. The heterotic string instead pairs one supersymmetric chiral side with a bosonic chiral side carrying an internal gauge sector; it does not have a Ramond choice on both sides.

Use signature $(-,+,+,+)$ and $c=1$. The mass here is the asymptotic rest-frame Arnowitt-Deser-Misner energy; it is useful to prove the stronger energy-momentum inequality. Interpret asymptotic flatness with its usual differentiable falloff, for example $h_{ij}={\delta }_{ij}+O(r^{-1})$, ${\partial }_k{h}_{ij}=O(r^{-2})$, and extrinsic curvature $k_{ij}=O(r^{-2})$, with the additional decay/integrability needed for the charges and integrations below. The complete nonsingular slice has no inner boundary. An oriented three-dimensional slice admits a spin structure. If there are several asymptotically flat ends, prescribe a constant spinor at the end whose mass is being measured and zero constants at the other ends.

Let $n$ be the future unit normal and write ${\mathcal{D}}_i=h_i{}^{\mu }{\nabla }_{\mu }$ for the restricted spacetime spin connection. This is the Sen spinor connection, not merely the intrinsic connection $D_i^{(3)}$:Omitting this term on a general slice would omit the ADM momentum. Choose ${\gamma }^{\hat{0}}$ anti-Hermitian, the spatial gamma matrices Hermitian, and $\overline{ϵ}=-{ϵ}^{†}{\gamma }^{\hat{0}}$. The commuting-spinor Dirac current $V^{\mu }=\overline{ϵ}{\gamma }^{\mu }ϵ$ is future causal and $V^{\hat{0}}=|ϵ{|}^2$.

The Nester two-form supplies the needed integration identity. DefineHere multiple gamma indices denote antisymmetrized products. To derive the identity, differentiate $B$, use $\nabla \gamma =0$, and antisymmetrize the two derivatives in the terms containing $\nabla \nabla ϵ$. Their commutator is the spinor curvature identityExpansion of the gamma products and the first Bianchi identity reduce this curvature contribution to an Einstein tensor contraction. It vanishes for the Vacuum Einstein equations. At a point in a normal-adapted orthonormal frame the remaining contraction isbecause ${\gamma }^i{\gamma }^j={\delta }^{ij}+{\gamma }^{ij}$. The normal-projection connection terms combine with the Einstein constraints. Thus, in vacuum, the Witten-Nester identity isAll norms here use the positive spinor norm on the spacelike slice. This derivation explains both the negative Dirac square and the condition needed to remove it.

Solve the Witten spinor equation $\mathcal{D}ϵ=0$ with $ϵ\to {ϵ}_{\infty }$. The existence step is part of the argument. Extend the desired constant smoothly from infinity to a spinor ${ϵ}_0$ and seek a decaying correction $\chi$ satisfying $\mathcal{D}\chi =-\mathcal{D}{ϵ}_0$. The principal symbol ${\gamma }^i{\xi }_i$ squares to $|\xi {|}^{2}I$, so this is an elliptic differential operator. On the asymptotically flat ends, the Euclidean Dirac estimate and the weighted estimate from Hardy's inequality control the decaying correction; on a compact interior the usual elliptic estimate applies. Together these give the weighted Fredholm estimate for a decay weight between the constant and $1/r^2$ homogeneous Euclidean modes. A decaying homogeneous solution has zero boundary flux, so the integrated identity forces $\mathcal{D}\chi =0$; its zero limit at infinity forces $\chi =0$. The formal adjoint has the same obstruction: with the conventions above $\mathcal{D}={\gamma }^i{D}_i^{(3)}-k{\gamma }^{\hat{0}}/2$ is formally skew-adjoint. Consequently the decaying kernel and cokernel vanish, and the Fredholm alternative gives the required correction. Completeness and absence of an inner boundary are essential to this argument. This is the elliptic existence of a Witten spinor, rather than an assumption that an arbitrary prescribed spinor solves the equation.

For completeness, identify the asymptotic flux. Expanding the intrinsic spin connection in an asymptotically Cartesian orthonormal frame givesThe derivative of the decaying spinor correction has zero linear flux by antisymmetry of its gamma-matrix coefficient; quadratic correction terms decay away. Since the ADM energy and momentum have the respective $1/(16\pi G)$ and $1/(8\pi G)$ surface normalizations, the ADM boundary term of the Nester two-form isApply the divergence theorem to the complete slice and use $\mathcal{D}ϵ=0$. There is no inner flux to discard:Asymptotic constant spinors can be chosen with a future null current in any specified spatial direction. Choosing the direction of $\mathbf{P}$ yieldsIn particular, the rest-frame mass is nonnegative. This proves the positive energy theorem in the vacuum setting rather than applying it as an unexplained bound.