In string theory, the Ramond–Neveu–Schwarz (RNS) formalism is an approach to formulating superstrings in which the worldsheet has explicit superconformal invariance but spacetime supersymmetry is hidden, in contrast to the Green–Schwarz formalism where the latter is explicit. It was originally developed by Pierre Ramond, André Neveu and John Schwarz in the RNS model in 1971,[1][2] which gives rise to type II string theories and can also give type I string theory. Heterotic string theories can also be acquired through this formalism by using a different worldsheet action. There are various ways to quantize the string within this framework including light-cone quantization, old canonical quantization, and BRST quantization. A consistent string theory is only acquired if the spectrum of states is restricted through a procedure known as a GSO projection,[3] with this projection being automatically present in the Green–Schwarz formalism.

History

edit

The discovery of the Veneziano amplitude describing the scattering of four mesons in 1968 launched the study of dual resonance models which generalized these scattering amplitudes to the scattering with any number of mesons.[4][5] While these are S-matrix theories rather than quantum field theories, Yoichiro Nambu, Holger Bech Nielsen, and Leonard Susskind gave them a string interpretation, whereby mesons behave as strings of finite length.

In 1970 Pierre Ramond was working at Yale trying to extend the dual resonance models to include fermionic degrees of freedom through a generalization of the Dirac equation.[2] This led him to constructing the first superalgebra, the Ramond superalgebra. At the same time, Andre Neveu and John Schwarz were working at Princeton to extend existing dual resonance models by adding to them anticommutating creation and annihilation operators. This originally gave rise to a model containing only bosons. Shortly after their second paper on this topic, they realized that their model can be combined with Ramond's fermionic model, which they successfully did to give rise to the Ramond–Neveu–Schwarz (RNS) model, referred to at the time as the dual pion model.[1][6]

This work was done with only hadronic physics in mind with no reference to strings, until 1974 when Stanley Mandelstam reinterpreted the RNS model as a model for spinning strings. Joël Scherk and John Schwartz were the first to suggest that it may describe elementary particles rather than just hadrons when they showed that the spin-2 particle of the model behaves as a graviton.[7]

At the time, the main issue with the RNS model was that it contained a tachyon as the lowest energy state. It was only in 1976 with the introduction of GSO projection by Ferdinando Gliozzi, Joël Scherk, and David Olive that the first consistent tachyon-free string theories were constructed.[3]

Overview

edit

The RNS formalism is an approach to quantizing a string by working with the string worldsheet embedded in spacetime with both bosonic and fermionic fields on the worldsheet. There are a number of different approaches for quantizing the string in this formalism. The main ones are old covariant quantization, light-cone quantization,[8] and BRST quantization via the path integral.[9][10] The last approach starts from the Euclidean partition function

 

where   is the worldsheet action with some gauge symmetry group   that represents an overcounting of the physically distinct configurations of the fields that the action depends on. This overcounting is eliminated by dividing by the volume of the gauge group  . BRST quantization proceeds by gauge fixing the path integral via the Fadeev–Popov procedure, which gives rise to a ghost action in addition to the now gauge fixed action.

The RNS model originates from using the   supergravity action which upon gauge fixing gives the RNS action together with a ghost action describing holomorphic and antiholomorphic ghosts that are necessary to eliminate the unphysical temporal excitations of the fields. The physical states of this theory split up into a number of sectors depending on the periodicity condition of the fermionic fields. The full theory is inconsistent and contains an unphysical tachyon, however projecting out a number of these sectors can give rise to consistent tachyon-free theories. In particular, the RNS model gives rise to type IIA and type IIB string theory for closed strings, while combining the open string with a modified version of the IIB string gives rise to type I string theory. Starting instead from a   supergravity action gives rise to heterotic string theories.

Constraint algebras

edit

One way to classify all possible string theories that can be constructed using this formalism is by looking at the possible residual symmetry algebras that can arise. That is, gauge fixing does not always fully fix the entire gauge symmetry, but can instead leave behind some unfixed residual symmetry whose action keeps the gauge fixed action unchanged. The algebra corresponding to this residual symmetry is known as the constraint algebra. To give rise to a physical theory, this algebra must be imposed on the Hilbert space by projecting out unwanted states. Physical states are the ones that are annihilated by the action of this algebra on those states.

For example, in bosonic string theory the original diffeomorphism Weyl symmetry breaks down to a residual conformal symmetry, giving the conformal algebra whose generator is the stress-energy tensor  . The physical states  ,   are then those for which  .[11] Similarly, gauge fixing the   supergravity action down to the RNS action leaves behind a residual   superconformal algebra.

Physical conditions such as unitarity and a positive number of spatial dimensions limits the number of admissible constraint algebras.[12] Besides the conformal algebra and the   superconformal algebra, the other allowed algebras are the  ,   and   superconformal algebras. The first of these gives rise to heterotic string theories, while the other two give consistent but less physically interesting theories in low dimensions. Topological string theory is not found in this classification because for it the spin-statistics theorem does not hold in the conformal gauge which was required in the full argument.

RNS action

edit

A string worldsheet is a two dimensional surface which can be parameterized by two coordinates   where   describes Euclidean time while   parameterize the string at an instance in time. For closed strings   while for open strings  . Two other coordinate systems are often employed, these being complex coordinates   defined by   or the coordinates   defined by  . For the latter, a string at a given point in time is a circle around the origin in the complex plane, with smaller radii corresponding to earlier times.

The RNS model is formed using a   superconformal field theory on the string worldsheet with an action of the form

 

where   and   are holomorphic and an antiholomorphic anticommutating fermionic fields and   are bosonic fields.[12] These bosonic fields have a physical interpretation as the coordinates of the string worldsheet embedded in spacetime, with   running over the number of spacetime dimensions. For superstring theory in flat spacetime consistency of the theory requires exactly ten dimensions. The partial derivatives are derivatives in complex coordinates   and  .

Operators can be classified according to their behavior under rigid rescaling  . If they transform as   they are said to have weight  . The weights of the two fermionic fields are   and   while that of the bosonic fields is  . The holomorphic stress-energy tensor has weight   and is given by

 

The presence of worldsheet supersymmetry gives rise to worldsheet supercurrents with the holomorphic supercurrent having weight   and being given by

 

Any holomorphic operator   with weight   can be expanded out as a Laurent series

 

where   are known as the modes and   or   depending on whether the operator is periodic or antiperiodic, respectively. The holomorphic stress-energy tensor and holomorphic supercurrent together form a closed algebra known as the   super Virasoro algebra. Using a mode expansion where the stress tensor modes are given by   and the supercurrent modes by  , the algebra takes the form

 
 
 

where   is the central charge. The algebra is sometimes referred to as the Ramond algebra when  ,   are integers and the Neveu–Schwarz algebra when they are half-integers. For closed strings there are two copies of this algebra, one for the holomorphic and one for the antiholomorphic side, while for open strings there is only one copy.

Ramond and Neveu–Schwarz sectors

edit

Closed strings are periodic in their spatial direction, a periodicity that must be respected by the fields living on the worldsheet. A Poincaré invariant theory must have periodic  . For the fermionic fields, Lorentz invariance allows for two possible boundary condition; periodic or antiperiodic boundary conditions  , with an analogous condition for the antiholomorphic fields. This can concisely be summarized as

 

where   and   are independent of each other and are either   or  . The periodic case ( ) is known as the Ramond (R) boundary condition and the antiperiodic case ( ) is known as the Neveu–Schwarz (NS) boundary condition. This gives four possible ways of putting fermions on the closed string, giving rise to four sectors in the Hilbert space, the NS–NS, NS–R, R–NS, and R–R sectors. The periodicity of the supercurrents is inherited from the periodicity of the fermions.

For open strings, the boundary condition requires that the surface term in the equations of motion vanishes which imposes the constraints

 

Thus, there are only two sectors for open strings, the R sector and the NS sector. It is often convenient to combine the two fields into a single field with an extended range   defined according to

 

where now the R and NS sectors correspond to a periodicity or antiperiodicity condition on this extended field.

Spectra

edit

The Hilbert space of the R sector and NS sector are determined by considering the modes   and   of the fermionic fields.[12] Since in the R sector the powers   are integers, this sector has a branch cut while the NS sector has half-integer   and so no branch cut. The operator product expansion (OPE) of the fermionic theory translate to anticommutation relations for the modes given by

 

The states in the Hilbert space can then be built up by acting with these modes on the vacuum state. Since all annihilation modes for the NS sector have  , it follows that its spectrum has a unique vacuum state   that is annihilated by all the modes

 

The   modes act as raising operators, and since they are anticommuting, each one can be acted on at most once, giving the NS sector spectrum.

The R sector has zero modes   which map a vacuum state into another vacuum state. Under the rescaling  , the anticommutating relation for these becomes the Dirac algebra, implying that the ground state of the R spectrum forms a representation of this algebra. In ten dimensions this is a Dirac spinor, a 32 dimensional representation which can be reduced down to two Weyl representations   distinguished by their chirality. The R sector spectrum is formed by acting with   modes at most once on these ground states.

Gauge fixing

edit

The Lorentz covariant, diffeomorphism invariant action for the fermionic superstring is found by coupling the bosonic and fermionic fields to two-dimensional supergravity, giving the action

 

where   is the two-dimensional vielbein and   is the corresponding gravitino.[13] This has the following symmetries:

  • Two-dimensional reparameterization invariance,
  • Two-dimensional Lorentz invariance,
  • Two-dimensional local supersymmetry,
  • Weyl symmetry,
  • Local S-symmetry;  , where   is a Majorana spinor,
  • Poincare symmetry.

The gauge symmetries of this action are diffeomorphism symmetry, Weyl symmetry, and local supersymmetry. To quantize the action, these symmetries must be gauge fixed, which is usually done through the superconformal gauge in which   and  , where   and   decouple from the action. Performing this gauge fixing through the Faddeev–Popov procedure leaves behind the RNS action and a BRST ghost action  .

Ghosts

edit

There are holomorphic and antiholomorphic ghosts in the gauge fixed superstring action. On the holomorphic side are a pair of anticommutating   and   fields with weight   and  , along with a pair of commutating fields   and   with weight   and  .[14] These have an action of the form

 

with a similar action for the antiholomorphic ghosts. This action gives rise to additional ghost contributions to the overall stress energy tensor   and supercurrents of the theory  .

The ghost mode expansion is determined by their weights, with the anticommutating ghosts fields being periodic, while the commutating ghost fields being periodic in the R sector and antiperiodic in the NS sector. The modes satisfy the (anti)commutation relations   and  . The Ramond and the Neveu–Schwarz ground states are defined according to

 
 
 

Physical states

edit

BRST quantization of the theory requires the construction of the BRST current

 

where   and   are the ghosts and   are the matter and ghost stress tensors and supercurrents. The BRST charge   is the corresponding charge associated with this current

 

The physical spectrum is the set of BRST cohomology classes. This is the set of states   that are annihilated by the charge  , with all states differing by a BRST exact state, also called a null state  , being equivalent  . There is the additional condition that  , and for the R sector states  . This condition truncates the ghost spectrum for kinematic reasons.

It is convenient to look at the lowest energy states of this theory.[12] Introducing the fermion number operator   allows for the NS and R sectors to be further subdivided into NS−, NS+, R−, and R+ sectors, where the sign denotes the sign of   for the states.

  • NS−: This contains the NS ground state   which is a tachyon of mass   and four-momentum  .
  • NS+: This contains the NS first excited state   which corresponds to a massless vector boson with polarization   satisfying   and  .
  • R−/R+: The R sector ground state   is a massless Majorana–Weyl fermion with polarization  , half of which belongs to the R+ sector and the other half to the R− sector.

These states are classified by what spin representation of the   group they belong to, which is the rotation subgroup of the ten dimensional Lorentz group  . In particular, the tachyonic NS− is a singlet while the NS+ state is a vector denoted by  . The R+ sector Majorana–Weyl spinors belong to the   representation while the R− belong to the   representation.

For open strings, the NS+, NS−, R+, and R− form the possible massless and tachyonic states of the RNS string. For the closed strings, the physical states are the various combinations of these four sectors as left and right-moving sectors. The resulting string has a mass-shell condition of

 

where   is the level, counting the creation operators used to create the state. The resulting states can again be classified according to the   representation, with this being the direct product of the left-moving and right-moving representations, which decomposes into a sum over irreducible representations.[15] There are no states where NS− is matched with NS+, R− or R+ since then the level matching condition is not meet, so the closed string theory has a single tachyon coming from the NS−NS− sector.

GSO projection

edit

The naive RNS string Hilbert space does not give rise to a consistent string theory. There are three conditions that must be satisfied for the theory to be consistent.[12] First, the vertex operators of the theory have to be mutually local, meaning that their OPEs have no branch cuts. Secondly, the OPEs must also closed. Lastly, the one-loop amplitudes must be modular invariant. The GSO projection is the projection of the Hilbert space onto the subset of sectors that are consistent under these three conditions.[3] One set of consistent theories that results from the projection are type 0 string theories, although these are not tachyon-free. The other set of consistent theories are type II string theories which are tachyon-free, consisting of the sectors

  • IIA: (NS+,NS+), (R+,NS+), (NS+,R−), (R+,R−),
  • IIB: (NS+,NS+), (R+,NS+), (NS+,R+), (R+,R+).

A concise way to summarize these sectors is that type IIA theory only keeps sectors with   and  , while IIB theory only keeps sectors with  .

Type I string theory can be constructed from type IIB theory that has gauged its worldsheet parity symmetry and has been combined with the GSO projected open RNS string. The open strings must also have Chan–Paton factors belonging to the   gauge group. This last condition arises from a requirement to make the theory non-anomalous. Heterotic string theories can be constructed using this same formalism, except starting with an action different from the RNS action.

See also

edit

References

edit
  1. ^ a b Neveu, A.; Schwarz, J.H. (1971). "Factorizable dual model of pions". Nucl. Phys. B. 31: 86–112. doi:10.1016/0550-3213(71)90448-2.
  2. ^ a b Ramond, Pierre (1971). "Dual Theory for Free Fermions". Phys. Rev. D. 3: 2415–2418. doi:10.1103/PhysRevD.3.2415.
  3. ^ a b c Gliozzi, F.; Scherk, J.; Olive, D.I. (1977). "Supersymmetry, Supergravity Theories and the Dual Spinor Model". Nucl. Phys. B. 122: 253–290. doi:10.1016/0550-3213(77)90206-1.
  4. ^ Veneziano, G. (1968). "Construction of a crossing - symmetric, Regge behaved amplitude for linearly rising trajectories". Nuovo Cim. A. 57: 190–197. doi:10.1007/BF02824451.
  5. ^ Rickles, D. (2016). A Brief History of String Theory: From Dual Models to M-Theory. Springer. ISBN 978-3662501832.
  6. ^ Neveu, A.; Schwarz, J.H. (1971). "Quark Model of Dual Pions". Phys. Rev. D. 4: 1109–1111. doi:10.1103/PhysRevD.4.1109.
  7. ^ Scherk, J.; Schwarz, J.H. (1974). "Dual Models for Nonhadrons". Nucl. Phys. B. 81: 118–144. doi:10.1016/0550-3213(74)90010-8.
  8. ^ Green, M.B.; Schwarz, J.H.; Witten, E. (2012). "4". Superstring Theory: 25th Anniversary Edition: Volume 1. Cambridge University Press. pp. 210–231. ISBN 978-1107029118.
  9. ^ Friedan, D.; Shenker, S.; Martinec, E. (1985). "Covariant quantization of superstrings". Physics Letters B. 160 (1–3): 55–61. doi:10.1016/0370-2693(85)91466-2.
  10. ^ Ohta, N. (1986). "Covariant quantization of superstrings based on Becchi-Rouet-Stora invariance". Phys. Rev. D. 33 (6): 1681–1691. doi:10.1103/PhysRevD.33.1681.
  11. ^ Polchinski, J. (1998). "4". String Theory: Volume 1. Cambridge University Press. pp. 121–122. ISBN 978-0143113799.
  12. ^ a b c d e Polchinski, J. (1998). String Theory: Volume 2. Cambridge University Press. ISBN 978-1551439761.
  13. ^ West, P. (2012). "6". Introduction to Strings and Branes. Cambridge University Press. pp. 121–125. ISBN 978-0521817479.
  14. ^ Becker, K.; Becker, M.; Schwarz, J.H. (2006). "4". String Theory and M-Theory: A Modern Introduction. Cambridge University Press. p. 142. ISBN 978-0521860697.
  15. ^ Ibanez, L.E; Uranga, A.M. (2012). "4". String Theory and Particle Physics: An Introduction to String Phenomenology. Cambridge University Press. pp. 112–113. ISBN 978-0521517522.