Use and keep each constant odd supersymmetry parameter on the left. The transformation of a fermion may be written or , since the bosonic derivative commutes with the parameter. The variation itself is even, so it obeys the ordinary product rule; the signs below arise when moving an odd parameter past an odd field.
First consider the transformation. Suppress target indices and put . Its bosonic part varies as
For the first fermion, moving to the left gives
The second fermion does not vary under . Since , these terms combine to . The other parameter gives the same cancellation with and . Therefore
This proves worldsheet supersymmetry invariance up to the rigid worldsheet supersymmetry boundary term, without using field equations.
For an open string, the boundary term is part of the invariance statement. For example, a Neumann endpoint has and compatible fermion gluing , . The spatial boundary flux vanishes when . Both endpoints must admit the same preserved parameter. Opposite gluing signs, giving the Neveu–Schwarz sector, do not preserve a nonzero constant parameter at both ends. Thus the local bulk identity and the existence of a global rigid charge on a particular open-string sector are distinct. The local superconformal symmetry remains the basis of the string constraints; this is consistent with the spin-structure obstruction to constant worldsheet supersymmetry.
Now write and , . The other two components vanish. The action implies , and , so these supercurrents are chiral and conserved locally. At equal time, the given canonical commutation relations imply
With , contraction with this commutator gives
The parameter-weighted charge is even. Since the parameters anticommute with the fermions,
Using the PDF's normalization yields
Thus the charge generates all the specified supersymmetry transformations. Dropping the factor in the fermion anticommutator, as happens in the converted TeX, would fail this check. The original PDF has the correct factor.
To calculate the supercurrent bracket, put and . The equal-time bosonic relations give
Bosonic and fermionic fields commute. Expanding the two current products, commuting the bosonic factors once and using the fermion anticommutator gives the noncentral part
For an ordinary smooth bilocal coefficient, the distributional derivative identity is
For the fermion bilinear, its coincident classical value, or its coincident normal-ordered value, is zero by antisymmetry against the symmetric target metric. The second term is . Since , we have . It follows that the noncentral current bracket is
This is the canonical supercurrent bracket of free RNS matter. The other chirality similarly gives and on shell.
The printed current identity is the classical, or noncentral, part of the algebra. Fully quantized coincident products require normal ordering; the matter algebra then also has a central contact term proportional to in the current anticommutator. The 10 bosons and 10 real fermions contribute matter central charge . The central term cannot be discarded in a literal quantum operator identity, although it is irrelevant to identifying the local noncentral stress tensor above.
The other brackets close on these same currents. The stress-tensor commutator contains and and, quantum mechanically, a central term. The stress-tensor–supercurrent commutator contains and , expressing the conformal weight of . The supercurrent anticommutator contains and its central term. In a conventional normalization of Fourier modes these form the N=1 super-Virasoro algebra:
Here and are central terms supported at zero total mode number; their detailed coefficients are not needed for this request. The indices are half-integers in the Neveu–Schwarz sector and integers in the Ramond sector. Opposite chiralities commute or anticommute as appropriate.
For the closed RNS string, impose a copy of the constraints in each chirality. In the Neveu–Schwarz sector, the physical conditions are
In the Ramond sector, use vacuum-normal-ordered generators with zero Ramond intercept. Then
The Ramond zero-mode equation is essential: its square gives the mass-shell condition in this convention, , and on the oscillator ground sector it is the spacetime Dirac constraint. In a convention whose unshifted plane generator has , the zero-mode equation instead sets that shifted combination to zero; these are the same condition, not competing intercepts.
For either choice, the corresponding tilded constraints hold on the other side. Both chiral mass-shell conditions and closed-string level matching are required:
The state sectors are NS–NS, NS–R, R–NS and R–R. Quotienting physical null states removes unphysical longitudinal polarizations; equivalently, use the appropriate BRST cohomology including the superconformal ghosts. A consistent superstring also specifies the GSO projection. It is an additional sector selection, not a replacement for these local super-Virasoro constraints. Physical states satisfy both chiral positive-mode and zero-mode constraints, level matching, and the null-state quotient; Ramond states additionally obey the fermionic zero-mode constraint.
Take with coordinate zero equal to and coordinate one to . In the supplied representation set
They satisfy the Clifford algebra . For anticommuting spinor components and an ordinary matrix , relabelling the two summed indices gives
Now , whereas and are symmetric. Therefore the Majorana Grassmann bilinear interchange yields
These signs require fermionic, Grassmann-odd fields; commuting spinors would have the opposite interchange signs.
In flat conformal gauge, suppress the common factor and write the combined density as . The supersymmetry variation including its odd parameter is an even derivation. From we obtain
Also , so interchanging odd spinors gives . The two density variations, with target contractions understood, are therefore
In the second term the symmetric second derivative annihilates the antisymmetric part of . Using now gives the exact off-shell identity
Thus 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 , keep the order of the odd parameters:
For the fermion, the order is equally important. Moving through both odd factors in incurs two minus signs. Consequently
To check the spinor matrix explicitly, set , , with all four components anticommuting and monomials ordered . Then
Direct multiplication gives . Hence
Variation of the fermion action gives the Dirac equation . On this equation the second term vanishes, proving
This 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 , of conformal weight . Its fermionic modes 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 , canceled by the usual reparametrization and superconformal ghosts in the critical RNS string.
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 matrices
Take with . Define the chirality matrix with the chosen worldsheet orientation by
It squares to one and anticommutes with each gamma matrix. Chirality is its eigenvalue, selected by the chiral projectors. Its overall sign is conventional.
Writing , the fermion equation of motion becomes
Hence
The first profile travels toward increasing , and the second toward decreasing . 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 . A second identity from the Majorana Grassmann bilinear interchange is . Keeping these Grassmann signs is essential.
The bosonic kinetic variation is . The two fermionic kinetic variations, using the two identities above, give the full result
For the second equality use 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 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 ; the bc system and superconformal ghosts contribute . Therefore gives the critical dimension of the RNS superstring . 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 . The massless level is and has states
The 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 polarizations.
In the Ramond sector, bosonic and fermionic zero-point energies cancel, so and the ground states are massless. The eight transverse fermion zero modes obey
This 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 or spinor of , 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 satisfies
The 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, , with conventional phase choices absorbed into . 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 , , and choose
Here is a valid invariant charge-conjugation form: and . These concrete matrices make all signs checkable; equivalent Majorana conventions give the same result with their consistently transformed bars.
Let and , so . Suppressing the common factor in the action, the flat kinetic density is
The rigid variations have and . 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 , then using and the transpose relations twice. No equation of motion has been used.
The two kinetic variations are
The Clifford algebra turns the first fermionic term plus the bosonic variation into . In the second term, commute the partial derivatives and use the same algebra: the antisymmetric gamma product drops out, leaving . Together they are precisely the rigid worldsheet supersymmetry boundary term:
Therefore . 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 . 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: bosons and real fermions have matter central charge per chiral sector, while the reparameterization and superconformal ghosts contribute , so the total anomaly cancels at .
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.