Compactification in string theory Created 2026-10-05 Updated 2026-10-06
Compactification makes some target spatial dimensions compact and sufficiently small that lower-energy observations see an effective lower-dimensional spacetime. A simple geometry is a product of noncompact spacetime with a compact internal manifold; its momentum and winding sectors influence the effective spectrum. Reaching a four-dimensional model from a critical ten-dimensional superstring requires such additional geometric and field-theoretic data. Worldsheet supersymmetry alone does not choose the compactification or establish a realistic particle spectrum.
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.
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.
Majorana Grassmann bilinear interchange Created 2026-10-05 Updated 2026-10-06
For Grassmann-odd spinors in two dimensions with , and , moving components past each other gives and . The transpose of a two-gamma product reverses its order; the Grassmann sign and the antisymmetry of cancel. For , this also gives . These identities fix the boundary variation in worldsheet supersymmetry; commuting spinors would not obey the same interchange rule.
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.
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 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.
Use the free-boson operator product expansion
Write and . The needed Wick contractions are and . For , the cross double contraction in the worldsheet stress tensor has a cubic pole: either of its two derivatives can contract with the derivative in , while the other contracts with . Including the factor gives
A primary operator has no cubic pole. Hence the first vertex is primary precisely when
The antiholomorphic conformal weight is . Primarity alone puts no mass-shell condition on .
For , the holomorphic cubic pole is . The antiholomorphic operator product expansion gives the analogous pole involving . Thus the transversality of derivative-exponential primary vertices requires
There is no trace-free requirement for primarity. A physical integrated string vertex operator must additionally have conformal weights ; for this vertex that gives .
Now keep the fermionic signs in the real chiral Majorana fermion calculation. Contracting the external through gives
Multiplying by and Taylor expanding at produces
This proves that is a primary operator with weight . To find the central charge, in the two double-contraction pairings contribute, before the overall factor ,
The single Wick contractions give , so
Comparing the leading term with proves , as in the free chiral Majorana fermion conformal field theory.
With four embedding bosons and the ordinary reparameterization bc ghost system, cancellation of the worldsheet Weyl anomaly in each chirality requires
Thus there are 44 real left-moving and 44 real right-moving fermions, equivalently 44 two-dimensional nonchiral Majorana fermions. These are internal free fermions in a four-dimensional bosonic string. Adding internal matter to the bosonic string does not introduce local worldsheet supersymmetry or its superghosts.
For the requested polynomial string vertex operators, work in the unprojected Neveu–Schwarz sector. A full model also chooses spin structures and a consistent projection, which the central-charge condition alone does not specify. If the holomorphic and antiholomorphic oscillator contributions to the conformal weights are , physicality requires
Therefore only equal levels at most one can contribute to the requested nonpositive bosonic string mass spectrum.
With zero fermion insertions, level zero gives the tachyon vertex operator , a scalar with . Level one gives the massless closed-string vertex operator , with the transverse conditions above and the string-state gauge redundancy that removes longitudinal polarizations. The physical transverse polarization tensor decomposes into a symmetric trace-free graviton, an antisymmetric Kalb–Ramond field, and a scalar dilaton. In four spacetime dimensions these have respectively two, one, and one physical polarizations; the two-form can be dualized to a scalar.
With two fermion insertions there are two possibilities. One fermion in each chirality gives
These are scalar tachyons before any projection. There is no spacetime derivative or spacetime polarization to impose a vector transversality condition.
Two different fermions in the same chirality form an antisymmetric fermion bilinear, a weight-one current ; equal-species undifferentiated bilinears vanish. Closed-string level matching then requires a weight-one bosonic derivative in the opposite chirality. The resulting string vertex operators are
They have and are gauge vectors, with and , and likewise for . Each chirality supplies gauge vectors. The fermion bilinears generate the two current algebras associated with the Special orthogonal Lie algebra, giving the unprojected gauge group . The tempting vertex alone fails closed-string level matching because its weights are before the common momentum contribution. Additional derivatives raise the levels above the nonpositive-mass range; a product of a left and a right bilinear has four fermion insertions and is outside this requested sector. This completes the zero- and two-fermion vertices of an internally fermionized bosonic string; a specified global projection can remove some of the listed states.
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.
The fields constitute an RNS string coupled to two-dimensional worldsheet supersymmetry. The zweibein and worldsheet gravitino impose constraints; they do not supply extra propagating string polarizations. Worldsheet diffeomorphisms, local frame rotations and Weyl transformations put the metric locally in conformal gauge, . Local supersymmetry together with super-Weyl symmetry removes the worldsheet gravitino, giving superconformal gauge . On a general closed worldsheet, moduli and spin structures remain and must still be summed or integrated over; gauge fixing is not a declaration that every surface is globally a flat cylinder.
Variation with respect to the metric and worldsheet gravitino before gauge fixing gives the stress-tensor and supercurrent constraints and . The remaining matter consists of free and their worldsheet fermions. In covariant quantization, these become the N=1 super-Virasoro algebra physical-state conditions: positive Virasoro and supercurrent modes annihilate a physical state, , and the R sector also has the zero-mode condition . Null gauge states are quotiented out. Equivalently, physical states are BRST cohomology classes, so BRST-exact operators do not represent additional physical states.
The diffeomorphism ghosts have central charge , while the bosonic superconformal ghosts have charge . Matter contributes . Therefore quantum gauge consistency requires
This is the critical dimension of the RNS superstring. In light-cone gauge in string theory, choose nonzero , make linear in worldsheet time and set . The stress-tensor and supercurrent constraints solve for the longitudinal and oscillators. Only eight transverse bosons and eight transverse fermions remain, with positive norm. This explicitly eliminates the time-like and longitudinal unphysical states.
In a chiral sector the fermions have half-integral modes in the NS sector and integral modes in the R sector. The normal-ordering constant of a string is and . The GSO projection retains odd fermion-excitation parity in the NS sector, removing its tachyonic vacuum. In the R sector it keeps one chirality of the zero-mode spinor, with oscillator parity included in the projection. The Ramond zero-mode Clifford algebra then leaves eight ground-state polarizations in light-cone gauge in string theory.
Worldsheet supersymmetry alone does not imply spacetime supersymmetry. The GSO projection makes the spinorial worldsheet currents mutually local with the retained vertex operators and pairs their NS and R states. More explicitly, let be an RNS spin field and the bosonized superghost scalar. The spacetime supercharges are generated by
and similarly in the other chiral sector. The spin field has conformal weight , and its superghost factor has weight , so the current has weight one. Its operator products generate the spacetime translation operator; schematically . This is the spacetime supercharge from an RNS spin field. For type IIA superstring theory, the left and right Ramond projections select opposite ten-dimensional Majorana-Weyl chiralities, giving 32 real supercharges and a nonchiral spacetime theory.
The massless physical states are best counted with the transverse little group . Choose the left Ramond ground representation and the right one . Then
The NS-NS sector supplies the graviton, Kalb–Ramond field and dilaton, with , and polarizations. The RR sector supplies a one-form potential and a three-form potential, with and polarizations. The mixed sectors supply two gravitinos of opposite chirality, each with polarizations, and two dilatinos, each with . Covariantly the dilatino has chirality opposite to its corresponding supersymmetry parameter; the two chirality sets are both present. Thus the massless type IIA spectrum has
These fields form the massless type IIA supergravity multiplet.
For the first massive level of a chiral RNS sector, restore through
The first positive value is one. The NS states therefore have level . A complete transverse basis after GSO projection is
All contain odd fermion-excitation parity. Their respective dimensions are , and , so the NS count is . These are the first massive GSO-projected Neveu–Schwarz states. The middle family decomposes into . Together the families assemble into the massive representations : a symmetric traceless rank-two tensor and a three-form, since and .
In the R sector, the first massive level is . If the retained right-moving ground spinor is , its two families are
The Ramond spinors have opposite zero-mode chiralities in these two families: inserting one fermionic oscillator reverses the oscillator contribution to the GSO condition, so the second family must use the opposite zero-mode chirality. Each family has states. Hence
These first massive GSO-projected Ramond states form the gamma-traceless vector-spinor representation of , of dimension . Its transverse branching is . The right-moving sector therefore contains bosons and fermions, a massive chiral superstring supersymmetry multiplet.
For the closed string, closed-string level matching requires the left and right shifted levels to agree. Both chiral sectors at this first massive mass have NS states and R states. The bosons lie in the NS-NS sector and RR sector, while the mixed sectors are fermionic. Consequently
Their total is . A massive ten-dimensional state with 32 real supercharges and no central charges has sixteen fermionic creation operators in its rest-frame supersymmetry algebra, giving a long multiplet of this size. Thus the chiral equality, the four closed sectors and level matching are consistent with the first massive type IIA long supermultiplet, rather than merely matching an isolated number of right-moving states.
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.
Use the classically equivalent Polyakov action, fix worldsheet diffeomorphisms and Weyl invariance, and perform a Wick rotation of the string worldsheet. In complex coordinates, the worldsheet ghost action for the closed string is
The worldsheet ghost fields are anticommuting. Their conformal weights are , and , . The two chiral sectors are counted separately.
In either chiral sector, each embedding coordinate is a free boson conformal field theory with central charge one. For the bc system, putting in gives . Cancellation of the worldsheet Weyl anomaly requires
The antiholomorphic sector gives the same equation, rather than doubling the required critical dimension of string theory. This dimension count assumes flat target spacetime with just the embedding fields; more general internal conformal field theories change the matter accounting.
For the spinning string, the worldsheet Majorana fermions have conformal weight . At , the complex anticommuting bc system has ; a real Majorana spinor contributes half of this. Hence real worldsheet Majorana fermions contribute per chiral sector. Ramond sector versus Neveu–Schwarz sector changes their mode numbers and vacuum energies, not this local central charge.
The additional local worldsheet supersymmetry has a fermionic gauge parameter, so its superconformal ghosts are commuting fields forming a beta-gamma system, with conformal weights and in the holomorphic sector. Commuting statistics reverse the sign of the bc system formula, giving
Together with the reparameterization worldsheet ghost fields, their total central charge is . Thus
These cancellations make the string worldsheet gauge symmetries compatible with quantization; in the BRST symmetry formulation they enter the nilpotence condition for the BRST operator.
Spinning string Created 2026-10-05 Updated 2026-10-06
The spinning string adds worldsheet Majorana fermions and local worldsheet supersymmetry to the embedding coordinates. Its gauge-fixed quantum description is the Ramond–Neveu–Schwarz formulation of the superstring.
Spin-structure obstruction to constant worldsheet supersymmetry Created 2026-10-07 Updated 2026-10-14
The local rigid worldsheet supersymmetry identity does not by itself prove preservation of every spin structure. If is periodic on a spatial circle and is antiperiodic, a constant gives antiperiodic . It does not preserve the bosonic boundary condition. Compatible periodic fields admit the constant transformation; other sectors must be handled with the local superconformal formulation and their global spin data.
Superstring theory 2026-10-06
String theories with worldsheet fermionic degrees of freedom and the corresponding supersymmetric consistency conditions. In the RNS string description, consistent supersymmetric GSO projections produce spacetime supersymmetry and remove the NS tachyon. The flat critical dimension is ten. Worldsheet supersymmetry alone does not guarantee spacetime supersymmetry without a suitable projection.
Super-Weyl symmetry 2026-10-06
A local fermionic gauge symmetry shifting the gamma-trace part of the worldsheet gravitino, schematically . Together with local worldsheet supersymmetry it permits the gravitino to be set to zero locally in superconformal gauge. Global spin structures and moduli still remain.
Worldsheet gravitino Created 2026-10-05 Updated 2026-10-06
The worldsheet gravitino is the fermionic vector-spinor gauge field for local worldsheet supersymmetry, paired with the worldsheet metric in two-dimensional supergravity. In a locally supersymmetric string action it couples to the worldsheet supercurrent. Fixing its gauge and the bosonic conformal gauge leaves the usual flat rigid transformations on embeddings and worldsheet Majorana fermions; it should not be silently omitted when claiming an arbitrary curved-worldsheet locally supersymmetric action.