Skip to main content

Full text of "Wess-Zumino term for the AdS superstring and generalized Inonu-Wigner contraction"

See other formats


July 17, 2001 
Revised in January 16, 2003 
KEK-TH-769 
DAMTP-2001-50 
|hep-th/0106114| 



Wess-Zumino term for the AdS superstring 
and generalized Inonii-Wigner contraction 



Machiko Hatsuda and Makoto Sakaguchi *^ 

Theory Division, High Energy Accelerator Research Organization (KEK), 
Tsukuha, Ibaraki, 305-0801, Japan 
\ Department of Applied Mathematics and Theoretical Physics 
Wilberforce Road, Cambridge, CBS OWA, U.K. 

El-mail: mhatsuda@post.kek.jp, M.Sakaguclii@damtp.cam.ac.uk 



Abstract 



We examine a Wess-Zumino term, written in bilinear of superinvariant currents, for a 
superstring in anti-de Sitter (AdS) space. The standard Inonii-Wigner contraction does 
not give the correct fiat limit but gives zero. This originates from the fact that the 
fermionic metric of the super- Poincare group is degenerate. We propose a generalization of 
the Inonii-Wigner contraction which reduces the super- AdS group to the "nondegenerate" 
super-Poincare group, therefore it gives a correct fiat limit of this Wess-Zumino term. We 
also discuss the M-algebra obtained by this generalized Inonii -Wigner contraction from 
osp(l|32). 

PACS: ll.30.Pb; 11.25.Yb; ll.25.-w 

Keywords: Wess-Zumino term; Superalgebra; Anti-de Sitter; group contraction 



^Since October, 2001, Theory division, KEK, e-mail: Makoto.Sakaguchi@kek.jp 



1 Introduction 



There has been great interest in studying anti-de Sitter (AdS) superstring actions [H |21 
EHHE] motivated by the AdS/CFT correspondence p. The superstring action contains 
the Wess-Zumino term [7] which is required by the ^-symmetry to match the number of 
dynamical degrees of freedom for bosons and fermions [S]. The conventional description 
of the Wess-Zumino term is used in ^ E] , and an alternative description of the Wess- 
Zumino term, written in bilinear of superinvariant currents, has been proposed for the 
AdS superstring theories jSJEI and for an AdS superstring toy model ,4J. The conventional 
description gives its fiat limit straightforwardly as shown in [1 , while the fiat limit of the 
alternative description does not correspond to the simple group contraction. In fiat space 
the Wess-Zumino term is given as an integral of the closed super-invariant three form in 
one dimension higher space [H], 

Swz = j d^crHs , H, = dB2 . (1.1) 

The local two form B2 is not super-invariant but pseudo super- invariant. Its geometri- 
cal interpretation given by [TUj is that H3 is an element of the non-trivial class of the 
Chevalley-Eilenberg cohomology for the supertranslation group. It is also explained that 
B2 can not be written as the bilinear of the left-invariant (LI) one-forms because of the 
degeneracy of the fermionic metric of the supertranslation group jTTl . 

In contrast to the supertranslation group the super-AdS group contains a nondegen- 
erate group metric, so B2 can be written as the bilinear of the LI Cartan one-forms, L's 



'-'wz 



j d'aB2 , B2 = gapL^L^. (1.2) 



In [23], the bilinear form Wess-Zumino term for the AdS superstring has been examined 
and it was shown that the fiat limit of the Wess-Zumino term ()1.2j) for the AdS superstring 
is not obtained by the usual Inonii-Wigner (IW) contraction |13j. The IW contraction 
does not lead to the bilinear form Wess-Zumino term for a fiat superstring, but leads to a 
total derivative term. We consider a group "contraction" such that it leads to the correct 
flat limit. 

The IW contraction relates the super-AdS group and the super-Poincare group as 
follows. The super- AdS algebra generated by J'j^is = {Jab, RPa) and VRQ is given 
symbolically as 

[JabiJcv] = 4:T][x)\[aJb]\c] 

[QajJcv] = —-iQ^Cv)a 

{Qa,Qf3} = iri^^r,^'^{CVj,s)^p^Jcv , (1-3) 
where R is the scale parameter representing the radius of the AdS pseudosphere. For the 



1 



super-AdS group the Killing supermetric of fermions, ^ 

yQccQf) — J Qc QJ Qfj J J Qc JJ Qp Q ~ '' ^^(3 , l-L-^J 

can be chosen as the nondegenerate fermionic metric to construct the bilinear form Wess- 
Zumino term ()1.2p . where Ca/s is an antisymmetric charge conjugation matrix. By the 
IW contraction we obtain the super-Poincare algebra in — limit 

[Pa,Pb] = , [Jab,Jcd] = 4?7p|[aJb]|c 

[Q,Pa] = , [Pa,Jbc] = 27]aibPc] (1-5) 

{Qa,Qp} = 2i{C^^)^^Pa , [Q,Jab] = -\QlAB . 

The Killing supermetric for the super-Poincare group vanishes 

QQc^Qp = , (1.6) 

so B2 can not be written in the bilinear of the LI one-forms in flat space. 

It has been shown that even in a flat space the bilinear form Wess-Zumino term can 
be constructed from the nondegenerate supertranslation group which contains a fermionic 
center pHIH]: 

[Pa,Pb] = 

[Qa,PA] = -^{Z-fA)a J^ 

{Qa,Qp} = 2i{C^^UPa ^ ' 

[Zo,,Pa] = [Za,Qp] = , 

where A is a scale parameter. The nondegenerate group metric can be imposed 

2 

9q^z^ = -ijCa(3 (1.8) 

which is not the Killing supermetric, but the invariant group metric with totally antisym- 
metric structure constants ^. The nondegenerate supertranslation group has been applied 
to various p-brane systems and the {p + l)-form Wess-Zumino terms are used to analyze 
these systems |ll[IlllI3[inilIIllIHllinil2niini. Now the question becomes what type of 

^The Killing supermetric is given by 

[Tm-Tn] ^Tk/'^MN ' 9MN ^ f^MLf'^ Nk{-)^ > 

where {—)^ = +1(— 1) if Tk is an even (odd) generator. 



2 



JQcQ^Pa = Tr({Qa, QfjjPA) = Tr([PA, Qa]Q(i) = JpaQcQh = i{ClA)al3 

Tr [PaPb] = 9PaPb = \vab 

2 

Tr(Q„Z^) = gg^Zfj = -ijCafs ■ (1.9) 



2 



group "contraction" gives the nondegenerate super-Poincare group from the super-AdS 
group? 

The existence of a scale parameter, R in fll.Hj) and ()1.4|1 and A in fll.7|l and ()1.8|1 . 
allows one to have a nondegenerate metric. For the usual IW contraction one takes a limit 
where such parameter dependence is completely washed out, as 1/i? — 0. As a result the 
fermionic metric becomes degenerate. In order to have the bilinear Wess-Zumino term in 
a flat limit, equivalently in order to get the nondegenerate super-translation group in a fiat 
limit, we need a more general IW contraction which keeps some parameter dependence. 
We present a generalization of the IW contraction that relates the super- AdS group and 
the nondegenerate super-Poincare group by truncating at a finite order of the parameter 
expansion of the LI one-forms. 

The organization of this paper is as follows. In section 2, we propose a generalization 
of the IW contraction. At first we take SO (3) group as a simple example, and then 
give an interpretation of the generalized IW contraction. Next we apply this procedure 
to the super-AdS group, and we show that this generalized IW contraction gives the 
nondegenerate super-Poincare group as well as the usual super-Poincare group. In section 
3, we discuss the M- algebra J3] corresponding to an algebra obtained by this generalized 
IW contraction from osp(l|32). The last section devoted to a summary and discussions. 

The original version of this paper, posted on July 17, 2001, includes an analysis of the 
AdS superstring, which has been published separately in In this revised version, we 
focus on a generalization of the IW contraction, which has been discussed further in j^EI- 

2 Generalized Inonii-Wigner contraction 

It was shown that the fiat limit of the bilinear form Wess-Zumino term must be 
taken in such a way that one keeps not only leading terms but also next to leading terms 
of Cartan one-forms in the 1/ R expansion. The usual IW contraction reduces the super- 
AdS algebra to the super-Poincare algebra and keeps only leading terms, therefore the 
fiat limit action becomes the total derivative part. In order to keep the next to leading 
term, we need to enlarge the "contraction" procedure. In this section we will consider a 
generalization of the IW contraction in such a way that it keeps the next to leading term 
and it also includes the original IW contraction. At first we take a simple example, SO (3) 
which is reduced to ISO (2) with a center by the generalization of the IW contraction. Next 
we will show that the super- AdS group is reduced to the "nondegenerate" super-Poincare 
group by the generalization. 



3 



2.1 Generalized contraction of SO(3) 

We begin with SO (3) as the simple example of a generalization of the IW contraction. 
Generators J/, I = {x, y, z) satisfy 

[JuJj]=eijKJK . (2.1) 
Parameterizing a group element as g = e'^''^' gives Cartan one-forms 

= rf0^ + lrf0^0V"^ + ^rf0^(0V-5'V)-^t^0WV + --- ,(2.2) 

defined by g~~^dg = JjL' and satisfying the Maurer-Cartan (MC) equation, dL^ = 
^e^^^L^ . The conventional IW contraction requires rescaling of generators 

s s 

and taking the limit s — 0. This corresponds to rescaling parameters, 

# ^ , 0^ ^ , 0^ ^ 0" , (2.4) 

and L^'s, — > sL^ , ^ sL^ , L^, and then taking the s — >■ limit. This 

procedure is equivalent to keeping only leading terms of L^'s in s-expansion. 

Now, before taking the limit, we consider the scaling ()2.4|) for 0^'s which implies the 
following expansion of Cartan one-forms L^'s 



i=0 

CO 

ly = sLi + s'Ly + ... = ^s'^^'Ly,^, (2.5) 



1=0 
00 



Lo + s'Ll + ■ ■ ■ = s'^Ll^ 

j=0 



where 



LI = dcj)'' + ]^{d<py(p' -d(p'(py) + ---, ■■■ 

L\ = rf0?^ + l(rf0^0^-rf0^0^) + ..., ... 

L'o = d(t>' , (2.6) 
LI = I(rf0^0?'-rf0?'0^) + l{(ci0^0--d0^0^')0^' + (d0?^0^-d0^ 02^)0?'} + ..., 

MC equations are satisfied in order by order 

,tI _ \ jJKtJ tK (c. rJ^ 



or equivalently 



dL'o = (2.8) 

dL^ = im (2.9) 

dL\ = LlL'l (2.10) 

dLl = LIL\ (2.11) 

The conventional IW contraction keeps only MC equations ()2.8|) - ()2.1Up for Lf , Lq, and 
corresponding algebra is 

[Jx,l, Jy,l] = 
[Jy,l^ Jz,o] = Jx,l 

[Jzfi^ Jx,l] = Jy,l ■ (2-12) 

This is the inhomogeneous SO (2); the rotation around the z-axis on the x-y plain remains, 
but rotations around the x-axis and j/-axis are restricted to infinitesimal values and turn 
out to be translations in the y and x directions. 

Next let us consider alternative limit in such a way that not only leading terms, 
Lf , L^, Lq, but also the next to leading term , L2, are kept. Then survived MC equations 
are ()2.8j) - ()2.1H) . and corresponding algebra is 

[Jx,l^ Jy,l\ = Jz,2 
[Jy,l^ Jz,o] = Jx,l 

[Jzfi^ Jx,!] = Jy,l ■ (2.13) 

The new generator, J^^2, is a central term. This is an intermediate form between the 
three-dimensional rotation on a two-dimensional sphere and the rotation of the 2;-axis on 
a x-y fiat plane. Therefore this generalization brings the rotation of the 2;-axis on the x-y 
plane which has a infinitesimally small curvature. Further generalization is possible as 
long as the MC equations are consistently maintained. 



2.2 Generalized contraction of super- AdS 

Now let us go back to the problem of the Wess-Zumino term for a AdS superstring. The 
usual IW contraction reduces the super-AdS group ()1.3|) to the super-Poincare group 
()1.5j) . The MC equations for the super- AdS group'^ are 

DL"^ = il-i^L (2.14) 
2 2 ' 



•^We follow the notation used in P; A = (a, a') (a — 0,1,.. .,4, a' — 5, 6,..., 9), a = a' a" {cJ 
1,...,4, a" = 1,...,4), and J= 1,2. 



5 



where covariant derivative D includes the Lorentz rotation. They are reduced under the 
IW contraction to those for the super-Poincare algebra 



DL"^ = 

DL^ = iL7^L (2.15) 
DL^^ = . 



The procedure for keeping the next to leading term of Cartan one-forms is as follows. 
We expand the Cartan one-forms in s = l/i? as 

oo oo oo 

= s^Lf , L^^ = smf , L^- = s'^'/'Lil,/, (2.16) 

i=l 3=0 fc=0 

and then the MC equations are satisfied in each order of R 



= 


(2.17) 


= 


(2.18) 


— ^-^1/2 / -^1/2 


(2.19) 


ifi . ^ABtJ 


(2.20) 


- e 


(2.21) 



where D includes Lorentz rotation. The equations ()2.17|) - ()2.19|) correspond to the super- 
Poincare algebra (|2.15|) . in other words, leading terms of this expansion correspond to the 
usual IW contraction. 

Now we generalize the IW contraction as follows. For an expansion parameter s which 
is finite before contraction, we expand an element and subtract the redundant part. 



T{s) = 0."T„ 



n=0 



s / T X N+1 



T{s) = T{s) - / d^^'s' — T{s') (2.22) 



ds 

To + sTi + ■ ■ ■ + s^Tn 



The Cartan one-forms ()2.16|) are now subtracted. 



N 

AB 



L 

j=0 



Jo 



Although the Cartan one-form for the Lorentz generator vanishes for the super-Poincare algebra, we 
include it in order to clarify the commutation relations of the corresponding superalgebra. 



6 



^ ms'Lf = L^-rd^+'sdf+'L^, (2.23) 

i=i 
p 

Taking (A^, M,P + ^) to be (1, 1, |) gives LI Cartan one-forms (fio, f^i, Li, L1/2, sat- 
isfying p.l7|l - p.2Hl . This procedure can give the correct flat hmit of the AdS superstring. 
In this subsection we focus on a case A^ = 1,M = 1,P = 1, while more general cases will 
be discussed in the next subsection. 

Let us translate the MC equations ()2.17|) - ()2.2H) into (anti) commutation relations of 
nondegenerate algebra. If we expand the LI Cartan one-form introducing generators as ^ 

G-^dG = U12QXI2 + ^3/2^3/2 + LiPi + ^rii Ji, (2.24) 
MC equations ()2.17|) - ()2.21|) turn out to be the nondegenerate superalgebra on E^'"^ x 
{Q/,i/2,Qj,i/2} = -2^5/j(C7^)PA,i + e,j(C7^^)JAB,i 

[Q/,i/2,Pa,i] = \Qj^^i2lAeji (2.25) 

[Q/,1/2, JaB,-]\ = —-Ql,3/2lAB 

others = , 

where the Jacobi identity of three Q's requires a tensor central charge which can be always 
taken as a quotient subgroup. We have obtained the nondegenerate superalgebra from 
super-AdS algebra using generalized IW contraction. This algebra can be rewritten in 
10- dimensional spinor representation^ as 

{Qi,i/2,Qj,i/2} = -225,j(C7^)Pa,i + (r3)/j(C7^)SA,i 

[Qi,i/2, (Pa,i + Sa,i)] = '-Ql,3/2lA (2.28) 

[<52,l/2, (-Pa,! - Sa,i)] = -Q2,3/27A 

others = , 



^We omit the Lorentz generator here. This imphes that the commutation relations corresponding to 
Lorentz transformations are omitted for simphcity below. 

^In the limit R 00, we have obtained superalgebras on E^^"' x E'"^. In order to obtain E^'^ super- 
algebra, we must recover full generators of the ten-dimensional covariance. This is associated with the 
replacement of the E^'** x E^ Fierz identity in the Metsaev-Tseytlin notation 

(7a)'"(j/3(C7^)k^ ls) + lieiABy''iMeC^^'')Ky LS) - (2.26) 
with the E"'^'^ Fierz identity 

{hAY''ijp{5l^)K^ LS) + (r37A)'"(j/3(r37^)/f7 LS) = 0. (2.27) 
In this particular case, Ji is replaced with the F-string charge (S^) in the algebra. 



7 



where the following cyclic identity 

{C^aS)IUCi^^)k, ls) + {C^Ar,)\%{C^\,)K, ls) = (2.29) 

is used and the center can be taken as a quotient subgroup. Of course it is necessary to 
check the cyclic identity. This procedure may correspond to the similarity transformation 
in the original IW contraction which is required for the consistency. 

There are two manners for realizing these algebras: 

(i) A simple example of realization of the algebra ()2.28j) is that for an open superstring 
as discussed in jSHj, 

Qz/2 = j T9' (2.30) 

Pi = f p , j: = T [ X' . 



The system is described by only {X"^,pa) and {9°", (a) ^- This realization can be viewed 
as a description of the nondegenerate group manifold in terms of the AdS superspace. 

(ii) Another way is to introduce canonical coordinates (^°,n^^o) and {y'^^Py) correspond- 
ing to and T^A adding to the original variables. This is the case in our previous 
work |3J 1^ . The canonical generators are expressed as 



''The two- form doublet B are written in terms of Cartan one- forms as 1171 [T^ 

Bns = Li/2CfzL^/2 ~ 2^^'5.i^i' dB^s — *Li(Zi/20'37^i/2) = HmSi 
Brr = Li/2(TiL^/2 — -^RR,i^'i, cIBrr — iLi{Li/2crijLi/2) — Hrr. 

(2.31) 

Parameterizing a group element as G = e^^-^^e^'^^^^ , Cartan one-forms are expressed as 





— ^^Pa + ^^"^A + L1/2Q1/2 + L3/2Q3/2: 








= -iiOasj^de), 




= -iiOau'^de), 


Ll/2 


= de, 


L3/2 


= -'-dx^i-fAor " \{hde){ier - ^(^"^37^^) (^37^)", 


and B = B^s is expressed 


in terms of (x, 6) 




B = -idx{da3jd9) - ^{0-fde){9(T3'yd9). 


This agrees with the two-form B obtained in (2.26). For RR two-form, 0-3 in H2.32|) is replaced by ci 



8 



Q3/2 = y (2-32) 
Pi = p , T. = Py 



satisfying fTI^ . 

The algebra ()2.28p gives the group metric such that the metric in fermionic coordinates 
becomes nondegenerate, fi'Qi/jQg/a = tr(Qi/2Q3/2) 7^ 0. The nondegenerate group manifold 
is obtained by the generalized IW contraction from the AdS superspace in these ways. 



2.3 Sequence of the generalized IW contracted algebras 

Now let us consider the general integer N, M, P case in ()2.23|) . A set of generators 
with the highest dimension (A^, M, P + 1/2) form an algebra ^(A^, M, P + 1/2) 



AB 



E W'^f-i - E ^^li/27^"e"L/_,_,/, , J = 0, AT 



2 ' ^2 

1=1 1=0 



i-l 



DLf = ^zL,+i/27^L,_,_i/2 , t = l,...,M, (2.33) 



1=0 
k 

1=1 

with AT = M = P, N = M = P + 1, A^ = M + 1 = P + 1 or A^ + l = M = P + 1. For exam- 
ple, ^(1,1,3/2) is the nondegenerate superalgebra generated by {flo,fli,Li, L1/2, L3/2} 
discussed in the previous subsection. A generator with the highest dimension is a center of 
the algebra. In other words, this algebra is nilpotent. This imphes a sequence of algebras 

6(0, 0, 0) ^ 5(0. 0. 1) ^ { J- 1 ^ 1, 1) ^ 6(1,1, |) ^ . . . 



^(0, 0, 0) = {r^o} : Lorentz algebra 
^(0, 1, 0) = {fio, Li} : Poincare algebra 

^(0, 1, 1/2) = {fio, Li, L1/2} : the (degenerate) super-Poincare algebra 

Q{1, 1, 3/2) = {flo, fii, Li, Li/2, L3/2} : the nondegenerate super-Poincare algebra 

where an arrow indicates an central extension. ^(00) is the original super- AdS algebra 
after suitable combination of generators. 

As well as the nondegenerate supertranslation algebra case fl2.25|) . there are two man- 
ners of describing group manifold of Q{N, M, P + |). 

(i)The first one is to begin with a super- AdS group manifold and to regard ^(A^, M, P + 1) 
as a corresponding limit as we have seen above. In this case, the group manifold of 



9 



^(A^, M, P + |) is described by AdS supercoordinates (x, 6) dual to (P, Q) (after dividing 
by Lorentz group) with nontrivial boundary conditions. 

(ii)The other one is to introduce a coordinate set dual to generators with dimension from 
to k. The group manifold is parameterized by coordinates dual to them. 



3 M-algebra and the contracted osp(l|32) 



There is another interesting example of this generalized IW contraction. M-algebra 
[T3] is an eleven dimensional superalgebra generated by generators of supertranslations 
Qm = {Qa, Pfi), string charge Zm, M2-brane charges Zmn and M5-brane charges Zmi---Ms, 
where M runs 11-dimensional vector indices and spinor indices M = (/i, a). This algebra 
is too big enough to include the D=ll N=l supertranslation algebra. In order to examine 
the structure of the M-algebra, we rather begin with osp(l|32) algebra which is generated 
by 32 supercharges Qa and 528 sp(32) generators A4a/3, a, /5 = 1, . . . , 32 in spinor indices. 
They satisfy the following algebra 

{Qa, Q(3} = Map, [Qa,Mpj] = n^fsQj, [Map,M^5] = ^fSjMaS- (3.1) 

We denote Cartan one-forms dual to Qa, Ma/3 as 11" and 11"^, respectively and expand 
as 



® /^(n+l/2) 



n=Q 



n°/5 = a)—u 



n=l 



a/3 



(3.2) 



Cartan one-forms and the dimensions are listed below. 



generator 


Qa 


Paf3 


Za 


MS' 








dimension 


1/2 


1 


3/2 


2 


5/2 


3 


7/2 


Cartan one-form 




Y^a/3 






T-ta 




^^7/2 



A general expansion gives infinite number of generators, but we terminate this sequence 
at the suitable dimensions in order to focus on the M-algebra. 

The MC equations for osp(l|32) in each order of R are found to be 

= 0, 



2 



3/2 



(3.3) 



10 



forms with his Cartan one-forms, e*^, e'^, cmn, eMi- Ms, which are dual to Qm, Zm, Zmn 



This corresponds to the M-algebra proposed by Sezginjl5||. if we relate our Cartan one- 
yartan one-forms, p*^ 

and Zmi-Ms as 

n" = 

nf = eo^p + {C^'T^e^upyp (3.4) 
etc., or equivalent ly 

Qa Qa 

Pep = (C7'^).^P^ + (C'7;.).;3^'^ + ^(C7,.)"^Z^'^ + ^(C'7;.,...;.,)„/3^'^^■■■^^ 
Z„ = + (7^)^„Z^^ + (7^,...^J„^Z^--'^^^ 

= + (C7m,,),^Z'^^^^'3 (3.5) 

etc. In Sezgin's M-algebra the auxiliary generators Z with spinor indices, Z^^^, Z"^ etc., 

(2) 

correspond to the higher dimension generators, Za, M^^ etc., in our algebra. Our reduced 
M-algebra is subalgebra of Sezgin's M-algebra; the number of bosonic generators and 
fermionic generators are 528 x 3 = 1584 and 32 x 4 = 128 for ours and 664147 ^ and 
717088 ^ for Sezgin's M-algebra, respectively. 

A set of generators with dimension less than k forms an algebra. We denote this as 
Q{k). Then this reduced M-algebra is ^(7/2). Generator with the highest dimension is a 
center of the algebra. This algebra contains algebras 

^(1) ^ g{3/2) ^ — > g{7/2) 

^(1) : super-translation algebra with maximal central extension 
^(3/2) : nondegenerate algebra 
^(7/2) : reduced M-algebra . 



One can extend the reduced M-algebra including a dimension 4 generator or a Cartan 
one-form satisfying the MC equation 

d< = n-n;^, + i],,m"nf + ^n^/^nf/^ + ^^^..nrnf . (3.6) 




= 664147. 
717088. 



11 



The extended superalgebra ^(4) is an extension of the reduced M-algebra. 

g{i/2)^g{A) . (3.7) 

If it is possible to extend to a superalgebra ^(7/2) • ■ -^(oo) with suitable reducibility of 
generators analogous to (j3.4p . the asymptotic algebra is osp(l|32). 



4 Conclusions and discussions 



We proposed a generalized IW contraction. While the original IW contraction restricts 
parameters contracted to infinitesimally small values and keeps leading terms in LI one- 
forms, this generalization relaxes this restriction in such a way that not only leading 
terms but also next to leading terms are kept: for the S0(3) case or Lg^g for the 
super-AdS case. A further extension was also considered where the guiding principle of 
extension is the MC equations expanded in parameter, ()2.7p for the SO (3) case or ()2.33p 
for the super-AdS case. A suitable combination of generators should be considered for 
each contraction in order to satisfy the cyclic identity for supersymmetric theories, as 
well as the similarity transformation required even in the original IW contraction. This 
contraction keeps a part of the scale parameter information as expected. This is a kind of 
a central extension after performing the IW contraction. In this procedure the number of 
independent generators of Q{N) becomes infinity at — >■ oo which looks different from 
the number of the original algebra. However this is reasonable in the sense that an infinite 
number of nilpotent generators is required to represent the homogeneous algebra 9 M 







AT 




( ° 


1 





■•■ 0\ 


N 








1 















■•. 










■•. 1 




yo 












7^0 



(4.1) 



Again a suitable finite number of combinations of the infinite number of generators is 
required. It is interesting that the Wess-Zumino term of the tj^e (jl.ip for a flat superstring 
is derived from homogeneous supergroup OSp(l|32) by the usual IW contraction shown 
in the Chern-Simons supergravity context |23j . 



Acknowledgments 

We would like to thank Michael B. Green for useful comments on the manuscript 
and Satoshi Iso for fruitful discussions. M.S. gratefully acknowledges support by Nishina 
Memorial Foundation. 



12 



References 



[1] R.R.Metsaev and A.A.Tseytlin, Nucl. Phys. B533 (1998) 109, |hep-th/9805028 



[2] R.Kallosh and J.Rahmfeld, Phys. Lett. B443 (1998) 143, hep-th/9808038^ 
J.Rahmfeld and A.Rajaraman, Phys. Rev. D60 (1999) 64014, hep-th/9809164l 
I.Pesando, J. High Energy Phys. 11 (1998) 002, hep-th/9808020; J. High Energy 
Phys. 02 (1999) 007, l hep-th /9809145: 

J.Park and S-J.Rey, J. High Energy Phys. 01 (1999) 001, hep-th/9812062 



J-G. Zhou, Nucl. Phys. B559 (1999) 92, hep-th/9906013, etc. 

N. Berkovits, M. Bershadsky, T. Hauer, S. Zhukov and B. Zwiebach, Nucl. Phys. 
B567 (2000) 61, hep-th/9907200 

M.Hatsuda, K.Kamimura and M.Sakaguchi, Phys. Rev. D62 (2000) 105024, 
hep-th/0007009, 



R.Roiban and W.Siegel, J. High Energy Phys. 0011 (2000) 024, |hep-th/0010104 



L.Maldacena, Adv. Theor. Math. Phys. 2 (1998) 231, hep-th/9711200» 

S.S.G ubser, I.R.Klebanov and A.M.Polyakov, Phys.Lett. B248 (1998) 105, 

|hep^t h/9802109i 

E.Witten, Adv. Theor. Math. Phys. 2 (1998) 253, |hep-th/9802150[ 

M.B.Green and J.H.Schwarz, Phys. Lett. B136 (1984) 367; Nucl. Phys. B243 (1994) 
285. 

W.Siegel, Phys. Lett. 128B (1983) 397. 

M.Henneaux and L.Mezincescu, Phys. Lett. 152B (1985) 340. 

J.A.de Azcarraga and P.K.Townsend, Phys. Rev. Lett. 62 (1989) 2579. 

M.B.Green, Phys. Lett. B223 (1989) 157. 

W.Siegel, Phys. Rev. D50 (1994) 2799, |hep-t h/940314 4| 

E.In5nii and E.P.Wigner, Proc. Natl. Acad. Sci. U.S.A. 39 (1953) 510, 

E.Inonii, in "Group Theoretical Concepts and Methods in Elementary Particle 

Physics" ed. F.Gursey (Gordon and Breach, New York, 1964). 

E.Bergshoeff and E.Sezgin, Phys. Lett. B354 (1995) 256, |hep-th/9504140[ 

E.Sezgin, Phys. Lett. B392 (1997) 323, |hep^ /9609086| 



M.Sakaguchi, Phys. Rev. D59 (1999) 0460 07, |hep-t h/9 8091 13 
J. High Energy Phys. 02 (1999) 017, |hep-th/9811143| 

M.Abe , M.Hatsuda, K.Kamimura and T.Tokunaga, Nucl. Phys. B553 (1999) 305, 
|hep-th/9903234t 

C.Chryssomalakos, J.A.de Azcarraga, J.M.Izquierdo, J.C.Perez Bueno, Nucl. Phys. 
B567 (2000) 293,|hep-th/9904137, 

M.Sakaguchi, J. High Energy Phys. 04 (2000) 019, |hep-th/9909143 



M.Hatsuda and M.Sakaguchi, Nucl. Phys. B577 (2000) 183, |hep-th/0001214 



13 



[21] M.Hatsuda and M.Sakaguchi, Nucl. Phys. B599 (2001) 185, |hep-th/0010189[ 

[22] J.A.de Azcarraga, J.M.Izquierdo and P.K.Townsend, Phys. Lett. B267 (1991) 366. 

[23] H.Nishino and P.Mora, Phys. Lett. B482 (2000) 222, |hep-th/0002077( 

[24] D.Ohve and E.Witten, Nucl Phys. B78 (1978) 97; 



E.Witten. Nucl. Phys. B443 (1995) 85, hep-th/95 03124| 

[25] M. Hatsuda and M. Sakaguchi, "Wess-Zumino term for AdS superstring," Phys. Rev. 
D 66 (2002) 045020, hep-th/0205092 

[26] J. A. de Azcarraga, J.M. Izquierdo, M. Picon and O. Varela, "Generating Lie and 
gauge free differential (super) algebras by expanding Maurer-Cartan forms and Chern- 
Simons supergravity" , ,hep-th/02 12347. 



14