GSO projection Created 2026-10-05 Updated 2026-10-14
The Gliozzi–Scherk–Olive projection selects consistent worldsheet fermion-number and chirality sectors in an RNS string theory. In suitable supersymmetric choices it removes the tachyonic Neveu–Schwarz sector ground state and keeps a chosen Ramond sector chirality. Together with the consistent sector combinations it produces spacetime fermions and, for theories such as Type II superstring theory, a tachyon-free spectrum. The mere presence of classical worldsheet supersymmetry does not specify this projection or guarantee tachyon removal.
A chiral Majorana fermion with modes and has and central charge . The even and odd fermion-number parts of its Neveu–Schwarz sector give unitary modules with lowest weights and . In its Ramond sector, a choice of ground-state zero-mode eigenvalue gives the module of weight ; the other choice gives an isomorphic Virasoro algebra module. Their cyclic highest-weight submodules are irreducible: a positive-energy invariant proper submodule would have a lowest vector orthogonal to every descendant of the original highest vector, which is impossible in a positive inner-product cyclic module.
Jacobi abstruse identity 2026-10-14
The identity between Jacobi theta functions has the oscillator-product form for . In a critical RNS string, dividing this identity by the eight-boson oscillator product proves equality of GSO projection-retained Neveu–Schwarz sector and Ramond sector state multiplicities at every mass level.
On a patch with , use worldsheet diffeomorphisms and worldsheet supersymmetry to fix and . The Virasoro constraints and superconformal current constraints then determine the longitudinal modes by the displayed transverse bilinears. In the Ramond sector, reduction of the fermionic zero modes includes the zero-mode Dirac constraint; fixing only nonzero modes does not complete the reduction. Eight transverse bosons and eight transverse fermions remain in the critical ten-dimensional RNS string.
A closed string sector with left-moving Neveu–Schwarz sector excitations and right-moving Ramond sector excitations. Its spacetime states are fermions. The string intercepts differ, so the pair of oscillator vacua is not level matched: . After the supersymmetric GSO projection, the lowest allowed states have and are a massless gravitino and dilatino.
Oscillator vacuum Created 2026-10-06 Updated 2026-10-20
An oscillator vacuum is annihilated by all positive-frequency oscillator annihilation operators. For a Ramond sector string this leaves a degenerate space on which the fermionic zero modes act through the Ramond zero-mode Clifford algebra. Vacuum annihilation therefore does not select a unique spinor state.
Introduce anticommuting matter fields as worldsheet Majorana fermions, transforming as target-spacetime vectors and two-dimensional spinors. The RNS string pairs them with through worldsheet supersymmetry. In flat superconformal gauge the matter action is, up to the conventional fermion normalization,
and the field equations split 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 and half-integer modes . The Ramond sector has periodic and integer modes , including . Canonical quantization replaces the classical Grassmann variables by operators satisfying
In particular obeys . 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 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 . It becomes
the 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 : its matter central charge is , the reparameterization ghosts contribute and the commuting superconformal ghosts contribute , so the total is . Spacetime fermions arise through Ramond matter zero modes, their Clifford/spinor representations and the physical-state/projection conditions. The anticommuting gauge-fixing ghosts already present in the bosonic path integral are not such matter fields and do not create physical spacetime fermions.
A supersymmetric type-II D-brane carries a Ramond–Ramond potential charge and saturates the corresponding generalized BPS bound in supersymmetry: its brane tension equals the charge-dependent central/tensorial-charge bound in the relevant normalization. It is therefore a BPS state, preserving sixteen of the thirty-two spacetime supercharges. Identical parallel branes with the same orientation impose the same supersymmetry projector. This statement does not apply to arbitrary unstable non-BPS branes or to the bosonic branes of the preceding parts.
One direct demonstration of the parallel D-brane no-force identity is the annulus vacuum amplitude. For separation , its oscillator-dependent part is proportional to
Here
The first two terms describe the projected Neveu–Schwarz sector, and the last is the oppositely signed Ramond sector contribution. The Jacobi abstruse identity gives for every . Therefore
In the closed-string channel, attractive graviton and dilaton exchange cancel repulsive Ramond–Ramond potential exchange. The classical probe calculation in the D-brane supergravity solution gives the same cancellation. The common supersymmetry allows separation to remain a flat modulus; relative angles, reversed RR charge or supersymmetry-breaking backgrounds can remove this protection. For a brane–antibrane pair the RR interaction reverses and does not cancel the NS-NS attraction. The charge and half-supersymmetry interpretation is established in Dirichlet-Branes and Ramond-Ramond Charges.
The RNS string adds worldsheet Majorana fermions to the coordinate fields . 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 is
where 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 .
Each real worldsheet Majorana fermion contributes to the chiral central charge, while each coordinate contributes one. The reparameterization bc system contributes , and fixing local worldsheet supersymmetry also produces commuting superconformal ghosts of weights , with central charge . Thus
In 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 are
They arise from the relative signs of the left-right fermion gluing conditions at the two ends. Thus the Ramond sector has integer-mode oscillators , including , and the Neveu–Schwarz sector has half-integer oscillators , , 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 is
Hence 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 . 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 . Per fermion it is the negative of the corresponding half-sum. Since , the eight transverse pairs give
Thus , , and the open string mass formula is . This distinguishes the lowest states explicitly:
The supersymmetric GSO projection keeps odd oscillator fermion number in the NS sector. Defining so that the NS vacuum has , its projector is
It removes the scalar tachyon and keeps the massless vector. In the R sector, fermion parity contains the zero-mode chirality operator, so one may write
Here 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 , with transverse counts . 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 , with self-dual five-form field strength, giving . 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 , and one gravitino and dilatino. The open states form vector and gaugino multiplets with Chan-Paton factors; tadpole and anomaly cancellation select . 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.
Write the integrand, without its common overall factor, as . Keep each constant Grassmann variable on the left. For the first supersymmetry component, varying the bosonic term gives
Varying its fermion term gives . The plus sign in the second term comes from moving the odd parameter past . The middle terms cancel and the rest form . The second supersymmetry component similarly gives . 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, is antiperiodic for constant 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 terms
The equations of motion are therefore
For variations vanishing at the temporal ends, the spatial seam term is proportional to the difference between its values at and of
The bosonic part cancels for closed string periodicity, also in a fixed winding sector. For a real fermion impose and the same relation on its variation. Seam cancellation requires , so the two untwisted possibilities are periodic, (Ramond sector), or antiperiodic, (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 series
where in R and 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 are
For 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 in the NS sector are
The antisymmetric index restrictions are consequences of fermionic anticommutation; the boson–fermion pair has all 64 choices. The displayed partitions exhaust levels at most . Here the NS normal-ordering constant of a string is .
In the R sector , and the zero modes satisfy . Thus generate the Ramond zero-mode Clifford algebra. The unprojected ground states span a sixteen-dimensional transverse spinor space, . All states in the requested range are
There 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 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 and , of opposite ground chirality, so there are states. The retained NS states are spacetime bosons and the R states spacetime fermions. Consequently the retained levels have at mass zero and at , with no tachyon.
Equality at every higher mass level follows from the standard Jacobi abstruse identity, or equivalently the equality of the transverse generating functions
The left side counts the projected NS bosons, the right side the projected R fermions. Their common coefficients start . This consistent truncation yields spacetime supersymmetry; the bulk worldsheet symmetry alone would not remove the tachyon or impose the projection.
Use and . A normalized highest-weight vector obeys and for . Its Virasoro descendants are products of negative modes. Their inner products are determined entirely by and the Virasoro algebra; for example , so unitarity requires . An irreducible unitary highest-weight Virasoro module is the Virasoro Verma module quotient by its null submodules, and its surviving inner product must be positive definite.
The classification for is the Unitary Virasoro discrete series:
where is an integer at least , , and . The identification leaves distinct modules. The two generating singular-vector levels are and ; all their Virasoro descendants are removed in the irreducible quotient. For the only module is the trivial module; for these are the nontrivial unitary discrete-series modules. There are no other irreducible unitary highest-weight representations with . This is the classification theorem, rather than a condition inferred only from finitely many descendant norms.
At , and the possible weights are
Construct them with a single free chiral Majorana fermion:
The free chiral Majorana fermion conformal field theory has . In the Neveu–Schwarz sector, , while in the Ramond sector, . With positive modes moved to the right and the zero-mode product antisymmetrized, the corresponding generators are
The oscillator relation gives . The stress-tensor operator product expansion, or the reordering of the quadratic generators, then gives the Virasoro algebra with . One can check both constants directly in the ground states. In the NS sector,
In the R sector, and , whose norm squared is . The relation requires , so . Thus the Ramond sector zero-mode shift is essential.
The three constructions in Ising Virasoro modules from a Majorana fermion are explicit. The NS vacuum is a highest-weight vector of weight . The state is a highest-weight vector of weight : applying any positive gives , including the zero coefficient for . Since is quadratic in fermions, the two cyclic modules lie in the even and odd fermion parity sectors, respectively. For R, choose a normalized ground state annihilated by all with and with . All positive annihilate it and its weight is . The two zero-mode sign choices give isomorphic Virasoro modules; one choice suffices to construct the third module.
The oscillator inner products are positive, and each cyclic highest-weight representation just constructed is irreducible. Indeed any nonzero proper invariant graded submodule would have a lowest-energy vector of weight greater than the cyclic ground weight. Every positive annihilates ; thus is orthogonal to every negative-mode descendant of the original ground vector, by moving the modes across the inner product. It is also orthogonal to that ground vector by its different eigenvalue. Since those Virasoro descendants span the cyclic module, would have zero norm, a contradiction. This proves irreducibility directly inside the positive fermionic Fock space.
In fact the cyclic modules fill the entire even NS, odd NS and chosen R Fock spaces. Otherwise an orthogonal remaining lowest vector would be the ground vector of a further unitary highest-weight Virasoro module; its weight would lie in , or , respectively. None belongs to the classified list . As a check, their Virasoro characters, defined by , are
The NS signs project onto even and odd occupation number; the R product uses the single chosen ground state. Null vectors of the abstract Virasoro Verma modules are automatically zero in this construction. In particular , and the weight- and weight- ground states obey, respectively, and , as is also verified by their level-two Gram matrices.
The Polyakov action has independent worldsheet metric and embedding fields . Varying the metric before imposing a gauge gives
Worldsheet diffeomorphisms and Weyl transformations allow conformal gauge locally. The Weyl factor then cancels out of the classical action, leaving
These are free two-dimensional scalar fields, but the surviving metric equations require
Equivalently, and . Gauge fixing does not license dropping these Virasoro constraints.
For an ordinary open string, the boundary conditions relate the two chiral sectors. With , their independent Fourier generators are
The classical oscillator Poisson brackets give the classical Virasoro constraint algebra
Thus they are first-class constraints. In the quantum theory one applies normal ordering to the product and uses . The oscillator commutator gives
For example, for the extra vacuum term is . This exhibits the Virasoro central extension rather than concealing it in a classical constraint equation. The matter central charge is ; the worldsheet ghost fields have charge . Quantum consistency sets and the string intercept to one.
In old covariant string quantization the physical-state Virasoro conditions for an open string are
Physical 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 , the oscillator vacuum is a single spacetime scalar field with : the bosonic tachyon. At , write . The zero-mode equation gives , and gives . The null descendant identifies . This leaves 24 physical polarizations of a massless gauge vector.
At , use the level-two open-string polarization decomposition
The mass is . 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 , with , shift
The additional level-two scalar Virasoro null state shifts
Substitution into the two physical equations verifies the null-state conditions; the second residual is . Because is timelike, these null shifts span all components of , so choose a representative with . The physical conditions then say and . In the rest frame this is a traceless second-rank tensor in 25 spatial dimensions, with polarizations. The light-cone basis independently gives states and symmetric states . Hence
For the fermionic extension, an explicit convention prevents ambiguity in the signs. Keep worldsheet signature and use
Take and the constant parameter to be real Grassmann-odd Majorana components, with . Put . Apart from the common factor , the combined Lagrangian is
The rigid transformations can be written
or, in components,
For the part, the bosonic variation is , while the fermionic variation is . 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 supersymmetry
Thus the action is invariant off shell up to a boundary term. The transformation is a genuine supersymmetry: on its commutator for parameters is the translation
On the same translation follows using and ; 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 ,
The free-field contractions give and conformal weight for , where . Consequently the modes obey the N=1 super-Virasoro algebra
Dropping the central terms gives the classical graded constraint algebra. Integer gives the Ramond sector; half-integer gives the Neveu–Schwarz sector. In the displayed conformal-plane convention in the Ramond sector. Shifting to the Ramond vacuum-normal-ordered zero mode gives the usual Ramond supercurrent zero-mode square .
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 . The fermionic current constraints and their physical-state conditions extend the bosonic Virasoro conditions. The ghost charges are , so cancellation with gives the critical dimension of the RNS superstring ; the NS and Ramond intercepts are respectively and zero. This distinguishes the global supersymmetry established above from its locally gauged string completion.
Use the critical ten-dimensional RNS string and light-cone gauge in string theory, leaving eight transverse bosons and eight transverse fermions. The bosonic oscillators have integer . In the Neveu–Schwarz sector the fermionic oscillators have positive half-integer , while in the Ramond sector the fermionic oscillators have integer , including zero modes. Their anticommutators are and . The level and mass formulas are
Before projection the NS ground state is a tachyon of mass squared . Its oscillator tower describes spacetime bosons. The Ramond zero-mode Clifford algebra makes the Ramond vacuum a 16-dimensional spinor of , split into the two chiral eight-dimensional spinors. The Ramond tower describes spacetime fermions; there is no Ramond tachyon.
Choose the supersymmetric GSO projection. In the NS sector it keeps states with an odd number of fermionic creation operators, eliminating the zero-oscillator tachyon. In the Ramond sector it fixes the combined parity of the zero-mode chirality and the nonzero-mode fermion number. Thus the Ramond vacuum retains one chirality; adding an odd number of nonzero-mode fermions requires the opposite zero-mode chirality. The projected towers both have . Here the counts refer to oscillator polarizations for a single endpoint multiplicity; any common Chan-Paton multiplicity multiplies both counts.
At the first retained mass level, , the NS states are for , furnishing the eight polarizations of the ten-dimensional gauge vector. The Ramond ground state is one chiral spinor with eight physical polarizations. Hence
These form the massless supersymmetric vector multiplet.
At the next mass level, , the NS level is . The odd-fermion condition leaves exactly
Their counts are , and . Anticommutation requires distinct indices in the third family. There are no other partitions of with odd fermion number, so these are all 128 bosons. They assemble into the massive little-group representations of dimensions 44 and 84: a traceless symmetric two-tensor and a three-form.
At Ramond level one, the only possibilities are and . The spinors and each have eight components and have opposite zero-mode chirality because the fermionic oscillator reverses the GSO parity. Consequently there are fermions. They form a gamma-traceless vector-spinor of the massive little group: a vector-spinor has components and its gamma trace removes 16. Therefore the first massive level of the open RNS string has
This is the open-string mass normalization; the same chiral oscillator count used in a closed string would correspond to .
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 on the strip . Varying the Grassmann-odd worldsheet Majorana fermions gives , and, up to the orientation of the strip boundary, the surface term
At each endpoint it vanishes if with , with the same relation on variations. A common sign can be absorbed by redefining one chiral field, so set . Since and , the second endpoint imposes . Equal endpoint signs give the periodic Ramond sector, and opposite endpoint signs give the antiperiodic Neveu–Schwarz sector:
These gluing choices preserve the Neumann-endpoint worldsheet supersymmetry conditions and give integer or half-integer worldsheet Majorana fermion modes, respectively.
First fix a normalization issue in the original PDF. With its stated canonical string oscillator algebra, the standard superconformal current mode is
without the printed factor . To check the Ramond supercurrent zero-mode square directly, pair positive and negative integer modes:
The zero-mode Clifford relations give . Different anticommute, and so do with the zero-mode term. The two same-sign terms in vanish by antisymmetry of the fermions and symmetry of the bosonic product. The cross terms give
The second term comes from commuting through , so the frequency factor is essential. Therefore
Here uses vacuum-annihilating Ramond normal ordering; its string intercept is zero. A plane-to-cylinder central shift must be included consistently if a different zero-mode convention is used.
For the mode actually printed, the algebra instead gives . Already the oscillator-free term gives , whereas . Thus the requested identity is not valid with both that prefactor and the supplied string oscillator algebra. Removing the prefactor gives the identity just derived. Renaming as would fix this isolated equality but would spoil the usual Virasoro normalization and the subsequent mass formula. We use the standard normalized modes in the remaining physical constraints; their vanishing is unaffected by a common nonzero rescaling.
The RNS string physical-state conditions in the two sectors are
The last condition is the fermionic zero-mode constraint; its square implies the Ramond mass-shell condition. Physical null string states are quotiented. Matter central charge is , while the reparameterization worldsheet ghost fields and superconformal ghosts contribute . Thus is the critical dimension of the RNS superstring, with and .
To solve the constraints, choose , so , and work on a patch with . In light-cone gauge in string theory fix all nonzero and all to zero. For the Ramond sector, the printed restriction to nonzero fermion modes is not by itself complete: one must also reduce the longitudinal fermionic zero modes using the zero-mode supersymmetry constraint. The usual reduced light-cone description sets the remaining to zero as well and retains the transverse Clifford algebra. Covariantly this reduction is the Dirac equation on the ground-state particle polarization; it is not an extra unconstrained canonical string oscillator.
With this reduction the string oscillator generators have the form
Repeated runs over the eight transverse directions. The coefficient in comes from the fermion worldsheet stress tensor ; for , positive and negative combine to give the occupation energy . Thus the light-cone super-Virasoro constraints are explicitly solved by
Here is in the NS sector and zero in the R sector. The zero-mode equation says . All longitudinal excitations are consequently determined by transverse bilinears. The critical dimension and string intercepts are necessary for the resulting quantum theory to preserve the target Lorentz algebra.
The frequency-weighted Neveu–Schwarz level operator is
The PDF's displayed number operator omits the fermion frequency weights and the term. With the stated anticommutators that cannot be a level operator: it would assign no level to the first fermionic excitation. The bosonic term already includes its frequency through , whereas the fermionic term must include its frequency explicitly.
One independent way to obtain the string intercept is the transverse zero-point energy. Each periodic boson contributes . Each antiperiodic real fermion contributes , with the minus sign due to fermionic normal ordering. For example a common exponential cutoff gives
Subtracting the local divergent terms leaves , so the NS string intercept is . In the Ramond sector the integer fermions instead contribute per component and cancel the bosonic contribution, giving .
The unprojected NS sector oscillator vacuum has and
It is a spacetime scalar tachyon. The first excitation has and is massless, with eight vector particle polarizations. Covariantly its particle polarization obeys modulo the longitudinal null particle polarization, leaving the same eight degrees of freedom.
The R sector oscillator vacuum is also massless, but it is degenerate because . The operators give the target Clifford algebra, and becomes . At nonzero null momentum this Dirac equation leaves sixteen unprojected on-shell spinor states. Equivalently the eight transverse zero modes give the sixteen-dimensional spin representation of . Thus the Ramond ground state describes spacetime fermions, not a single scalar oscillator vacuum.
To define the GSO projection explicitly, let count excited NS fermions and give its vacuum even parity. Then
It retains odd fermion number, removes the tachyon, and retains the eight massless vector particle polarizations. In the Ramond sector let be transverse chirality and count nonzero-mode fermions. Choose one consistent chirality sign and use
Each operator squares to itself. At the ground level retains one eight-dimensional spinor chirality, so the retained spectrum has eight massless bosonic and eight massless fermionic states. The parity convention can instead assign the NS vacuum odd parity and write a plus projector; the retained states are identical.
Equality continues at every mass level. Let count , suppressing common momentum and endpoint-label factors, and set . The projected string oscillator generating functions are
The Ramond factor eight follows because either chirality projector selects eight ground states for every nonzero-oscillator parity. The Jacobi abstruse identity makes the bracket equal to , so
This proves level-by-level equality of bosonic and fermionic multiplicities. The appropriate spacetime supercharge from an RNS spin field relates the two sectors; the projection ensures that it acts within the retained state space. These sector and chirality conventions agree with the primary superstring lecture notes. Equal total counts alone are not the definition of the projection; they follow from the stated parity selection and the string oscillator identity.
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.
Superstring theory offers a common quantum framework for gravity, gauge fields and matter; obtaining a particular viable low-energy vacuum is the additional task. Its organizing idea is that particle species are different quantum states of one extended object, with interactions determined by joining and splitting worldsheets. This makes unification more substantive than placing independent field theories alongside one another.
The central gravitational fact is the massless spin-two state in every consistent closed superstring theory. Its transverse symmetric polarization is the graviton. Decoupling of unphysical polarizations gives the spacetime gauge transformation , and low-energy consistency requires the universal coupling of this field to energy-momentum. In the small-curvature limit its interactions reproduce Einstein field equations. The string nonlinear sigma model makes this particularly concrete: quantum worldsheet Weyl anomaly cancellation constrains the background metric and other fields, and its leading metric equation is an Einstein equation. Higher powers of describe finite-string-length corrections rather than arbitrary independent gravitational couplings.
The gravitational effective action in the string frame has the schematic form
Here , and the omitted terms include gauge fields, fermions and the appropriate Ramond fields. The dilaton supplies the string coupling , while the string tension sets . Here is the dilaton-independent normalization. Splitting gives the physical gravitational coupling . Thus the coupling and length scale organize both the spectrum and interactions. A varying dilaton is a physical field, not just a freely adjustable numerical coupling.
Extended strings also change the ultraviolet question. An interaction worldsheet has no invariant pointlike splitting location, and the integration over smooth surfaces replaces many short-distance configurations responsible for divergences in point-particle gravity. Infinite oscillator towers and modular invariance are essential to that reorganization. This does not mean that every amplitude in every background is automatically finite: worldsheet degenerations can produce ordinary infrared divergences, and tadpoles can signal an inconsistent chosen vacuum. A credible quantum theory must account for these effects, rather than discard them. The proposal is nevertheless a systematic perturbative framework for quantum gravity with a physical scale and controlled expansions in and curvature.
Matter and nongravitational forces have equally concrete origins. In an RNS string, the GSO projection removes the tachyon and produces spacetime supersymmetry, with Ramond sector states furnishing spacetime fermions. Gauge bosons arise from current-algebra states of a heterotic string or from open strings ending on D-branes. For coincident D-branes, endpoint labels produce matrix-valued gauge fields: the Chan-Paton factors generate the nonabelian gauge structure. Open strings joining different brane stacks can carry bifundamental matter. These mechanisms permit gauge interactions and matter to coexist with closed-string gravity in one string background.
Consistency greatly restricts the starting theories. The flat critical superstrings live in ten spacetime dimensions. The perturbative possibilities include type IIA superstring theory, type IIB superstring theory, type I superstring theory, and the heterotic theories with gauge algebras or . Cancellation of gauge anomalies and gravitational anomalies constrains these choices; it is not permissible to assign arbitrary chiral particle content and ignore its quantum consistency. The standard mechanism combines an anomalous variation with an appropriate transformation of the antisymmetric tensor. This provides a link between the allowed matter spectrum, gauge groups and geometry.
To connect ten dimensions to four, take a suitable compactification in string theory. If the internal six-dimensional space is small enough, low-energy observers see only zero modes; excited Kaluza-Klein modes have masses of order the inverse compactification size. The metric, form fields and gauge fields on the internal space then determine four-dimensional fields and their couplings. Integrating the gravitational term over an internal volume gives the scale dependence , illustrating how apparently separate low-energy constants arise from the same dilaton and geometry.
A Calabi-Yau threefold is a useful supersymmetry-preserving choice. A heterotic Calabi-Yau compactification with a suitable holomorphic gauge bundle can preserve four-dimensional supersymmetry and generate chiral matter. Internal Dirac zero modes determine the light fermions; their index gives the net chirality, while bundle structure and possible Wilson lines determine the surviving gauge group. In the standard embedding, the net generation number is the internal Euler characteristic divided by two, up to orientation conventions. A realistic construction must supply the correct generation content and couplings, not merely some chiral fermions. Unmodified type II compactification on a Calabi-Yau threefold instead has in four dimensions; obtaining a less supersymmetric spectrum requires further ingredients such as orientifold projections, branes or fluxes.
This is where orientifolds and flux compactification can become useful. Projection and brane choices can reduce supersymmetry and engineer chiral gauge sectors. Fluxes and nonperturbative effects can generate a potential for moduli of a string compactification, which otherwise appear as additional massless scalar fields controlling volumes, shapes, gauge-bundle parameters or the dilaton. Moduli stabilization is therefore part of a plausible model, alongside supersymmetry breaking and a suitable vacuum energy. These ingredients must obey charge-cancellation and consistency conditions; they are not arbitrary additions to an otherwise complete four-dimensional model.
The relation among the candidate theories further supports a unified interpretation. T-duality exchanges momentum and winding and relates type IIA and type IIB on circles. Strong/weak coupling dualities relate other descriptions. The strong-coupling limit of type IIA exposes an additional dimension with radius
leading to an eleven-dimensional M-theory description. D-branes provide nonperturbative objects needed in these relations. The duality web suggests that apparently different perturbative superstrings describe limits of a larger structure, rather than unrelated theories competing only by choice of notation.
A plausible theory of everything must finally reproduce the Standard Model gauge group, representations, symmetry breaking and interaction strengths, together with gravity. It must explain or accommodate mass hierarchies, suppress unwanted light fields and processes, and identify a consistent cosmological background. String theory supplies mechanisms and consistency conditions for these tasks. The multiplicity of possible compactifications means that the observed low-energy theory is not fixed simply by writing a ten-dimensional string action. The case for the framework rests on its joint treatment of quantum gravity, matter and gauge forces; a complete phenomenological theory additionally requires a specified, dynamically viable vacuum and its predictions.
The PDF's displayed zero-mode term has no derivative. Read literally, vanishes for classical Grassmann variables and supplies no zero-mode symplectic structure. The subsequent canonical-algebra requests therefore require the standard kinetic term . We use that intended correction explicitly; the rest of the displayed action fixes the nonzero-mode normalization.
The Ramond level operator, with vacuum-annihilating normal ordering, is
The canonical oscillator relations, for transverse indices , are
The hermiticity convention is and . The commuting bosonic zero mode is supplied by the center-of-mass momentum. For , define and . Their bosonic occupation numbers are and their fermionic occupation numbers are . Therefore, on the Fock space generated from an oscillator vacuum,
Equivalently, creation operators raise the level by , since and . The zero modes commute with and do not change the level. The multiplier imposes
so the states are massless. In the Ramond sector the bosonic and fermionic oscillator zero-point contributions cancel, consistently with the stated zero intercept. The massless ground states are spacetime spinors, as the Ramond zero-mode Clifford algebra now shows.
Normalize . Then
Let . Each positive-frequency bosonic annihilator commutes with , while each fermionic annihilator anticommutes with it. Applying either annihilator to therefore gives zero. Thus all eight are oscillator vacua. For real , the hermitian operator satisfies , so
This proves the real independence of Clifford-generated vectors, and hence their linear independence over .
The same argument applies to the nonzero vacuum , because . It gives eight real-linearly independent oscillator vacua . They include itself, at . Products of two zero modes preserve vacuum annihilation just as products of one do.
For the chirality matrix , reversing eight anticommuting factors introduces . Hence
Moving any through the other seven factors also gives . If , then
The first collection has negative chirality; the second has positive chirality. If and have these respective chiralities, hermiticity gives , so they are orthogonal. Combining the two real-independent collections therefore gives at least sixteen real-linearly independent oscillator vacua, eight in each chirality.
The real qualification in the question matters: the particular eight vectors generated from an arbitrary complex need not be independent over . Nevertheless the dimension bound from paired Clifford involutions also follows from the full Clifford algebra. Define four commuting hermitian involutions , . Their joint spectral projections preserve the vacuum space, so it contains a nonzero common eigenvector . Multiplication by flips the eigenvalue of and leaves the other three eigenvalues unchanged. The sixteen products obtained by independently choosing whether to apply these four odd-indexed Gamma matrices to consequently have distinct joint eigenvalue quadruples. They are nonzero, mutually orthogonal oscillator vacua. Thus the unprojected vacuum space also has complex dimension at least sixteen, with eight states of each chirality in the minimal representation. A further chiral projection is an additional physical restriction, not part of the oscillator-vacuum conditions here.
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.