- Email: [email protected]
A physical interpretation of cocycle factors in vertex operator representations
Volume 231, number 3
PHYSICS LETTERS B
9 November 1989
A P H Y S I C A L I N T E R P R E T A T I O N O F C O C Y C L E FACTORS IN VERTEX O P E R A T O R R E P R E S E N T A T I O N S Makoto S A K A M O T O Department of Physics, Kobe University, Nada, Kobe 657, Japan Received 3 May 1989
It is shown that cocyclefactors, which appear in vertex operator representations of affine KaY-Moodyalgebras or in compactifled closed string theories on tori and/or orbifolds, have a simple geometrical meaning and that multiplying vertex operators by cocyclefactors is equivalent to modifying commutation relations for zero modes. The origin of cocycle factors is revealed in the second quantized picture.
String theories provide us a number o f interesting aspects and give new concepts to "particle" physics. One o f them is the appearance of huge gauge symmetries in compactified closed string theories on tori besides the ones expected from the Kaluza-Klein picture [ 1 ]. This is a "stringy" phenomenon which cannot be explained from a point particle point of view since the winding o f closed strings around noncontractive loops oftori is responsible for the appearance of gauge degrees of freedom. A key ingredient to understand the enhancement of symmetries is the construction due to Frenkel and Ka6 [2 ] of representations of (untwisted) affine KaY-Moody algebras by use of string vertex operators. In the construction, to remove annoying factors vertex operators are multiplied by certain suitably chosen functions of momenta, which are called cocycle operators or generalized Klein factors. Frenkel and Ka6 have shown that cocycle factors can be constructed without introducing any more degrees of freedom. Cocycle factors for twisted affine KaY-Moody algebras have also been investigated by several authors [ 3 - 5 ] . It has been shown that the construction of cocycle factors requires new degrees o f freedom, which are called fixed points by physicists. Our main purpose o f this paper is to reveal the origin o f the cocycle factors and to clarify their physical meaning from the point o f view of string theories. In the case of string theories compactified on tori a n d / o r orbifolds [6], the same situation arises. A 258
three string interaction will be represented in the form Cp :exp [2ip.X(z)]: in the language of the operator formalism, where p is the compactified m o m e n t u m o f the emitted state and Cp is the cocycle operator. The extra factor Cp will be necessary to ensure the correct commutation relations and the duality o f amplitudes [ 1 ]. To see this, let us consider the four-particle scattering amplitude for two different "time"orderings depicted in fig. 1. We naively guess a vertex operator which describes the emission of a particle with the compactified left- and right-moving momenta PL, PR as being of the form ~
V(pL,PR;Z) = : exp[2iPL'XL(Z) - - 2 i p R ' X R ( g ) ] : .
(1) Here we have omitted contributions from uncompactified coordinates, which will not be concerned with the following argument. The product of two ver#1 Our conventions are the same as in ref. [ 5 ]. !
!
PL,PR PL~Pn
I
Z
Z!
(a)
!
!
PL'PR PL,PR
I
Z!
Z
(b)
Fig. 1. The 4-particle amplitude for two different "time"-orderings. (a) Izl > Iz' I, (b) Iz'l> Izl.
0370-2693/89/$ 03.50 © Elsevier Science Publishers B.V. ( North-Holland Physics Publishing Division)
Volume 231, number 3
PHYSICSLETTERSB
9 November 1989
= ( z - z ' ) P L & ( g - - r )P~',i~
The L I denotes the degrees of freedom of the winding number which must be included in the spectrum of interacting closed strings on the torus [ 1 ] and QI is the canonical "coordinate" conjugate to L I. We propose the following commutation relations ~2:
× : exp [2iPL'XL (Z) -- 2ipR "XR(2)
[x l, pS] = i~iJ ,
( 4a )
+ 2 i p ' c ' X L ( Z ' ) -- 2ip~'XR(~' ) 1:
[aI, L J] = i a l J ,
(4b)
[x*, Q J] = -i½na IJ ,
(4c)
Reversing the order of the vertex operators, we find
otherwise zero.
(4d)
V ( p [ , p~; z' ) V(pL, PR; Z) = ( -- 1 )m_'P~.--PR'P~
Note that the commutation relation (4c) is usually a s s u m e d to be zero. In the language of the left- and right-moving coordinates, the above commutation relations are rewritten as follows:
tex operators can be written in the normal ordered form t t . ! V(pL, pR;Z) V(pL, p,~,Z )
--V(pL, PR,PL; PR,''Z,Z')
× V ( p L , PR, PL; PR,''Z,Z')
forlzl>lz'l.
forlz'l>lzl
(2)
•
(3)
The different orderings of the two vertex operators correspond to the different "time"-orderings. To obtain the scattering amplitude, we must sum over all possible "time"-orderings for the emission of particles. We must then establish that each contribution is independent of the order of the vertex operators to enlarge the regions of integrations over z variables [ 7 ]. In the above example, the two diagrams in fig. 1 must be summed over. The expressions (2) and (3) are identical except for the phase factor
(-
1 )PL'PL--PR'Pk
[x(_, p~_] =i½alJ= - [x~, p~] ,
(5a)
1 J [XL, XL] =i¼nB u = [x~, x~] ,
(55)
I J [XL, XR] = i ~ n ( a ' - - B U) ,
(5c)
otherwise zero,
(5d)
where
xI= x~ + x~ ,
QI = X LI - - X RI + B
IJ
J
(XL+XR),
J
p I = p l _ _ p l _FO*J(pJ + p ~ ) ,
which appears in the right hand side of (3). This annoying factor is the reason for the necessity of a cocycle operator which will remove it. As explained above, cocycle operators are attached to vertex operators in an ad hoc manner to obtain correct scattering amplitudes. Their physical meanings are however obscure. In this paper, we shall show that usually a s s u m e d commutation relations for zero modes should be modified and that the modified commutation relations have a simple geometrical meaning. It turns out that the effects of cocycle factors are automatically included in the modified commutation relations, that is, correct amplitudes can be obtained without introducing any ad hoc factors by hand. We shall also discuss the origin of cocycle factors in the second quantized picture. Consider closed bosonic strings on a D-dimensional torus T °. Zero modes of interacting closed strings on the torus consist of x I, pi, QI and ( I = 1,...,D). The x I is the center o f mass coordinate of a string and p, is the center of mass momentum.
Lt=p[+p~.
(6)
Here, B *J is an antisymmetric constant background field which will appear in the first quantized action [9 ]. (To realize affine Kae-Moody algebras in vertex operator representations B *J must be appropriately chosen [ 5 ]. ) It should be emphasized that the I I left- and right-moving coordinates XL, XR are usually a s s u m e d to mutually commute [ 1 ]. We now show that the above commutation relations have a simple physical meaning. Let Ix'*, LI=O) be a string state whose center of mass coordinate and winding number are given by x 'I and L I = 0, respectively. The operator exp(iL.Q) is a shift operator of the winding number by L t. It follows from (4c) that [x I, exp(iL.Q) ] = ½nLI exp(iL.Q) ,
(7)
which implies that the state e x p ( i L . Q ) I x 'I, L I = 0 ) a2 Similar commutation relations have been proposed in ref. [ 8 ], with no physical explanation.
259
Volume 231, number 3
PHYSICSLETTERSB
has the e igenvalues of x ' t + ½ztLt and L I for the center of mass coordinate and the winding number, respectively, i.e. e x p ( i L . Q ) l x ' t , L l = O ) = l x ' I + ½ r t L Z , L I) ,
(8)
up to a phase factor. At first sight it seems strange that the center of mass coordinate of a string changes b y ½1tL I when the winding number changes by L I. However, this is geometrically acceptable as explained below. We first note that the "center of mass coordinate" of a string on a torus is not a well-defined notion in the presence of non-zero winding numbers because the string winds around the toms. However, it will still be a useful notion on the covering space o f the toms. It turns out that on the covering space of the toms the "center of mass coordinate" of the string state (8) is just located at x'Z+ ½nLt as shown in fig. 2. The above observation will be restated as follows: The string coordinate XI(z, a) at z = 0 is expanded as X I( z = O, a)
=
X'I'~- L la+ (oscillators).
(9)
It should be noticed that the "center of mass coordinate" of the string is x a in the absence of the winding number but x1-= i d--aX1(z=0' a) =xtl-~ - ½7~L1 ,
(10)
9 November 1989
[x I, Q J] = -i½~8 IJ .
( 11 )
This is nothing but the commutatioh relation (4c) we proposed. In other words, the operator x J which appears in vertex operators is not x 'z itself in (9) but the combination of (10). This is quite natural because x I defined in (10) has a simple geometrical meaning in the presence of the winding number rather than x'*. Indeed, this is the case as we shall show in the second quantized picture. We next examine the effects of modifying the commutation relations and show that vertex operators are equipped with cocycle factors without adding ad hoc factors by hand. The string coordinate XZ(z, tr) obeys the boundary condition XI(r, a+ n) =X~( r, a) + n L I ,
(12)
where L % A = {E~=1 ni~, nieZ}. The ei are the basis vectors of the lattice A. Since the wave function 7'(x ~) must be periodic, i.e., ~ ( x l + n L I ) , the allowed eigenvalues of the momentum pl are given by p I e 2 A * where A* = {E ni = l m , ~I, ei . e ,) -_8 o, mieZ}. Consider the following operator which is part of the vertex operator ( 1 ): Vo(PL, PR) = exp (2ipL "XL-- 2ipR 'XR) = exp(ip.x+iL.Q).
(13)
7~ 0
in the presence of LI, that is, x I is the "center of mass coordinate" on the covering space of the torus but not x '1. Assuming that x '1 commutes with Q I and that the relation (4b) holds, we find
It follows from the commutation relations (4) or ( 5 ) that Vo(PL, PR) Vo(p~., P'R )
= ( - 1 )pL.pl. -PR'Vk Vo (p [, p'R ) Vo (PL, PR ),
( 14 )
where we have used the fact that p.L~ 2Z. The factor X~
Z tI _J_ 7 r L I P M l; ~
X 1
Fig. 2. Two strings are depicted on the covering space ofa torus. The "center of mass coordinates" and the winding numbers of the two strings are (a) (x'~,0), (b) ( x ' t + ½nL~, L~), respectively.
260
( -- 1 )PL'Vl.--VR'V~
~1 t
in (14) is just what we wanted. This phase factor compensates the one that arises in the right hand side of (3). Therefore, we conclude that modifying the usually assumed commutation relations to (4) or (5) is equivalent to multiplying vertex operators by cocycle operators. So far, we have considered strings on tori. The generalization to orbifolds is straightforward. An orbifold is obtained by modding out of a toms by discrete rotations which are the symmetry of the lattice defining the toms. In other words, the identification of the
Volume 231, number 3
PHYSICS LETTERS B
9 November 1989
point {X I} to the one { U U x J + n L ~} gives an orbifold, where U u is a rotation matrix which transforms the lattice points into themselves. Then strings on such an orbifold obey the following boundary conditions:
tex in the coordinate representation will be given by [10,11]
X I ( z , a + ~) = UIJXJ(z, a ) + n L ~ .
The X~(ar) ( r = 1,2,3) is the coordinate at z = 0 of the rth string depicted in fig. 3.
( 15 )
The case of UIJ=61J is called the untwisted sector whose boundary condition is the same as the toms. The non-trivial case ( U U # 6tJ) is called the twisted sector. In the mode expansions o f the twisted string there only appears the center o f mass coordinate x ~ as zero mode: ( 16 )
X I ( z, a) = x I + ( o s c i l l a t o r s ) ,
where x I satisfies the fixed point equation
the twisted sector, x I is just the "center o f mass coordinate" because In
(21)
t~
X~(ar) = x ~ + L r ] i- ~ ar
+ (oscillators),
(22)
where al=a
for 0~
0"2 = 0"-- a l 7~
f o r Otl/r ~< o'~< (OQ + a 2 ) 7~ ,
0"3 = ( O/1 "Jr-Og2 ) 7~-- t7
( 17 )
X I = UIJxJ'] - ItL 1 .
H(~(XI(a3)-XI(tT1)OI-XI(a2)02).
O I = 0(Otl/~--6)
f o r 0~< tT~< ( a l + O~2)/t,
,
O2 = 0 ( 0 " - - a l 7~) ,
cq + a 2 +or3 = 0 .
Xl= i dtTxl('c' o
o') .
(18)
7[
It follows from ( 17 ) that the quantization conditions in the twisted sector are
Ix I, X J ] = O, [ QI, QJ] = 0 ,
(23)
When referring to fig. 3, we imagine that oq, or2> 0 and a 3 < 0 . The delta-functional (21) are defined through their Fourier modes. The zero mode part o f the vertex will yield the following three conditions: (t~t +t~2)n
-X~(~2)O21 =0,
da [X~(a3)-Xtl(al)Ot 0
[M, Q J¼ = - i n ( 1 - U )
-~u ,
(19)
or equivalently, [ x / , x J ] = i¼rr [
-
(61K--B l/c) ( 1 -- U ) -
X{(aI~)=X~(O), 1/cJ
r=l
1 XR] J = i l n [ + (8I/C+BI/C) ( 1 -- U) - l r J [Xg,
- (6J/c+B J/c) ( 1 - U ) - l/cI] ,
[ x / , x J ] =i¼7r [ ((~I/C--BI/c) ( 1 -- g ) - I K J
-IKI]
,
(24b)
3
+ (~JK--BJ/C) ( 1 -- U ) - I/C/¼,
+ (6s/C+B s/c) ( 1 - U)
(24a)
(20)
where we have used the relations (6). The above commutation relations have been derived in ref. [ 5 ]. The authors have shown that cocycle factors in vertex operator representations of twisted affine KaYM o o d y algebras given by Ka6-Peterson [ 3 ] are represented in the commutation relations (19) or (20). We finally discuss the origin o f the cocycle factors in the second quantized picture. The three string ver-
[x~( I ar I n ) - X ~ ( 0 ) ] = 0 .
(24c)
The first condition means that the "center of mass coordinate" of two strings 1 and 2 together coincides with that of string 3. The second condition means that at z = 0 there is no gap between strings 1 and 2. The third condition turns out to be the winding number conservation. (Precisely speaking, the equalities in the first two conditions of (24) should be under-
2 o~2~
0
1 0 ~ I "a"
3
0
(c~1+ c~2)~r
Fig. 3. Strings 1 and 2join at r=0 to form string 3. 261
Volume 231, number 3
PHYSICS LETTERS B
stood up to the torus identification.) The zero mode part o f the three string vertex is now written as
Vo(Xtr, Lr) =~(x~l+
J 3 -fll(X'll +½~Ll)-fl2(x'21+ t~L2)' I~L
× ~(x'[ + rtL~ -x'2t)OL, + L 2 + L 3 , 0
,
)
(25)
where fir= ar/(al + a2) and we have omitted the oscillator modes whose inclusion will not change our conclusions. Fourier transforming (25) into the momentum representation, we have
9 November 1989
the limit of a ~ - , 0 [ 12,13 ]. Nevertheless, the appearance o f the factor (29) strongly suggests the correctness of our discussion even in the presence of nonzero winding numbers. The second is a c o m m e n t on other works of string field theories on tori [ 14 ] or orbifolds [ 15 ]. In their formulations, cocycle factors are required to ensure the Jacobi identity for a three string vertex. The left- and fight-moving string coordinates are assumed to be separated from the beginning so that the geometrical interpretation is less clear and in particular it will be hard to derive the commutation relation obtained here.
f dx~ dx~ dx~ exp(ip~ .x~ +ip2 .x~ +iP3 .x~) I am greatly indebted to M. Maeno and H. Takano for many observations about string field theories.
× Vo(x'r, Lr) = ~LI + L2+L3,0 ~pl +p2+p3,0 exp [ i•P2 "LI
+iztp3"[(fl2+½fl,)L~ +½fl2L2-½L3]},
(26)
up to a normalization factor. To make contact with on-shell vertex operators in the operator formalism, we take the limit o f ot l--'0 [ 11 ]: ~LI +L2+L3,0
¢~pl+p2+p3,0exp [i½nPt "L3
- i ½ n ( p l 'L~ +p2"L2 +p3"L3) ] ,
(27)
where we used the m o m e n t u m and the winding number conservations. The second term in the exponent o f (27) will, be absorbed in the field redefinition. Finally, making the correspondences
fl--,p I, LI3~L ,,
(28)
where pl is the m o m e n t u m of the emitted on-shell particle, we have the factor exp(i½nP'L).
(29)
This factor implies that the following combination o f the operators exp [ip. ( x ' + ½nL) ] ,
(30)
appears in the vertex operators rather than exp ( i p . x ' ) , as announced before. Here we should make two remarks: The first is concerning the limit of al--,0. It will be problematic in the presence o f non-zero winding numbers since strings which wind around tori cannot reduce to a point. Thus much attention should be paid in taking
262
References [ 1 ] D.J. Gross, J.A. Harvey, E. Martinec and R. Rohm, Nucl. Phys. B 256 (1985) 253; B 267 (1986) 75. [2] I. Frenkel and V. Kar, Invent. Math. 62 (1980) 23; G. Segal, Commun. Math. Phys. 80 (1981) 301; P. Goddard and D. Olive, Intern. J. Mod. Phys. A 1 (1986)
303. [3] V. Ka~ and D. Peterson, in: Anomalies, geometry and topology,ed. A. White (World Scientific, Singapore, 1985). [4] J. Lepowsky,Proc. Nat. Acad. Sci. (USA) 82 (1985) 8295; D. Bernard and J. Thierry-Mieg, Commun. Math. Phys. 111 (1987) 181; P. Sorba and B. Torresani, CNRS preprint CPT-87/P.2033 (July, 1987). [5 ] K. Ithoh, M. Kato, H. Kunitomo and M. Sakamoto, Nucl. Phys. B 306 (1988) 362. [6] L. Dixon, J.A. Harvey, C. Vafa and E. Witten, Nuel. Phys. B261 (1985) 678;B 274 (1986) 285. [7] J.H. Sehwarz, Phys. Rep. 89 (1982) 223. [ 8 ] G. Konishi, T. Saito, K. Sigemoto and W. Takahasi, Prog. Theor. Phys. 77 (1987) 958. [9] K.S. Narain, M.H. Sarmadi and E. Witten, Nucl. Phys. B 279 (1987) 369. [ 10] E. Cremmer and J.L Gervais, Nucl. Phys. B 76 (1974) 209. [ 11 ] M.B. Green, J.H. Schwarz and L. Brink, Nucl. Phys. B 219
(1983) 437. [12] T.R. Morris, Nucl. Phys. B 297 (1988) 141. [ 13] M. Maeno and H. Takano, Osaka preprint OU-HET117 (February 1989). [ 14] H. Hato, K. Itoh, T. Kugo, H. Kunitomo and K.O. Ogawa, Prog. Theor. Phys. 77 (1987) 443. [ 15] K. Itoh and H. Kunitomo, Prog. Theor. Phys. 79 (1988) 953.
PHYSICS LETTERS B
9 November 1989
A P H Y S I C A L I N T E R P R E T A T I O N O F C O C Y C L E FACTORS IN VERTEX O P E R A T O R R E P R E S E N T A T I O N S Makoto S A K A M O T O Department of Physics, Kobe University, Nada, Kobe 657, Japan Received 3 May 1989
It is shown that cocyclefactors, which appear in vertex operator representations of affine KaY-Moodyalgebras or in compactifled closed string theories on tori and/or orbifolds, have a simple geometrical meaning and that multiplying vertex operators by cocyclefactors is equivalent to modifying commutation relations for zero modes. The origin of cocycle factors is revealed in the second quantized picture.
String theories provide us a number o f interesting aspects and give new concepts to "particle" physics. One o f them is the appearance of huge gauge symmetries in compactified closed string theories on tori besides the ones expected from the Kaluza-Klein picture [ 1 ]. This is a "stringy" phenomenon which cannot be explained from a point particle point of view since the winding o f closed strings around noncontractive loops oftori is responsible for the appearance of gauge degrees of freedom. A key ingredient to understand the enhancement of symmetries is the construction due to Frenkel and Ka6 [2 ] of representations of (untwisted) affine KaY-Moody algebras by use of string vertex operators. In the construction, to remove annoying factors vertex operators are multiplied by certain suitably chosen functions of momenta, which are called cocycle operators or generalized Klein factors. Frenkel and Ka6 have shown that cocycle factors can be constructed without introducing any more degrees of freedom. Cocycle factors for twisted affine KaY-Moody algebras have also been investigated by several authors [ 3 - 5 ] . It has been shown that the construction of cocycle factors requires new degrees o f freedom, which are called fixed points by physicists. Our main purpose o f this paper is to reveal the origin o f the cocycle factors and to clarify their physical meaning from the point o f view of string theories. In the case of string theories compactified on tori a n d / o r orbifolds [6], the same situation arises. A 258
three string interaction will be represented in the form Cp :exp [2ip.X(z)]: in the language of the operator formalism, where p is the compactified m o m e n t u m o f the emitted state and Cp is the cocycle operator. The extra factor Cp will be necessary to ensure the correct commutation relations and the duality o f amplitudes [ 1 ]. To see this, let us consider the four-particle scattering amplitude for two different "time"orderings depicted in fig. 1. We naively guess a vertex operator which describes the emission of a particle with the compactified left- and right-moving momenta PL, PR as being of the form ~
V(pL,PR;Z) = : exp[2iPL'XL(Z) - - 2 i p R ' X R ( g ) ] : .
(1) Here we have omitted contributions from uncompactified coordinates, which will not be concerned with the following argument. The product of two ver#1 Our conventions are the same as in ref. [ 5 ]. !
!
PL,PR PL~Pn
I
Z
Z!
(a)
!
!
PL'PR PL,PR
I
Z!
Z
(b)
Fig. 1. The 4-particle amplitude for two different "time"-orderings. (a) Izl > Iz' I, (b) Iz'l> Izl.
0370-2693/89/$ 03.50 © Elsevier Science Publishers B.V. ( North-Holland Physics Publishing Division)
Volume 231, number 3
PHYSICSLETTERSB
9 November 1989
= ( z - z ' ) P L & ( g - - r )P~',i~
The L I denotes the degrees of freedom of the winding number which must be included in the spectrum of interacting closed strings on the torus [ 1 ] and QI is the canonical "coordinate" conjugate to L I. We propose the following commutation relations ~2:
× : exp [2iPL'XL (Z) -- 2ipR "XR(2)
[x l, pS] = i~iJ ,
( 4a )
+ 2 i p ' c ' X L ( Z ' ) -- 2ip~'XR(~' ) 1:
[aI, L J] = i a l J ,
(4b)
[x*, Q J] = -i½na IJ ,
(4c)
Reversing the order of the vertex operators, we find
otherwise zero.
(4d)
V ( p [ , p~; z' ) V(pL, PR; Z) = ( -- 1 )m_'P~.--PR'P~
Note that the commutation relation (4c) is usually a s s u m e d to be zero. In the language of the left- and right-moving coordinates, the above commutation relations are rewritten as follows:
tex operators can be written in the normal ordered form t t . ! V(pL, pR;Z) V(pL, p,~,Z )
--V(pL, PR,PL; PR,''Z,Z')
× V ( p L , PR, PL; PR,''Z,Z')
forlzl>lz'l.
forlz'l>lzl
(2)
•
(3)
The different orderings of the two vertex operators correspond to the different "time"-orderings. To obtain the scattering amplitude, we must sum over all possible "time"-orderings for the emission of particles. We must then establish that each contribution is independent of the order of the vertex operators to enlarge the regions of integrations over z variables [ 7 ]. In the above example, the two diagrams in fig. 1 must be summed over. The expressions (2) and (3) are identical except for the phase factor
(-
1 )PL'PL--PR'Pk
[x(_, p~_] =i½alJ= - [x~, p~] ,
(5a)
1 J [XL, XL] =i¼nB u = [x~, x~] ,
(55)
I J [XL, XR] = i ~ n ( a ' - - B U) ,
(5c)
otherwise zero,
(5d)
where
xI= x~ + x~ ,
QI = X LI - - X RI + B
IJ
J
(XL+XR),
J
p I = p l _ _ p l _FO*J(pJ + p ~ ) ,
which appears in the right hand side of (3). This annoying factor is the reason for the necessity of a cocycle operator which will remove it. As explained above, cocycle operators are attached to vertex operators in an ad hoc manner to obtain correct scattering amplitudes. Their physical meanings are however obscure. In this paper, we shall show that usually a s s u m e d commutation relations for zero modes should be modified and that the modified commutation relations have a simple geometrical meaning. It turns out that the effects of cocycle factors are automatically included in the modified commutation relations, that is, correct amplitudes can be obtained without introducing any ad hoc factors by hand. We shall also discuss the origin of cocycle factors in the second quantized picture. Consider closed bosonic strings on a D-dimensional torus T °. Zero modes of interacting closed strings on the torus consist of x I, pi, QI and ( I = 1,...,D). The x I is the center o f mass coordinate of a string and p, is the center of mass momentum.
Lt=p[+p~.
(6)
Here, B *J is an antisymmetric constant background field which will appear in the first quantized action [9 ]. (To realize affine Kae-Moody algebras in vertex operator representations B *J must be appropriately chosen [ 5 ]. ) It should be emphasized that the I I left- and right-moving coordinates XL, XR are usually a s s u m e d to mutually commute [ 1 ]. We now show that the above commutation relations have a simple physical meaning. Let Ix'*, LI=O) be a string state whose center of mass coordinate and winding number are given by x 'I and L I = 0, respectively. The operator exp(iL.Q) is a shift operator of the winding number by L t. It follows from (4c) that [x I, exp(iL.Q) ] = ½nLI exp(iL.Q) ,
(7)
which implies that the state e x p ( i L . Q ) I x 'I, L I = 0 ) a2 Similar commutation relations have been proposed in ref. [ 8 ], with no physical explanation.
259
Volume 231, number 3
PHYSICSLETTERSB
has the e igenvalues of x ' t + ½ztLt and L I for the center of mass coordinate and the winding number, respectively, i.e. e x p ( i L . Q ) l x ' t , L l = O ) = l x ' I + ½ r t L Z , L I) ,
(8)
up to a phase factor. At first sight it seems strange that the center of mass coordinate of a string changes b y ½1tL I when the winding number changes by L I. However, this is geometrically acceptable as explained below. We first note that the "center of mass coordinate" of a string on a torus is not a well-defined notion in the presence of non-zero winding numbers because the string winds around the toms. However, it will still be a useful notion on the covering space o f the toms. It turns out that on the covering space of the toms the "center of mass coordinate" of the string state (8) is just located at x'Z+ ½nLt as shown in fig. 2. The above observation will be restated as follows: The string coordinate XI(z, a) at z = 0 is expanded as X I( z = O, a)
=
X'I'~- L la+ (oscillators).
(9)
It should be noticed that the "center of mass coordinate" of the string is x a in the absence of the winding number but x1-= i d--aX1(z=0' a) =xtl-~ - ½7~L1 ,
(10)
9 November 1989
[x I, Q J] = -i½~8 IJ .
( 11 )
This is nothing but the commutatioh relation (4c) we proposed. In other words, the operator x J which appears in vertex operators is not x 'z itself in (9) but the combination of (10). This is quite natural because x I defined in (10) has a simple geometrical meaning in the presence of the winding number rather than x'*. Indeed, this is the case as we shall show in the second quantized picture. We next examine the effects of modifying the commutation relations and show that vertex operators are equipped with cocycle factors without adding ad hoc factors by hand. The string coordinate XZ(z, tr) obeys the boundary condition XI(r, a+ n) =X~( r, a) + n L I ,
(12)
where L % A = {E~=1 ni~, nieZ}. The ei are the basis vectors of the lattice A. Since the wave function 7'(x ~) must be periodic, i.e., ~ ( x l + n L I ) , the allowed eigenvalues of the momentum pl are given by p I e 2 A * where A* = {E ni = l m , ~I, ei . e ,) -_8 o, mieZ}. Consider the following operator which is part of the vertex operator ( 1 ): Vo(PL, PR) = exp (2ipL "XL-- 2ipR 'XR) = exp(ip.x+iL.Q).
(13)
7~ 0
in the presence of LI, that is, x I is the "center of mass coordinate" on the covering space of the torus but not x '1. Assuming that x '1 commutes with Q I and that the relation (4b) holds, we find
It follows from the commutation relations (4) or ( 5 ) that Vo(PL, PR) Vo(p~., P'R )
= ( - 1 )pL.pl. -PR'Vk Vo (p [, p'R ) Vo (PL, PR ),
( 14 )
where we have used the fact that p.L~ 2Z. The factor X~
Z tI _J_ 7 r L I P M l; ~
X 1
Fig. 2. Two strings are depicted on the covering space ofa torus. The "center of mass coordinates" and the winding numbers of the two strings are (a) (x'~,0), (b) ( x ' t + ½nL~, L~), respectively.
260
( -- 1 )PL'Vl.--VR'V~
~1 t
in (14) is just what we wanted. This phase factor compensates the one that arises in the right hand side of (3). Therefore, we conclude that modifying the usually assumed commutation relations to (4) or (5) is equivalent to multiplying vertex operators by cocycle operators. So far, we have considered strings on tori. The generalization to orbifolds is straightforward. An orbifold is obtained by modding out of a toms by discrete rotations which are the symmetry of the lattice defining the toms. In other words, the identification of the
Volume 231, number 3
PHYSICS LETTERS B
9 November 1989
point {X I} to the one { U U x J + n L ~} gives an orbifold, where U u is a rotation matrix which transforms the lattice points into themselves. Then strings on such an orbifold obey the following boundary conditions:
tex in the coordinate representation will be given by [10,11]
X I ( z , a + ~) = UIJXJ(z, a ) + n L ~ .
The X~(ar) ( r = 1,2,3) is the coordinate at z = 0 of the rth string depicted in fig. 3.
( 15 )
The case of UIJ=61J is called the untwisted sector whose boundary condition is the same as the toms. The non-trivial case ( U U # 6tJ) is called the twisted sector. In the mode expansions o f the twisted string there only appears the center o f mass coordinate x ~ as zero mode: ( 16 )
X I ( z, a) = x I + ( o s c i l l a t o r s ) ,
where x I satisfies the fixed point equation
the twisted sector, x I is just the "center o f mass coordinate" because In
(21)
t~
X~(ar) = x ~ + L r ] i- ~ ar
+ (oscillators),
(22)
where al=a
for 0~
0"2 = 0"-- a l 7~
f o r Otl/r ~< o'~< (OQ + a 2 ) 7~ ,
0"3 = ( O/1 "Jr-Og2 ) 7~-- t7
( 17 )
X I = UIJxJ'] - ItL 1 .
H(~(XI(a3)-XI(tT1)OI-XI(a2)02).
O I = 0(Otl/~--6)
f o r 0~< tT~< ( a l + O~2)/t,
,
O2 = 0 ( 0 " - - a l 7~) ,
cq + a 2 +or3 = 0 .
Xl= i dtTxl('c' o
o') .
(18)
7[
It follows from ( 17 ) that the quantization conditions in the twisted sector are
Ix I, X J ] = O, [ QI, QJ] = 0 ,
(23)
When referring to fig. 3, we imagine that oq, or2> 0 and a 3 < 0 . The delta-functional (21) are defined through their Fourier modes. The zero mode part o f the vertex will yield the following three conditions: (t~t +t~2)n
-X~(~2)O21 =0,
da [X~(a3)-Xtl(al)Ot 0
[M, Q J¼ = - i n ( 1 - U )
-~u ,
(19)
or equivalently, [ x / , x J ] = i¼rr [
-
(61K--B l/c) ( 1 -- U ) -
X{(aI~)=X~(O), 1/cJ
r=l
1 XR] J = i l n [ + (8I/C+BI/C) ( 1 -- U) - l r J [Xg,
- (6J/c+B J/c) ( 1 - U ) - l/cI] ,
[ x / , x J ] =i¼7r [ ((~I/C--BI/c) ( 1 -- g ) - I K J
-IKI]
,
(24b)
3
+ (~JK--BJ/C) ( 1 -- U ) - I/C/¼,
+ (6s/C+B s/c) ( 1 - U)
(24a)
(20)
where we have used the relations (6). The above commutation relations have been derived in ref. [ 5 ]. The authors have shown that cocycle factors in vertex operator representations of twisted affine KaYM o o d y algebras given by Ka6-Peterson [ 3 ] are represented in the commutation relations (19) or (20). We finally discuss the origin o f the cocycle factors in the second quantized picture. The three string ver-
[x~( I ar I n ) - X ~ ( 0 ) ] = 0 .
(24c)
The first condition means that the "center of mass coordinate" of two strings 1 and 2 together coincides with that of string 3. The second condition means that at z = 0 there is no gap between strings 1 and 2. The third condition turns out to be the winding number conservation. (Precisely speaking, the equalities in the first two conditions of (24) should be under-
2 o~2~
0
1 0 ~ I "a"
3
0
(c~1+ c~2)~r
Fig. 3. Strings 1 and 2join at r=0 to form string 3. 261
Volume 231, number 3
PHYSICS LETTERS B
stood up to the torus identification.) The zero mode part o f the three string vertex is now written as
Vo(Xtr, Lr) =~(x~l+
J 3 -fll(X'll +½~Ll)-fl2(x'21+ t~L2)' I~L
× ~(x'[ + rtL~ -x'2t)OL, + L 2 + L 3 , 0
,
)
(25)
where fir= ar/(al + a2) and we have omitted the oscillator modes whose inclusion will not change our conclusions. Fourier transforming (25) into the momentum representation, we have
9 November 1989
the limit of a ~ - , 0 [ 12,13 ]. Nevertheless, the appearance o f the factor (29) strongly suggests the correctness of our discussion even in the presence of nonzero winding numbers. The second is a c o m m e n t on other works of string field theories on tori [ 14 ] or orbifolds [ 15 ]. In their formulations, cocycle factors are required to ensure the Jacobi identity for a three string vertex. The left- and fight-moving string coordinates are assumed to be separated from the beginning so that the geometrical interpretation is less clear and in particular it will be hard to derive the commutation relation obtained here.
f dx~ dx~ dx~ exp(ip~ .x~ +ip2 .x~ +iP3 .x~) I am greatly indebted to M. Maeno and H. Takano for many observations about string field theories.
× Vo(x'r, Lr) = ~LI + L2+L3,0 ~pl +p2+p3,0 exp [ i•P2 "LI
+iztp3"[(fl2+½fl,)L~ +½fl2L2-½L3]},
(26)
up to a normalization factor. To make contact with on-shell vertex operators in the operator formalism, we take the limit o f ot l--'0 [ 11 ]: ~LI +L2+L3,0
¢~pl+p2+p3,0exp [i½nPt "L3
- i ½ n ( p l 'L~ +p2"L2 +p3"L3) ] ,
(27)
where we used the m o m e n t u m and the winding number conservations. The second term in the exponent o f (27) will, be absorbed in the field redefinition. Finally, making the correspondences
fl--,p I, LI3~L ,,
(28)
where pl is the m o m e n t u m of the emitted on-shell particle, we have the factor exp(i½nP'L).
(29)
This factor implies that the following combination o f the operators exp [ip. ( x ' + ½nL) ] ,
(30)
appears in the vertex operators rather than exp ( i p . x ' ) , as announced before. Here we should make two remarks: The first is concerning the limit of al--,0. It will be problematic in the presence o f non-zero winding numbers since strings which wind around tori cannot reduce to a point. Thus much attention should be paid in taking
262
References [ 1 ] D.J. Gross, J.A. Harvey, E. Martinec and R. Rohm, Nucl. Phys. B 256 (1985) 253; B 267 (1986) 75. [2] I. Frenkel and V. Kar, Invent. Math. 62 (1980) 23; G. Segal, Commun. Math. Phys. 80 (1981) 301; P. Goddard and D. Olive, Intern. J. Mod. Phys. A 1 (1986)
303. [3] V. Ka~ and D. Peterson, in: Anomalies, geometry and topology,ed. A. White (World Scientific, Singapore, 1985). [4] J. Lepowsky,Proc. Nat. Acad. Sci. (USA) 82 (1985) 8295; D. Bernard and J. Thierry-Mieg, Commun. Math. Phys. 111 (1987) 181; P. Sorba and B. Torresani, CNRS preprint CPT-87/P.2033 (July, 1987). [5 ] K. Ithoh, M. Kato, H. Kunitomo and M. Sakamoto, Nucl. Phys. B 306 (1988) 362. [6] L. Dixon, J.A. Harvey, C. Vafa and E. Witten, Nuel. Phys. B261 (1985) 678;B 274 (1986) 285. [7] J.H. Sehwarz, Phys. Rep. 89 (1982) 223. [ 8 ] G. Konishi, T. Saito, K. Sigemoto and W. Takahasi, Prog. Theor. Phys. 77 (1987) 958. [9] K.S. Narain, M.H. Sarmadi and E. Witten, Nucl. Phys. B 279 (1987) 369. [ 10] E. Cremmer and J.L Gervais, Nucl. Phys. B 76 (1974) 209. [ 11 ] M.B. Green, J.H. Schwarz and L. Brink, Nucl. Phys. B 219
(1983) 437. [12] T.R. Morris, Nucl. Phys. B 297 (1988) 141. [ 13] M. Maeno and H. Takano, Osaka preprint OU-HET117 (February 1989). [ 14] H. Hato, K. Itoh, T. Kugo, H. Kunitomo and K.O. Ogawa, Prog. Theor. Phys. 77 (1987) 443. [ 15] K. Itoh and H. Kunitomo, Prog. Theor. Phys. 79 (1988) 953.