arxiv: v2 [hep-th] 13 Nov 2007

Transcription

1 Strings in pp-wave background and background B-field from membrane and its symplectic quantization arxiv:7.42v2 [hep-th] 3 Nov 27 Sunandan Gangopadhyay S. N. Bose National Centre for Basic Sciences, JD Block, Sector III, Salt Lake, Kolkata-798, India November 6, 28 Abstract The symplectic quantization technique is applied to open free membrane and strings in ppwave background and background gauge field obtained by compactifying the open membrane in the presence of a background anti-symmetric 3 form field. In both cases, first the Poisson brackets among the Fourier modes are obtained and then the Poisson brackets among the membrane(string) coordinates are computed. The full noncommutative phase-space structure is reproduced in case of strings in pp-wave background and background gauge field. We feel that this method of obtaining the Poisson algebra is more elegant than previous approaches discussed in the literature. Keywords: Membranes, pp-wave, Noncommutativity PACS:.25.-w Introduction It has been discovered recently that there exists a new maximal supersymmetric IIB supergravity background, namely pp-wave Ramond-Ramond (RR) background []. It consists of a plane-wave metric supported by a homogeneous RR 5 form flux ds 2 = 2dX + dx µ 2 X I X I (dx + ) 2 +dx I dx I, I =,...,8 F +234 = F = 2µ. () The background has 32 symmetries and is related (by a special limit [2]) to the AdS 5 S 5 background [, 3, 4]. Remarkably, string theory in this background is exactly solvable [5]. Solvability in this context means that it is possible to find exact solutions of the classical string equations of motion, perform a canonical quantization and then determine the Hamiltonian operator. On the other hand, the theory of membranes has also been studied extensively over the last decade [6]. In a recent paper [7], it has been shown that one can obtain the action of an infinite number of massive strings in the pp-wave background by compactifying the bosonic membrane action. Some properties of closed and open strings in this background has also been investigated in this paper. Noncommutativity is another area which has attracted a lot of attention in the past few years [8] owing to the inspiration of superstring theories. It is a well known result now that open sunandan@bose.res.in

2 strings attached to D branes in the presence of a background anti-symmetric B field induces noncommutativity at its end points, i.e. along the world volume of the D brane [9,, ]. This fact further reveals the nontrivial role of boundary conditions (BC) in string theory and the need of taking them into account when considering the quantization of open strings. The most conventional way in which this result has been derived is by employing the Dirac approach [2] with the string BC(s) imposed as second class constraints in [3,, 4, 5]. A more elegant approach of obtaining this noncommutativity, done in spirit to the treatment of Hanson et.al [6] (where modified Poisson brackets (PB) were obtained for the free Nambu-Goto string), is by modifying the canonical bracket structure, so that it is compatible with the BC(s)[7, 8, 9, 2]. A conformal field theoretic approach to this problem has been studied in [2, 22]. In [23], the Faddeev-Jackiw (FJ) symplectic formalism [24] has been applied to obtain the PB(s) among the Fourier modes which appear in the solutions of the classical string equations of motion. Using this they obtained the PB(s) among the open string coordinates revealing the noncommutative structure at the string end points. In this paper, we first show that strings in pp-wave background and background gauge fields can be obtained by compactifying the open membrane action in the presence of a background 3 form anti-symmetric field. We then employ the FJ technique (as done before in [23]) to obtain the PB(s) among the Fourier modes and then between the string coordinates. The advantage of this method is that one need not know all the constraint chains by the consistency requirements that arise in the Dirac approach. The organization of this paper is as follows. To illustrate our method, we begin by discussing the free open membrane in section 2. In section 3, we discuss the interacting membrane and the symplectic structure of strings in pp-wave background and background gauge field obtained by compactifying the interacting membrane. Finally, we conclude in section 4. 2 Free open membrane An open membrane is a two dimensional object which sweeps out a three dimensional worldvolume parametrized by τ, σ and σ 2. These parameters can be collectively referred to as ξ i, (i =,,2). The Polyakov action for the bosonic membrane is then given by [6] where, S = dτ L = 4πα L = 4πα d 3 ξ π π ( ) g ab η µν a X µ b X µ dσ dσ 2( ) g ab η µν a X µ b X µ ; (a,b =,,2) (2) is the Lagrangian and g ab = diag(,+,+), η µν = diag(,+,...,+). The final term ( ) stands for the cosmological constant and does not appear in the string theory action. The variation of (2) gives the equation of motion and two types of BC(s). They are the Dirichlet BC(s) and the Neumann BC(s) ( )Xµ (τ,σ,σ 2 ) = (4) δx µ (τ,σ,σ 2 ) σ =,π = δx µ (τ,σ,σ 2 ) σ 2 =,π = (5) X µ (τ,σ,σ 2 ) σ =,π = 2 X µ (τ,σ,σ 2 ) σ 2 =,π =. (6) 2 (3)

3 The canonically conjugate momenta Π µ to X µ reads (we set 2πα = for convenience and we shall recover it whenever neccessary): Π µ (τ,σ,σ 2 ) = δs P δ( X µ (τ,σ,σ 2 )) = η µν X ν. (7) In order to quantize consistently, we need well-defined PB(s) among the canonical variables X µ (τ,σ,σ 2 ) and Π µ (τ,σ,σ 2 ) which read: {X µ (τ,σ,σ 2 ), Π ν (τ,σ,σ 2 )} = δ µ ν δ(σ σ ) δ(σ 2 σ 2 ) (8) {X µ (τ,σ,σ 2 ), X ν (τ,σ,σ 2 )} = {Π µ (τ,σ,σ 2 ), Π ν (τ,σ,σ 2 )} =. (9) The Hamiltonian is obtained by means of Legendre transformation H = = 2 π π π π dσ dσ 2 Π µ X µ L dσ dσ 2 [η µν (Π µ Π ν + X µ X ν + 2 X µ 2 X ν ) ] () and the time-evolution of X µ (τ,σ,σ 2 ), Π µ (τ,σ,σ 2 ) is governed by X µ (τ,σ,σ 2 ) = {X µ (τ,σ,σ 2 ), H} () Π µ (τ,σ,σ 2 ) = {Π µ (τ,σ,σ 2 ), H}. (2) However, at the open membrane end points, the PB(s) (8) are not compatible with the BC(s) (5, 6). This implies that the basic PB(s) must be modified in order to make them consistent with the BC(s). In the rest of the paper, we shall work with the Neumann BC(s) (6). The solution to the equations of motion (4) compatible with the BC(s) (6) read X µ (τ,σ,σ 2 ) = x µ +pµ τ +i +i +i m= n,m= = x µ +pµ τ +i +i +i m= n,m= n= ( α µ n n einτ α µ n e inτ) cos(nσ ) ( α µ m m eimτ α µ m e imτ) cos(mσ 2 ) (n 2 +m 2 ) /4( α µ nm ei n 2 +m 2τ ) α µ nm e i n 2 +m 2 τ cos(nσ )cos(mσ 2 ) n= ( α µ n n (τ) αµ n )cos(nσ (τ) ) ( α µ m m (τ) αµ m )cos(mσ (τ) 2 ) (n 2 +m 2 ) /4( α µ nm (τ) αµ nm )cos(nσ (τ) )cos(mσ 2 ) (3) where we have defined α µ n (τ) = αµ n einτ, α µ n (τ) = αµ n e inτ, and so on. The canonically conjugate momenta (7) expressed in terms of the Fourier components read 3

4 Π µ (τ,σ,σ 2 ) = η µν [p ν m= n,m= n= n (α ν n (τ)+αν n (τ) )cos(nσ ) m (α ν m(τ)+α ν m (τ) )cos(mσ 2 ) (n 2 +m 2 ) /4( ) α ν nm(τ)+α ν nm(τ) cos(nσ )cos(mσ 2 ). (4) We shall now use the FJ method [24] to obtain the PB(s) between the Fourier components. The idea is to write a Lagrangian in the first-order form L = a n (ξ) ξ n H (5) where ξ n stand for all the canonical variables and a n (ξ) can be read directly from the inverse of the matrix f mn = a n(ξ) ξ m a m(ξ) ξ n (6) provided the inverse of f mn exists. The first order form of the Lagrangian (3) reads: L = π π dσ dσ 2 Π µ X µ H. (7) Substituting (3) and (4) in the above equation yields [ L = π 2 η µν p µ p ν i ( )( ) α ν n 2 (τ)+αν n (τ) α µ n (τ) αµ n (τ) i 2 i 4 m= n,m= n= ( )( ) α ν m(τ)+α ν m (τ) α µ m (τ) αµ m (τ) ( )( nm(τ)) α ν nm(τ)+α ν nm(τ) α µ nm(τ) α µ H (8) where, H = π 2 [ 2 η µν p µ p ν m= n= ( ) n α µ n αν n +αν n αµ n ( m α µ m αν m +α ν m αµ m n,m= (n 2 +m 2 ) /2( α µ nm α ν nm +α ν ) nm α µ nm ) π2 2 (9) and the dots denote differentiation w.r.t. τ. It is now easy to read from the above first order form of the Lagrangian (8) three sets of variables ξ n = (α µ n (τ),αµ n (τ)), ξm = (α µ m (τ),αµ m (τ)), ξnm = (α µ nm (τ),αµ nm (τ)), and their 4

5 corresponding one forms a n (ξ) = iπ2 2 η µν[(α ν n (τ) + αν n (τ)), (αν n (τ) + αν n (τ))], a m(ξ) = iπ2 2 η µν[(α ν m (τ)+αν m (τ)), (αν m (τ)+αν m (τ))], anda nm(ξ) = iπ2 4 η µν[(α ν nm (τ)+αν nm (τ)), (αν nm (τ)+ α ν nm (τ))]. The matrix f for these three sets of variables can now be computed using (6) and the result is ( ) B f = (2) B in which is a null matrix and B is a diagonal matrix B µν nn = iπ 2 η µν δ nn ; (n,n =,2,...) for α µ n modes (2) B µν mm = iπ 2 η µν δ mm ; (m,m =,2,...) for α µ m modes (22) B µν nn mm = iπ2 2 ηµν δ nn δ mm ; (n,n,m,m =,2,...) for α µ nm modes. (23) The inverse of the matrix f can be easily obtained and reads ( f ) = B. (24) B Hence, according to FJ method, the non-trivial PB(s) are given by which further reduces to {α µ n (τ), αν (τ)} = i n π 2ηµν δ nn {α µ m (τ), αν (τ)} = i m π 2ηµν δ mm {α µ nm(τ), α ν n m (τ)} = 2i π 2ηµν δ nn δ mm (25) {α µ n, αν n } = i π 2ηµν δ nn {α µ m, αν m } = i π 2ηµν δ mm {α µ nm, αν n m } = 2i π 2ηµν δ nn δ mm. (26) Now substituting (3) and (9) in () leads to the PB(s) among the zero modes: {x µ, pν } = π 2ηµν. (27) With the above results in hand, the PB(s) among the canonical variables X µ (τ,σ,σ 2 ) and Π µ (τ,σ,σ 2 ) read: {X µ (τ,σ,σ 2 ), X ν (τ,σ,σ 2 )} = {Π µ (τ,σ,σ 2 ), Π ν (τ,σ,σ 2 )} = (28) {X µ (τ,σ,σ 2 ), Π ν (τ,σ,σ 2 )} = δ µ ν +(σ, σ ) + (σ 2, σ 2 ) (29) where, + (σ,σ ) = + π n cos(nσ)cos(nσ ) (3) satisfies the usual properties of the delta function in the interval [, π] [6]. Note that the above symplectic structure is consistent with the Neumann BC(s) (6). 5

6 3 Open membrane in the constant three-form field background The Polyakov action of a membrane in the presence of a background anti-symmetric three-form field A µνρ reads: S = [ ( 4πα d 3 ξ g ab η µν a X µ b X µ )+ ] 3 ǫabc A µνρ a X µ b X ν c X ρ. (3) where ǫ abc is anti-symmetric in all the indices. The variation of the above action leads to the equations of motion (4) and the BC(s) ( X µ A µ νρ X ν 2 X ρ ) σ =,π = (32) ( 2 X µ +A µ νρ X ν X ρ ) σ 2 =,π =. (33) The canonically conjugate momenta Π µ to X µ is given by: Π µ (τ,σ,σ 2 ) = η µν X ν A µνρ X ν 2 X ρ. (34) Using Π µ, the BC(s) (32), (33) can be expressed in terms of the phase-space variables as: [( η µ κ A µ νρa ν κβ 2 X β 2 X ρ) X κ A µ νρπ ν 2 X ρ] σ =,π = (35) [( η µ β +A µ νρa ν κβ X κ X ρ) 2 X β +A µ νρπ ν X ρ] σ 2 =,π =. (36) The above form of the BC(s) indicates that it is problematic to find exact solutions to the equations of motion (4). So we study the low energy limit where the membrane goes to string theory in the limit of small radius for the cylindrical membrane. To do this, we take the σ 2 direction of the membrane to be wrapped around a circle with radius R. We choose further the gauge fixing condition [7, 8] X 2 = σ 2 ; ( σ 2 2πR). (37) Now substituting the Fourier expansion of the world-volume fields X µ (τ,σ,σ 2 ) (µ 2): X µ (τ,σ,σ 2 ) = + n= X µ n(τ,σ ) e inσ2 /R ; X µ n(τ,σ ) = X µ n (τ,σ ) (38) in the action (3) and using (37), we obtain (recovering the 2πα factor): S = = 2 α + 2 α 2 α + n= n=m,n m S + n S n + dτdσ ( X µ n(τ,σ ) X nµ (τ,σ ) X µ n(τ,σ ) X nµ (τ,σ ) ) m 2 n Xµ n (τ,σ )X nµ (τ,σ ) A µν2 X n µ (τ,σ ) X n ν (τ,σ ) i(n+m) A µνρ 2 X n µ R (τ,σ ) Xm ν (τ,σ )X ρ 2 (n+m) (τ,σ ); m n = n R, α = α /R n=m,n m i(n+m) R dτdσ A µνρ 2 X n(τ,σ µ ) Xm(τ,σ ν )X ρ 2 (n+m) (τ,σ ) Note that if the σ 2 direction of the membrane is wrapped around a circle of radius R, then the X 2 -direction is also compact on the same circle. (39) 6

7 where, S = 2 α dτdσ [ Ẋ µ (τ,σ )Ẋµ(τ,σ ) X µ (τ,σ ) X µ (τ,σ ) ] B µν Ẋ µ (τ,σ ) X ν (τ,σ ) (4) istheusuallow energy stringtheoryaction inthepresenceofbackground gaugefielda µν2 = B µν and S n = 2 α dτdσ [ X n(τ,σ µ ) X nµ (τ,σ ) X n(τ,σ µ ) X nµ (τ,σ ) ] m 2 nx n(τ,σ µ )X nµ (τ,σ ) B µν X n(τ,σ µ ) X n(τ,σ ν ) (4) is the action of massive strings in pp-wave background and background gauge field B µν [25]. Clearly, from (39), (4) and (4) we observe that the last term contains modes which are higher in energy than the first two terms. Hence in the low energy limit, we only consider the first two terms in the action (39). The symplectic quantization of the usual string theory action (4) leads to the well-known noncommutativity at the end points of the string [23]. In this paper, we shall carry out the symplectic quantization of massive strings in pp-wave background and background gauge field B µν. The variation of S n gives the equation of motion ( ) 2 2 +m 2 n X n(τ,σ µ ) = (42) and the BC(s) ( ) X n(τ,σ µ ) B µ ν Xn(τ,σ ν ) σ =,π =. (43) The canonically conjugate momenta Π nµ (τ,σ ) to X µ n (τ,σ ) reads: Π nµ (τ,σ ) = η µν X ν n (τ,σ ) B µν X ν n (τ,σ ). (44) Using Π nµ (τ,σ ), the above BC can be expressed in terms of phase-space variables as: [ ] M µ ρ Xn(τ,σ ρ ) B µ ρπ ρ n(τ,σ ) σ =,π = (45) where, M µ ρ = (δ µ ρ B µ νb ν ρ). The solution to the equations of motion (42) compatible with the above BC(s) read [25] 2 where, X µ() n (τ,σ ) = X µ n(τ,σ ) = X µ() n (τ,σ )+X µ() n (τ,σ ) (46) [ ] x µ n cos( m nτ)+p µ sin( m n τ) n cosh( m n Bσ ) m n B µ ν [ p ν ncos( m n τ)+ m n x ν nsin( m n τ)] sinh( m nbσ ) m n B is the zero mode part (i.e. the modes with the lowest frequency) and X n µ() (τ,σ ) = ( e iω lnτ ia µ ln ω cos(lσ )+ ω ) ln B µ νa ν ln l ln l sin(lσ ). (48) ( ) B 2 We consider the case in which the B field takes the form B µν =. B 7 (47)

8 The constant B is the eigen-value of the matrix B ν µ and the frequencies are defined by: ω ln = sgn(l) l 2 +m 2 m n n ; m n =. (49) +B 2 Using X µ n (τ,σ ) = X µ n(τ,σ ), we find that the Fourier modes of the massive strings satisfy the relations x µ n = x µ, n ; p µ n = pµ, n ; a µ l,n = aµ l, n. (5) The canonically conjugate momenta Π () nµ(τ,σ ) to X n µ() (τ,σ ) expressed in terms of the Fourier modes read: Π µ() n (τ,σ ) = [ ] l>m µ ρ a ρ l, n e iωlnτ +a ρ l, n eiω lnτ cos(lσ ) + ib µ ( l ρ ω ) [ ln ] a ρ l, n ω ln l e iωlnτ a ρ l, n eiω lnτ sin(lσ ). (5) l> Now we apply the FJ procedure to obtain the algebra between the non-zero Fourier modes. To do this, we once again write down the non-zero mode part of the Lagrangian in a first order form L () n = which on substitution of the mode expansions (48) and (5) read L () n = iπ 2 η µκ l> π dσ Π () nµ X µ() n H () n (52) [ Q µ ρ(ln) (a ) ρ l, n ω e iωlnτ +a ρ l, n eiω lnτ ln (a ) ] κ l,ne iωlnτ a κ l,ne iω lnτ +... H () n (53) where, Q µ ρ(ln) = (δ µ ρ ω2 lnb µ l νb ν ρ) and the... represent terms which do not play a role in 2 the determination of the symplectic structure. The explicit form of H n () is also not required for obtaining the PB(s) between the modes. As before, one can again read a set of variables ξn l and the corresponding canonical one-form a nl (ξ). The matrix (6) once again reads the same as (2) with the diagonal matrix B being: B µν lnl n = iπ ω ln sgn(l)q µν (ln) δ n+n, δ l,l. (54) Now from the inverse of f which reads the same as (24), it is easy to read the PB(s) among the non-zero Fourier modes using the FJ technique. They are: {a µ ln (τ), aν l, n (τ)} = i π sgn(l)ω ln(q (ln) )µν δ n+n, δ l,l. (55) The PB(s) among the zero modes x µ n and pµ n (, 2) and read: can be determined from the evolution equations {x µ n, pν n } = π m n B πtanh(π m n B) (M ) µν δ n+n,. (56) where M µν has been defined earlier. Now since the BC(s) are valid on the boundaries, it is natural to demand that {X µ n (τ,σ ), X ν n (τ,σ )} = ; for σ, σ (,π) (57) 8

9 from which we get: {x µ n, xν n } = (BM ) µν δ n+n, (58) {p µ n, pν n } = m2 n (BM ) µν δ n+n,. (59) With the above results (55, 56, 58, 59) in hand, and after some lengthy calculation, we obtain the following PB(s): {X µ n (τ,σ ), Π n ν (τ,σ )} = δ µ ν δ n+n, +(σ,σ ) (6), σ = σ = {X n µ (τ,σ ), X µ (τ,σ n )} = δ n+n, (BM ) µν, σ = σ = π, otherwise. +, σ = σ = {Π nµ (τ,σ ),Π n ν (τ,σ )} = δ n+n, m2 n B µν, σ = σ = π, otherwise. (6) (62) which agrees with [25]. Note that in the B limit, the noncommutativity vanishes and the results are in conformity with [7]. 4 Conclusions In this paper, we employ the Faddeev-Jackiw symplectic formalism to study the problem of open free membrane and strings in pp-wave background and background gauge field obtained by compactification of interacting membrane. The starting point is the solutions to the classical membrane(string) equations of motion. It is then observed that one can find the PB(s) among the Fourier modes first, using which the PB(s) among the original variables can be obtained. This idea was first proposed in [9] where the authors used the time-independent symplectic form ([26], [25]) to fix the PB(s) among the Fourier components. In this paper, we follow a slightly different method (due to [23]) to obtain the symplectic structure among the Fourier modes. The solutions of the membrane(string) equations of motion are substituted into the Lagrangian and then integration over the spatial variables is carried out to cast the Lagrangian in a first order form involving the Fourier modes from which the PB(s) (among the Fourier modes) can be easily read off. Finally, using this algebra we obtain a noncommutative phase-space structure. Our results agree with the previous work in the literature [25]. Acknowledgements The author would like to thank the referee for useful comments. References [] M. Blau, J. Figueroa-O Farrill, C. Hull, G. Papadopoulos, JHEP 2 (22) 47, [hep-th/242]. [2] R. Penrose, Any Spacetime has a plane wave limit, in Differential Geometry and Relativity, Riedel, Dordrecht,

10 [3] M. Blau, J. Figueroa-O Farrill, C. Hull, G. Papadopoulos, Class. Quant. Grav. 9: L87, 22, [hep-th/28]. [4] M. Blau, J. Figueroa-O Farrill and G. Papadopoulos, Class. Quant. Grav. 9: 4753, 22, [hep-th/22]. [5] R.R. Metsaev, Nucl. Phys. B. 625 (22) 7, [hep-th/244]. [6] W. Taylor, Rev. Mod. Phys. 73 (2) 49; [hep-th/26]. [7] D. Kamani, Phys. Lett. B. 58, (24) 257. [8] N. Seiberg, E. Witten, JHEP 9 32(999). [9] C.S. Chu, P.M. Ho, Nucl. Phys. B. 55, (999) 5; [hep-th/98229]. [] C.S. Chu, P.M. Ho, Nucl. Phys. B. 568, (2) 447; [hep-th/99692]. [] F. Ardalan, H. Arfaei, M.M. Sheikh-Jabbari, Nucl. Phys. B. 576, (2) 578; [hep-th/99692]. [2] P. A. M. Dirac, Lectures on Quantum Mechanics, (Yeshiva University Press, New York, 964). [3] F. Ardalan, H. Arfaei, M. M. Sheikh-Jabbari, JHEP 992 (999) 6. [4] W. T. Kim, J. J. Oh, Mod. Phys. Lett. A 5 (2) 597. [5] N. R. F. Braga, C. F. L. Godinho, [hep-th/ 297] Phys. Rev. D. 65 (22) 853. [6] A. Hanson, T. Regge and C. Teitelboim, Constrained Hamiltonian Systems, Roma, Accademia Nazionale Dei Lincei (976). [7] R. Banerjee, B. Chakraborty and S. Ghosh, Phys. Lett. B. 537 (22), 34, [hep-th/2399]. [8] R. Banerjee, B. Chakraborty and K. Kumar, Nucl. Phys. B. 668, 79 (23), [hep-th/3622]. [9] B. Chakraborty, S. Gangopadhyay, A. Ghosh Hazra, F. G. Scholtz, Phys. Letts. B. 625 (25), 32, [hep-th/5856]. [2] S. Gangopadhyay, A. Ghosh Hazra, A. Saha, Phys. Rev. D. 74, 2523 (26), [hep-th/72]. [2] B. Chakraborty, S. Gangopadhyay, A. Ghosh Hazra, Phys. Rev. D. 74, 5 (26), [hep-th/6865]. [22] S. Gangopadhyay, A. Ghosh Hazra, Phys. Rev. D. 75, 6526 (27), [hep-th/739]. [23] J. Jing, Z.W. Long, Phys. Rev. D. 72, (25) 262. [24] L.D. Faddeev, R. Jackiw, Phys. Rev. Lett. 6, (988) 692. [25] C.S. Chu, P.M. Ho, Nucl. Phys. B. 636, (22) 4; [hep-th/2386]. [26] C.S. Chu, [hep-th/44].