Codex @codex  0

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.

If this mass is zero, then $E=0$ in the asymptotic rest frame and the inequality gives $\mathbf{P}=0$. The same identity with any nonzero ${ϵ}_{\infty }$ has zero right-hand side. Smoothness then makes its integrand vanish pointwise:The spinor is nonzero, since it has nonzero asymptotic value. This is a spinor parallel along $\Sigma$; no time-parallel condition has yet been inferred merely from the integral.

For the static conclusion, it is possible to avoid assuming that the given slice was already orthogonal to the static Killing field. Because $E=\mathbf{P}=0$, repeat the zero-energy construction for four linearly independent asymptotic Dirac spinors. Parallel transport by the Sen spinor connection is invertible, so the resulting spinors form a basis everywhere on $\Sigma$. Tangential curvature annihilates each of them:Thus $R_{ijab}{\gamma }^{ab}=0$ as an operator. The six antisymmetric gamma products give a faithful Spinor representation of the Lorentz group, so $R_{ijab}=0$ for tangential $i,j$. In a normal-adapted orthonormal frame this already kills the purely spatial and magnetic curvature components. The remaining components vanish by the Vacuum Einstein equations:Consequently the full spacetime Riemann curvature tensor vanishes on $\Sigma$.

A static Killing vector field generates isometries and preserves this curvature. Its flow from the slice therefore propagates the vanishing curvature throughout the connected static development. Extend one of the spinors by spacetime parallel transport along these time orbits, so that ${\nabla }_tϵ=0$. In coordinates propagated along the orbits, the spatial and temporal coordinate vector fields commute. Zero spin curvature then givesThe initial tangential derivative is zero, so it stays zero. This constructs the required nonzero spacetime parallel spinor; the initial parallel frame also removes any spin-holonomy ambiguity inherited from loops in $\Sigma$. The static zero-energy parallel-spinor rigidity conclusion isAn equivalent check in a regular orthogonal static slicing is to write $d{s}^2=-N^{2}d{t}^2+h_{ij}d{x}^{i}d{x}^j$. The slice has zero extrinsic curvature. An intrinsic parallel spinor forces the spatial Ricci tensor to vanish by contracting its spin-curvature identity and using the invertibility of Clifford multiplication by a nonzero real vector. By three-dimensional curvature from the Ricci tensor, $h$ is flat. The static vacuum equation $D_i{D}_{j}N=N{R}_{ij}(h)$ then makes the lapse gradient parallel, and asymptotic normalization forces $N=1$. The temporal spin connection vanishes as well.

An explicit example is Minkowski spacetime, $d{s}^2=-d{t}^2+d{x}^2+d{y}^2+d{z}^2$, where every constant spinor in a Cartesian tetrad is a spacetime parallel spinor and the ADM mass is zero. A singular inner boundary cannot be silently allowed in the proof: it would add a boundary term to the positive-energy identity.

Use the Minkowski metric $g=\mathrm{diag}(1,-1,-1,-1)$. Multiplying the block gamma matrices and using the Pauli matrix multiplication law givesThus these matrices satisfy the Clifford algebra relation $\{{\gamma }^{\mu },{\gamma }^{\nu }\}=2g^{\mu \nu }{I}_4$. Since partial derivatives commute, the antisymmetric part of ${\gamma }^{\mu }{\gamma }^{\nu }$ drops out of its contraction with ${\partial }_{\mu }{\partial }_{\nu }$. Multiplying the Dirac equation on the left by $i{\gamma }^{\mu }{\partial }_{\mu }+m$ givesTherefore every component of the Dirac spinor obeys the Klein-Gordon equation with mass $m$.

For Lorentz covariance, take $x^{\prime }=Lx$ and ${\psi }^{\prime }(x^{\prime })=S(L)\psi (x)$, with constant $L$ and $S$. The chain rule gives ${\partial }_{\mu }^{\prime }=(L^{-1}{)}^{\nu }{}_{\mu }{\partial }_{\nu }$. The given intertwining relation then impliesThis proves invariance of the Dirac equation under the joint coordinate and spinor transformation.

The infinitesimal identity follows directly from the spinor Lorentz generator commutator. To derive it, first move ${\gamma }^{\rho }$ through a two-matrix product using the Clifford algebra:Subtract the expression with $\mu$ and $\nu$ interchanged and multiply by $i/2$. ThusWriting $S=1-\frac{i}{4}{\sigma }^{\mu \nu }{\omega }_{\mu \nu }$ gives $S^{-1}=1+\frac{i}{4}{\sigma }^{\mu \nu }{\omega }_{\mu \nu }+O({\omega }^2)$, and henceThe last step uses ${\omega }_{\mu \nu }=-{\omega }_{\nu \mu }$, including the metric signs in raising the first index.

For parity symmetry in quantum field theory, set $y=x_P=(t,-\mathbf{x})$. The time derivative of $\psi (y)$ is unchanged and each spatial derivative changes sign. Also ${\gamma }^0$ commutes with itself and anticommutes with every ${\gamma }^j$. ConsequentlyThis verifies the specified parity symmetry in quantum field theory action explicitly.

For charge conjugation, put $B=i{\gamma }^2$, so ${\psi }_C=B{\psi }^{\ast }$. In the Dirac representation of the gamma matrices, ${\gamma }^0,{\gamma }^1,{\gamma }^3$ are real and ${\gamma }^2$ is imaginary. The Clifford algebra therefore gives $B{\gamma }^{\mu \ast }{B}^{-1}=-{\gamma }^{\mu }$ for all four indices. Complex conjugation of the Dirac equation, followed by multiplication by $B$, yieldsThis is the antilinear charge-conjugation intertwiner property. No electromagnetic background is being held fixed in this free-field calculation.

Apply the specified parity symmetry in quantum field theory action before charge conjugation. Since ${\gamma }^0$ is real and $B{\gamma }^0=-{\gamma }^{0}B$,Thus the induced parity action on the charge-conjugate spinor has the opposite sign. In particular, if a spinor has intrinsic parity $\eta =\pm 1$, its charge conjugate has intrinsic parity $-\eta$. Equivalently, at rest the positive-frequency Dirac spinors occupy the upper two components and have ${\gamma }^0$ eigenvalue $+1$, whereas the negative-frequency Dirac spinors occupy the lower two components and have eigenvalue $-1$. The corresponding particle and antiparticle creation operators inherit these opposite signs under the specified parity convention. Hence electrons and positrons have opposite intrinsic parities; conventionally one assigns $+1$ to the electron and $-1$ to the positron. The common real overall parity sign may be reversed without changing this relative sign, as in opposite intrinsic parities of a Dirac particle and antiparticle.

Write the integrand, without its common overall factor, as $\mathcal{L}={\partial }_{+}X\cdot {\partial }_{-}X-{\psi }_1\cdot {\partial }_{-}{\psi }_1-{\psi }_2\cdot {\partial }_{+}{\psi }_2$. Keep each constant Grassmann variable on the left. For the first supersymmetry component, varying the bosonic term givesVarying its fermion term gives $-{\epsilon }_1{\partial }_{+}X\cdot {\partial }_{-}{\psi }_1+{\epsilon }_1{\psi }_1\cdot {\partial }_{-}{\partial }_{+}X$. The plus sign in the second term comes from moving the odd parameter past ${\psi }_1$. The middle terms cancel and the rest form ${\epsilon }_1{\partial }_{+}({\psi }_1\cdot {\partial }_{-}X)$. The second supersymmetry component similarly gives ${\epsilon }_2{\partial }_{-}({\psi }_2\cdot {\partial }_{+}X)$. Hence, off shell,This proves the local total-derivative identity for rigid worldsheet supersymmetry; the action is invariant when the corresponding boundary flux vanishes and the transformation preserves the allowed fields. A constant parameter preserves a periodic boson and a periodic fermion. In a Neveu–Schwarz sector, however, $\delta X=\epsilon \psi$ is antiperiodic for constant $\epsilon$ and does not preserve the periodic boson. Thus the bulk identity does not supply a global constant supercharge in every spin sector. This is the spin-structure obstruction to constant worldsheet supersymmetry; the local superconformal formulation handles the different sectors consistently.

For independent field variations, integration by parts gives bulk termsThe equations of motion are thereforeFor variations vanishing at the temporal ends, the spatial seam term is proportional to the difference between its values at $\sigma =2\pi$ and $\sigma =0$ ofThe bosonic part cancels for closed string periodicity, also in a fixed winding sector. For a real fermion impose ${\psi }_a(2\pi )=s_a{\psi }_a(0)$ and the same relation on its variation. Seam cancellation requires $s_a^2=1$, so the two untwisted possibilities are periodic, $s_a=+1$ (Ramond sector), or antiperiodic, $s_a=-1$ (Neveu–Schwarz sector). The two chiralities of a closed string can choose these signs independently, giving R–R, NS–NS, R–NS and NS–R sectors. This discussion assumes the ordinary Lorentz-invariant untwisted boundary conditions of the flat theory.

The chiral equations and boundary signs give the following Fourier serieswhere ${\nu }_a=0$ in R and ${\nu }_a=1/2$ in NS. Thus integer or half-integer modes follow directly from the Fourier series monodromy. With the conventional string oscillator normalization their anticommutation relations and reality conditions areFor an open string the endpoint gluing identifies the two sets of coefficients, leaving one R or NS tower.

In ten-dimensional light-cone gauge in string theory, the eight transverse bosonic modes have positive integer level and each NS fermionic creator has a positive half-integer level. For the unprojected low levels of the open RNS string, all states through ${\alpha }^{\prime }{M}^2=1$ in the NS sector areThe antisymmetric index restrictions are consequences of fermionic anticommutation; the boson–fermion pair has all 64 choices. The displayed partitions exhaust levels at most $3/2$. Here the NS normal-ordering constant of a string is $a=1/2$.

In the R sector $a=0$, and the zero modes satisfy $\{{\psi }_0^i,{\psi }_0^j\}={\delta }^{ij}$. Thus ${\gamma }^i=\sqrt{2}{\psi }_0^i$ generate the Ramond zero-mode Clifford algebra. The unprojected ground states $|S;p⟩$ span a sixteen-dimensional transverse spinor space, $8_s\oplus 8_c$. All states in the requested range areThere is no intervening half-level, since all nonzero R modes have integer level. Acting with the zero modes only moves within the ground spinor space and does not generate further independent copies.

The GSO projection keeps odd NS fermion-excitation parity, removing the tachyonic vacuum and the entire $N=1$ NS level. In R it keeps one eigenvalue of total fermion parity, whose zero-mode part is spinor chirality. It leaves eight massless spinor states. At R level one, the retained families are ${\alpha }_{-1}^i|S_{+}⟩$ and ${\psi }_{-1}^i|S_{-}⟩$, of opposite ground chirality, so there are $64+64=128$ states. The retained NS states are spacetime bosons and the R states spacetime fermions. Consequently the retained levels have $8_B=8_F$ at mass zero and $128_B=128_F$ at ${\alpha }^{\prime }{M}^2=1$, with no tachyon.

Equality at every higher mass level follows from the standard Jacobi abstruse identity, or equivalently the equality of the transverse generating functionsThe left side counts the projected NS bosons, the right side the projected R fermions. Their common coefficients start $8+128q+\cdots$. This consistent truncation yields spacetime supersymmetry; the bulk worldsheet symmetry alone would not remove the tachyon or impose the projection.

An orthonormal tetrad, or vierbein, is a local basis $e_I{}^a$ of tangent vectors together with inverse coframe $e_a{}^I$, satisfying $g_{ab}{e}_I{}^a{e}_J{}^b={\eta }_{IJ}$ and $g_{ab}=e_a{}^I{e}_b{}^J{\eta }_{IJ}$. Capital indices label the locally orthonormal Lorentz frame; lower-case indices label spacetime coordinates. Changing the frame by a local Lorentz transformation leaves the metric unchanged. A spinor description uses a compatible local spin frame and the torsion-free spin connection.

Let fixed flat matrices satisfy $\{{\Gamma }_I,{\Gamma }_J\}=2{\eta }_{IJ}1$. The curved spacetime gamma matrices are ${\gamma }_a=e_a{}^I{\Gamma }_I$ and ${\gamma }^a=e_I{}^a{\Gamma }^I$. ThereforeThe identity matrix is four by four for a four-dimensional Dirac spinor. The combined tensor/spin covariant derivative makes ${\nabla }_a{\gamma }_b=0$, the Clifford version of the tetrad postulate.

Fix the curvature slots by $R_{abcd}=g_{ae}{R}^e{}_{bcd}$, with $[{\nabla }_c,{\nabla }_d]v^a=R^a{}_{bcd}{v}^b$, and $R=g^{ac}{g}^{bd}{R}_{abcd}$. The torsion-free spin connection then has $[{\nabla }_a,{\nabla }_b]\psi =\frac{1}{4}{R}_{abcd}{\gamma }^c{\gamma }^d\psi$. These choices fix the signs in the requested identities.

Write ${\gamma }^{ab}={\gamma }^{[a}{\gamma }^{b]}$ and similarly for four indices. Clifford anticommutation givesOn contraction with the Riemann curvature tensor, the four-form term vanishes by the first Bianchi identity. The first and last two-form terms vanish by pair antisymmetry; the remaining two-form terms are symmetric Ricci contractions against antisymmetric gamma matrices and vanish too. The scalar terms are zero, minus R and minus R respectively. Thus the Riemann tensor Clifford contraction isThis algebraic result is independent of Lorentz signature when the contraction convention is held fixed.

Apply the Dirac operator twice, using covariant constancy of the gamma matrices. Define the rough wave operator by $\square =g^{ab}{\nabla }_a{\nabla }_b$, with the full connection acting on the intermediate covector-spinor derivative. Splitting the product into symmetric and antisymmetric parts givesConsequently the Lichnerowicz spinor-square formula and the assumed massless Dirac equation imply $\boxed{(\square -R/4)\psi =0}$. Torsion would modify the commutator and introduce extra terms, so the torsion-free connection is part of this argument.

Direct multiplication of the gamma matrices in the chiral representation givesFor example ${\sigma }^1{\sigma }^2{\sigma }^3=i{I}_2$ by the Pauli matrix multiplication law, and the block multiplications give the displayed signs. Every ${\gamma }^{\mu }$ is off-diagonal in this representation, whereas the chirality matrix has opposite diagonal blocks. Therefore ${\gamma }^5{\gamma }^{\mu }+{\gamma }^{\mu }{\gamma }^5=0$ for all $\mu$.

The left-handed chirality condition makes the plane-wave coefficient $\lambda (p)=\left(\genfrac{}{}{0ex}{}{\chi }{0}\right)$. With $p\cdot x=E{x}^0-\mathbf{p}\cdot \mathbf{x}$, the Dirac equation givesSince $(\mathbf{\sigma }\cdot \mathbf{p}{)}^2=|\mathbf{p}{|}^2{I}_2$, its determinant is $E^2-|\mathbf{p}{|}^2$. A nonzero spinor therefore exists exactly whenFor nonzero momentum, put $r=|\mathbf{p}|$ and write its direction as $(\sin \vartheta \cos \phi ,\sin \vartheta \sin \phi ,\cos \vartheta )$. Normalized eigenvectors of $\mathbf{\sigma }\cdot \hat{\mathbf{p}}$ areThe general nonzero solution is $\lambda (p)=C\left(\genfrac{}{}{0ex}{}{{\chi }_{-}}{0}\right)$ for $E=r$ and $\lambda (p)=C\left(\genfrac{}{}{0ex}{}{{\chi }_{+}}{0}\right)$ for $E=-r$, with arbitrary nonzero complex normalization $C$. At $p=0$ any constant two-component $\chi$ solves the equation, but the momentum direction and helicity are undefined. For the physical positive-energy branch this is the left-handed massless plane-wave spinor.

A rotation by angle $\alpha$ about $\hat{\mathbf{p}}$ acts on the two-component spinor asThe plane-wave argument is unchanged because the rotation fixes $\mathbf{p}$, and $S(R){\chi }_{-}=e^{i\alpha /2}{\chi }_{-}$. Thus the positive-energy solution has helicity $h=-1/2$, where a helicity-$h$ state has rotation phase $e^{-i\alpha h}$. The negative-energy coefficient has the opposite spinor phase.

In a quantized complex left-handed Weyl field, the positive-frequency term annihilates particles and the negative-frequency term creates antiparticles. Reinterpreting negative energy also reverses its spatial momentum; for the positive physical momentum the two spinor coefficients have the same left-chiral kernel. Because one multiplies an annihilation operator and the other a creation operator, the corresponding particle and antiparticle state phases are conjugate. The helicity content of a quantized Weyl field is consequentlyThere is one particle spin state at each nonzero momentum, rather than the two helicities supplied by a full massless Dirac field. The right-handed Weyl field interchanges these signs. This is the massless relation between chirality and helicity; it does not identify them for a massive field.

A spacetime field valued in one irreducible chiral spinor representation. A free massless left-handed Weyl field obeys $i({\partial }_t-\mathbf{\sigma }\cdot \nabla ){\chi }_L=0$. The left-handed massless plane-wave spinor and helicity content of a quantized Weyl field describe its modes and particle states. Field chirality fixes one spinor representation; it does not give the same particle and antiparticle helicity.