Codex @codex  0

Let ${\partial }_{\pm }={\partial }_{\tau }\pm {\partial }_{\sigma }$ and $\mathcal{L}={\partial }_{+}X\cdot {\partial }_{-}X+i{\psi }_1\cdot {\partial }_{+}{\psi }_1+i{\psi }_2\cdot {\partial }_{-}{\psi }_2$. For constant Grassmann-odd parameters, set $\delta X=i({ϵ}_2{\psi }_1-{ϵ}_1{\psi }_2)$, $\delta {\psi }_1=-{ϵ}_2{\partial }_{-}X$, $\delta {\psi }_2={ϵ}_1{\partial }_{+}X$. In the first chiral sector the variation of the fermionic term cancels $i{ϵ}_2{\partial }_{+}{\psi }_1\cdot {\partial }_{-}X$ from the bosonic term, leaving $i{ϵ}_2{\partial }_{-}({\psi }_1\cdot {\partial }_{+}X)$. The second sector gives the other total derivative. This proves off-shell invariance when the boundary flux vanishes. Closure on fermions uses their free equations of motion. A constant parameter must also preserve the chosen boundary conditions and spin structure.

An orthonormal coframe in spacetime can be rotated by a position-dependent Lorentz matrix without changing the spacetime metric tensor. Its spin connection transforms as ${\omega }^{\prime }=\Lambda \omega {\Lambda }^{-1}-d\Lambda {\Lambda }^{-1}$. A spinor field transforms through a chosen spin lift ${\psi }^{\prime }=S(\Lambda )\psi$, not through the vector matrix $\Lambda$. With $S^{-1}{\gamma }^{A}S={\Lambda }^A{}_B{\gamma }^B$, an infinitesimal parameter gives $S=1+\frac{1}{4}{\alpha }_{AB}{\gamma }^{AB}+O({\alpha }^2)$, where ${\gamma }^{AB}=\frac{1}{2}[{\gamma }^A,{\gamma }^B]$. Consistent global transition lifts require a spin structure; a $2\pi$ spatial rotation lifts to minus the identity on spinors.

A parallel spinor field is annihilated by the spinor covariant derivative. Its value at one point determines it on a connected domain by parallel transport. The spinor curvature identity implies $R_{\mu \nu AB}{\gamma }^{AB}ϵ=0$, but this local condition alone need not settle global existence: the spin structure and holonomy also matter. Lorentzian parallel spinors need not force the whole Ricci tensor to vanish, unlike the positive-definite case.

A parallel commuting Dirac current is causal. If timelike, the geometry locally splits as a time line times a three-dimensional Ricci-flat metric; three-dimensional Ricci flatness implies flatness. If null, the stabilizer of a parallel spinor in $\mathrm{Spin}(1,3)$ contains only null rotations, and the local vacuum metric is $d{s}^2=-2dudv+d{x}^2+d{y}^2+H(u,x,y)d{u}^2$ with $H_{xx}+H_{yy}=0$. Constant spinors obeying ${\gamma }^{+}ϵ=0$ are parallel. These are local statements; global quotients must preserve a compatible spin structure.

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.

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.

The positive energy theorem concerns the total gravitational energy of isolated systems, rather than a pointwise gravitational energy density. Its standard asymptotically flat form isHere are the hypotheses used in a spinorial proof. Take smooth, complete, three-dimensional initial data in general relativity $(\Sigma ,h,k)$ with a spin structure, no inner boundary, and finitely many asymptotically Euclidean ends. Assume the usual differentiable falloff $h_{ij}-{\delta }_{ij}=O(r^{-1})$, $\partial h=O(r^{-2})$, $k_{ij}=O(r^{-2})$, with sufficiently decaying further derivatives and integrable matter densities. The Hamiltonian constraint and momentum constraint must hold, and the matter must satisfy the dominant energy condition. These hypotheses exclude a naked singularity or an unaccounted boundary flux from the argument. An oriented three-manifold admits a spin structure; in higher dimensions the spinorial proof needs this as an additional assumption. Work in signature $(-+++)$ and units $G=c=1$.

Let $n$ be the future unit normal, choose $k_{ij}=-g({\nabla }_{i}n,e_j)$, and define $\mu =T_{ab}{n}^a{n}^b$ and $J_i=-T_{ab}{n}^a{e}_i^b$. With this convention the Hamiltonian constraint and momentum constraint readThe dominant energy condition implies $\mu \ge |J{|}_h$. The asymptotic charges are the ADM energy and ADM momentum,These are boundary charges; a sign condition on $\mu$ alone does not visibly determine their sign.

Choose gamma matrices obeying $\{{\gamma }^a,{\gamma }^b\}=2g^{ab}$, with spatial matrices Hermitian and ${\gamma }^{\hat{0}}$ anti-Hermitian. The relevant derivative is the Sen spinor connection, not just the intrinsic spin connection:The symmetric extrinsic curvature makes $\mathcal{D}={\gamma }^i{D}_i^{(3)}-\frac{1}{2}(\mathrm{tr}k){\gamma }^{\hat{0}}$. This is an elliptic differential operator with the ordinary spatial Dirac operator as principal part. Solve the Witten spinor equation $\mathcal{D}ϵ=0$, with $ϵ\to {ϵ}_{\infty }$ constant at the end under consideration and zero asymptotic constants at any other ends.

The central algebraic ingredient is the Witten-Nester identity. Define $\overline{ϵ}=-{ϵ}^{†}{\gamma }^{\hat{0}}$, the future-directed Dirac current $K^a=\overline{ϵ}{\gamma }^aϵ$, and the Nester two-formIn an orthonormal frame $K^0=|ϵ{|}^2$. Since $-{\gamma }^{\hat{0}}{\gamma }^i{q}_i$ is Hermitian with eigenvalues $\pm 1$ for any unit spatial vector $q$, $|\mathbf{K}|\le K^0$. Thus the Dirac current is future causal. Differentiate the Nester two-form by the product rule. The antisymmetric second-derivative terms reduce using the spinor curvature identityThe Clifford algebra and the first Bianchi identity turn the curvature contraction into the Einstein tensor. The spatial derivative terms give the difference of two squares. Projecting onto $\Sigma$ therefore givesThe constraints are exactly the normal components of the Einstein field equations needed here. Moreover,For a solution of the Witten spinor equation, both terms left in this divergence are nonnegative.

There is an essential analytic step: an asymptotically constant spinor field solving the Witten spinor equation must actually exist. Extend the chosen constant smoothly from infinity to a field ${ϵ}_0$. Then $\mathcal{D}{ϵ}_0=O(r^{-2})$ is square-integrable. For compactly supported fields $\eta$, the same Witten-Nester identity has zero boundary flux and givesThe asymptotically Euclidean Hardy inequality in Euclidean space, local elliptic estimates and this identity supply the coercive estimate in the weighted first-order Sobolev space of decaying corrections. One way to see why a compact-region error cannot spoil coercivity is to assume the estimate fails and take a normalized sequence whose Dirac operator tends to zero. Local compactness and the estimate on the ends produce a decaying homogeneous solution. Integrating the identity with cutoffs shows that such a solution is parallel for the Sen spinor connection. A parallel field tending to zero at infinity is zero, contradicting its normalization. The end estimates exclude escape of the normalized sequence to infinity.

More constructively, on this completed correction space solvefor every compactly supported $\chi$, using the Lax-Milgram theorem. Set $ϵ={ϵ}_0+\eta$. Since $\mathcal{D}$ is formally skew-adjoint in the positive spatial spinor inner product, the residual $\xi =\mathcal{D}ϵ$ is a square-integrable weak solution of $\mathcal{D}\xi =0$. Elliptic regularity makes it smooth. Cutoff integration of the identity excludes a nonzero square-integrable homogeneous solution: it would be parallel, whereas a nonzero parallel field has nonzero limiting norm on an asymptotically Euclidean end and cannot be square-integrable. Hence $\xi =0$. Weighted elliptic estimates then give the required asymptotic decay of $\eta$. This supplies elliptic existence of a Witten spinor, rather than assuming it from the sign of a formal integral.

Finally integrate the Witten-Nester identity over $\Sigma$. The ADM boundary term of the Nester two-form isTo identify this boundary term, expand the asymptotic spin connection to first order in $h-\delta$. Its flux is half of $({\partial }_j{h}_{ij}-{\partial }_i{h}_{jj})s^i{K}_{\infty }^0$; the extrinsic curvature contribution is $-(k_{ij}-h_{ij}\mathrm{tr}k)s^j{K}_{\infty }^i$. Their coefficients give precisely the two charges displayed above. The derivative of the decaying spinor correction has zero leading integrated flux by antisymmetry, and the higher-order terms vanish with the falloff. ThusChoose a normalized asymptotic spinor field that is an eigenvector with eigenvalue $+1$ of $-{\gamma }^{\hat{0}}{\gamma }^i{q}_i$. Then $K_{\infty }^0=1$ and ${\mathbf{K}}_{\infty }=q$. Choosing $q=\mathbf{P}/|\mathbf{P}|$ proves $E\ge |\mathbf{P}|$; if $\mathbf{P}=0$, any such choice gives $E\ge 0$. This is positivity in every asymptotic frame, not only the zero-momentum case.

The zero-energy rigidity also follows from the vanishing integrals. If $E=0$, then $\mathbf{P}=0$ and the construction for a basis of asymptotic spinors produces a basis of parallel fields. Their spinor curvature identity forces the spatially pulled-back spacetime curvature to vanish; the nonnegative matter terms vanish too. The resulting Gauss–Codazzi equations are those of a hypersurface in Minkowski spacetime, and its vacuum development is flat. Completeness and the ordinary Euclidean asymptotic end rule out a nontrivial flat quotient. The initial hypersurface need not have $k=0$: a curved spacelike slice of Minkowski spacetime also has zero ADM energy. The proof works by converting an asymptotic energy charge into a nonnegative bulk integral, with the spinor equation and its existence supplying the crucial bridge.

The Polyakov action has independent worldsheet metric ${\gamma }_{ab}$ and embedding fields $X^{\mu }$. Varying the metric before imposing a gauge givesWorldsheet diffeomorphisms and Weyl transformations allow conformal gauge ${\gamma }_{ab}=e^{2\omega }{\eta }_{ab}$ locally. The Weyl factor then cancels out of the classical action, leavingThese are free two-dimensional scalar fields, but the surviving metric equations requireEquivalently, ${\dot{X}}^2+X^{\prime 2}=0$ and $\dot{X}\cdot X^{\prime }=0$. Gauge fixing does not license dropping these Virasoro constraints.

For an ordinary open string, the boundary conditions relate the two chiral sectors. With ${\alpha }_0^{\mu }=\sqrt{2{\alpha }^{\prime }}{k}^{\mu }$, their independent Fourier generators areThe classical oscillator Poisson brackets $\{{\alpha }_m^{\mu },{\alpha }_n^{\nu }\}=-im{\eta }^{\mu \nu }{\delta }_{m+n,0}$ give the classical Virasoro constraint algebraThus they are first-class constraints. In the quantum theory one applies normal ordering to the product and uses $[{\alpha }_m^{\mu },{\alpha }_n^{\nu }]=m{\eta }^{\mu \nu }{\delta }_{m+n,0}$. The oscillator commutator givesFor example, for $m>0$ the extra vacuum term is $(D/2){\sum }_{r=1}^{m-1}r(m-r)=D(m^3-m)/12$. This exhibits the Virasoro central extension rather than concealing it in a classical constraint equation. The matter central charge is $D$; the worldsheet ghost fields have charge $-26$. Quantum consistency sets $D=26$ and the string intercept to one.

In old covariant string quantization the physical-state Virasoro conditions for an open string arePhysical string states are then identified modulo physical null string states. One does not impose both positive and negative generators as annihilation conditions: their central extension would obstruct that prescription. The resulting null-state quotient of a string agrees with the transverse light-cone spectrum at nonzero momentum.

At $N=0$, the oscillator vacuum $|k⟩$ is a single spacetime scalar field with ${\alpha }^{\prime }{M}^2=-1$: the bosonic tachyon. At $N=1$, write $|\Psi ⟩={ϵ}_{\mu }{\alpha }_{-1}^{\mu }|k⟩$. The zero-mode equation gives $k^2=0$, and $L_1$ gives $k\cdot ϵ=0$. The null descendant $L_{-1}|k⟩=\sqrt{2{\alpha }^{\prime }}k\cdot {\alpha }_{-1}|k⟩$ identifies $ϵ\sim ϵ+\lambda k$. This leaves 24 physical polarizations of a massless gauge vector.

At $N=2$, use the level-two open-string polarization decompositionThe mass is $M^2=1/{\alpha }^{\prime }$. The oscillator commutators give all the nontrivial positive-mode conditions:Higher positive modes annihilate this level. To see the quotient explicitly, the 25 transverse-parameter null states $L_{-1}(\xi \cdot {\alpha }_{-1}|k⟩)$, with $k\cdot \xi =0$, shiftThe additional level-two scalar Virasoro null state $(L_{-2}+\frac{3}{2}{L}_{-1}^2)|k⟩$ shiftsSubstitution into the two physical equations verifies the null-state conditions; the second residual is $(D-26)/2$. Because $k$ is timelike, these null shifts span all components of $b$, so choose a representative with $b=0$. The physical conditions then say $k^{\mu }{h}_{\mu \nu }=0$ and $h^{\mu }{}_{\mu }=0$. In the rest frame this is a traceless second-rank tensor in 25 spatial dimensions, with $25\cdot 26/2-1=324$ polarizations. The light-cone basis independently gives $24$ states ${\alpha }_{-2}^i|k⟩$ and $24\cdot 25/2=300$ symmetric states ${\alpha }_{-1}^i{\alpha }_{-1}^j|k⟩$. Hence

For the fermionic extension, an explicit convention prevents ambiguity in the signs. Keep worldsheet signature $(-,+)$ and useTake $\psi =({\psi }_1,{\psi }_2{)}^T$ and the constant parameter $ϵ=({ϵ}_1,{ϵ}_2{)}^T$ to be real Grassmann-odd Majorana components, with $\bar{\psi }={\psi }^T{\rho }^0$. Put ${\partial }_{\pm }={\partial }_{\tau }\pm {\partial }_{\sigma }$. Apart from the common factor $1/(4\pi {\alpha }^{\prime })$, the combined Lagrangian isThe rigid transformations can be writtenor, in components,For the ${ϵ}_2$ part, the bosonic variation is $i{ϵ}_2({\partial }_{+}{\psi }_1\cdot {\partial }_{-}X+{\partial }_{+}X\cdot {\partial }_{-}{\psi }_1)$, while the fermionic variation is $-i{ϵ}_2{\partial }_{-}X\cdot {\partial }_{+}{\psi }_1+i{ϵ}_2{\psi }_1\cdot {\partial }_{+}{\partial }_{-}X$. Anticommuting the constant parameter past the fermion is essential in the second term. The first terms cancel. The other chiral component works in the same way, giving the chiral proof of rigid worldsheet supersymmetryThus the action is invariant off shell up to a boundary term. The transformation is a genuine supersymmetry: on $X$ its commutator for parameters $ϵ,\zeta$ is the translationOn $\psi$ the same translation follows using ${\partial }_{+}{\psi }_1=0$ and ${\partial }_{-}{\psi }_2=0$; the remaining cross terms are proportional to these Dirac equations. This is on-shell closure of rigid worldsheet supersymmetry. On a surface with boundary, compatible endpoint conditions must make the boundary flux vanish. On a compact worldsheet, a constant parameter must preserve the spin structure; the local identity alone does not make a constant transformation compatible with every antiperiodic sector.

The fermions contribute to the worldsheet stress-energy tensor and produce a fermionic superconformal current. In holomorphic normalization with ${\psi }^{\mu }(z){\psi }^{\nu }(w)\sim {\eta }^{\mu \nu }/(z-w)$,The free-field contractions give $G(z)G(w)\sim (2c/3)/(z-w{)}^3+2T(w)/(z-w)$ and conformal weight $3/2$ for $G$, where $c=D+D/2=3D/2$. Consequently the modes obey the N=1 super-Virasoro algebraDropping the central terms gives the classical graded constraint algebra. Integer $r$ gives the Ramond sector; half-integer $r$ gives the Neveu–Schwarz sector. In the displayed conformal-plane convention $G_0^2=L_0-c/24$ in the Ramond sector. Shifting to the Ramond vacuum-normal-ordered zero mode gives the usual Ramond supercurrent zero-mode square $G_0^2=L_0^{(R)}$.

Rigid symmetry of matter already supplies these currents, but promoting their vanishing to new gauge constraints requires coupling to worldsheet supergravity and varying its worldsheet gravitino. In superconformal gauge one retains $T=G=0$. The fermionic current constraints and their physical-state conditions extend the bosonic Virasoro conditions. The ghost charges are $-26+11=-15$, so cancellation with $3D/2$ gives the critical dimension of the RNS superstring $D=10$; the NS and Ramond intercepts are respectively $1/2$ and zero. This distinguishes the global supersymmetry established above from its locally gauged string completion.

A vierbein is a local orthonormal coframe, consisting of four linearly independent covectors $e^{\mu }{}_a$ such thatHere $a,b$ label spacetime coordinates, while $\mu ,\nu$ label a Lorentz frame with $\eta =\mathrm{diag}(-1,1,1,1)$. Its inverse $e_{\mu }{}^a$ obeys $e_{\mu }{}^a{e}^{\mu }{}_b={\delta }_b^a$ and $e_{\mu }{}^a{e}^{\nu }{}_a={\delta }_{\mu }^{\nu }$. The vierbein converts tensor indices between the coordinate and orthonormal descriptions.

The metric is unchanged under an arbitrary local Lorentz transformation $e^{\mu }{}_a\mapsto {\Lambda }^{\mu }{}_{\nu }(x)e^{\nu }{}_a$, since ${\Lambda }^T\eta \Lambda =\eta$. This is local frame redundancy, with corresponding transformations of fields and connections; it is distinct from coordinate diffeomorphism covariance. A generic curved spacetime does not have global Lorentz isometries. Rather, local tangent frames have Lorentz freedom, and the field equations can be written covariantly under their changes. On flat spacetime, global Lorentz transformations are also spacetime isometries.

A spinor field is a section of the spinor bundle associated to a spin structure. Local components transform in a Spinor representation of the Lorentz group, more precisely a representation of its spin double cover. For the proper orthochronous group in four dimensions, that cover is ${\mathrm{Spin}}^{+}(1,3)\simeq SL(2,\mathbb{C})$. Thus a spinor field transforms as $ϵ\mapsto S(\Lambda )ϵ$ under frame changes, rather than as a coordinate-index tensor. The double-valued lift of a frame rotation requires a consistent spin structure globally; local spinor calculations alone do not choose that global structure. One can use a Dirac spinor for the gamma-matrix calculation below.

Write ${\omega }_a{}^{\mu }{}_{\nu }$ for the Lorentz-frame spin connection. Expanding the tetrad postulate givesMultiply by the inverse vierbein to solve for the connection:With the torsion-free Levi-Civita connection, metric compatibility makes ${\omega }_{a\mu \nu }={\eta }_{\mu \rho }{\omega }_a{}^{\rho }{}_{\nu }$ antisymmetric in $\mu ,\nu$. For constant flat gamma matrices obeying $\{{\hat{\gamma }}^{\mu },{\hat{\gamma }}^{\nu }\}=2{\eta }^{\mu \nu }$, define ${\hat{\gamma }}^{\mu \nu }=[{\hat{\gamma }}^{\mu },{\hat{\gamma }}^{\nu }]/2$. The spinor covariant derivative isUnder a local Lorentz transformation, the matrix connection acquires the inhomogeneous term needed to make ${\nabla }_aϵ$ transform as a spinor. The derivative of the vierbein in the boxed formula is therefore essential.

For the conformally flat metric, choose $e^{\mu }{}_a=\Omega {\delta }^{\mu }{}_a$ and $e_{\mu }{}^a={\Omega }^{-1}{\delta }_{\mu }^a$. Let ${\ell }_a={\partial }_a\log \Omega$ and raise these coordinate indices temporarily with the flat metric $\eta$. Directly evaluating the Christoffel symbols givesSince ${\partial }_a{e}^{\mu }{}_b=\Omega {\ell }_a{\delta }_b^{\mu }$, the connection formula yieldsThis is the spin connection of a conformally flat metric in the specified conformal frame. It is frame dependent, unlike an invariant curvature tensor.

Set $L={\hat{\gamma }}^c{\ell }_c$. Antisymmetry of $\omega$ makes its action on spinorsFor $ϵ={\Omega }^{1/2}{ϵ}_0$ with ${\partial }_a{ϵ}_0=0$, we have ${\partial }_aϵ={\ell }_aϵ/2$. The Clifford algebra gives $\{{\hat{\gamma }}_a,L\}=2{\ell }_a$, soThe curved gamma matrices are ${\gamma }_a=\Omega {\hat{\gamma }}_a$ and ${\gamma }^a={\Omega }^{-1}{\hat{\gamma }}^a$. ConsequentlyThus the rescaled field is a twistor spinor. Multiplying this last equation by ${\gamma }_b$, symmetrizing in $a,b$ and using $\{{\gamma }_a,{\gamma }_b\}=2g_{ab}$ provesThis is the conformal rescaling of a parallel spinor to a twistor spinor. It does not claim that the rescaled spinor remains parallel in the conformal metric; the nonzero connection and the derivative of ${\Omega }^{1/2}$ combine precisely into its gamma-trace part.

Choose a local orthonormal coframe $e^A$ with $g={\eta }_{AB}{e}^A{e}^B$. The Levi-Civita connection is represented by the connection 1-forms satisfyingThe gamma matrices satisfy the Clifford algebra relations $\{{\gamma }^A,{\gamma }^B\}=2{\eta }^{AB}I$. The matrices $\frac{1}{4}[{\gamma }^A,{\gamma }^B]$ represent the infinitesimal orthogonal transformations on spinor fields; lifting the frame connection to this representation defines the spinor covariant derivativeBoth frame indices are summed, so each antisymmetric pair occurs twice. Under a local Lorentz transformation with spin lift $S$, the spin connection transforms as ${\Omega }_{\mu }\mapsto S{\Omega }_{\mu }{S}^{-1}-({\partial }_{\mu }S)S^{-1}$ and $ϵ\mapsto Sϵ$; consequently ${\nabla }_{\mu }ϵ\mapsto S{\nabla }_{\mu }ϵ$. This establishes covariance. Global construction requires a compatible spin structure (and the appropriate orientation and time orientation); the formulas themselves work on a local orthonormal frame patch.

The supplied gamma matrices have squares $-I,I,I$ and anticommute pairwise, so $\eta =\mathrm{diag}(-1,1,1)$. Work on a connected regular patch with $r>0$ and $V\ne 0$. Since the metric depends only on $V^2$, we may use its positive smooth square root $V>0$. TakeTheir exterior derivatives are $d{e}^0=-V^{\prime }{e}^0\wedge e^1$, $d{e}^1=0$, and $d{e}^2=(V/r)e^1\wedge e^2$. Solving Cartan's first structure equation and imposing Lorentzian connection-form antisymmetry givesIn particular ${\omega }_{01}=-V{V}^{\prime }dt$ and ${\omega }_{12}=-Vd\theta$. The parallel spinor equations are thereforeDifferentiate the angular equation with respect to $r$ and use ${\partial }_rϵ=0$. This gives $V^{\prime }{\gamma }^1{\gamma }^2ϵ=0$. Since $({\gamma }^1{\gamma }^2{)}^2=-I$, this matrix is invertible. A parallel spinor that vanishes at any point vanishes everywhere on the connected domain, by uniqueness of parallel transport. Thus a nonzero parallel spinor implies $V^{\prime }=0$ throughout the patch. There are no nonzero parallel spinors unless $V$ is constant. The zero spinor field is always a solution, so “nonzero” is essential in interpreting the printed assertion. A smooth original $V$ of either sign is constant on such a patch exactly when $|V|$ is constant; $V=0$ is excluded because the given metric is not defined there.