Are you sure?
This action might not be possible to undo. Are you sure you want to continue?

Lectures 11 and 12
VII. Free Superstrings
IASSNSHEP97/72
Eric D'Hoker Purely bosonic string theory, as de ned and studied in the preceding lectures, has a number of fundamental aws, which we shall now brie y summarize. (i) Bosonic string theory in at  or nearly at  spacetime possesses a tachyonic state. The presence of a tachyon leads to a violation of the physical principle of causality. It signals an instability of (nearly) at spacetime, which may be detected from the fact that the 1loop order dilaton tadople amplitude is nonzero (in fact it is in nite). Ultimately, the presence of the tachyon leads to the divergence of transition amplitudes beyond tree level. Thus, bosonic string, in (nearly) at spacetime is in itself inconsistent. Bosonic string theory does not possess any fermionic states (i.e. transforming under a spinor representation of the spacetime Lorentz group). This fact by itself does not a priori lead to an inconsistency of the bosonic string. Rather, since Nature clearly displays fermionic states (electrons, quarks, etc.), any viable physical theory aimed at encompassing all physical particles in Nature, as well as their interactions, must contain fermions. From this point of view, the bosonic string cannot be a viable theory of Nature.
(ii)
(iii) In addition, it is desirable to have a theory of closed strings only that contains YangMills gauge states. (We have shown already how YangMills particles arise in open string theories.) (iv) Finally, we do not perceive 26 dimensions of spacetime, but only 4, at distance scales accessible to present day experiments. Thus, it must be understood why and how the remaining dimensions have remained invisible. VII.1
Problems (i), (ii) and in some cases also (iii) may all be resolved by introducing certain additional dynamical degrees of freedom on the string worldsheet. In particular, extra degrees of freedom may be introduced that will result in fermionic string states in the physical Hilbert space. This extension will in general modify the critical dimension D of spacetime. There are several ways in which one can proceed to include fermionic string states in the Hilbert space of string states. (1) The GreenSchwarz (GS) formulation. The theory has spacetime vector elds x , transforming under the vector representation of SO(1; D 1) as well as spacetime spinor elds transforming under a spinor representation of Spin(1; D 1). The ground state (i.e. lowest mass state of a single string) is in general degenerate, with both vector and spinor states. Bosonic and fermionic states are obtained by applying x or to the ground states. (2) The NeveuSchwarzRamond (RNS) formulation. The fundamental elds in the theory are spacetime vectors x ; . There are two sectors in the Hilbert space of states, built on two distinct ground states: The NeveuSchwarz ground state is a boson, while the Ramond ground state is a fermion. All bosonic states are obtained by applying x and to the NeveuSchwarz ground state; this generates the NeveuSchwarz sector of the theory. All fermionic states are obtained by applying x and to the fermionic ground state; this generates the Ramond sector of the theory. By quantizing each formulation in the lightcone gauge, one demonstrates that (under certain coniditons) the GS and RNS formulations are equivalent. The GreenSchwarz formulation apears di cult (if not impossible) to quantize in a manifestly Lorentz covariant way. One distinguishes the following ve, consistent, tachyon free, spacetime supersymmetric string theories in at Minkowski spacetime. VII.2
Type I Type II A,B Heterotic Spin(32)=Z2 ; E8 E8
Open and closed unoriented strings, with YangMills degrees of freedom via ChanPaton rules: SO(32) gauge group only. Closed oriented strings only; A: opposite chirality Ramond ground states B: same chirality Ramond ground states. Type II leftmovers, bosonic right movers, including gauge degrees of freedom: Spin(32)=Z2 or E8 E8 gauge groups only.
The goal of this Chapter (xVII) and the next one (xVIII) is to de ne these theories, show their uniqueness and analyze the Hilbert space of states, in the RNS formulation. Spacetime supersymmetry and the GS formulation will be discussed extensively in xX.
To obtain fermionic physical states, we add further degrees of freedom which are spinors on the worldsheet . We begin by focussing on closed oriented worldsheets, without boundary. Worldsheet spinors exist on , provided a spin bundle S = K 1=2 can be constructed as the square root of the canonical bundle K . The worldsheet spinor elds are then sections of S . Spin bundles exist on provided the second StiefelWhitney class H 2( ; Z2), which is the rst Chern class mod 2 of K , vanishes. This is indeed the case, since c1(K ) = ( ) = 2h 2 which is even. The di erent spin bundles are labeled by H 1 ( ; Z2) and may be distinguished by sign assignments around the homology cycles of . For compact without boundary, there are 22h di erent spin structures. Following the introductory remarks, the worldsheet spinors transform as Lorentz SO(1; D 1) vectors. We denote them by (z; z ), where the subscript is the worldsheet spinor index. In addition, + and are to be constrained by a requirement inherited from the Minkowski signature worldsheet: each is a worldsheet MajoranaWeyl spinor, which means that each is a one component real spinor in a suitable basis. VII.3
A) Degrees of Freedom of the RNS string
On worldsheets with Euclidean signature, there are no MajoranaWeyl spinors. However, one may use a complex Weyl spinor +, and take to be its complex conjugate. This construction preserves the number of degrees of freedom. Chiral splitting techniques, relying on the holomorphic dependence on moduli  as introduced and applied in xV  may then be invoked to separate correlation functions into parts arising from + and separately. Thus, henceforth, + is a complex Weyl spinor, which is a section of a spin is the complex conjugate of + , and a bundle K 1=2 for some given spin structure; section of K 1=2 for the same spin structure. It is natural (but, as we shall nd later, it is incomplete) to let the dynamics of be governed by the action for massless spinors obtained from the bc system of xIV for n = 1=2. For n = 1=2, the bc system decomposes into two identical spinor systems in a conformally invariant way:
b = p1 ( 2
The action for ] = 41
Z
0 + + i +)
c = p1 ( 2
+
0 i +) :
(7:A:1)
is then found to be
S
d
g
z + r(1=2) +
+
rz (
1=2)
:
(7:A:2)
1 It describes a conformal eld theory with central charge D 1 = 2 D, namely c = 1=2 for 2 each Majorana fermion. We record here the stress tensor for this system: ( { Tzz ) = 1 @z 2 + +
(7:A:3)
as well as the eld equations and the OPE (both can be deduced from the bc system)
rz
+ = 0;
+ (z ) + (w )
z w
1
(7:A:4)
and analogously for . We now specialize to the case of a at cylindrical worldsheet, or by conformal mapping VII.4
the annular worldsheet .
w
z
τ σ
w= τ +iσ
z=e w
First of all, this topology supports a single homology cycle, and there are two di erent spin bundles, corresponding to assignments around this cycle. To preserve the action of Lorentz transformations under which transforms as a vector, all components of , = 0; : : : ; D 1 must carry the same spin structure, i.e. be sections of the same spin bundle. It is conventional to denote these spin structures by Ramond (R) and NeveuSchwarz (NS), de ned as follows. (The correspondence between the assignments on the cylinder and annulus is unintuitive, so we shall be completely explicit here.) On the Cylinder R: periodic on cylinder ( ; +2 )=+ ( ; ) (7:A:5) ( ; +2 )= (; ) NS: antiperiodic on cylinder To obtain the corresponding boundary conditions on the annulus, we use the conformal mapping z = ew . On spinors +, the e ect is annulus (z )(dz )1=2 = cylinder (w)(dw)1=2 + + 1=2 (7:A:6) dz w=2 =e dw Under a 2 rotation on the cylinder, which corresponds to a 2 rotation on the annulus, 1 the transition factor e 2 w changes by a sign. Hence the (anti) periodicity assignments are reversed between the cylinders and the annulus. On the Annulus (z ) R: antiperiodic on annulus (e2 i ) = (7:A:7) (e2 i ) = + (z) NS: periodic on annulus VII.5
We are now ready to decompose in modes and deduce the algebra of the modes, and the Virasoro algebra. We work on the annulus; translation to the cylinder is straightforward. In the Ramond sectors, we have
8 > > > < > > > :
+ (z ) =
X
(z ) =
n2Z n2Z
dn z
~ dn z
n 1=2 n 1=2 m+n;0 r 1=2
X
R (annulus) ~ ~ fdm ; dng =
m+n;0
(7:A:8)
fdm ; dng =
8 > > > < > > > :
:
(7:A:9)
And in the NeveuSchwarz sector, we have*
+ (z ) =
X
(z ) =
r2 1 +Z 2
X
br z
1 r2 2 +Z
~r z r 1=2 b
r+s;0
NS (annulus)
(7:A:10 (7:A:11)
fbr ; bs g =
f~r ; ~s g = b b
r+s;0
e Let Fk and Fk denote the Fock spaces of the bosonic degrees of freedom at momentum k for left and right movers, respectively. Let FR and FNS be the fock spaces for Ramond e e and NeveuSchwarz degrees of freedom for leftmovers and FR and FNS their rightmoving counterparts. Then, the ful RNS Fock spaces for open and closed RNS strings are
B) Ramond and NeveuSchwarz Fock spaces
Fopen = Fclosed =
e RNS FRNS Fk k 2 RD : k k Here we have de ned the left and right moving RNS Fock spaces by
k
RNS Fk
(7:B:1)
RNS Fk = Fk (FR FNS)
e RNS e e e Fk = Fk (FR FNS) :
(7:B:2)
* It is conventional to denote the NS mode operators by br , but this notation does not suggest a direct relation with the b operators of the bc system. VII.6
It thus su ces to construct FR and FNS. The NeveuSchwarz ground state j0; NSi 2 FNS is de ned by 1 (7:B:3) br j0; NSi = 0 r 2 2 + Z+ The full ground state in Fk FNS will be denoted by j0; k; NSi j0; ki j0; NSi. We normalize the ground state by h0; NSj0; NSi = 1, and the same for . By examining the Lorentz spin operator in the NS sector
SNS =
X
we see that j0; NSi is a scalar under SO(1; D 1), and thus a boson. The NS Fock space FNS is now obtained by applying the algebra of raising operators fbr ; r < 0g to j0; NSi. All the states obtained this way transform under tensor representations of SO(1; D 1) and hence are bosons. The Ramond ground state is degenerate, just as the ground state of the bc system was degenerate. We label the degenerate states in the ground state multiplet by an index , and we have as usual dn j0; ; Ri = 0 n2N (7:B:5) The full ground state in Fk FR will be denoted by j0; k; ; Ri mode d0 satis es a Cli ord algebra
1 r2 2 +Z+
b r br b r br ;
(7:B:4)
j0; ki j0; ; Ri. The
(7:B:6)
fd0 ; d0 g =
so that j0; ; Ri transforms under a spinor representation of the Lorentz group Spin(1; D 1). Here, ranges over the weights of the Dirac spinor = 1; : : : ; 2D=2 (we assume D even). The fact that the ground state j0; ; Ri is a spinor may also be con rmed from examining the expression for the Lorentz spin operator in the R sector:
X { SR = 1 d0 ; d0 ] + (d n dn d ndn) 2 n2N
(7:B:7)
We use the notation N, Z+, Z for the sets of positive, positive or zero and negative or zero integers, respectively. VII.7
On j0; ; Ri, the operator SR reduces to the familiar Lorentz generator in the spinor representation associated with the Cli ord algebra of d0 . Thus, the Ramond ground state is a Spin(1; D 1) spinor, and a spacetime fermion. FR is obtained by applying the algebra of raising oprators fdn; n < 0g to j0; ; Ri and all states obtained this way are spinors of SO(1; D 1) and spacetime fermions! The Ramond construction achieves the goal of introducing fermions into string theory. Both Fock spaces FR and FNS contain negative norm states, just as Fk contained negative norm states in the bosonic string. The reason is simply that both br and dn transform under vector representations, just as the bosonic modes xn did. Thus, we have for some vector 2 RD: k br j0; NSi k2 = 2 (7:B:8) k d n j0; ; Ri k2 = 2 k j0; ; Ri k2 which may become negative when is timelike and 2 < 0. In bosonic string theory, the negative norm states of x are eliminated by the constraints of di eomorphism invariance (expressed through the Virasoro algebra) which result from the quantization of the worldsheet metric. In the RNS string, the bosonic elds x of course still produce negative norm states, which are still eliminated by the Virasoro algebra constraints. But now, the RNS elds produce further negative norm states (independent of those of x ) which are not are Grassmannian, the eliminated by the Virasoro algebra. In fact, since the elds constraints needed to eliminate the states created by the time component 0 will have to be Grassmannian. In addition, since we are to eliminate roughly an entire eld component 0 , we need this invariance to be local on . Grassmann odd local symmetries are socalled local supersymmetries on , and actions invariant under those symmetries are socalled supergravity actions. They involve, in addition to x , and the worldsheet metric gmn, also a gravitino eld m , which is a spinorvector, i.e. 2 K 3=2 K 1=2 K 1=2 K 3=2. This type of eld was discovered by Rarita and Schwinger in their study of spin 3=2 elds in 4 spacetime dimensions, and is therefore sometimes called the RaritaSchwinger eld. VII.8
C) Local supersymmetry on the worldsheet
We shall here give the appropriate supergravity action on any worldsheet, with arbitrary metric gmn and m  eld with the spinor index = . To do so, we introduce a local frame em a, where the mindices refer to coordinate vectors, while the aindices refer to the frame vectors a = 1; 2. We denote the inverse frame by eam . We then have
gmn = em a enb
ab ;
ea m em b =
ab
(7:C:1)
where ab is the O(2)invariant frame metric. Replacing the metric by the frame introduces an additional eld. However, there is now also an entire group of local frame O(2) rotations, which can always be used to reduce the number of components to that of the metric. We shall denote the spin connection by !m . We also have a 2dimension Cli ord algebra, de ned by
f a; b g =
ab
:
(7:C:2)
The N = 1 supergravity action, with a single supersymmetry, is given by (for at spacetime M ): Z 1 d h1 gmn@ x @ x + ae m @ S x; ; g; ] = 4 m n a m g { 2 (7:C:3) 1 a b a ( b )i a b a eb m @m x { 4 (The generalization to arbitrary spacetime manifolds M is straightforward.) For this action to make sense, and be the integral of a singlevalued function, it is necessary that the spin structures of and m be the same. The action is invariant under the following transformations. 1) 2) 3) 4) 5) Poincare symmetry in M . Di ( ). 1 1 Weyl( ) ( = 2 m=2 m ). Lorentz( ) local O(2) frame rotations. superWeyl ( ea = 0 m= m ) (The spin structure of is the same as that of .) VII.9
(7.C.4)
6)
Local supersymmetry, generated by a spinor
8 > > > > > > <
x = = m(@m x > e a= a > m m > > > > : m = 2rm The spin structure of is the same as that of invariance, the above action de nes a conformal will in fact be superconformal.
1 m ) { 2
and . In view of Di ( ) and Weyl( ) eld theory; as we shall explain shortly it
It will turn out to be useful in discussing the quantization of free strings to have available the general functional integral representation of transition amplitudes for interacting strings as well, on general worldsheet topologies. Thus, we brie y interrupt the discussion of free strings to include the functional integral representation. We give rst a de nition of the transition amplitudes in terms of the elds x, , g, . Later on, we shall make use of super elds to simplify the expressions. Let Vi be a collection of vertex operators for the RNS string (we shall postpone the construction of the vertex operators). The scattering amplitude of N strings represented by vertex oprators V1; : : : ; VN is given by:
D) Functional Integral Representation of Transition Amplitudes
A=
X
X
topologies spin h=0;:::;1 structures ;
Z
!( ; )
Z
Z
Met( )
1 Z D Dg N(g)
S x; ;g; ]
Map( ;M )
D
D V1 : : : VN e
(7:D:1)
The measures are constructed with respect to the L2 norms on the corresponding spaces of sections of K r K r for a suitable choice of r, and w( ; ) is a weight factor that depends upon the spin structure, to be determined later. VII.10
A quick derivation of the critical dimension Using our experience from the bosonic string, we may collect the various determinant factors that arise from integrating out x and
1)
Det0 (0) R d g
D=2
D=2 Det + 1=2) (
(7:D:2)
as well as from the FaddeevPopov determinants arising from gauge xing Di ( ) and local supersymmetry. 1 (7:D:3) Det0 ( 1) Det0 ( 1=2) The inverse power occurs for the local supersymmetry determinant because local susy is Grassmann valued. (We have ignored nitedimensional determinant contributions.) Now, we have the following contribution to the Weyl anomaly from each determinant
8 > C(0) > + > <C
= ( 1=2) = = > C( 1) > > : C( 1=2) =
1 1=2 13 11=2 :
8 > > > < > > > :
D=2( 2C(0)) D=2( 2C(+ 1=2)) 1( 2C( 1)) 1( 2 C( 1=2))
= D = D=2 = 26 = 11
(7:D:4)
3 Hence the total Weyl scaling factor of the determinant parts is 2 (D 10), and the critical dimension is D = 10. The superWeyl symmetry (item 5) in (7.C.4) also has an anomaly, and one can show that it cancels in D = 10.
A quick look at supermoduli Later on, we shall carry out a careful study of the space of supergeometries, which is parametrized by (gmn ; m ). For the time being, let us take a quick approach that will su ce for the study of free strings. Given a metric g, and local complex coordinates z, z , with g = 2gzz jdzj2 , let us analyze the action of superWeyl and supersymmetry on m :
(
2)
+= z += z
2rz + + 2rz + VII.11
(7:D:5)
and similarly for their complex conjugates. We see that by a superWeyl transformation, we may always set + = 0. Locally, we may also set + = 0, but globally, there will be z z obstructions, which are most easily identi ed when is parametrized by
8 < :
( 1=2) Ker r( 3=2) + z = Range rz z (1=2) Ker r(3=2) : z z = Range rz
(7:D:6)
(3 The space Ker rz =2) is spanned by holomorphic 3=2 di erentials. Odd moduli are de ned as the Grassmann odd coordinates that parametrize those parts of that are in the quotient of by superWeyl and supersymmetry:
8 < :
m =( m =(
z; +; z
) ) 0 0 1
(3 2 Ker rz =2) ( 2 Ker rz 3=2) :
(7:D:7)
(3 The number of odd moduli is given by the dimension of Ker rz =2): (3 dim Ker rz =2) = >
> > > : 8 > >( > > <
2h 2
h=0 h = 1; even h = 1; odd h 2:
(7:D:8)
Here, denotes the spin structure of . Later on, we shall show that, together with the even moduli mk , mk , the odd moduli m , m parametrize a socalled supermoduli space sMk , with supermoduli coordinates (mk ; m ; mk ; m ). Here, k = 1; : : : ; dim Ker rz (2) and = 1; : : : ; dim Ker rz (3=2). This space may be de ned as the quotient of the space of all fea ; m g, denoted by sMet( ), by m the group of superdi eomorphisms sDi ( ) = fDi ( ), local susy g, of superWeyl transformations sWeyl( ) = fWeyl( ), super g and local O(2) frame rotations Lorentz( ):
sMh = sMet( )=(sDi ( ) o sWeyl( ) Lorentz( ))
(7:D:9)
VII.12
E) SuperVirasoro Algebra and Physical Spectrum
Having clari ed the r^le of m , we now apply the results obtained in xD to the free o string with of cylindrical topology. Using Di ( ), local supersymmetry, Weyl and superWeyl invariance, in the critical dimension, we may choose a at metric on , g = 2jdzj2 with vanishing m = 0. However, just as was the case in quantizing the free bosonic string, we must retain the constraints arising from the integration over g and . They are given by 8 < T (z ) = 1 @z x @z x + 1 @z + { { + 2 2 (7:E:1) : G(z ) = + @ z x along with their complex conjugates T , G. Their OPE's are easily obtained.
T (z )T (w ) T (z )G(w ) G(z )G(w )
c=2 + 2 T (w) + 1 @ T (w) (z w)4 (z w)2 z w w 3=2 G(w) + 1 @ G(w) (z w)2 z w w 2c=3 + 2 T (w) : (z w)2 z w
(7:E:2)
Here c = 3=2 D. The mode expansion must be carried out with care here, since we must distinguish between Ramond and NeveuSchwarz sectors. (7:E:3) { r 2 1 + Z NS 2 G(z) = Gr z r2Z R: r The (super) algebra formed by Lm and Gr is the N = 1 superconformal or superVirasoro algebra, with the following structure relations c Lm; Ln ] = (m n)Lm+n + 12 m(m2 1) m+n;0 (7:E:4) { Lm; Gr ] = 1 m r Gr+m 2 c fGr ; Gs g = 2Lr+s + 3 (r2 ") r+s;0
X
T (z ) =
X
m2Z
Lm z
m 2 r 3=2
(
where " = 0 for R and " = 1=2 for NS. (Notice that Gr and Gs must be both either R or NS!) It will be convenient in the sequel to have the expressions for Ln and Gr in terms of VII.13
the modes xn, dn and br . One readily nds by combining (7.E.1) and (7.E.3): 8 P P > Lm = 1 { xm n xn + 1 rbm r br { NS : > < 2n 2r m 6= 0 > P P > Lm = 1 { { xm n xn + 1 ndm n dn R : : 2n 2n
8 >L > 0 > < > > >L : 0
(7:E:5)
{ = 1 p2 + 2
1 P
n=1
x
n
xn +
P
1 P { = 1 p2 + (x n xn + nd n dn) 2 n=1 8 P > Gr = { x m br+m NS r 2 1 + Z < 2 m P >G = : r x m dr+m R r 2 Z.
m
r21=2+Z +
rb
r
br NS :
R:
(7:E:6)
(7:E:7)
The physical state conditions are enforced separately in the Ramond and NeveuSchwarz sectors and may be formulated separately for left and right movers at xed momentum. We have the following de nitions for physical states in the left moving sector. (An analogous de nition holds for the rightmoving sector.)
Ramond sector A leftmoving state j ; k; RiL is physical of momentum k in the Ramond sector phys ( j ; k; RiL 2 FR;k ) if j ; k; RiL 2 Fk FR for some k 2 R10 (7.E.8) Ln j ; k; RiL = Gn j ; k; Ri = 0 for all n 2 N.
e phys e e and similarly FR;k is de ned from Fk FR.
NeveuSchwarz A leftmoving state j ; k; NSiL is physical of momentum k in the NeveuSchwarz phys sector ( j ; k; NSiL 2 FNS;k ) if j ; k; NSiL 2 Fk FNS for some k 2 R10
{ Ln 1 a n;0 j ; k; NSi = 0 2
for all n 2 N { for all r 2 Z+ 1 2 VII.14
(7.E.9)
Gr j ; k; NSi = 0
phys e phys e e and similarly FNS;k is de ned from Fk FNS. From the Fock spaces of physical states, FR;k phys and FNS;k , we construct the Fock spaces of open and closed physical strings, in analogy with (7.B.1) and (7.B.2): phys Fopen = phys Fclosed =
k2R 10 k2R 10
phys phys FNS;k FR;k phys phys FNS;k FR;k
e phys e phys FNS;k Fr;k :
(7:E:10)
In complete analogy with the bosonic theory, we have a
positive de nite Hilbert space of the RNS string is obtained by taking the quotient by the null space, which we denote by Fnull:
phys null + Fclosed = Fclosed=Fclosed + phys null Fopen = Fopen=Fopen phys phys No Ghost Theorem. Fopen and Fclosed have nonnegative norm for D = 10, a = 1. The
(7:E:11)
We shall not prove this theorem here. In the Ramond sector, the ground state obeys xn; dn j0; k; ; Ri = 0 for all n 2 N as well as the physical state condition from (7.E.8)
F) The spectrum of physical states at low mass
G0 j0; k; ; Ri = 0
(7:F:1)
Since L0 = G2, the constraint by L0 is automatically satis ed; similarly the constraints by 0 Gn, Ln, n 1 are automatically satis ed. Denoting the generators d0 of the 10dimensional 1 Cli ord algebra by standard Dirac notation d0 = p2 , we nd that the G0 condition amounts to the fact that the Ramond ground state satis es the 10dimension massless Dirac equation: k j0; k; ; Ri = 0 : (7:F:2) This equation on the Ramond ground state con rms once more that it is a fermion. Higher mass states transform under higher spinor representations of Spin(1; 9), and are all fermions as well. VII.15
{ L0 1 j0; k; NSi = 0 (7:F:3) 2 { The constraints by Ln, Gr , n; r 1 are again automatically satis ed. These conditions 2 2 = 1, i.e. M 2 = 1, so that this state is a tachyon! It is also a Lorentz scalar imply that k and thus a boson. The rst excited state in the NS sector is obtained by applying b 1=2 , j ; k; NSi b 1=2 j0; k; NSi and obeys the constraints { L0 1 ; L1 j ; k; NSi = 0 (7:F:4) 2 We nd k2 = 0 and k = 0, so j ; k; NSi is a massless vector state, such as we need for YangMills particles. The transversality condition k = 0 is also what we shall need for gauge invariance. It implies that the negative norm state is eliminated, and because k2 = 0 that one further state is null. Thus, we are left with 8 components with positive norm, just as expected for a gauge particle. Higher mass states transform under higher tensor representations of SO(1; 9), and are all bosons as well. Let us note that by using lightcone gauge, we may construct all positive norm states by applying only the transverse operators
In the NeveuSchwarz sector, the ground state obeys xn; br j0; k; NSi = 0 for all n 2 N, r 2 1 + Z+ as well as the physical state condition from (7.E.9) { 2
xin ; din; bir
i = 1; : : : ; 8
(7:F:5)
to the ground states in each respective sector for n; r < 0. This method in particular allows for an easy counting of the number of physical states modulo null states, at each mass level (see Problem Set #9). Actually, we have looked only at the leftmoving sector of the Hilbert space. This su ces to construct the Hilbert space of the open strings. To summarize, we have found that this sector contains a NS tachyon, a massless Dirac spinor and a massless vector. Adding ChanPaton rules to the open string, the single vector may be promoted to a YangMills gauge eld multiplet under the ChanPaton gauge group. Similarly, the Dirac spinor (and the tachyon) will form multiplets under this group. We shall work out this construction for Type I strings shortly. VII.16
For closed strings, we must put left and right moving sectors together, in order to obtain the full spectrum, with the condition that left and right momenta should match pL = pR , i.e. x0 = x0 . We have four sectors: ~ NSNS: bosons. The ground state j0; k; NSiL M 2 = 1.
j0; k; NSiR is a tachyon with mass squared equal to
b The massless states are (k)b 1=2~ 1=2 j0; k; NSiL j0; k; NSiR and contain the graviton (symmetric , ), the antisymmetric tensor (antisymmetric , ), the dilaton (tracepart).
massive excited states. RNS (and NSR): fermions. The Ramond sector always has mass2 0, and thus no tachyons occur in the RNS and NSR sectors. The ground state j0; k; ; RiL (k)~ 1=2 j0; k; NSiR is massless. This state is reb ducible into a spinor called the dilatino and a spinorvector, called the gravitino. massive excited states RR: more bosons. The ground state j0; k; ; RiL j0; k; ; RiR is massless. These states decompose into a sum of tensor representations of SO(1; 9), that may be obtained as antisymmetrized products of the vector representation. In other words, these states transform as di erential forms of degree 0; : : : ; 10. massive excited states. We shall establish in xX that the RNS spectrum (after the GSO projection has been carried out in xG) exhibits spacetime supersymmetry, under which bosons and fermions are interchanged. We shall then nd that the dilaton and the dilatino on the one hand, and the graviton and the gravitino on other other hand, form supersymmetry multiplets. VII.17
By combining the NS and R sectors of the RNS string, we have obtained a string theory with both bosons and fermions, with massless graviton, antisymmetric tensor, dilaton and antisymmetric tensor RR states which are all bosons, plus gravitino and dilatino states which are fermions. This theory is still inconsistent, for two reasons. First, in the NS sector, there is still a tachyon present, which gives rise to the same type of problems as the tachyon did in the bosonic string. Second, there is a massless gravitino, which can interact consistently only by coupling to a conserved supercurrent. (The gravitino shares many properties with a gauge eld, which must couple to a conserved current.) But conservation of a supercurrent means that the theory must exhibit invariance under supersymmetry transformations. Clearly, the RNS theory is not supersymmetric as it stands. The easiest way to see this is by noticing that the tachyon has no fermionic counterpart. On the other hand, if the theory could be made supersymmetric, the tachyon problem would be eliminated right away and then the gravitino could be coupled to a conserved supercurrent, thus eliminating both of the above problems. GliozziScherk and Olive (1976) proposed a truncation of the RNS string theory that produces a spectrum with spacetime (R10) supersymmetry. We shall introduce the GSO projection rst at the level of the free string Fock space, and later on show how to enfore it in the functional integral formulation. It will turn out that the GSO projection corresponds there to carrying out a summation over all spin structures of , with certain weight factors. The weight factors will be arranged in such a way that the amplitudes will be invariant under the action of the modular group of the worldsheet . Such spin structure weight factors were already included in the functional integral formulation in (7.D.1) on general grounds. The GSO projection is de ned by using the worldsheet fermion number operator F in the form ( 1)F . This operator has the property ( 1)F ; (z; z ) = 0 (7:G:1) both in the R and NS sectors. This property de nes the operator ( 1)F only up to a factor of 1, which one may think of as the assignment of the eigenvalue of ( 1)F on the string VII.18
G) The GSO Projection, Spacetime Supersymmetry
ground state in each sector. We shall now provide a careful de nition of ( 1)F in each sector. In the NeveuSchwarz sector, the renormalized worldsheet fermion number operators in the left and rightmoving sectors are given by
FNS
X
r21=2+Z +
b
r
br
e FNS
X
r21=2+Z +
~ r ~r : b b
(7:G:2)
and the assignment of ( 1)F on the NS ground state is 1. Thus, we may represent ( 1)F by e e (7:G:3) ( 1)F ( 1)FNS 1 ( 1)F ( 1)FNS 1 : The GSO projection in the Fock space of the NS sector is then given by
FNS;GSO
j iL 2 FNS; ( 1)F j iL = j iL
n e e j iR 2 FNS; ( 1)F j iR = j iR : o
(7:G:4) (7:G:5)
and similarly
e FNS;GSO
Alternatively, FNS;GSO consists of states obtained from the ground state in the NS sector by e applying only an even number of b operators. (Similarly for FNS;GSO). It is straightforward to see that the GSO projection is compatible with the physical state conditions, since ( 1)F ; Lm = 0 ( 1)F ; Gr = 0 : (7:G:6)
phys e phys Thus, we de ne FNS;GSO and FNS;GSO by imposing physical state conditions on FNS;GSO e and FNS;GSO. The tachyon ground state (as well as any state obtained by applying an even number phys of boperators to it) is projected out by GSO, and the lowest mass state in FGSO;NS is massless. It consists of a vector of SO(1; 9):
b b
1 2 3
1=2 j0; k ; NSi
with 8 physical, positive norm components. The rst excited states have the form
1=2 b 1=2 b 1=2 j0; k ; NSi
b
3=2 j0; k ; NSi
(7:G:7)
VII.19
and have mass M 2 = 2. (There are 8:7:6=6 = 56; +8 = 64 such physical states.) We now proceed to de ne the GSO projection in the Ramond sector. Supersymmetry in R10 will require that we have equal numbers of bosonic and fermionic physical states at each mass level. (We assume here that supersymmetry is manifest, and not spontaneously broken.) The original Ramond sector of the RNS string has a massless Dirac spinor ground state. In D = 10, such a spinor has 2D=2 = 25 = 32 components, which does not match the 8 bosonic components of the NS sector. To have equality, we ought to reduce the number of components of the spinor from 32 to 8, of course, in a way consistent with Spin(1; 9) invariance! For groups of the form Spin(1; D 1), with D even, we have the following reducibility criteria for various dimensions D. The Cli ord algebra is de ned by f ; g = 2 . The chirality matrix , de ned by
0 1 ::: D 1 2=(
1)D=2 1
(7:G:8)
commutes with all the generators of Spin(1; D 1) in the Dirac spinor representation  which we denote by S . Thus, S may be reduced to a sum of Weyl spinors S = S+ S , where both S are of dimension 2D=2 1. For D = 2; 4 (mod 8), there is an independent reducibility criterion on Dirac 0 spinors, which decomposes S into a sum of two Majorana spinors S = SM + iSM . A Majorana spinor is of dimension 2D=2 , but is de ned to be real in some basis:
SM = BSM
with
=B B 1
(7:G:9)
A spinor may be reduced to MajoranaWeyl spinors provided the Weyl and Majorana conditions are compatible (i.e. and B commute). This is possible only in D = 2 (mod 8). A MajoranaWeyl spinor is a real spinor of dimension 2D=2 1. In D = 10, we see that the MajoranaWeyl condition reduces the dimensionality of the Rground state precisely to an 8 component spinor, just as is needed for supersymmetry! In the Ramond sector, the GSO projection is de ned in terms of the worldsheet VII.20
fermion number operator as well, with the following normalization. ( 1)F
FR
1 P
n=1
( 1)FR
( 1)F =
e FR
d
n
dn
e ( 1)FR 1 P ~ ~ = d n dn
(7:G:10)
n=1
The GSO projection in the Fock space of the R sector involves a choice of chirality of the R ground state in each sector (left movers and right movers). Let us denote these chiralities by L and R, respectively, with values each. We now de ne R FGSO( L ) j ; RiL 2 FR; ( 1)F j ; RiL = L j ; RiL and
eR FGSO( R ) n e ; RiR 2 FR; e ( 1)F j ; RiR = R j ; RiR : o
(7.G.11)
This means that, given the chirality of the ground state, the chirality of the higher states are determined by the GSO projection. 1) Chirality and Massive States in the Ramond Sector The above GSO projection in the Ramond sector selects the chirality of the massless ground state. But it also appears to select the chirality of massive states, which would appear to be in contradiction with the fact that they are massive. The resolution of this apparent contradiction lies in the fact that opposite chirality components of a massive state arise in di erent ways. Consider the rst excited level for left movers; it has states (in the lightcone gauge)
xi 1 j0; k; ; RiL
di 1 j0; k; ; RiL
(7:G:12)
The GSO condition (for example = +) requires that
xi 1 j0; k; ; RiL = +xi 1 j0; k; ; RiL di 1 j0; k; ; RiL = di 1 j0; k; ; RiL
(7:G:13)
Hence these two states have opposite chiralities and together form the 16 components of a massive Majorana spinor! The same phenomenon persists at higher mass levels, and is responsible for correctly lling out the chirality components of all massive states. VII.21
2) Spacetime supersymmetry Now that we have de ned the GSO projection in all sectors of the RNS string, it remains to investigate whether the spectrum thus obtained is supersymmetric. To carry out this analysis, we would need to construct the supersymmetry operators, and this requires technology that we shall develop only in xX. Instead, we can check here that the GSO projection passes an elementary test necessary to have a supersymmetric spectrum. It is an elementary consequence of the structure relations of supersymmetry that the supercharges commute with the mass2 matrix. Thus, the number of bosonic and fermionic states at each mass level must be the same. We now show that this is indeed the case for the RNS spectrum, after GSO projection. To do so, we count the number of fermionic states (in the R sector) and compare with the number of bosonic states (in the NS sector). To count states, it su ces to use the lightcone construction, in terms of transverse operators xi , bi , di, with i = 1; : : : 8, and we calculate the generating function in each sector. In the Ramond sector, we have
fR (q) = 8Tr q2M 2
=8
1 Y
m=1
=
1 X
n=1
dR(n)q2n
(1 q2m ) 8 (1 + q2m)8
(7:G:14)
Here, the factor (1 q2m ) 8 arises from the xi oscillators and the factor (1 + q2m )8 from the di modes. The prefactor of 8 arises from the eightfold degeneracy of the R ground state. Similarly, in the NeveuSchwarz sector, we have
fNS (q) =
1 1 Y Y (1 + q2n 1)8 (1 q2n 1)8 (1 q2m ) 8 21q n=1 n=1 m=1 1 Y
(7:G:15)
Using the product formulas for Jacobi #functions, and the equality
#2 (0j )4 + #4 (0j )4 = #3 (0j )4
(7:G:16)
with q = e2 i , we see that fR (q) = fNS (q). Thus, at each mass level, the number of bosonic and fermionic states agrees. VII.22
Notice that we have established evidence for the presence of a spacetime supersymmetry in each sector, leftmoving and rightmoving independently. It is conventional to denote the number of independent supersymmetries by the letter N . In this sense, the open GSO projected RNS string has N = 1, while the closed GSO projected RNS string has N = 2. 3) Summation over spin structures We are now ready to exhibit the relation between the GSO projection of the states in string transition amplitudes to any loop order, and summation over spin structures of string worldsheets. We concentrate on processes involving only NSNS external states, which are created by vertex operators that are singlevalued on the worldsheet. (Vertex operators for R states produce quadratic branch cuts and will be introduced in xIX.) Of course, the internal states will include both the R and the NS sectors. We consider 1loop amplitudes for closed, oriented strings rst, and choose a homology basis of 1cycles A and B. We analyze the contribution from a given spin structure.
A × A B × × A × × ×
=
Σ
ε
ε
B × ×
The one loop amplitude may be factorized and expressed as a sum over intermediate states, as shown in the diagram above. In the functional integral, factorization is carried out by integrating over all eld values (for x and ) on the curve A. Integration over all RNS elds x and , with given spin structure, will give rise to the following structure. The spin structure on the Acycle determines the boundary condition on + (resp. ) as either periodic (Ramond) or antiperiodic (NeveuSchwarz). This information determines whether the state j"i in the factorization is a fermion (R) or a boson (NS). In the full 1loop amplitude, both bosons and fermions will contribute; thus, the spin structure on the Acycle must be summed over with unit coe cients. VII.23
What is the physical signi cance of the spin structure along a Bcycle? Functional integration over worldsheet spinors + (or ) with antiperiodic boundary conditions along the Bcycle produces a sum over states j"i in the factorization. On the other hand, functional integration over spinors + (or ) with periodic boundary conditions along the Bcycle produces a sum over states j"i with an insertion of the operator ( 1)F in the factorization. Here, F stands for worldsheet fermion number, just as we encountered in the de nition of the GSO projection. This result may be established via the usual derivation of the Grassmann functional integral from canonical quantization of spinors. A summation over spin structures on the Bcycles with coe cients ( 1) produces the insertion of the projection operator 1(1 + ( 1)F ) { (7:G:17) 2 in the summation over states j"i in the factorization, and this oprator precisely enforces the GSO projection. It is straightforward to extend the reasoning presented above to the case of worldsheets of arbitrary genus h. We shall leave it as an exercise to the reader. Just as the GSO projection had to be enforced separately on left and right movers, we shall also have to separate left and right movers in loop amplitudes, using the chiral splitting theorem for the RNS string (which generalizes the results of xV), and sum independently over spin structures of left and right movers. Finally, let us remark that we have shown that the GSO projection is enforced by separate summation over all spin structures of left and right movers with weights 1. The actual sign choice for each spin structure must be consistent with modular invariance of the full amplitude. There may be di erent consistent choices, yielding di erent string theories, as we shall see in xH.
H) Type II A, B Superstrings and Their Spectra
So far, we have analyzed the GSO projection in a single sector of RNS string theory: either left or rightmovers. We now consider closed oriented string theories built from GSO projected RNS strings. We shall temporarily ignore the physical state conditions, which may be easily imposed independently. There are 4 possible combinations, with the VII.24
following Hilbert spaces:
phys NS R FGSO( L ; R ) = 10 Fk (FGSO FGSO( L )) k 2R R e e NS Fk (FGSO FGSO( R )) :
(7:H:1)
Now, a spacetime parity operation reverses the chirality of all spinors and in particular, of the R ground states: L ! L , R ! R. Thus the string theory with assignment ( L ; R ) de nes the same string theory as the one with assignment ( L ; R ). So, instead of 4 combiantions, we are left with only 2 physically inequivalent string theories:
Type II A: Type II B:
L=
R
phys phys FII A = FGSO(+; ) phys ( FGSO( ; +)) :
(7:H:2)
L= R
phys phys FII B = FGSO(+; +) phys ( FSO ( ; )) :
(7:H:3)
The Type II A theory is parity invariant upon exchange of left and right movers, while Type II B is parity violating. One also says that Type II B is chiral, since it singles out one of the chiralities, while Type II A is nonchiral. To gain insight into these theories, we derive their physical spectra, with the help of the lightcone gauge formulation, in terms of the modes xi , bi , di with i = 1; : : : ; D 2 = 8. n r n (See Problem Set #9.) We restrict attention rst to massless states. We begin by noticing that the GSO projection eliminates the tachyon, but leaves the massless states unchanged in the NS sector. In the Ramond sector, the GSO projection selects the chirality of the ground state, which is the only state needed for massless string states. We shall choose the chiralities to be + in the left moving sector and for Type II A and + for Type II B in the right moving sectors, respectively. A list of massless states in each sector, together with their standard identi cations in terms of elds familiar from quantum eld theory, is given in the table below. In parentheses, we indicate the number of physical degrees of freedom present in each state. VII.25
L R
NSNS (bosons) RNS (fermions) NSR (fermions) RR (bosons)
Type II A
Type II B
bi 1=2~j 1=2 j0; k; NSiL j0; k; NSiR b (35) G (graviton) (28) B ( 1) (dilaton) j0; k; ; RiL ~i 1=2 j0; k; NSiR b (56) (gravitinos) chirality + ( 8) (dilatinos) chirality bi 1=2 j0; k; NSiL j0; k; ; RiR (56) (gravitinos) chirality ( 8) (dilatinos) chirality +
idem
idem chirality + chirality
idem chirality + chirality
j0; k; ; RiL j0; k; ; RiR
( 8) (56)
j0; k; ; RiL j0; k; ; RiR
A(1) A(3)
( 1) A(0) (28) A(2) (35) A(4) selfdual F
The rst entry that requires clari cation is the RNS (and NSR) sector: the dilatino and gravitino have opposite chiralities. To see how this happens, consider the tensor roduct of a spinor of de nite chirality (say + as in RNS) and a vector, which yields a eld of chirality + with 64 physical components. It decomposes into irreducible spinors by = +( )
where is the gravitino eld, obeying ( ) = 0, of chirality +, and is the dilatino of chirality , since f ; g = 0. The next entry that requires clari cation is the RR sector. To see why the tensors that are indicated are the ones that arise, we study the tensor product decomposition VII.26
properties of two spinors. This may be done either on SO(1; 9) spinors, or on the reduced SO(8) spinors. Notice that a MajoranaWeyl spinor of the Poincare group of SO(1; 9) is irreducible under its SO(8) stabilizer subgroup, where it is simply a Weyl spinor. If S1 and S2 are two MajoranaWeyl spinors of the same chirality, then they reduce to SO(8) Weyl spinors of the same chirality. Their product decomposes into antisymmetric tensors of even rank S1 S2 = A(0) A(2) A(4) (7:H:5) + (For Weyl spinors, the components A(6), A(8) are dependent on A(0) and A(2), respectively.) A(4) stands for the part with selfdual eld strength, F = dA(4) with F = F . + If S1 and S2 are two MajoranaWeyl spinors of opposite chirality, they reduce to SO(8) Weyl spinors of opposite chirality. Their product decomposes into antisymmetric tensors of odd rank S1 S2 = A(1) A(3) : (7:H:6) (For Weyl spinors, the componens A(5) and A(7) are dependent on A(3) and A(1).) The counting of the number of physical states for each of the elds A(1), A(2), A(3) and A(4) indeed con rms that they are all to be viewed as gauge elds, in fact, as di erential forms A(p), invariant under
A(p) ! A(p) + dC (p
1)
(7:H:7)
where C (p 1) is a form of degree p 1. Thus, they are all Abelian gauge elds.
Dbranes It can be shown that the fundamental strings are neutral under these gauge elds, and do not carry their quantum numbers. A gauge eld of the type A(p) couples naturally, however, to an extended object of spacetime dimension p called a D(p 1) brane. By analogy with electromagnetism, one says that the D(p 1) brane carries the electric charge of A(p). By Poincare duality of their eld strength F (p) = dA(p), the eld F (p) F (10 p) may also naturally couple to extended objects of spacetime dimensions 8 p again called
VII.27
A(1) D0 branes A(2) D1 branes (strings) (7:H:8) A(3) D2 branes (membranes) A(4) D3 branes Polchinski showed that Dbranes indeed carry the electric charges of these gauge elds.
The massive spectra of Type II Aand Type II Bcoincide. We conclude this section on Type II A, B superstrings with a discussion of their massive spectra. The full spectra are obtained by tensor product of left and rightmoving sectors as usual. The spectrum of each sector (say left movers) is identical to the spectrum of an N = 1 chiral open superstring. While its massless spinor states are chiral, its massive states cannot be chiral. Instead, we have already exhibited the chiral pairing of states of opposite chirality previously. For example, at the rst excited level in the R sector, we have (7:H:9) di 1 j0; k; ; Ri xi 1 j0; k; ; Ri
a D(8 p)brane.
which are of opposite chirality and combine into a representation of massive Majorana fermions. Thus, the massive spectrum is insensitive to the choice of chirality for the massless ground state. As a result the massive spectra of Type II A and Type II B superstrings coincide. In other words, Type II A and Type II B superstrings di er only in their massless spectrum. In fact, one can show that upon compactifying Type II A on a circle of radius RA and Type II B on a circle of radius RB , one obtains identical theories, including the massless sector, when RARB = 0 . This identity may be seen as a result from a transformation between the two theories, called T duality, which we investigate in Problem Set #10. The type I superstring is constructed from open and closed strings, including orientable as well as unorientable worldsheets, and with ChanPaton YangMills charges on the open string end points. VII.28
I) Type I Superstring
We begin by reviewing the results from xII on ChanPaton charges: the end points of open strings carry a multiplet of charges, transforming under representations and of a compact gauge group G. These charges may be obtained by quantization of Grassmann variables i that move at the end points of the open strings.
Λ
Λ
For the open string excitation states to be precisely those of YangMills gauge states, it is necessary that be equal to the adjoint representation of G, possibly after imposing certain reality and/or symmetrization rules. In fact, there are only 3 series of solutions, given by classical groups, and the followng rules:
U (N )
SO(N ) Sp(N )
= = =
orientable strings unorientable strings unorientable strings
(We shall examine the interplay between ChanPaton charges and orientability shortly.) Next, we need to clarify the construction of string theories with unorientable strings. One de nes the worldsheet parity operator (sometimes also called the twist operator) by its action on worldsheet coordinates:
8 > > > < > > > :
z= z z= z 2=1
VII.29
(7:I:1)
The action of
is exhibited in the gure below for an open string represented as a half
annulus, with boundary B.
Σ
Ωz
z
B
We begin by considering the bosonic string. Worldsheet parity is a symmetry of the bosonic string action, when x transforms as
x (z; z ) = x ( z; z) :
For open strings, we have the mode expansion
X ln jzj2 + i 1 xn (z n + z n ) n6=0 n
(7:I:2)
x (z; z ) = q
so that
ip
1
(7:I:3) (7:I:4)
q =q ;
p =p ;
xm = ( )m xm :
Thus, to de ne the worldsheet parity of each state in Fopen, it su ces to have the assignment of the (tachyonic) ground state. Now, is a symmetry of the worldsheet action and thus preserved in string interactions. Since there is a nonzero 3 tachyon vertex, we must have 3 = 1, so that = 1 on the tachyon:
j0; ki = + j0; ki :
As a result, the assignment of YangMills states is negative:
(7:I:5)
x 1 j0; ki = x 1 j0; ki
VII.30
(7:I:6)
For closed strings, we have the mode expansion
x (z; z ) = q
and
ip ln jzj2 + i
1 (x z m + x z m ) ~m m m m6=0
X (
(7:I:7)
xm = ( )m xm ~ : (7:I:8) q =q ; p =p xm = ( )m xm ~ The tachyon, dilaton and graviton now have = 1, but the antisymmetric tensor state x 1 x ]1 j0; ki has = 1, because interchanges the indices and . ~ In addition to acting on the string coordinate x , will also act on the ChanPaton charges, since the end points of the open string are exchanged. We consider here SO(N ) or Sp(N ) ChanPaton charges, where the representations are real or pseudoreal. We introduce a basis of open string states with ChanPaton charges
j"; k; ij i
(7:I:9)
where k denotes the momentum, the indices i; j = 1; : : : ; dim = dim = N label the ChanPaton charges, and " label the remaining quantum numbers, such as polarizations. A general state may be described by a matrix of ChanPaton charges ij , and we shall specialize here to the ground state:
ij j0; k ; ij i
: :
(7:I:10) (7:I:11) (7:I:12)
Now apply to this state, and use the fact that charges ij are interchanged,
ij j0; k ; ij i = 0ij j0; k ; ij i
Clearly, 0 must be linear in T , so we should have
0 = M T M0 :
Now, parity is a symmetry of the worldsheet action, and thus of the transition amplitudes, so we must have an additional reqirement on the ChanPaton charges: tr 1 : : : p = tr T : : : T : 1 p VII.31 (7:I:13)
Hence M 0 = M 1 . In addition, from 2 = 1, we have = M (M T M 1 )T = M (M 1 )T (M (M 1 )T ) 1 : (7:I:14)
Assuming that the set of matrices is complete, we have by Schur's lemma that M T = M . Up to changes of bases, we then have 2 possibilities 1) M T = M = IN :
ij j0; k ; ij i = T j0; k ; ij i ij ij x 1 j0; k ; ij i = T x 1 j0; k ; ij i ij
(7:I:15)
2) M T = M = J = diag( 2 : : : 2 ) : ij j0; k ; ij i = (J T J )ij j0; k ; ij i ij x 1 j0; k ; ij i = (J T J )ij x 1 j0; k ; ij i :
(7:I:16)
Now, we are in a position to identify the r^le of unorientable strings. is a (global) o symmetry of the worldsheet action and of string interactions. This symmetry may be gauged, which means that the Hilbert space of states is projected to states that are invariant under . The relevant projection operator is 1(1 + ) : { 2 (7:I:17)
In the closed (unoriented) string, this projection eliminates the antisymmetric tensor; in the open string, with ChanPaton charges, as described above, it will project out the tachyon in 1) and 2) provided we require T = in 1), i.e. SO(N ) gauge group, and T = J J in 2), i.e. Sp(N ) gauge group. We see that we then retain the YangMills vector states in the spectrum. Nonorientable worldsheets now arise in the following way. An open string worldsheet, to tree level, with initial state I and nal state F and possibly some vertex operators inserted, will give rise to a one loop diagram by summing over all possible intermediate VII.32
states. For oriented open strings, we have
× × × = × × ×
I
Σ
states I
× ×
I
But when the open string spectrum is projected onto = 1 states only, then the projection operator 1 (1 + ) must be inserted in the trace. Then, the contributions arise from the 2 annulus and the Mobius string:
× × ×
1 _ 2 1 + _ 2
×
× ×
insertion of Ω
× ×
insertion of 1
In the GSO projected RNS superstring, the worldsheet parity operator exchanges left and right moving 's and thus interchanges left and right moving sectors of the GSO projected RNS spectrum. The unoriented ( = 1) projection of the closed string is achieved by imposing symmetry between left and right moving sectors. This can be achieved starting from the Type II B superstring, and retaining only states invariant under interchange of left and right movers. There remains in the Type I closed string sector NS NS bosons R R bosons NS R R NS (35) G ; (1) (28) A(2) (7:I:18)
fermions fermions (56) VII.33
;
(8)
:
In the open superstring sector, we have an N = 1 superYangMills multiplet in D = 10, with gauge group SO(32). (The restriction to SO(32) arises only at 1loop level, and will not be justi ed further here.) NS : R: 8 496 8 496
A
(7:I:19)
VII.34
This action might not be possible to undo. Are you sure you want to continue?