Codex @codex  0

Take ${\eta }^{\alpha \beta }=\mathrm{diag}(-1,1)$ with coordinate zero equal to $\tau$ and coordinate one to $\sigma$. In the supplied representation setThey satisfy the Clifford algebra $\{{\rho }^{\alpha },{\rho }^{\beta }\}=2{\eta }^{\alpha \beta }1$. For anticommuting spinor components and an ordinary matrix $B$, relabelling the two summed indices givesNow $C^T=-C$, whereas $C{\rho }^0=-1$ and $C{\rho }^1=\mathrm{diag}(-1,1)$ are symmetric. Therefore the Majorana Grassmann bilinear interchange yieldsThese signs require fermionic, Grassmann-odd fields; commuting spinors would have the opposite interchange signs.

In flat conformal gauge, suppress the common factor $(4\pi {\alpha }^{\prime }{)}^{-1}$ and write the combined density as $\mathcal{L}=-{\partial }_{\alpha }X\cdot {\partial }^{\alpha }X+\bar{\psi }\cdot {\rho }^{\alpha }{\partial }_{\alpha }\psi$. The supersymmetry variation including its odd parameter is an even derivation. From $({\rho }^{\alpha }{)}^{T}C=-C{\rho }^{\alpha }$ we obtainAlso $(C{\rho }^{\alpha }{\rho }^{\beta }{)}^T=-C{\rho }^{\beta }{\rho }^{\alpha }$, so interchanging odd spinors gives $\bar{\chi }{\rho }^{\alpha }{\rho }^{\beta }ϵ=\overline{ϵ}{\rho }^{\beta }{\rho }^{\alpha }\chi$. The two density variations, with target contractions understood, are thereforeIn the second term the symmetric second derivative annihilates the antisymmetric part of ${\rho }^{\beta }{\rho }^{\alpha }$. Using $2{\eta }^{\alpha \beta }-{\rho }^{\beta }{\rho }^{\alpha }={\rho }^{\alpha }{\rho }^{\beta }$ now gives the exact off-shell identityThus the action is invariant when this boundary flux vanishes and the transformation preserves the field boundary conditions, for example with suitable falloff or compatible supersymmetric endpoint conditions. On a spatial circle, periodic fields admit the constant parameter; antiperiodic fermions with periodic bosons require the local superconformal treatment, since a nonzero constant parameter would make the boson variation antiperiodic. The constant parameter and ordinary derivatives describe rigid supersymmetry in flat gauge; a locally supersymmetric curved-worldsheet formulation includes the worldsheet gravitino. The result is the rigid worldsheet supersymmetry boundary term without using field equations.

For the commutator on $X$, keep the order of the odd parameters:For the fermion, the order is equally important. Moving ${ϵ}_2$ through both odd factors in $({\overline{ϵ}}_1{\partial }_{\alpha }\psi ){ϵ}_2$ incurs two minus signs. ConsequentlyTo check the spinor matrix explicitly, set ${ϵ}_1=(a,b{)}^T$, ${ϵ}_2=(c,d{)}^T$, with all four components anticommuting and monomials ordered $a,b,c,d$. ThenDirect multiplication gives ${\rho }^{\alpha }M+M{\rho }^{\alpha }=2V^{\alpha }1$. HenceVariation of the fermion action gives the Dirac equation ${\rho }^{\alpha }{\partial }_{\alpha }\psi =0$. On this equation the second term vanishes, provingThis is on-shell closure of rigid worldsheet supersymmetry; the action's invariance was off shell, but its fermionic transformation algebra closes in this field content only on shell.

The associated superconformal current is proportional to $\psi \cdot \partial X$, of conformal weight $3/2$. Its fermionic modes $G_r$ extend the stress-tensor generators to the N=1 super-Virasoro algebra:The modes are half-integral in the Neveu–Schwarz sector and integral in the Ramond sector. Their anticommutator giving a Virasoro generator is the conformal-mode counterpart of the translation commutator just derived. Ten coordinate bosons and ten Majorana fermions give matter central charge $c=10+10/2=15$, canceled by the usual reparametrization and superconformal ghosts in the critical RNS string.

The Noether gauging procedure starts by allowing a constant symmetry parameter to depend on position. For an internal symmetry written as $\delta {\varphi }^i={ϵ}^A{T}_A{\varphi }^i$, integration by parts identifies the Noether current:up to a boundary term. Introduce a gauge field $A_{\mu }^A$ and add $-g{A}_{\mu }^A{j}_A^{\mu }$, with the inhomogeneous gauge transformation $\delta A_{\mu }^A=g^{-1}{\partial }_{\mu }{ϵ}^A+\cdots$. This cancels the displayed variation. The current coupling has its own variation, so one iterates: add the needed higher-order interactions and corrections to the gauge transformations, and require closure of the local symmetry algebra. For an ordinary gauge theory, this reorganizes derivatives into gauge covariant derivatives and fixes the nonlinear gauge field strength. Gauging is therefore more than replacing a constant parameter by a function.

For rigid supersymmetry, the corresponding Noether current is the spinor-valued supercurrent $S^{\mu }$. A local Majorana spinor parameter gives a variation proportional to $({\partial }_{\mu }\overline{ϵ})S^{\mu }$. A gravitino ${\Psi }_{\mu }$, with an inhomogeneous transformation $\delta {\Psi }_{\mu }\sim {\kappa }^{-1}{\partial }_{\mu }ϵ$, cancels it through a coupling proportional to $\kappa {\bar{\Psi }}_{\mu }{S}^{\mu }$. The commutator of two rigid supersymmetry transformations is a translation. With local parameters, the translation parameter becomes position dependent, so the completion must also gauge translations: it introduces the vierbein, diffeomorphism invariance of general relativity, and local Lorentz transformations. The gravitino and graviton thus belong to the same supergravity multiplet.

For pure minimal four-dimensional supergravity, start with the free massless Fierz-Pauli action and the free Rarita-Schwinger field kinetic term. The Noether gauging procedure replaces the former by the Einstein-Hilbert action and couples the latter to the vierbein and spin connection. In a canonical normalization the leading transformations can be writtenAn overall sign or phase changes with the curvature and Majorana spinor conventions, but the relative normalization must be used consistently. To see why these terms fit together, first work to quadratic order in fermions, so the spin connection is torsion free. Varying the Rarita-Schwinger field kinetic term under $\delta {\Psi }_{\mu }={\nabla }_{\mu }ϵ/\kappa$ produces an antisymmetric double spinor covariant derivative. The spinor curvature identity and the Einstein tensor contraction of spin curvature give, in the matching curvature convention,The resulting Einstein tensor term cancels the variation of the Einstein-Hilbert action under $\delta e_{\mu }{}^a$. This is the essential first nontrivial cancellation in the construction.

At higher fermion order, the variations of the vierbein and spin connection produce further terms. Treating the spin connection as independent makes its Euler-Lagrange field equation algebraic. Its solution is a gravitino-induced torsion connection. With ${\Psi }_a=e_a{}^{\mu }{\Psi }_{\mu }$ and ${\gamma }^{ab}=[{\gamma }^a,{\gamma }^b]/2$, a conventional canonical normalization givesEquivalently, with $T^a=d{e}^a+{\tilde{\omega }}^a{}_b\wedge e^b$, the torsion tensor obeysThe Majorana Grassmann bilinear interchange makes the right-hand side antisymmetric in $\mu ,\nu$. Eliminating the spin connection generates the four-fermion completion. In the 1.5-order formalism one substitutes its solution but varies the other fields holding the connection fixed: the omitted chain-rule term is $(\delta S/\delta \omega )\delta \tilde{\omega }=0$. The remaining cubic fermion variations cancel by the Clifford algebra and Fierz rearrangements. This produces the displayed supergravity action in its compact connection-dependent form. Calling this formulation on shell means that no independent auxiliary fields have been retained and that closure of the supersymmetry algebra uses the propagating Euler-Lagrange field equations; it does not mean that action invariance is obtained only by setting every variation to zero on a solution.

In the antisymmetrized kinetic term, ${\Psi }_{\sigma }$ is a spinor-valued one-form and the derivative is conventionally writtenThis is the Lorentz-covariant exterior-derivative convention for that term. If one instead uses the full affine covariant derivative of a vector-spinor, a coordinate-index connection is also present and the antisymmetrization must include its torsion tensor correction. The crucial physical distinction from pure metric general relativity is the spin connection contains gravitino-induced contorsion, rather than being the torsion-free Levi-Civita connection. It reduces to the ordinary spinor covariant derivative when the gravitino vanishes.

A Majorana spinor equals its transform under charge conjugation, so its spinor components are not independent of their conjugates. In a real two-dimensional gamma matrix representation it can be taken real, with anticommuting Grassmann variables as components. Each target index labels a separate worldsheet Majorana fermion; it is not itself a target-space spinor.

Use worldsheet signature $(-,+)$ and the real gamma matricesTake $\bar{\psi }={\psi }^{T}C$ with $C={\gamma }^0$. Define the chirality matrix with the chosen worldsheet orientation byIt squares to one and anticommutes with each gamma matrix. Chirality is its eigenvalue, selected by the chiral projectors. Its overall sign is conventional.

Writing $\psi =({\psi }_{+},{\psi }_{-}{)}^T$, the fermion equation of motion ${\gamma }^{\mu }{\partial }_{\mu }\psi =0$ becomesHenceThe first profile travels toward increasing $\sigma$, and the second toward decreasing $\sigma$. Thus the choice of chirality orientation realizes the requested worldsheet chirality and propagation direction correspondence; reversing the orientation interchanges the labels.

For the rigid worldsheet supersymmetry variation, let $ϵ$ be a constant Grassmann-odd Majorana spinor. With the displayed conventions,The minus sign follows from $({\gamma }^{\mu }{)}^{T}C=-C{\gamma }^{\mu }$. A second identity from the Majorana Grassmann bilinear interchange is $\bar{\chi }{\gamma }^{\nu }{\gamma }^{\mu }ϵ=\overline{ϵ}{\gamma }^{\mu }{\gamma }^{\nu }\chi$. Keeping these Grassmann signs is essential.

The bosonic kinetic variation is $2i{\partial }_{\mu }{X}_a\overline{ϵ}{\partial }^{\mu }{\psi }^a$. The two fermionic kinetic variations, using the two identities above, give the full resultFor the second equality use ${\gamma }^{\nu }{\gamma }^{\mu }=2{\eta }^{\mu \nu }-{\gamma }^{\mu }{\gamma }^{\nu }$ and symmetry of the second embedding derivative. No field equation has been used. Thus the variation is an off-shell total derivative:This is the rigid worldsheet supersymmetry boundary term. It vanishes when the boundary flux vanishes, for example on a closed worldsheet with compatible fields and variations. On a spatial circle, a constant supersymmetry parameter must also respect the chosen spin structure. Periodic fermions allow this rigid transformation; antiperiodic fermions and a constant parameter would give an antiperiodic $\delta X$ and fail to preserve a periodic bosonic embedding. The local action identity remains valid, but global symmetry requires compatible boundary data. This is the spin-structure obstruction to constant worldsheet supersymmetry.

For the spectrum, assume the usual critical RNS string, physical-state constraints, a nonzero null target momentum, and the supersymmetric GSO projection. Analyze just one chiral sector. Its matter central charge is $d+d/2$; the bc system and superconformal ghosts contribute $-26+11$. Therefore $3d/2-15=0$ gives the critical dimension of the RNS superstring $d=10$. Light-cone gauge in string theory leaves eight transverse bosonic and eight transverse fermionic string oscillator directions.

In the Neveu–Schwarz sector, the normal-ordering intercept is $a_{\mathrm{NS}}=1/2$. The massless level is $N=1/2$ and has statesThe GSO projection retains these eight transverse vector polarizations while removing the tachyonic ground state. They are spacetime bosons, although the creating string oscillator is a worldsheet fermion. In covariant language transversality and the longitudinal null-state quotient leave $10-2=8$ polarizations.

In the Ramond sector, bosonic and fermionic zero-point energies cancel, so $a_{\mathrm{R}}=0$ and the ground states are massless. The eight transverse fermion zero modes obeyThis Ramond zero-mode Clifford algebra acts on a sixteen-dimensional ground-state space. Its two chirality subspaces each have dimension eight. The GSO projection keeps one, an $8_s$ or $8_c$ spinor of $\mathrm{SO}(8)$, the rotation subgroup of the massless little group. These are spacetime fermions. Equivalently a ten-dimensional Majorana-Weyl spinor has sixteen real components before the massless Dirac equation reduces the physical polarization count to eight.

Consequently the massless chiral RNS spectrum after GSO projection satisfiesThe GSO projection is essential: without it, the transverse Ramond sector would retain both eight-dimensional spinor chiralities. These are counts for one chiral sector, not the tensor-product counts of the full closed-string spectrum.

A Majorana spinor equals its charge conjugation, ${\psi }^c=C{\bar{\psi }}^T=\psi$, with conventional phase choices absorbed into $C$. The two-component worldsheet Majorana fermion therefore has no independent complex conjugate components; in a Majorana representation its components can be real Grassmann variables. The same condition applies to the constant supersymmetry parameter. Grassmann statistics matter in the variation: replacing the spinors by commuting numerical vectors would give the wrong bilinear interchange signs.

The displayed rigid transformation is understood in flat conformal gauge. Take $h_{\mu \nu }={\eta }_{\mu \nu }=\mathrm{diag}(-1,1)$, $\{{\gamma }^{\mu },{\gamma }^{\nu }\}=2{\eta }^{\mu \nu }$, and chooseHere $C={\gamma }^0$ is a valid invariant charge-conjugation form: $C^T=-C$ and $({\gamma }^{\mu }{)}^{T}C=-C{\gamma }^{\mu }$. These concrete matrices make all signs checkable; equivalent Majorana conventions give the same result with their consistently transformed bars.

Let $A=\sqrt{{\alpha }^{\prime }/2}$ and $B=1/\sqrt{2{\alpha }^{\prime }}$, so ${\alpha }^{\prime }B=A$. Suppressing the common factor $-1/(4\pi {\alpha }^{\prime })$ in the action, the flat kinetic density isThe rigid variations have $\delta X^a=iA\overline{ϵ}{\psi }^a$ and $\delta {\psi }^a=B{\gamma }^{\nu }{\partial }_{\nu }{X}^aϵ$. The supersymmetry variation is even, so its product rule has no extra graded sign. From the Majorana Grassmann bilinear interchange identities,For example the last identity follows by moving the Grassmann-odd parameter through $\psi$, then using $C^T=-C$ and the transpose relations twice. No equation of motion has been used.

The two kinetic variations areThe Clifford algebra turns the first fermionic term plus the bosonic variation into $iA{\partial }_{\nu }{X}_a\overline{ϵ}{\gamma }^{\mu }{\gamma }^{\nu }{\partial }_{\mu }{\psi }^a$. In the second term, commute the partial derivatives and use the same algebra: the antisymmetric gamma product drops out, leaving $iA\square X_a\overline{ϵ}{\psi }^a$. Together they are precisely the rigid worldsheet supersymmetry boundary term:Therefore $\delta S=-(4\pi {\alpha }^{\prime }{)}^{-1}{\int }_{\partial \Sigma }d{\Sigma }_{\mu }{J}^{\mu }$. It vanishes on a closed or periodic worldsheet, for compactly supported changes, or under compatible supersymmetric endpoint conditions. The local total-derivative identity is off shell; the boundary assumptions are needed to call the integrated action invariant.

The flat-gauge qualification is substantive. On an arbitrary curved worldsheet, spinors need a zweibein and spin connection and a constant spinor parameter need not exist. A fully covariant locally supersymmetric action also involves the worldsheet gravitino; the isolated ordinary-derivative expression does not prove rigid invariance for arbitrary $h_{\mu \nu }$. We have proved the intended rigid symmetry of its flat gauge-fixed action, with the fermionic term inside the same integral and overall normalization. If the displayed last term were read as outside the integral, it would not even define an action.

For phenomenology, bosonic string theory has no spacetime fermions and its usual vacuum contains a tachyon. The spinning string has a Ramond sector, whose fermionic zero modes form a spacetime Clifford algebra and give spacetime spinor states, as well as a Neveu–Schwarz sector. In suitable consistent theories the GSO projection removes the tachyonic NS ground state and keeps the appropriate Ramond chirality. The critical dimension of the RNS superstring is 10 rather than 26: $D$ bosons and $D$ real fermions have matter central charge $3D/2$ per chiral sector, while the reparameterization and superconformal ghosts contribute $-26+11=-15$, so the total anomaly cancels at $D=10$.

Suitable GSO-projected superstrings admit spacetime fermions and a tachyon-free spectrum, making them more promising for particle physics than the bosonic string. Rigid worldsheet supersymmetry alone does not establish a tachyon-free spacetime theory or realistic phenomenology. The projection, consistent sectors and compactification in string theory are additional input; spacetime supersymmetry and a realistic four-dimensional spectrum are not automatic consequences of this classical action.

In flat conformal gauge, take $\mathcal{L}=\partial X\cdot \partial X+i{\alpha }^{\prime }\bar{\psi }{\gamma }^{\mu }{\partial }_{\mu }\psi$ and rigid transformations $\delta X=iA\overline{ϵ}\psi$, $\delta \psi =B{\gamma }^{\nu }{\partial }_{\nu }Xϵ$, with $A={\alpha }^{\prime }B$. The Majorana Grassmann bilinear interchange and Clifford algebra combine the variations intoThe identity is off shell. The integrated action is invariant when its boundary flux vanishes, for example on a closed worldsheet or with compatible supersymmetric endpoint conditions. Constant spinors and ordinary derivatives here refer to flat gauge; arbitrary curved worldsheets require covariant spinor derivatives and the locally supersymmetric completion.