The RNS Spectrum and the GSO Projection
The previous page isolated the two possible spin structures of the RNS fermions. The Neveu—Schwarz sector has half-integer modes and no fermion zero modes. The Ramond sector has integer modes, including zero modes satisfying a Clifford algebra. We now turn these facts into a spacetime spectrum.
This is the first place where the superstring looks dramatically better than the bosonic string. Before one more projection, the NS sector still contains a tachyon. After the GSO projection, the tachyon disappears, the Ramond spinor has definite chirality, and the massless open-string spectrum becomes precisely the field content of ten-dimensional super Yang—Mills theory:
where is a gauge boson and is a Majorana—Weyl gaugino. In light-cone language this is the equality
depending on the chirality convention.
We will mostly discuss the open superstring, because it is the cleanest place to see the mechanism. Closed-string spectra are obtained by taking left-moving and right-moving tensor products; the type IIA and type IIB theories differ by the relative chiralities chosen in the two Ramond sectors.
Physical-state conditions and conventions
Section titled “Physical-state conditions and conventions”For the spectrum it is useful to restore explicitly. The open-string mass formulas will be written as
where is the oscillator number and is the intercept. Equivalently, writing the light-cone zero-point energy as ,
In old covariant language, a physical state obeys the positive-mode constraints
and
with in the NS sector and in the R sector. The mass-shell condition is the constraint. In the Ramond sector there is also the zero-mode constraint , which will become the spacetime Dirac equation.
In light-cone gauge the constraints have already been solved. Only the transverse oscillators remain:
for a ten-dimensional critical superstring. The open-string transverse number operators are
and
The Ramond zero modes are not part of . They act inside the degenerate Ramond ground-state space.
In light-cone gauge the Virasoro and super-Virasoro constraints remove the longitudinal oscillators. The physical RNS Fock space is built from eight transverse bosons and eight transverse fermions.
The central result of this page is the pair of mass formulas
Let us derive the intercepts and then read off the states.
Normal-ordering constants
Section titled “Normal-ordering constants”The zero-point energy is easiest to compute in light-cone gauge. Each transverse boson contributes the usual integer-mode vacuum energy
The sign for a fermionic oscillator is opposite after normal ordering. For an NS fermion the modes are half-integer, so
Thus one transverse boson-fermion pair contributes
For transverse pairs,
In the critical theory , hence
In the Ramond sector the fermion modes are integer-moded. The zero modes carry no oscillator frequency, and the nonzero modes give
This cancels the bosonic contribution:
Therefore
This cancellation is the first concrete signal that worldsheet supersymmetry has softened the vacuum energy. In the NS sector the boundary condition breaks the cancellation by half a unit; in the R sector the cancellation is exact.
The NS sector before projection
Section titled “The NS sector before projection”The NS ground state is annihilated by all positive modes:
and
It has oscillator number , so the mass formula gives
Thus the unprojected NS ground state is tachyonic. This tachyon is less severe than the bosonic open-string tachyon, whose mass is , but it is still an instability of the perturbative vacuum.
The first excited NS state is obtained by acting with one fermionic oscillator:
It has
and therefore
In covariant notation this state is written
The constraint imposes transversality. Since
the only term that acts nontrivially on the one-fermion state is the zero-mode piece . This gives
so physical states obey
The null-state equivalence generated by the constraints identifies
Thus the first NS excitation is a massless vector. In the light-cone little group it has eight polarizations and transforms as .
The first few unprojected open-string NS levels are therefore
The tachyon and the mismatch between integer and half-integer levels tell us that this cannot yet be the final superstring spectrum.
The Ramond sector before projection
Section titled “The Ramond sector before projection”The Ramond ground state is defined by
and
Here is not a decorative label. It is a spacetime spinor index, because the zero modes obey
Equivalently, define
Then
The Ramond ground states therefore form a representation of the ten-dimensional Clifford algebra. In covariant language the ground state is a spacetime spinor:
for a real ten-dimensional Majorana spinor before imposing the massless equation and chirality.
The R-sector mass formula is
Since the ground state has , it is massless:
The remaining zero-mode superconformal constraint is . On a Ramond ground state,
so it becomes
This is precisely the massless Dirac equation in ten dimensions. Thus the Ramond ground state is not merely a collection of worldsheet fermion zero modes; it is a spacetime fermion.
The Lorentz generators acting on the zero-mode spinor are
Together with the orbital and oscillator pieces, they furnish the usual Lorentz action. This is how spacetime spin enters the RNS formalism even though the fundamental field was only a worldsheet spinor.
The Ramond zero modes are gamma matrices. The Ramond ground state is a spacetime spinor; the zero-mode constraint gives the massless Dirac equation, and the GSO projection selects a definite chirality.
Counting physical fermion polarizations
Section titled “Counting physical fermion polarizations”The counting is worth spelling out because it is the simplest check of spacetime supersymmetry.
A ten-dimensional Dirac spinor has real components. The massless Dirac equation halves the number of independent on-shell components. A chirality projection halves it again at the covariant level, but for a massless spinor the cleanest physical statement is made in the light-cone little group.
For a massless particle in ten dimensions, the little group is
The physical polarizations of a gauge boson transform as the vector representation
The Ramond ground state, after choosing a definite chirality, supplies one of the two inequivalent spinor representations
Thus the massless open superstring contains exactly eight bosonic and eight fermionic physical polarizations. The equality is not an accident; it is the first visible form of ten-dimensional spacetime supersymmetry.
The GSO projection
Section titled “The GSO projection”The projection introduced by Gliozzi, Scherk, and Olive is a projection on worldsheet fermion number. Its consequences are much deeper than its definition suggests. It removes the NS tachyon, fixes the chirality of the Ramond spinor, makes the one-loop theory modular invariant, and produces spacetime supersymmetry.
In the NS sector define an oscillator fermion parity by saying that each fermionic oscillator changes the sign. The convention appropriate for the open superstring is
Therefore
while
The GSO projection keeps
Hence the tachyon is removed and the massless vector is kept.
In the Ramond sector the zero modes make fermion parity more subtle. The operator includes the spacetime chirality matrix. Schematically,
up to a conventional sign. The GSO projection keeps one chirality:
The two choices correspond to the two possible ten-dimensional Majorana—Weyl chiralities. For a single oriented open string, choosing one or the other amounts to choosing whether the massless gaugino transforms as or under the transverse little group. For closed strings, the relative choice between left and right movers is physical: equal chiralities give type IIB, opposite chiralities give type IIA.
The unprojected RNS spectrum has an NS tachyon and a nonchiral Ramond ground state. The GSO projection keeps odd NS fermion number and one Ramond chirality, producing the massless open-superstring vector multiplet.
After the projection, the open-string massless states are
The resulting low-energy theory on a stack of open strings is ten-dimensional super Yang—Mills. Chan—Paton factors will turn the single vector multiplet into an adjoint-valued vector multiplet.
Why the projection is physically forced
Section titled “Why the projection is physically forced”At this stage it may look as if the GSO projection is a clever surgery performed on the spectrum. That is too weak a view. Several independent demands point to the same projection.
First, the NS tachyon must be absent if the vacuum is to be supersymmetric. Keeping removes the tachyon and preserves the massless vector.
Second, the Ramond sector must have a definite chirality in ten dimensions. A nonchiral open-string Ramond ground state would not pair correctly with the NS vector to form a minimal supersymmetric multiplet.
Third, the projection is required by one-loop consistency. On the torus or annulus, summing over spin structures with the right signs is what produces modular-invariant amplitudes. Later, when we write theta-function partition functions, the same projection will appear as the identity behind spacetime supersymmetry.
Fourth, spacetime supercharges are built from spin fields. The GSO projection is exactly the mutual-locality condition that allows those spin fields to define good operators in the worldsheet CFT.
So the projection is not merely a way to delete an unwanted particle. It is part of the definition of the consistent superstring.
Closed strings in one paragraph
Section titled “Closed strings in one paragraph”For closed RNS strings, the left-moving and right-moving sectors are independent. Before imposing projections, the four possibilities are
The mass formula is
with level matching. The GSO projection acts separately on left and right movers. The NS—NS sector gives the graviton, -field, and dilaton. The mixed sectors give gravitini and dilatini. The R—R sector gives differential-form gauge potentials. The detailed type IIA/type IIB spectra will be worked out later, after vertex operators and ghosts are in place.
Summary
Section titled “Summary”The open RNS string has two sectors:
The NS ground state is a tachyon, while the first NS excitation is a massless vector. The Ramond ground state is massless because the R-sector zero-point energy vanishes. Its zero modes satisfy a spacetime Clifford algebra, so the ground state is a spacetime spinor, and becomes the massless Dirac equation.
The GSO projection keeps
in the NS sector, removing the tachyon, and keeps one chirality in the R sector. The massless spectrum after projection is
which is the on-shell field content of a ten-dimensional vector multiplet.
Exercises
Section titled “Exercises”Exercise 1: the NS zero-point energy
Section titled “Exercise 1: the NS zero-point energy”Use zeta-function regularization to show that one transverse boson plus one transverse NS fermion contributes to the light-cone zero-point energy. Then derive in .
Solution
For one transverse boson,
For one real NS fermion,
Since
we get
Therefore one transverse boson-fermion pair contributes
There are transverse pairs, so
For this gives
Since , we find
Exercise 2: the R zero-point energy
Section titled “Exercise 2: the R zero-point energy”Show that the bosonic and fermionic zero-point energies cancel in the Ramond sector.
Solution
For one transverse boson,
For one real Ramond fermion, the nonzero modes are integer-moded. The zero mode has no oscillator frequency and is not included in the vacuum energy. The nonzero-mode contribution is
Thus
The cancellation occurs pair by pair, so
for any number of transverse pairs. In the open superstring this gives
Exercise 3: transversality of the NS massless vector
Section titled “Exercise 3: transversality of the NS massless vector”Consider the covariant NS state
Use to show that .
Solution
The supercurrent mode is
For ,
On the state , all terms except the zero-mode momentum term either contain annihilators or create states at a different oscillator structure. Using
we find
Since is proportional to , the physical-state condition gives
This is the transversality condition for a massless vector polarization.
Exercise 4: the Dirac equation from
Section titled “Exercise 4: the Dirac equation from G0G_0G0”Show that the Ramond zero-mode constraint gives the massless Dirac equation
Solution
The supercurrent mode is
On a Ramond ground state, the positive modes annihilate the state, while the negative modes have no corresponding excitations to contract with. The only term acting within the ground-state space is
The bosonic zero mode is proportional to momentum, and the fermion zero modes are gamma matrices:
Therefore the constraint becomes
up to an irrelevant normalization. This is the massless Dirac equation.
Exercise 5: how the NS GSO projection removes the tachyon
Section titled “Exercise 5: how the NS GSO projection removes the tachyon”Let
where each oscillator flips . Show that the NS tachyon is removed while the massless vector is kept if one imposes .
Solution
The NS ground state has no fermionic oscillator excitations, so
Because of the extra minus sign in the definition,
Thus the tachyonic ground state has eigenvalue and is removed by the projection to .
The massless vector has one fermionic oscillator:
The oscillator parity gives a minus sign, and the extra NS convention gives another minus sign:
Therefore the massless vector survives.
Exercise 6: matching massless bosonic and fermionic degrees of freedom
Section titled “Exercise 6: matching massless bosonic and fermionic degrees of freedom”Explain why the GSO-projected open superstring has eight massless bosonic and eight massless fermionic physical polarizations.
Solution
For a massless particle in ten dimensions, the little group is .
The GSO-projected NS massless state is
It transforms as the vector representation of , so it has eight physical bosonic polarizations.
The GSO-projected Ramond ground state has a definite chirality. In light-cone gauge its physical polarizations form one of the two spinor representations of :
Each has dimension eight. Hence the massless fermion has eight physical polarizations.
Thus the massless open-string spectrum is
or
with equal bosonic and fermionic on-shell degrees of freedom. This is exactly what is required for a ten-dimensional vector multiplet.