# Full text of "Gauge invariant action for superstring in Ramond-Ramond plane-wave background"

## See other formats

July 17, 2002 KEK-TH-835 TOHO-CP-0272 Gauge invariant action for superstring in Ramond-Ramond plane-wave background Machiko Hatsuda, Kiyoshi Kamimura^ and Makoto Sakaguchi Theory Division, High Energy Accelerator Research Organization (KEK), Tsukuba, Ibaraki, 305-0801, Japan t Department of Physics, Toho University, Funabashi, 274-8510, Japan E-mails: mhatsuda@post.kek.jp, kamimura@ph.sci.toho-u.ac.jp, Makoto.Sakaguchi@kek.jp Abstract We present a gauge invariant action for a superstring in the plane wave back- ground with Ramond-Ramond (RR) five-form flux. The Wess-Zumino term is given explicitly in a bilinear form of the left invariant currents by introducing a fermionic center to define the nondegenerate group metric. The reparametrization invariance generators, whose combinations are conformal generators, and fermionic constraints, half of which generate K-symmetry, are obtained. Equations of motion are obtained in conformal invariant and background covariant manners. PACS: 11.30.Pb;11.17.+y;11.25.-w Keywords: Wess-Zumino term; Superalgebra; plane wave background 1 Introduction Recently the plane wave solution with the Ramond-Ramond (RR) 5-form flux was found as a maximally supersymmetric type IIB supergravity solution []!]] in addition to the Minkowski flat and the AdS 5 x S 5 spaces, based on studies of the plane wave solutions with the 4-form flux in the 11-dimensional supergravity 0. The Penrose's limiting procedure was applied to the AdS spaces to obtain these plane wave solutions with fluxes (pp- wave) [f|, |5], |j . It is recognized as an approximation of AdS spaces and leads to interesting approaches to the AdS/CFT correspondence JFj. The superstring action in the RR plane wave background was presented || and it was also shown that the action in the light-cone gauge becomes simply an action for 8 bosons and 8 fermions which are free and massive in 2-dimensions. Brane actions in the RR pp-wave background have been widely studied || mostly in the light-cone gauge. In the light-cone gauge the conformal symmetry is broken by a 2-dimensional mass term at the gauge fixed level though it should be recovered in whole string theory even in the RR pp- wave background [[K]]. The light-cone Hamiltonian does not commute with other global space-time charges thus states in a supergravity multiplet have different light-cone energy values and the light-cone energy is not minimized for BPS states. From a point of view of the symmetry, the light-cone approach is not suitable to understand systems. Manifest conformal invariant approaches have been providing us elegant formulations of string theories and practical computation methods. However the conformal invariant treatment has not been explored except in an alternative hybrid approach ||12|| . In this paper we will study the Green-Schwarz type superstring action in the RR pp-wave background in a covariant and manifest conformal invariant way. The RR backgrounds are usually described by the Green-Schwarz type actions which contain Wess-Zumino (WZ) terms. In reference |§ the WZ term of the superstring in pp-wave background is given in a one parameter integral of a closed three form. The formal integral representation of the WZ term is often useful in discussing the invariance of the action but is not always convenient for the practical analysis. The integral is hardly performed especially for curved background cases except in the light-cone gauge, so local symmetry constraints and covariant equations of motion which will be needed in the covariant string field theories are hardly discussed. On the other hand, it was shown that the WZ term for the covariant superstring in AdS spaces can be constructed in a bilinear form of the left-invariant (LI) currents [13|, 13, [H^, Ififl , and local symmetry constraints 17fl and global charges |L6[ were obtained explicitly. For the super-AdS group the WZ term which is bilinear in the LI currents can be constructed using a nondegenerate group metric depending on the scale parameter. In this paper we obtain the superstring action in the super-pp wave background from the one in the super- AdS background using the Penrose limit || . The limiting procedure must be taken carefully, since the bilinear form WZ term contains a divergent term when the Penrose limit parameter, Q , is brought to zero. In a flat limit where the AdS radius goes to infinity, the bilinear form WZ term also contains a divergent term which is a total derivative term causing no difficulty On the other hand the divergent term in the Penrose limit, which is a bilinear product of leading 1 terms of Q power series of LI currents, is not a total derivative. The correct form of the billinear WZ term is obtained by subtracting the divergent term and preserving a next to leading term of LI currents that gives a finite contribution. The next to leading term corresponds to the fermionic center introduced to make the group metric nondegenerate The organization of this paper is as followings. The Penrose limit of the bosonic sting is explained as a simpler case in the section 2. In the section 3, the correct limiting procedure of the bilinear form WZ term is explained. The resulting WZ term is shown to produce the closed three form if™. The K-invariance of the action is also confirmed. Then the gauge invariant action for the RR pp-wave background is presented. It is also shown that this action reduces to the light-cone action obtained by Metsaev || and the Green-Schwarz action [19] in the flat limit. In the section 4, we examine a particle, a superparticle, a bosonic string and a superstring cases. For each systems generators of reparametrizations and fermionic constraints are calculated. We obtain Hamiltonians and equations of motion in the conformal gauge. 2 Penrose limit of bosonic string action The superstring in the AdS 5 x S 5 space is given as a sigma model action on so flii)xso(5) 2~0|1 , and we begin with a bosonic part of it. We use the same notation of the superalgebra as [^, Bosonic part of the LI Cartan 1-forms are given by G r Ads(l/)~ 1 ^G'Ads(z/) — e AdsPa + e AdS -P a ' + I^AdS-^afe + I^Ads^a'b' where we use the subscript "AdS" to indicate objects on the AdSsxS 5 space. Parametrizing an element of the coset as GAds(y) = exp(y a Pa), a = (a, a'), it follows the Cartan 1-forms as elds = ^+(^-l)^% a , e^ = d/+^-l)^r/ (2.1) with y = yy 2 = Vy a y a , y = yy' = yy a 'y a >, b b' x b ya.y Y i/ r v y^y (r) \ A scale parameter R, which is the radius of AdSs and S 5 , is introduced in the normalization of F 5 = (l/2i?)(dvol(AdS 5 ) + dvol(S 5 )), by rescaling P- a -> RP d . The bosonic part of the sigma model action is written as A),Ads = e AdS e Ad s,a = (dy) 2 + (sinh |) 2 ^ + ^ dy 'f + ( sin |)V^, ( 2 .3) where dTt\ and dTL\, are 4-sphere metrics. The Penrose limit is obtained as Q — >• after rescaling y+^n 2 y+, y-^y-, tf^Qy 1 (2.4) 2 where y ± = (y 9 ±y°)/^/2, corresponding to P + — > Q~ 2 P + , P_ — > P_, P. — > Q~ 1 P~ i . Rewriting (p.l|) in terms of (|2-4j) and taking f2 infinitesimally small, Q2.1|) turns out to be a power series of fl Cartan 1-forms should be also rescaled as e + — > Q 2 e + , e~ — > e~, e l — » f2e* for consistency. Taking — > limit, leading terms of the expansion in Q are identified to the ones in the plane wave background Q 2 e AdS n 2 dy sin v V2R c AdS dy- + o(tf)=e-+o(&) AdS n dy 1 - sin jl V2R "pp y V2R y \ y + o(fi 4 ) = fi 2 e+ + o(fi - 1 o(Q 3 ) = Qe pp + o(fi' Bosonic part of the sigma model action in the pp-wave background is written as £(),pp — e pp e pp,a = 2dy + dy~ + sin V2R V2R 2 | if- ) dtfdy- sm + y/2R dy % dy l V2R 2dx + dx~ - J2( 2 ^) 2 ( dx ~) 2 + Y. dx ' idxi i=i i=i where the last expression is obtained by the following field redefinition sin 2{iy~ x~ 2/iy -y y y" E (y i \ 2 {2y- sin Any (2.5) (2.6) (2.7) A scale parameter /x is introduced in the normalization P 5 = fidx A (dx 1 dx 2 dx' i dx A + dx 5 dx 6 dx 7 dx 8 ) . This coordinate system is obtained if one begins with the coset parame- terization G pp (x) = e x+p+ e x p -e x ' p ~i. 3 Penrose limit of superstring action 3 3.1 Wess-Zumino term and nondegenerate super-pp-wave alge- bra For an Inonii-Wigner group contraction pi] the Cartan 1-forms are expanded with respect to a parameter s which is brought to zero as T A ^s~ N -T A =► L\z) - s N *L A {s N °z B ) = £ s N Lf N) {z) , (3.1) N=N A as was seen m flU) for b osonic part. The Maurer-Cartan equations are also expanded as OO oo oo E sN dL( N j + -f BC E sM+jftr -^^f)-^(x) = ) (3-2) N=N A Z M=N B K=N C where f BC is the structure constant of the original Lie algebra. Usually only leading terms of Cartan 1-forms are preserved in the limiting procedure as was seen in the previous section. The Maurer-Cartan equations for the leading terms ijA , 1 f A(N A ) j B tC _ r, aL {N A ) + 2 Ib{ - Nb) C ( N c) L ^ b ) L {Nc) - U ' c ( n c) = fsc , for N A = N B + N C fms) C(N C) = , for N A ? N B + N c describe the resultant group structure. The Penrose limit from the super- AdS group to the super-pp wave group makes the super-pp group metric to be degenerate. This is the similar situation as in the flat limit from the super- AdS group to the super-translation group where the metric is degenerate. However if the next to leading term in the fermionic Cartan 1-forms ( |3.1| ) is maintained in the limiting procedure, the nondegenerate group metric of the central extended super-pp group can be constructed as we will show below. The nondegenerate group metric can be defined in the super- AdS space and the bilinear form WZ term can be constructed as follows. In terms of light-cone indices a = (+, — , i, i') i = and the light cone projection operators for spinors m± e ± = w±6 , C± = C^±, Q± = Q^± , vj± = ^ r ± r T> r ± = ^|( r 9 ± r o) >( 3 - 4 ) the Cartan 1-forms for the super-AdSsxS 5 space are written as G AAS dG AdS = L AdS P + + L AdS P_ + V AdS Pi + L\ dS Q + + L AdS Q_ + Ll AdS P~* + -L^ dS M^ (3.5) where P* = M w , P*, = M 9i ,. (3.6) 4 The MC equation for Q_ is given by ^Ads + ^Adsrv-i'Ads —14 AdS nr;nr_LA dS + -^r* (-2L+ dS nLx dS - Li dS nr^r_L+ dS ) = o (3.7) with II = Ti234 and the MC equation for Q + has a similar form to this. From these MC equations it can be seen that structure constants fp~Q_, fp~Q + , /p_ + q + an d fp + Q^_ are present and the nondegenerate group metric can be defined consistently. The bilinear form WZ term can be constructed for the super-AdS space Hl6 B[2\,AdS — R (L^sCapC'^^TijjLp^s — d6 aa I C a pC' a! p,T\jjdQ^ J ) . (3.8) Here the nondegenerate metric for spinor index is PQ aalI Q pl3 ,j = CapC a '/3'( T i)iJ = p a p, and this is used for the WZ term as L a L^ ' p a p. It gives d(L a L^p a p) = L a L c L 13 f acf3 ~ with totally antisymmetric structure constants defined as f^P-ya- In HH it was shown that gives correct exterior derivative dB\ 2 ] = H\3], K-invariance of the total action and the correct flat limit. It was also shown that the second term in ( |3.8|) is required for the pseudo-supersymmetry invariance giving the correct string charge in the superalgebra. Let us discuss the Penrose limit of this bilinear form WZ term, (|3.8|) . The Penrose limit is taken as the following rescaling || e + -> ne + , e~ -> e~ (3.9) in addition to (|2.4j) . This corresponds to s = Q in (|3.1| ) and the scaling dimensions Na in (IO) to be N P+ = 2, N Pi = 1, iV P „ = 0, N P( = 1, N Mtj = 0, N Q+ = 1, N Q _ = . (3.10) Under this rescaling the AdS-WZ term (|3.8|) becomes n 2 B [2lAdS = % -= {fi 2 Z+ 1) r + r 1 nL+ 1) - L^v-nUL^ - n 2 2l (0) r-r 1 nL (2) -Q 2 de + r + T 1 nd6 + + de-r-niiffl- + o{Q 3 )} (3.11) where L = LC and C is the charge conjugation matrix in 10 dimensions. The scaling factor Q 2 of is determined by requiring the same scaling weight as the string kinetic term, the Nambu-Goto action. Under the Penrose limit the 0-th order equation of the MC equation for Q_ ( |3.3| ) becomes a trivial one according to (|3.10|) dL (0) + Smq Q_ L (0) I '(0) = • ( 3 - 12 ) This implies that the group metric is degenerate in the "— " spinor direction. In order to make it nondegenerate fp~ Q _ and fp~Q + must be included, so additional term is required whose scaling dimension is N P+ + Nq_ = Np, + Nq + = 2. It is = L pp and must be maintained in the limiting procedure, and explicit computation confirms that L pp = L7 2 \ is the next to leading term. Under the Penrose limit the Cartan 1-forms of the super-AdS group reduce to those of the super-pp background as n^Lias = n N ^L p A p + (n N ^ +2 ) ■ ■■IoxA^q^ ^Ads = L- pp + tfL pp + o(^) (3.13) and they satisfy the following MC equations for bosonic and fermionic Cartan 1-forms respectively ^pp ~~ TiHp^pp - iL pp T + L = dL pp - iL pp r-L pp = ^ L pp + 73 L pp L *pp + L pp L pp _ iL pp T l L pp = dLi pp - 4V2/x 2 L- p L^ p + Lj Lg, + 2 v / 2^I pp nr i eL pp = (3 dLt pp - 4V / 2/i 2 L- p L p ' p + LjppLg' + 2^//L pp nT i 'eL pp = dl^ p + LjpLg + 2^L pp nr-^eL pp = rfLg' + L^'L p ' p fc ' + 2z/iL pp nT~^eL pp = + -H> V ; L vv + V2Ll pp T +l L pp ) + ^ (2L pp UL+ - nL pp r ?+ L pp ) = dL pp + |L|r^L- = (3 di~ p + t(L&rv.L pp - v / 2L: pp nr 5 nr_L pp ) + ^ (-2L+nL pp - L pp nr 5 r_L+) = o where II' = r 5678 . These MC equations coincide with the ones obtained by the direct computation [§] using GgdG m = L+P+ + L pp P_ + L Pp P; + L+ Q + + L pp Q_ + li pp Pf + ^I&Mg , (3.16) except for the last equation for L~ . It would be obtained if one uses an extended super-pp algebra with a fermionic center. The last equation of (|3.15|) has the same form as the MC equation of the AdS ( p.7| ) then it becomes nondegenerate. Following to above limiting procedure from the super-AdS WZ term ( |3.8|) we propose a superstring action in the super-pp-wave background as S = J d 2 a £ = Jd 2 a (Co + C wz ) C = - TV^hh™ K & L v \h , Cwz=TB [%pp (3.17) where the WZ term is b [2] , pp = (Z+ J r_(r 1 ) /J nL+ J - 2Z p /r + (r 1 )/ J nZ pp 7 - de +I v4r 1 ) IJ ud9+ J ) (3.18) and u, v = r,a = 0,1 are the world volume indices and Cartan 1-forms are L A = dz M L M A = da u L u A with z M = (x m , 0"). 6 It satisfies the following criteria: (i) giving the correct three form, dB^} = for dHw = (ii) K-invariance of the total action. (i) Three form Hig\ From now on the currents L A p is denoted just as L A . The first condition (i) is checked by using the MC equations (|3.14j) and ( |3.15|) , dB [2] = ^(2L +I T^T 1 ) IJ UdL +J -2dL- I r + (r 1 ) IJ UL- J -2L~ I T + (r l ) I jUdL- J ) = -i(L + L-T_t 3 L + + L + VT-r 3 L-) + i— l —L+(-UJ t + V^^YinL- -t(L-L + T_T 3 L- + I-LT,r 3 L + ) + i-L-X+^r, - L^T^UnL- = -iLL & T & T 3 L = H [3] . (3.19) (ii) K-invariance The second condition (ii) K-invariance of the action is confirmed as follows. Let us denote an arbitrary variation of the coset element SG as the following combination G-HG = AL A T A = 5z M L M A T A , (3.20) and the variation of the Cartan 1-form is given by 5L A T A = 5{G^dG) = {d{AL A ) - AL B L c f A c ) T A . (3.21) Then an arbitrary variation of a Cartan 1-form is obtained by referring to the correspond- ing MC equation. The Kr variations (56^ — « M ) of Cartan 1-forms are given by 5 K L a = -f BC A K L B L c 5 K L a = d(A K L a ) — fg C A K L B L c (3.22) where A K L a = is imposed for the ^-variations. Concrete expression is 6 K L+ - ^(AjJli + VAjJ^ - 2ilT+A K L = 5 K L- - 2iLT~ A K L = (3.23) 5 K l) + ^(AJrL* + L-A re Ll) + {AJJV 1 + \ J A, - 2ilrA K L = ' S K L+ + fie {2(A K L-nL+ + L _ IlA re L + ) - U(A K L%T + L- + LT^+A^L")} + i(AJL%L+ + L%A K L+) - ^(A K Llr, + L- + ~L\T- i+ A K L~) = 5 K L- + -(A K I/T;./. + L'M- (; A,7. ) = (3.24) 5 K L~ - fie |2(A K L+nL- + L + I1A K L~) - U(A k iJt^T_L + + LT|r_A K L+)} + i(A„L%/. + l'-t^a,,/. ) - ^n(A K Lir,_nL+ + i4rviiA K L+) = . 7 Using these relations, the K-variation of the total action is calculated as 6 K (C + bC wz ) = - T8 K (^jg uv L a u U, v ) + bTe uv B [2]uv 2iT(A K L) U-fetG uv G uv ty u l + bt u '% u Tz) L v -2iT(A K L)(-T {1) +b)e uv ty u T 3 L, (3.25) with (i) 1 2a/- det G v t-$ , r 2 (1) = i , trr (1) = o , det G UV G U % V = Tn\T 3 e uv I/j v The action has the k invariance whose parameter k is satisfying (-r (1) + 6)« = , 6 = ±1 . (3.26) (3.27) 3.2 Gauge invariant action for a super-pp-string We present an explicit expression of the gauge invariant action for a superstring in the RR pp-wave background, with b = 1 of (|3.27 ), S d 2 a C= / d 2 a (Co + Cwz) , C = - TV-hh uv L u a L v \ db C wz = Te uv ^- (-L u + T-nUL v + + 2L U ~T + T l YiL v ~ + dJ+T _rjld v 6+) (3.28) where the Cartan 1-forms in the pp-wave background are obtained from the ones in the super-AdS 5 xS 5 given in the appendix. The results are L+ L (D9)+ + i9+T- sm fe-Y- ( Sm 2 \ 2 2 {per \a,° -. - - / sm „ e i + f 2_ — / 2 9 i]jr_ \ 2 V 2 / • * \ 2 -i9~r ' 2 « L + Lr L~ sin sm W_ 2 (D9)-\n^ (D9y\no ( sin ^± \ ■ w sin \1/ (DC)- 'sin\l/_\ . / sin\I/_ (DC)- sin \l/ (DO)' (3.29) 8 with the covariant derivatives ' (D9)-\ Q0 = dO ■ U>Y ;j < (D9)-\ Q2 = -fie (2e+m- - n e i, r 5 r_0+) - ^einr ? nr_e+ (3.30) (D6)+ = d9+ + \(J*r rj 6 + + fie (2e~m+ - Ue'Tf+Q-) - ^ijf + e~ and arguments of the sin's are m 2 = 2fii [eu(2e + e-r + - 20-0+r_ + r+re-er. - r_re + er.) (3.31) + fr + (rVrr s n - re-e+uv^ + r_(r ? Vrnr s - r l e + e + r-u)) e zu + ^ 2 zu + = ^ (v i:i oo r, ; - r* J 00-r^)r+ - (r^'00+r^ - r j 00 + r iy )r_j n e = dir.rv; r ; + r+r^-rr^ne -- 2/ii \eU(26 + e-T + + r+rh-e+r. - r + r*0-0+nr s e 1^ -Kp^+^-r^ - r^"0 + 0-r iY )r + iie VJ-^ 2 VJ. 2fxi e n(-20-0+r_ - r_r*0+0-rj + r_r i 0+0-nr ; e |Q 2 +1(^0-0+^ - r^"0-0 + r iY )r_ne 2^ \eUT^re + e + T. - r_r ? + 0+r|iie The Cartan 1-forms are same as the one in M except for L . From now on we use the "x-coordinates" in (|2.7|) for simplicity in which the bosonic Cartan 1-forms are given by e 1 e" 13 dx + — 2fi 2 (x t ) 2 dx~ dx~ dx l — 4:^/2 n 2 x l dx~ (3.32) We confirm that this action reduces to following known ones (i) light-cone action in the light cone gauge, (ii) flat action in the flat limit \i — *■ 0. (i) Light-cone gauge action In the light-cone gauge with the conformal metric x+ = p+T , 0- = , h uv (3.33) 9 the Cartan 1-forms reduce into ' L+ = e + + i9 + T + (d9 + + 2fiee+Iie + ) L = e+ V = S ' L+ = de + + 2nee+m+ L~ = Lr V = f jLeUe i r i _9 + - ^elur i UT^e + (3.34) The light-cone action of a superstring in the super-pp-wave background is given by S = -T J d 2 a - (8Px x d n x % + m 2 {x i ) 2 ) - ip + (6 + T + (d + r z d x )9 + + mO + T + em + ) , m = 2fip + (3.35) which coincides with the one obtained by Metsaev H. (ii) Flat action The flat limit is realized by taking // — > limit. The kinetic term £ i n the flat limit is straightforwardly obtained by taking fi — > in Cartan 1-forms L a as dx & + i6T & d6 (3.36) The WZ term Cwz m the flat limit must be evaluated with care. Term proportional to is absent in ( |3.17| ). Terms proportional to /i° are obtained from terms proportional to /i 1 in L's d6 + + ji tli(2e-d + - SV-T+d-) + ^ 2 d6 + + w + ^ 2 w_d0- eU(2e + 9- - eT;r_# + ) + -(^_ 2 dr + w^ 2 w^ 2 <W~ + w_^ 2 w + d9 A 3! ^ 2 L = jj L~ = de~+o(/j, 2 ) The WZ term becomes £ wz = T— p. 2d0 + r_7iII (L+) i - 2JT + nn (IT) + o((i d idx & 9r & de + \ev' a T Z dd ev^dd + -enrVicZfl 0nr*«j0 1 V2 T + o(fi 2 ) . (3.37) — (e-nr^ntze 0nr- ij '«Z0 - e-nr-^'ndB enr- i,j 'ede idx a eTad6 + -9T a T 3 d6 6T a d6 (3.38) where the last equality is derived by using the relation in the section 2.3 of ||16|| . This action is the Green-Schwarz superstring action in a flat space [IS . 10 4 Hamiltonian and equations of motion In this section we calculate the Hamiltonian, constraints and equations of motion of the system. Before examining the superstring in the pp-wave background, particle, superparticle and bosonic string cases are examined. 4.1 Bosonic particle The action for a bosonic particle system in a curved background is Spa = Jdr^-x m g mn x n The canonical momentum of x m is p m = SSpa/Sx" 1 = (1/ 'e)g mn x n and the gauge invariant Hamiltonian is H PA = e#p A , H PA = - Pm g mn Pn = It leads to the following equations of motion in e = 1 gauge { x m = g rnn p n [Pm= -\{d m g nl )PnPl then x m = -T m nl x n x l (4.1) (4.2) (4.3) with the Affine connection coefficients defined by T l nk = \g lm {—d m g n k + d( n <7fc) m ). For the pp-wave background the metric is given by 9n ( 9++ 9+- 9+j 9-+ 9— 9-i f 1 1 -Afi 2 x 2 V o o % , 9 mn = \ 91+ 91- 9ij the Hamiltonian in the e = 1 gauge is given by H PA = \ [2p+P- + P 2 + (2fj,p+) and equations of motion are 2 X 2 1 1 2 2 X (4.5) x + = p_ + (2fi) 2 x 2 p + x~ = p + x = p ' p. = p + = K P = -(^P+fx (4.6) 11 with x = x % and p = p~-. The second order equations of motion can be written as x+ = (2n) 2 p + (x 2 ) x~ = X = —L) 2 X , L) = 2fip A (4.7) and (|4.6| ) and (|4.7|) are solved as x P- + 2fi 2 p + (a 2 + a 2 )) r — \[i(ol 2 — a 2 ) sin(4/ix ) — fict ■ a. (cos(4/ix ) — 1) x X = p + T + X Q x = a sin(2/ia;~) + a: cos(2/ix~) where constants a and & are amplitudes of harmonic motions in transverse directions. The Hamiltonian is also written as U PA 2p + p„ +uj 2 (ct 2 + ot 2 ) (4.9) The canonical momenta p^ are not constants of motion but the constants of motion are the global translation and boost charges Pa and P? . Their forms in terms of the canonical variables are calculated from A a Pa = Pm hx m = Pm A X L A (r 1 )/ , G^8 X G PP = G^(X & P & )G PP = A X L A T A etc. and are Pa P_ =p_ P+=P+ P'i = Pi cos(2/ix - ) + 2fip + xi sin(2/ix~) = u)a>i -){pism.{2^ix~) + 2fxp + xi cos(2/ix~)) = ( (4.10) (4.11) 1 In terms of global charges the Hamiltonian can be written as the quadratic Casimir operator of the pp-algebra 1 H PA (4.12) This Hamiltonian is justified algebraically as it commutes with all global space-time sym- metry charges. It is also obtained by the Penrose limit of the Hamiltonian of the AdS particle which is also the quadratic Casimir operator of the AdS algebra; f C AdS =J2PaPbV ab + T,( M ab) 2 a=0,l,-,4 a&=0,-,4 C S =Y / Pa>P b >V a ' b ' +E( M ^') 2 o'=5,-,9 a'6'=5,-,9 Penrose limit a=0,l,-,9 i=l,— ,8 Cpp(-4) = P+ • (4.13) 12 There are two quadratic Casimir operators each for the AdS$ and S 5 . They turn to become two quadratic Casimir operators in the pp algebra. The one, which contains the Lorentz invariant mass term in a flat limit jj, — > 0, is the Hamiltonian of this system. 4.2 Superparticle The action for a superparticle system in the pp-wave background is obtained by elim- inating a dependence in ( gT7p , flODQ , ( ftjip , Ssupa = / dr ilA^ag (4-14) where L a is the coefficient of <ir in the pullback of the MC form L a , L a = x m Lj: + ^L; , L m a ^e m a + 6^V . (4.15) Canonical momenta for x m and 9^ are _ <5Ssupa T & - b t - ^supa _ T a g The gauge invariant Hamiltonian of the pp-superstring is obtained as T^supa = ef/suPA + -Fsupa,^A m (4.17) where primary constraints are #supa = ^7^ = (4.18) FsvPA !f * = Cm"^L/ = (4.19) with super-invariant (up to local Lorentz) combination vra = (e- 1 ) a m (p m + Ce^) = ^L \^(e- 1 ) a m vr m . (4.20) Half of the fermionic constraints generates the K-symmetry transformations the existence of which is given in the subsection 3.2. Other half is the set of second class constraints and the multipliers ,A M 's in (|4.19D , associating with the second class constraints vanish by the consistency condition. Equations of motion in e = 1 and A = gauge are obtained in a background covariant way as f ^.m _ r, - C(d m H n )07r" (421) (4.22) = 7T m Pin = ~\d m g nl Cm = -vr a (CHa) 13 with Q m ^ = (S m )'' V 9 U and second order equation is given by x m = -T m nl x n x l - g mn x l C(d[ n Ei] - [E n , S,])0 . (4.23) where indices a and m are raised and lowered by t] ab and g mn respectively. The world line element is calculated as cfeluPA = e -^suPA = where ( f4.20| ) is used. The superparticle, which is the zero mode of the superstring, in the pp-wave background moves along the null geodesies and it satisfies the "massless" constraint -ffsuPA = 0. . In order to solve equations of motion the concrete expression of the RR pp-wave background metric (|4.4j) and = : w + (2/xeU - 2/iVr;R -/ienr.rv (4.24) are inserted. The Hamiltonian is given by 1 H SUPA With p m = (p + ,p_,p), TT n become 2p+(p_ + CH_ 2p+7T_ + UJ 2 X 2 + 7T 2 (7T+, 7r_, 77 ) and x m (4.25) ). The equations of motion tt_ + (2fi) 2 x 2 p^ P+ 7T? p_ = p+ = o Pi -u 2 x. + 2 fJ 2 p + (T l r, ^=p + (S_^ + 7T J (Sj C = -P+(C2-) M -7T 5 (CH (4.26) Using facts 7r_ = 0, 77 = — u 2 x, the second order equations for x m take same form as the bosonic particle ( |4.7| ). Furthermore 9^ and satisfy second order harmonic equation with frequency to. It is shown by using <9^S_ = — (H_) 2 = — 4/i 2 + 4/z 2 a;*S| and S^Sj = 0. Solutions are found in the same form as ( |4.8|) and ( |4.12j) with replacing p~,Pi by 7r_ , 7Tj. The Hamiltonian is expressed as T^SUPA E B Ep E B + E F - \2p + n_ + uj 2 (ol 2 + 6l 2 ) (4.27) const. 2pifii9 + T + ( sin / sm where "+" projected part of fermionic constraints (|4.19|) are used. -const. 14 In terms of global charges the Hamiltonian can be written as the quadratic Casimir operator of the super-pp-algebra which is obtained by the Penrose limit from the quadratic Casimir operator of the super- AdS algebra; c sAdS = E P ^ SS + E M aS - \Q^A{e AB C- laP C'- la 'P')Q^ B a=0,l,-,9 aS=0,-,4 or 5,— ,9 Penr ^ Umit c spp( _ 2) = £ P t Ptf* + £ PfPjrg - ^Q + (C- 1 T + Ue)Q + =► 2tt SUPA a=o,i,-,9 »=1,— ,8 (4.28) with rfj = (2v^2/i) 2 5 i - 7 and 77* = 2y/2fi. The supercharge is obtained by the Penrose limit from the one of the super- AdS result |L6| sm^\ I ( ^_ Q + = C+(l- - 7 =T + : l 6-6-T i Tle)-(p + t6 + T + +p i t6-r x (cos(2/ix~) - ensin(2/ix~)) (4.29) which is consistent with that the Hamiltonian ( f4.25| ) and the quadratic Casimir operator in (|Q8D . 4.3 Bosonic string The action for a bosonic string system is obtained by eliminating 9 dependence in Sst = - T J d 2 a V^hh uv d u x m g mn d v x n . Canonical momentum of x m (a) is p m (cr) = 5SsT/Sx m (cr) = —T\ / —hh u0 d u x n g mn . The gauge invariant Hamiltonian of the pp-string is obtained as Hst = J da (j^-H ± + , (4.30) (4.31) where primary constraints are H±(a) = ^( Pm g mn Pn + T 2 x' m g mn x' n ) = (4.32) Hn(a) = Pm x ,m = . (4.33) The equation of motion in the conformal gauge, h uv = rj uv , are obtained as ( x m (a) = \g mn p n \ Pm(o') = T(g mn x' n )' + ^(d m g n i) ^p n p l - x' n x' l ^j (4.34) 15 and Dx m (a) = -T m Jx n x l - x' n x' 1 ) (4.35) with □ = d 2 — d 2 = 8q — d\. For the RR pp-wave background case, by using the Hamiltonian becomes — — - / da 2T 2p + p_ + p 2 + (2//p + )V + T 2 ( x + V + x' 2 - (2/x) \2„2 (4.36) The equations of motion are x + (a) = i(p_ + (2/j,) 2 x 2 p + ) x-(a) = ±p + p_(<r) =T{x + " - (2fi) 2 (x 2 x-'Y) p + (a) = Tx~" x(a) = fp { p(a) = -T {x" + + (2/i) 2 * ((^) and ones of the second order form become Ux + (a) = (2fi) 2 x 2 x- Ox (a) = n x (a) = (2n) 2 x Ux-'f - {x~f — [X (4-37) (4.38) By solving equation of motion for x in ( 4.38 ) as P+ '°r + 4= E (^» + a". -2in((T+T) (4.39) the last term of the last equation in (|4.38|) becomes [x -l\2 P+,0 4*5: n<e 2m ^ ^r-4«E nc^e" 2 ^ (4.40) It is difficult to solve the equation for x except in a case where only the zero-mode term (p +)0 /T) 2 is present. It is the same as the light-cone result a? = a sin(c^) + a cos(cj t) + -= £ (o: n e i{ ^ r+2n,T) + a n e l( ^ r - 2nCT) ) ^ n = sgn(n)y / (2/ip +j0 ) 2 + (2n) 2 (4.41) with ajj = a_ n and = a_ n and the Hamiltonian becomes 2/ ol\ + a 2 ) + U 2 n OL n CL_ n + (4.42) 16 4.4 Superstring Now let us examine a superstring in the RR pp-wave background which is described by the covariant action ( p.28|) . The conjugate momenta are /■ /_\ _ ^ ^0 T a.^WZra ( A A A\ The gauge invariant Hamiltonian of the pp-superstring is obtained as H ± (a) = H ± -Ft 3 9' (4.45) H\\(o) = H\\+F6' where primary constraints are Hit?) = ^(7faV S + T2 VLi\s) = ( 4 - 4 6) H\\(a) = 7faV = (4.47) F v {a) = (u - 7f a L/ - = (4.48) Half of the above fermionic constraints generate ^-symmetry as shown in the section 3.2 for the action ( ggg) . Super-invariant (up to local Lorentz) combinations are L" and m The equations of motion for a superstring in the pp-wave background in the conformal gauge, h uv = r] uv , are obtained as x m = + (e- 1 ) a m L M a (r 3 ^ , ) /1 p m = t(lJl u )' +(d m9nl ) (^vr^ - |L X ^e" 1 ), »Li V^s ' - vr n L^ "(e" 1 ), f (^r) 5L (4.49) 17 -(Cr3);-T(L/L ia )'-(vfaL M Sy +T (x ,m (~ T a (x' m (E r aleft \ let + uz l u °) (r 3 ey d6» \5L " - J which are background covariant. fd Mt A (4.50) In the components by using ( |4.4|) and ( 4.24 ) the Hamiltonian in the conformal gauge is rewritten as n Hi + H2 + 7~C 3 (4.51) n 3 = For a flat Equations x + xr x l P- P+ Pi da + P+ L^(t 3 9>) da + V + (#' + da -Cr 3 ^] • 2fi 2 x 2 x rV'L, + <*/, " " L«(r 3 er case ?ii and 7i 2 reduce into simply J {l/2T)p 2 and / {T/2)x' 2 respectively, of motion are written as i(7T_ + 4fi 2 X 2 p + ) lp + + L u -(r 3 e-'r T{-2^ 2 x 2 L 1 L^(r 3 9'r + 2fi 2 x 2 L u -(r 3 9-'r (4.52) L /V)} + / <^ZS%J (fff^) { 2 ^ ° («7 + (H-fcir + 3^))" - L„ a {r 3 6'Y} T (x-" + ((O^L, ")') + iT (C-^eW- fCT^U^r.e-' +T (V + (H^( V L i ~ + V V))' -4/.V { P+ + L u -(r 3 e-'Y) - x-'Li} -Tx-\EJEL i ery$, ll +L 1 - + L M *L X l ) - J da' (j^ffi) ^ W) -f {(^r) r Cr_r in ^ (S_6li- + -f {(=^a;-'s_s i r) r cr_r 1 n^ ( S _ te - + s ^ ri ?)} (4.53) A' 18 9- (C+)a {r,e+'Y + (~_ey + l„ -(r 8 0") + &n x (hn + V(^0 -t 3 C ■(C + V 3 )a - (Cf - f l 1 + r-r 1 n^) l/ (s_«7 + )" A (± P+ + \ -foe-'y -T -(9' + x-'^e + a;? V r { {^yK + ) Li - + (af^L, j ) ^ * + ( P+ L, Va + ^ i^)" A r 3 )' 4.54) + f l(^) Cr_r in ^(H_^-+H^-i '5^±x- / H_) r cr_T 1 n5!Ut (e_6x- + E 3 e <y3 and second order form equations become □x + (er) = {2ji) 2 x 2 x~ + 6 )± dependent terms lr 3 e & L □cc(cr) = (2jj) 2 x \ {x ') 2 — (A ) 2 ) + 9 dependent terms + i {(^ e nr ) T cr + r 1 n^r 3 r'} / (4.55) The right hand sides of the first and third equations are complicated functions of 9 or 0- and 9+. Conclusions and discussions In this paper a form of the gauge invariant action for the superstring in the RR pp-wave background is proposed. It is explicit since the Wess-Zumino term is bilinear with respect to the LI currents of the super-pp-wave algebra. It is obtained by the Penrose limit from the superstring action in the AdS background with the bilinear WZ term [16 . The Penrose limit of the WZ term is given essentially as follows: 1. Rescale the coordinates in the LI 1-forms with a parameter Q with suitable weights, for example ^Ads( zT ' L7 0) (z m ) + n 2 L7 2) (z m ) + o(n 4 (5.1) W > ^ (2V 2. Rescale the WZ term with the same weight of the Nambu-Goto term as £wZ,AdS - > 2 £wZ,AdS • (5.2) The term which would have negative power of Q is Z^ dg r~IIriL^ dS and becomes n- 2 Li dS r-UnLi dS = n- 2 (L^r-UnL^ + n 2 + o(fi 4 ) 19 3. Subtract the divergent term in Q — > limit which is proportional to 1/Q 2 and closed. 4. Take the Q — > limit in the bilinear WZ term 'WZ, P p = 2I/( )F UtiL^ £wz,a<is — > £\vz,pp = 2L (0) T UtiL (2) + L + dependent term This procedure corresponds to make a nondegenerate super-pp-wave group by introducing the fermionic center associating to L7 2 -, = If. This is contrasted with the conventional WZ term case: 1. Rescale coordinates in the LI 1-forms with a parameter Q with suitable weights and take the leading terms in the limit Q — > L AdS (z m ^Q N -z m ) - L m (n . Lt dS (z m ^Q N -z m ) -> Q 2 L+ 2) (^). (5.3) 2. Construct the WZ term in the conventional form given by an integral of the three form § J d 2 aC wz ,Ads -» J d 2 aC wz , P p = J d 3 cr[X^^ ) r 3 L^ 0) + L ± dependent terms] . In this case the next to leading term L7 2 \ is not necessary to be preserved in taking the Penrose limit of the WZ term. However the resultant WZ term does not allow us simple treatment of the Hamiltonian and equations of motion. The Hamiltonians for the bosonic particle, superparticle, string and superstring in the RR pp-wave background are obtained in the conformal gauge. The particle and the superparticle Hamiltonians are identified with the quadratic Casimir operators of the pp- wave and the super-pp-wave algebras respectively. Once the superparticle Hamiltonian ( |4.1S| ) is recognized as the super-pp-invariant "mass operator" of the superstring theory, all states in a supergravity multiplet are "massless" and the supersymmetry is manifest. The world-sheet reparametrization generators and the local fermionic constraints are also obtained. The combinations of the reparametrization constraints ( 4.4(j| ) and (|4.47|) as Tt± ± TC\\ and the first class part of Ff, where I = 1,2 correspond to right/left (±) modes, will make a closed set of constraint algebra, namely ABCD constraint system |2"2]] . It was shown that the local constraints of the AdS superstring satisfy the ABCD algebra | 17| as well as of the flat superstring. Since the super-pp-wave algebra is obtained by the Penrose limit from the super- AdS algebra as well as the flat algebera by the flat limit, the local symmetry algebra is also expected to be obtained by the same limiting procedure preserving the same structure of the ABCD algebra. The background independence of the local symmetries is plausible. Equations of motion in the conformal gauge are obtained and are background covari- ant. The equations of motion for x are obtained and will be important for taking into account interactions. In order to quantize the superstring theory in the conformal gauge there may be required a suitable change of variables such as to the GL(4|4) matrix variable 20 as was done for the AdSsxS case [fT5 ]. The covariant approach will be useful to examine symmetry structures toward the covariant superstring field theory, S-T-U dualities which are deeply related to the background symmetry and non-perturbative properties such as BPS conditions. A Cartan 1-forms for AdSsxS 5 The Cartan 1-forms in the AdSsxS 5 space are presented |20, [T(|. The left-invariant e xP e"^ are Cartan one-forms of a coset SU(2, 2|4)/[SO(4, 1) x SO(5)] 3 G = G(x, 6) defined by G~ l dG = L a P a + L a ' P a , + \l, ab J ab + \\, a ' b ' J a , v + L aa>I Q aalI . They are given by L a = e a + iQCCy DO l sinf-^ 2 J^ab , ,ab ar~* 7"« '„,ai> r I V 2 oo ab - 6CC'~f ab e sin \1/ #/2 DO DO OJ ab 1 / sinh(|) x/2 dx^x b ^ tf/2 L a'V = u a'V + eC CY b 'e 1 Sm 2 \ 2 */2 J (A.l) OJ a'b' 1 ±m dx w x ^ 2 I x'/2 J where [ab] = ab — ba and charge conjugation matrix for AdSs space and S 5 space are C and C respectively and DO >\aa'I 0H' J d - % -e(l a e a + i^e al ) + \{i ab uj ab + j a ' b 'u a , b ,) (efe) ^ 1 {ecc' la ) mJ - (e^'eT ' 1 (ecc' la ,) mJ (a.2) _ l _ {r b 6)aa >i {ecClabe)mJ + ^ r 'b' e)aa 'i {eCC' lal ye)p piJ . After the Penrose limit using Q2.4Q and ( p.9|) they are written as ( p.29|) . The relation between the AdS variables and the Penrose variables are described in [Q. References [1] M.Blau, J.Figueroa-O'farrill, C.Hull and G. Papadopoulos, JHEP 0201 (2002) 047, lhep-th/01 10242 . [2] J.Kowalski-Glikman, Phys. Lett. B134 (1984) 194; C.M.Hull, Phys. Lett. B139 (1984) 39; P.T.Chrusciel and J.Kowalski-Glikman, Phys. Lett. B149 (1984) 107; J.Figueroa-O'farrill and G. Papadopoulos, JHEP 0108 (2001) 036, |hep-th/0105308 21 [3] R.Penrose, Any space-time has a plane wave as a limit, p. 271-275, "Differential Geometry and Relativity" M.Cahen and M.Flato eds. (1976) Reidel Publishing, Dordrecht-Holland. [4] M.Blau, J.Figueroa-O'farrill, C.Hull and G. Papadopoulos, Claa. Quant. Grav. 19 (2002) L87-L95, [hep-th/0201081| ; R.Giiven, Plane wave limits and T-dualiy, |hep- th/ 0005061| ; M.Blau, J.Figueroa-O'farrill and G. Papadopoulos, Penrose limit, Su- pergravity and Brane dynamics, |hep-th/0202111| . [5] M.Hatsuda, K.Kamimura and M.Sakaguchi, Nucl. Phys. B632 (2002) 114, |Ke]> th/0202190 [6] [7] [9] M.Hatsuda, K.Kamimura and M.Sakaguchi, Super-PP-wave algebra from super AdSx S algebras in eleven-dimensions , to appear in Nucl. Phys. B, |hep-th/0204002] D.Berenstein, J.Maldacena and H.Nastase, Strings in flat space and pp waves from J\f=4 Super Yang Mills , JHEP 0204 (2002) 013, [hep-th/020202! R.R.Metsaev, Nucl. Phys. B625 (2002) 70, |hep-th/0112D^| . A. Dabholkar and S. Parvizi, Dp branes in pp-wave background , hep-th/0203231; M.Cvetic, H.Lu and C.N.Pope, Penrose limits, pp-waves and deformed M2-branes, hep-th/ 0203082| , M-theory pp-waves, Penrose limits and supernumerary supersymme- tries, |hep-th / 0203229| ; P.Lee, J. Park, Open Strings in PP-Wave Background from Defect Conformal Field Theory, |iep-th/0203257| ; A.Kumar, R.R. Nayak, Sanjay, D-Brane Solutions in pp-wave Background, |hep-th/0204025| ; D.Bak, Supersymmetric Branes in PP Wave Background, [hep-th / 0204033| ; K.Skenderis and M.Taklor, Branes in AdS and pp-wave space-times, [hep-th/0204054j ; H.Singh, M5-branes with 3/8 su- persymmetry in pp-wave background, [hep-th / 0205020] ; M.Alishahiha and A.Kumar, D-Brane Solutions from New Isometries of pp-Waves, |hep-th/0205134| ; O.Bergman, M.R.Gaberdiel, M.B.Green, D-brane interactions in type IIB plane-wave background, hep-th/ 0205183; Y.Hikida and Y.Sugawara, Superstrings on PP-Wave Backgrounds and Symmetric Orbifolds, [hep-th/ 0205200| ; S.S.Pal, Solution to worldvolume action of D3 brane in pp-wave background, [hep-th/ 0205303| ; K.Sugiyama and K.Yoshida, Supermembrane on the PP-wave Background, |hcp- th/0206070 ; BPS conditions of supermembrane on the pp wave, |hep-th/0206132 S.Hyun, H.Shin, Branes th/020609q ; Y.Michishita from Matrix Theory in PP-Wave Background, |hep- D-branes in NSNS and RR pp-wave backgrounds and S-duality, [hep-th/ 02061 3 1| ; K.Dasgupta, M.M. Sheikh- Jabbari, M.Van Raamsdonk Protected Multiplets of M- Theory on a Plane Wave, |h^tIi/0207050[ [10] T.Takayanagi, Modular invariance of strings on pp-waves with RR-flux. | th/02060T0| . hep- [11] R.R.Metsaev and A.A.Tseytlin, Phys. Rev. D65 (2002) 126004, |hep-th/0202T09 J.G.Russo and A.A.Tseytlin, JHEP 0204 (2002) 021, |hep-th/0202179 . [12] N.Berkovits, JHEP 0204 (2002) 037, [hep-th/0203218 . [13] N. Berkovits, M. Bershadsky, T. Hauer, S. Zhukov and B. Zwiebach, Nucl. Phys. B567 (2000) 61, [hep-th/990720q . 22 [14] M.Hatsuda, K.Kamimura and M.Sakaguchi, Phys. Rev. D62 (2000) 105024, |hep- | th/0007009| . [15 [16 R.Roiban and W.Siegel, J. High Energy Phys. 0011 (2000) 024, |hep-th/0010T0l M.Hatsuda and M.Sakaguchi, WZ term for AdS superstring , to appear in Phys. Rev. D (2002), [hep-th/0205092| ; WZ term for the AdS superstring and generalized Inbnu-Wigner contraction , hep-th/0106114 . M.Hatsuda and K.Kamimura, Nucl. Phys. B611 (2001) 77, |hep-th/U 106202 . M.Green, Phys. Lett. B223 (1989) 157; W.Siegel, Phys. Rev. D50 (1994) 2799, frep-th/ 9403 jgj M.B.Green and J.H.Schwarz, Phys. Lett. B136 (1984) 367; Nucl. Phys. B243 (1994) 285. R.R.Metsaev and A.A.Tseytlin, Nucl. Phys. B533 (1998) 109, |hep-th/ 9805028 . [17 [18 [19 [20 [21] E.Indmi and E.P.Wigner, Proc. Natl. Acad. Sci. U.S.A. 39 (1953) 510, E. Inonii, in 11 Group Theoretical Concepts and Methods in Elementary Particle Physics" ed. F.Gursey (Gordon and Breach, New York, 1964). [22] W.Siegel, Nucl. Phys. B263 (1985) 93, "Introduction to string field theory" (World Scientific, Singapore , 1988); F.Essler, E.Laenen, W.Siegel and J.P.Yamron, Phys. Lett. B254 (1991) 411; F. Essler, M.Hatsuda, E.Laenen, W.Siegel and J.P.Yamron, Nucl. Phys. B364 (1991) 67. W.Siegel, Nucl. Phys. B263 (1985) 93. 23