Table Of ContentJanuary, 2008
OCU-PHYS 288
8
0
0
2 Nambu-Goto Like Action
n
a for the AdS S5 Superstrings
J 5
×
6
in the Generalized Light-Cone Gauge
1
]
h
t
-
p
e
h
Hiroshi Itoyamaab∗, Takeshi Ootab† and Reiji Yoshiokaa‡
[
1
v
4
aDepartment of Mathematics and Physics, Graduate School of Science,
6
4 Osaka City University
2
. 3-3-138 Sugimoto, Sumiyoshi, Osaka 558-8585, JAPAN
1
0
8
bOsaka City University Advanced Mathematical Institute (OCAMI)
0
:
v 3-3-138 Sugimoto, Sumiyoshi, Osaka 558-8585, JAPAN
i
X
r
a
Abstract
We reinvestigate the κ-symmetry-fixed Green-Schwarz action in the AdS S5
5
×
backgroundinaversion ofthelight-cone gauge. Inthegeneralized light-cone gauge,
the action has been written in the phase space variables. We convert it into the
standard action written in terms of the fields and their derivatives. We obtain a
Nambu-Goto type action which has the correct flat-space limit.
∗ [email protected]
† [email protected]
‡ [email protected]
1
1 Introduction and Summary
It is a challenging problem to quantize the Green-Schwarz (GS) action [1, 2] in the
AdS S5 background [3]. The knowledge of the spectrum will tell us the strong coupling
5
×
dynamics of the large N gauge theory through the AdS/CFT correspondence. One of the
difficulties in covariant quantization of the GS action stems from the existence of the local
κ-symmetry, which halves the fermionic degrees of freedom [1, 2, 4]. One approach to this
problem is to abandon the covariance and fix the κ-symmetry non-covariantly. But after
the κ-symmetry fixing, the model is still a constrained system due to the world-sheet dif-
feomorphism. Various gauges [5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16] have been proposed
to fix these symmetries. Especially, the uniform light-cone gauge, a generalization of
the flat-space light-cone gauge [17] to the curved space background, has been extensively
investigated in [11, 12, 13, 14, 15, 16].
In our previous paper [18], we adopted the light-cone gauge and considered the Hamil-
tonian dynamics of the GS action by using the physical degrees of freedom. The action
is formulated in the first order formalism, i.e., is written in terms of the phase space
variables. This first-order formulation is suited for considering the problem of canonical
quantization.
Unfortunately, the reduced action in the generalized light-cone gauge still has an
involved form. Beforeconsidering thequantization problem ofthe action, we would like to
investigate quantum fluctuation in various limits. Extensive study around the plane-wave
region was done in [11]. But, in general, the first-order Lagrangian is not so convenient to
study the quantum spectrum in various limits, such as the BMN limit [19], the Hofman-
Maldacena limit [20], or Maldacena-Swanson limit [21]. They can be better investigated
by using the Lagrangian written in terms of the fields and their derivatives. Therefore, in
thispaper, wereformulatetheGSactiontothestandardforminthegeneralizedlight-cone
gauge.
After κ-symmetry fixing and taking the generalized light-cone gauge
X+ = κτ, P = √λω, (1.1)
−
with κ and ω are constants, we find the Nambu-Goto like action for the GS action in the
AdS S5 background. Its bosonic part has the following form:
5
×
1 G
S = d2ξ λdet( + )+√λκω +− . (1.2)
ij ij
2π − J G G
Z (cid:18)q −−(cid:19)
Here = G ∂ Xm∂ Xn is the induced metric, induced from the target space metric
ij mn i j
G
for the transverse spatial directions. (The indexes m,n run over the transverse directions:
2
m,n = 1,2,...,8). The additional term comes from the longitudinal directions. The
ij
J
’t Hooft coupling λ is related to the radius R of AdS and S5 as √λ = R2/α′. The full
5
Lagrangian which includes the fermions will be given by (3.45). This is a Nambu-Goto
type Lagrangian.
It is natural to appear the Nambu-Goto type action when the world-sheet diffeomor-
phism is fixed by certain gauge conditions other than the conformal gauge. Solving the
equations of motion for the world-sheet metric yields the Nambu-Goto type action. For
example, the Nambu-Goto type action for the GS model in AdS S5 in the static gauge
5
×
can be found in [8].
IncontracttoordinaryNambu-Gotoactions, wehavechosenthesignbeforethesquare
root term to be positive. This comes from the requirement that the action must have the
correct flat-space limit. Indeed, the Lagrangian (3.45) goes to the correct κ-symmetry
fixed light-cone gauge Lagrangian in the limit.
The Lagrangian (3.45) will serves as a starting point for developing the various limits
and investigating the quantum fluctuations.
This paper is organized as follow. In section 2, using the bosonic sigma model as an
example, we explain the procedure to obtain the standard Lagrangian in the generalized
light-cone gauge. In section 2.1, we start from the Lagrangian in the first-order formalism
and arrive at the standard one. In section 2.2, we derive it without going to the first-
order form. In section 3, we first briefly review our notation for the GS action. In section
3.1, the κ-symmetry fixing is done and the action in the AdS S5 background is given.
5
×
In section 3.2, the κ-symmetry fixed GS action in the generalized light-cone gauge is
obtained. This is our main result. In section 3.3, it is discussed that the action has the
correct flat-space limit. Some of our notations are summarized in Appendix.
2 The bosonic sigma model
The action for the bosonic sigma model in the D-dimensional curved target space is given
by
1
S = d2ξ , (2.1)
2π L
Z
where
1
= √λhijG ∂ Xm∂ Xn, (2.2)
mn i j
L −2
Here m,n = 0,1,...,D 1, ξ0 = τ, ξ1 = σ, ∂ = ∂/∂ξi, hij = √ ggij (i,j = 0,1).
i
− −
3
The conjugate momenta are given by
P = √λh0jG ∂ Xn. (2.3)
m mn j
−
The target space metric is assumed to have the following form
G dXmdXn = G dXadXb+G dXmdXn. (2.4)
mn ab mn
Here a,b = denote the longitudinal directions, m,n = 1,2,...,D 2 denote the
± −
transverse directions. We assume that ∂/∂X± is a Killing vector.
Let us decompose the Lagrangian into two pieces:
= + , (2.5)
1 2
L L L
1
= √λhijG ∂ Xa∂ Xb, (2.6)
1 ab i j
L −2
1
= √λhijG ∂ Xm∂ Xn. (2.7)
2 mn i j
L −2
The first part and the second part are related to the metric for the longitudinal
1 2
L L
directions and the metric for the transverse directions respectively.
Under the target space metric ansatz (2.4), the momenta P which is conjugate to
−
X− is given by
P = √λh0jG ∂ Xa. (2.8)
− −,a j
−
The generalized light-cone gauge is given by the following two conditions1:
X+ = κτ, P = √λω = const, (2.9)
−
which fixes the world-sheet diffeomorphism.
2.1 From the first order form to the standard Lagrangian
The reduced action in the generalized light-cone gauge is given by (we use the notation
of [18])
1
S = d2ξ P X˙m , (2.10)
red m LC
2π −H
Z
(cid:0) (cid:1)
1 Originally,thesecondconditionwasgivenby∂1(P−)=0. MostgeneralsolutionisP− =P−(σ). But
withoutlossofgenerality,wecansetP to aconstantbyredefiningthe world-sheetspacevariableσ and
−
conjugate momenta such that P (σ)dσ = P′dσ′ with P′ constant. Therefore, we adopt the condition
− − −
P =const as one of the gauge conditions.
−
4
where
= κP . (2.11)
LC +
H −
This is the first-order Lagrangian = (Xm,P ) written in terms of the transverse
m
L L
coordinates Xm and their conjugate momenta P .
m
Here P is a solution of
+
G++P2 +2√λωG+−P +C = 0, (2.12)
+ +
where
C = λω2G−− +λG ∂ Xm∂ Xn +KmnP P , (2.13)
mn 1 1 m n
1
Kmn := Gmn + G ∂ Xm∂ Xn. (2.14)
ω2 −− 1 1
Explicitly, P is given by
+
ε G+−
P = λ(G+−)2ω2 G++C √λω , (2.15)
+ G++ − − G++
p
where ε = 1.
±
Now let us convert this first-order Lagrangian into the standard form. The equations
of motion for P
m
∂P
X˙m +κ + = 0 (2.16)
∂P
m
yield the following relations
ε λω2(G+−)2 G++CX˙m = κKmnP . (2.17)
n
−
p
It is convenient to introduce and by
ij ij
J G
κ2 ω2
:= , := , = := 0, (2.18)
J00 G++ J11 G J01 J10
−−
:= G ∂ Xm∂Xn, i,j = 0,1. (2.19)
ij mn i
G
Let K be the inverse of Kmn:
mn
(Gmm′∂1Xm′)(Gnn′∂1Xn′)
K = G . (2.20)
mn mn
− +
11 11
J G
Then
ε
P = λω2(G+−)2 G++CK X˙n. (2.21)
m mn
κ −
By substituting this relation intop(2.13), we have
1
C = λω2G−− +λ + λω2(G+−)2 G++C K X˙mX˙n. (2.22)
G11 κ2 − mn
(cid:0) (cid:1)
5
Then we have
λω2G−− +λ +(λω2/κ2)(G+−)2K X˙mX˙n
11 mn
C = G . (2.23)
1+(1/κ2)G++K X˙mX˙n
mn
Note that
+det( )
K X˙mX˙n = J11G00 Gij . (2.24)
mn
+
11 11
J G
With some work, we find
λκ2
λω2(G+−)2 G++C = ( + )2. (2.25)
11 11
− −det( + ) J G
ij ij
J G
Assuming det( + ) < 0, we have
ij ij
J G
λ
λω2(G+−)2 G++C = ε′ κ( + ). (2.26)
11 11
− s−det( ij + ij) J G
J G
p
Here ε′ = sign(κ( + )).
11 11
J G
Let J be a matrix defined by
ij
J := + , (2.27)
ij ij ij
J G
and Jij be its inverse. We can see that
1 det( + )
K X˙n = G ( + )X˙n ∂ Xn = Jij Gij G J0j∂ Xn.
mn mn 11 11 01 1 mn j
+ J G −G +
11 11 11 11
J G J G
(cid:2) (cid:3) (2.28)
Now we finally have
P = εε′ λdet(J )G J0j∂ Xn. (2.29)
m ij mn j
− −
q
By substituting this expression into the first order form of the action, we get the reduced
Lagrangian in the generalized light-cone gauge.
Summary: The Lagrangian of the bosonic sigma model in the generalized light-cone
gauge is given by
1
S = d2ξ , (2.30)
red LC
2π L
Z
where
G
= εε′ λdet( + ) +√λκω +−. (2.31)
LC ij ij
L − − J G G
−−
q
Here
κ2 ω2
= , = , = = 0, = G ∂ Xm∂ Xn. (2.32)
J00 G++ J11 G J01 J10 Gij mn i j
−−
6
2.2 Rederivation of the reduced Lagrangian
In this subsection, we rederive the reduced Lagrangian (2.31) without bypassing the first-
order formalism.
Let us restart from the Lagrangian (2.2). Let us decompose it as follows
= + , (2.33)
1 2
L L L
1 1
= √λhijG ∂ Xa∂ Xb, = √λhijG ∂ Xm∂ Xn. (2.34)
1 ab i j 2 mn i j
L −2 L −2
The generalized light-cone gauge conditions are given by
X+ = κτ, P = √λh0jG ∂ Xa = √λω = const. (2.35)
− −,a j
−
We interpret the second condition as the following relation for X˙−:
h01 ω G
X˙− = ∂ X− κh00 +− . (2.36)
− h00 1 − G − G
(cid:18) (cid:19) −− (cid:18) −−(cid:19)
With some work, we have
= ′ +P X˙−, (2.37)
L1 L1 −
where
G 1 ω2
′ = √λκω +− + √λ
L1 G 2 h00G
(cid:18) −−(cid:19) −− (2.38)
1 κ2 1 G h01
√λh00 + √λ −−(∂ X−)2 +√λω ∂ X−.
− 2 G++ 2 h00 1 h00 1
(cid:18) (cid:19)
Note that P X˙− is a total τ-derivative term. So, we use ′ as the Lagrangian in the
− L1
generalized light-cone gauge.
In ′, the field X− appears only through the form of ∂ X−. The field ∂ X− plays the
L1 1 1
role of an auxiliary field. The equations of motion for ∂ X− gives
1
ωh01
∂ X− = . (2.39)
1
−G
−−
By substituting this solution into ′, we have
L1
G 1 κ2 1 ω2
′ = √λκω ++ √λh00 √λh11 . (2.40)
L1 G − 2 G++ − 2 G
(cid:18) −−(cid:19) −−
Let us introduce a world-sheet symmetric tensor by
ij
J
κ2 ω2
:= , := , = := 0. (2.41)
J00 G++ J11 G J01 J10
−−
7
The reduced action now has the form
′ = ′ +
L L1 L2
G 1 (2.42)
= √λκω +− √λhij( + ),
ij ij
G − 2 J G
(cid:18) −−(cid:19)
where
= G ∂ Xm∂ Xn. (2.43)
ij mn i j
G
Sincetheworld-sheet diffeomorphismisfixedbythelight-conegaugeconditions(2.35),
hij are determined by solving the equations of motion for hij:
hij = det(J )Jij, (2.44)
ij
± −
q
where J = + , and Jij is the inverse of J .
ij ij ij ij
J G
Then, we finally have the reduced Lagrangian in the generalized light-cone gauge
G
′ = λdet( + )+√λκω +− . (2.45)
ij ij
L ± − J G G
q (cid:18) −−(cid:19)
3 The GS action
Now let us consider the GS action in the AdS S5 background. The GS action in
5
×
the flat target space [1, 2] is generalized in the curved supergravity background in [22].
More explicit GS action in the AdS S5 background was constructed in [3]. (See also
5
×
[23, 24]). Originally, the Wess-Zumino term is written in the three-dimensional form. The
manifestly two-dimensional form of the Wess-Zumino term was presented in [25, 26, 27].
We write the GS action in the AdS S5 background as follows:
5
×
1
S = d2ξ , (3.1)
GS GS
2π L
Z
= 1√λhijη EaEb +√λǫij(Eα̺ Eβ Eα¯̺ Eβ¯). (3.2)
LGS −2 ab i j i αβ j − i α¯β¯ j
Here a,b = 0,1,...,9, α,β,α¯,β¯ = 1,2,...,16, hij = √ ggij (i,j = 0,1), ǫ01 = 1.
−
η = diag( 1,1,...,1). (3.3)
ab
−
The induced vielbein for the type IIB superspace EA is denoted by
i
EA = EA ∂ ZM = EA ∂ Xm +EA ∂ θα +EA ∂ θ¯α¯, A = (a,α,α¯). (3.4)
i M i m i α i α¯ i
8
We use a Majorana-Weyl representation for the Gamma matrices:
0 (γa)αβ
Γa = , (Γa)∗ = Γa, Γa,Γb = 2ηab1 , (3.5)
(γa)αβ 0 ! { } 32
a = 0,1,...,9, α,β = 1,2,...,16. We denote the n n identity matrix by 1 . For our
n
×
specific choice of the Gamma matrices, see appendix.
A 32-component Weyl spinor Θ with positive chirality has the following form in the
Majorana-Weyl representation:
θα
Θ = . (3.6)
0!
Above, we have used the 16-component notation for the Weyl spinors. A spinor with
upper index α represent a Weyl spinor with positive chirality.
The constant matrix ̺ in the Wess-Zumino term is given by
̺ 0
CΓ01234 = αβ . (3.7)
0 ̺αβ!
Here C is the charge conjugation matrix.
3.1 κ-symmetry fixing
Let us decompose each of the two 16-component Weyl spinors into two 8-component
SO(4) SO(4) spinors:
×
θ+α θ¯+α¯
θα = , θ¯α¯ = , (3.8)
θ−α˙! θ¯−α¯˙!
where α = 1,2,...,8, α˙ = 1˙,2˙,...,8˙, α¯ = ¯1,¯2,...,¯8 and α¯˙ = ¯1˙,¯2˙,...,¯8˙.
We first fix the κ-symmetry by setting θ−α˙ = θ¯−α¯˙ = 0. In the 32-component notation,
these conditions are equivalent to the condition Γ+Θ = 0.
To simplify expressions, we combine the remaining fermionic coordinates into Ψαˆ:
θ+α
(Ψαˆ) = , αˆ = ˆ1,ˆ2,...,1ˆ6. (3.9)
θ¯+α¯!
Let 2 be a 16 16 matrix
M ×
( 2)α ( 2)α
2 = M β M β¯ , (3.10)
M (M2)α¯β (M2)α¯β¯!
9
with elements constructed purely from the fermionic variables:
1 1
( 2)αβ = (θ+γab)α(θ¯+γab̺)β (θ+γa′b′)α(θ¯+γa′b′̺)β,
M 2 − 2
1 1
(M2)αβ¯ = −2(θ+γab)α(θ+γab̺)β¯+ 2(θ+γa′b′)α(θ+γa′b′̺)β¯,
(3.11)
1 1
( 2)α¯β = (θ¯+γab)α¯(θ¯+γab̺)β (θ¯+γa′b′)α¯(θ¯+γa′b′̺)β,
M 2 − 2
1 1
(M2)α¯β¯ = −2(θ¯+γab)α¯(θ+γab̺)β¯+ 2(θ¯+γa′b′)α¯(θ+γa′b′̺)β¯.
Here a,b = 1,2,3,4, a′,b′ = 5,6,7,8.
For later convenience, let us introduce the following matrices:
cosh 1 (K )α (K )α sinh (L )α (L )α
M− 16 = 11 β 12 β¯ , M = 11 β 12 β¯ . (3.12)
M2 (K21)α¯β (K22)α¯β¯! M (L21)α¯β (L22)α¯β¯!
The κ-symmetry fixed action in the AdS S5 can be written as [18]:
5
×
1 1
= √λhijG Xm Xn + √λǫijB Ψαˆ Ψβˆ. (3.13)
LGS −2 mnDi Dj 2 αˆβˆDi Dj
Here m,n = 0,1,...,9, αˆ,βˆ = ˆ1,ˆ2,...,1ˆ6. The target space metric G is the bosonic
mn
AdS S5 metric, chosen as follows:
5
×
ds2 = ds2 +ds2 = G dXmdXn = G dXadXb+G dXmdXn. (3.14)
AdS5 S5 mn ab mn
The AdS part metric is chosen as
5
1+(z2/4) 2 4
ds2 = dt2 +G (dza)2, (3.15)
AdS5 − 1 (z2/4) z
(cid:18) − (cid:19) a=1
X
and the S5 part metric is chosen as
1 (y2/4) 2 4
ds2 = − dϕ2 +G (dys)2, (3.16)
S5 1+(y2/4) y
(cid:18) (cid:19) s=1
X
where
1 1
G = , G = . (3.17)
z (1 (z2/4))2 y (1+(y2/4))2
−
Here
4 4
z2 = (za)2, y2 = (ys)2. (3.18)
a=1 s=1
X X
10