ELSEVIER

Available online at www.sciencedirect.com

SCIENCE ^DIRECT8

Physics Letters B 573 (2003) 217-226

www. elsevier. com/locate/npe

Consistency of superspace low energy equations of motion of 4D Type II superstring with Type II sigma model at tree-level

D.L. Nedel

Instituto de Física Teórica, UNESP, Rua Pamplona 145, 01405-900 Sao Paulo, SP, Brazil Received 20 June 2003; accepted 11 August 2003 Editor: L. Alvarez-Gaumé

Abstract

We derive the torsion constraints and show the consistency of equations of motion of four-dimensional Type II supergravity in superspace, with Type II sigma model. This is achieved by coupling the four-dimensional compactified Type II Berkovits' superstring to an N = 2 curved background and requiring that the sigma-model has superconformal invariance at tree-level. We compute this in a manifestly 4D N = 2 supersymmetric way. The constraints break the target conformal and SU(2) invariances and the dilaton will be a conformal, SU(2) x U(1) compensator. For Type II superstring in four dimensions, worldsheet supersymmetry requires two different compensators. One type is described by chiral and anti-chiral superfields. This compensator can be identified with a vector multiplet. The other Type II compensator is described by twist-chiral and twist-anti-chiral superfields and can be identified with a tensor hypermultiplet. Also, the superconformal invariance at tree-level selects a particular gauge, where the matter is fixed, but not the compensators. After imposing the reality conditions, we show that the Type II sigma model at tree-level is consistent with the equations of motion for Type II supergravity in the string gauge. © 2003 Elsevier B.V. All rights reserved.

1. Introduction

Low-energy effective actions play an important role in the study of string theory. Beyond phenomenologi-cal applications, they also provide important pieces of evidence for the existence of various dual descriptions of string theories.

One way to construct low-energy effective actions in string theory is looking for the low-energy equations of motion. This is achieved by defining the sigma-model for the string in a curved background and requesting conformal invariance [1]. The low-energy ef-

E-mail address: daniel@ift.unesp.br (D.L. Nedel).

fective action for Type II superstring is some N = 2 supergravity theory. So, the structure of this supergrav-ity theory is constrained by the dynamics of the two-dimensional sigma-model.

To derive the structure and equations of motion of the N = 2 supergravity theory that represents the Type II low-energy effective action, we need to formulate the sigma-model directly in terms of a target superspace and which has manifest local target space supersymmetry. Without such a sigma-model description, one can only work in components and it is not possible to determine the off-shell description of the supergravity selected by string theory. In addition, it is in general quite difficult to obtain the fermionic part of the effective action without a manifestly

0370-2693/$ - see front matter © 2003 Elsevier B.V. All rights reserved. doi:10.1016/j.physletb.2003.08.031

supersymmetric sigma-model. In the RNS formalism, for example, the part of the effective action coming from the Ramond fields is much less understood than the part coming from the Neveu-Schwarz sector. In the particular case of Type II superstrings, where there are conjectures relating non-perturbative states with the Ramond-Ramond sector [2], this lack of understanding is especially bothersome. On the other hand, in the Green-Schwarz formalism, we have manifest SUSY, but the covariant quantization is rather impossible due to the kappa symmetry.

A new formalism for the superstring was discovered by Berkovits with local N = 2 worldsheet super-conformal invariance. This formalism is known as hybrid formalism and is related to the RNS formalism by a field-redefinition [3]; it has the advantage of being manifestly spacetime supersymmetric. It is especially well-suited for compactifications to four dimensions, where it allows manifestly 4D super-Poincare invariant quantization [4]. The coupling of the theory to background fields was discussed in [5], where also the form of the low-energy effective action was proposed, based on indirect arguments. In [6], the low-energy effective equations of motion of heterotic su-perstring were derived directly in superspace by means of this formalism. Although Berkovits has discovered another formalism based in pure spinors, which allows manifestly 10D super-Poincare covariant quantization, the hybrid formalism is best understood and it has been widely used [7]. In this Letter, we adopt this approach to derive the constraint structure and show consistency of the equations of motion for the N = 2 supergrav-ity theory that corresponds to the low-energy effective theory of Type II superstrings in four dimensions. In the next section, we describe the Type II sigma-model with local 4D manifest supersymmetry. In Section 3 we carry out a covariant background field expansion to check N = (2, 2) superconformal invariance of Type II worldsheet at tree-level. Finally, in Section 4, we present and discuss the results. The methods presented here are a generalization of the methods developed for the heterotic superstring in [6].

2. Type II sigma-model in the hybrid formalism

A critical N = 1 string can be formulated as a critical N = 2 string, without changing the physical

content. This is achieved by twisting the ghost sector of the critical N = 1 string [8]. After performing this embedding for the critical RNS superstring, a field redefinition allows the resulting N = 2 string to be made manifestly spacetime supersymmetric for compactifications to four dimensions. In this case, the critical c = 6 matter sector splits into a c = -3 four-dimensional part and a c = 9 compactification-dependent part. In a flat 4d background, the type II superstring is in the N = (2,2) superconformal gauge described by the following action:

(d2z\dxmdxm + Padea + padea a' J 2

+ padoa + Padea --dp{dp + az)

~ —3/3(3/3 + az) + Sc

where Sc is the action for the compactification-dependent superconformal field theory. In this Letter, we will not be worried about the fields that depend on compactification, so we need to concentrate just in the c = -3 sector. The four-dimensional part of the action contains the spacetime variables, xm (m = 0 to 3), the left-moving fermionic variables, 0a and 0a, the conjugate left-moving fermionic variables, pa and pa, and one left-moving boson, p, with a 'wrong' sign for the kinetic term. The right-sector of the Type II su-perstring is described by the right-moving fermionic fields, 0a, 0a, the conjugate pa, pa, and one right-moving boson, p. The fields az, a-z are the worldsheet ^(1) x ^(1) gauge fields (ep carries ^(1) charge). The components a-, az can be fixed since the four present gauge fields fix just two symmetries (p ^ p + constant and p ^ p + constant).1 The remaining components, az and a-, will be viewed as Lagrange multipliers imposing the constraints 9p = 0 and dp = 0, so that p and p become chiral and an-tichiral bosons, respectively. The 'wrong' sign for the kinetic terms of the bosons p and p implies that these fields cannot be fermionized, since the OPE's

eip(z)eip(w) = e2ip(z)/(z — w) while eip(z)e-ip(w) =

(z — w). It has the same behavior as the negative-

1 We can see this by coupling the theory to n = (2,2) world-sheet supergravity, which contains two independent U(1) gauge worldsheet.

energy field, 0, that appears whenbosonizing the RNS ghosts y = ne'0 and j = d^e-'0.

The strange a' -dependence of p in (1) will later be shown to be related to the Fradkin-Tseytlin term. Also this dependence will permit to get the equations for the dilaton at tree level. The left-moving c = -3 generators for this N = (2,2) string are:

T = I --naanaà - daдва - dàдва

+ — дрдр + 9 p

G = G =

ш'л/807 1

ш'л/807 J = —idp,

exp(ip)dada, exp(—ip)da da,

where we have used Pauli matrix to write vectors in terms of bi-espinors and we have defined:

da = Pa + l0^ + -02d0a--0ad{0f,

da = Pa + ioadxak + -02d0a - -ead(d)2,

Па ^ Паа = dxaa — вадва + id0a0a.

The right-moving c =—3 N = (2,2) generators are 1

ш'л/807 1

elp dada,

ш'л/807

- -~a a ^ ^ — dà 30 H--дрдр

aa dad r

where da and da are obtained from (3) by using hatted variables and replacing d by d. Using the free-field OPE's the holomorphic (or left-moving) part of the N = (2,2), c = -3 algebra can be written as

c/2 2T(w) dT(w) T(z)T(w) = , ^ + , +■

(z — w)4 (z — w)2 (z — w)

TV ЛГГ Ï ÏG(W) . 9G(W)

T{z)G{w) = --- + ---,

(z — w)2 (z — w)

- \G{w) dG(w) T(z)G(w) = -- + ■

J(z)G(w) =

J(z)G(w) =

J(z)J(w) =

(z — w)2 (z — w) G(w)

(z — w) G(w) (z - w)' c/3

(z — w)2

G(z)G(w) =

(z — w)3 (z — w)2

2T(w) + dJ(w)

(z — w)

The anti-holomorphic (or right-moving) generators satisfy the same algebra changing (z,w) for (z,w). The advantage of the variables d and П over p and x is that they commute with the target space supersymmetry generators [5].

The action also becomes manifestly supersymmet-ric when expressed in terms of d and П. This is achieved by writing the coordinate of the N = 2 flat superspace as ZA ^ (xa,9a,9a,6a,6a) and defining variables ПА, ПА using vielbeins EMA to convert curved (M) into flat indices (А): ПА = dzMEuA and ПА = dzMEMA, where the indices of the flat and curved N = 2 superspace can be written using the SU(2) notation: A = (a, aj, aj) andM = (m,^j,Vj). The j = ± is an SU(2) -index and can be raised and lowered using the anti-symmetric j tensor. Comparing with the previous notation

Qa+ = ва, Qa— =

ва—= в" ,

0a+ = в"

From the previous section, Па reduces to (3) when Ema is the vielbein of flat superspace, which is one on the diagonal and has off-diagonal components:

EMa = аа.в^.

Ml MM j

The action can now be written directly in the target superspace:

Паа Па" + dana++ da Пa

+ dana- +dàna+ + ~-ПаПвВав

a' - - a' _ л "

- y3p(9p + az) - —dp{dp + az)

—ip da d

where we have introduced an anti-symmetric tensor field BBA whose only non-zero components are:

Baa — iGaftQa

Ba+/3+ = e«ep.

Ba+P- = OaOp,

3. Sigma-model in curved N = 2 superspace

To formulate the action in a curved background, we can assume that the vielbein and the B-field in (7) have a general form. When expanded to first order around a flat background, one should recover the massless vertex operators of a flat background and the complete set of massless physical states of Type II superstring should be presented.

The massless vertex operators were discussed in [5]. Due to manifest supersymmetry, the vertex operators do not distinguish Ramond and Neveu-Schwarz sectors and may be written in terms of a superfield that has both sectors. For type II superstring, the massless compactification-independent vertex operators have the form:

V = j d2z {G, [G{V, [G, U]}]},

where G = ¡f j^jG(z) = (¡-\/2 and similarly G are the N = (2, 2) worldsheet supersymmetry generators; they have precisely the form as one would expect for a theory with N = (2, 2) worldsheet supersymmetry. Furthermore, from the requirement that the vertex operator produces a state in the BRST cohomology, it follows that U must be an N = (2,2) primary field of conformal weight zero and U(1) x U(1) charge zero, i.e., U should have only single poles in the OPE with T,G, G, T, G, and have a regular OPE with J and J. These conditions do not yet completely classify the inequivalent vertex operators of the theory, because it is possible to perform certain gauge transformations that do not change the form of V:

su = v2a + v 2À + G2 a + v2a.

The N = (2,2) primary field conditions and the gauge conditions imply that U is a pre-potential for an N = 2 conformal supergravity coupled to a hyper-tensorial multiplet. The gauge fields of super-gravity sit in a Weyl multiplet with 24 bosonic and

24 fermionic off-shell components, while the matter fields are described by a hyper-tensorial multiplet with 8 bosonic and 8 fermionic off-shell components. This pre-potential represents the massless compactification-independent fields of the Type II su-perstring, without the dilaton. The dilaton does not couple classically in the action; it is part of the compensator fields and not part of the hypertensorial multiple! To know the precise form of the off-shell N = 2 Poincare supergravity that describes the low-energy effective action for Type II superstrings, we need to know the compensator and the complete set of su-pergravity constraints, in particular the torsion constraints that break the conformal invariance. In a more conventional formulation, one would use the confor-mal invariance to gauge-fix the conformal compensator rather than the tensor hypermultiplet, but we will show that in the sigma-model it is the other way around. The action in (7) and the vertex operators provide all necessary ingredients to write down the classical part of Type II sigma-model. Here, by classical one means zero-order in a'. The coupling of the dila-ton in the sigma-model is described by the Fradkin-Tseytlin term, that is, the direct generalization of the dilaton coupling / d2z^fg R<P of the bosonic string. So, we need to couple the dilaton with the N = (2,2) supercurvatures of the worldsheet; this coupling selects the particular target N = 2 superfield that the dilaton will represent. In this case, worldsheet super-symmetry of the Fradkin-Tseytlin term requires two different compensators. One type is described by chi-ral and anti-chiral superfields, and <Pc, satisfying Va— &c = &c = 0c = ^c = 0. After imposing the reality condition (V)2&c = (V)2$c? $c and <Pc can be identified with the chiral and antiquiral field strength of a vector multiplet. This reality condition is not required by tree-level worldsheet symmetries of the sigma-model, but it is necessary for constructing superspace effective actions and can be derived at one loop level.3 The other Type II compensator is described by twisted-chiral and twisted-anti-chiral superfields, $tc and <Ptc, satisfying Va— <Ptc = Va— <Ptc = Va+@tc = Va+^tc = 0. These fields are re-

2 We are using the notation: V2 = Va+ Va+, G 2 =Va—Va—.

3 In general we use # = e$ to construct the low-energy effective action, while $ will appear in the sigma-model.

lated with a tensor hypermultiplet, that is usually used to fix the SU(2) symmetry of the N = 2 conformal supergravity. Although the twisted-chirality condition on Фtc does not look SU(2) covariant, it can be made

covariant by identifying Фtc and ^tc with L__and

L++ where Ljk is the linear field strength of a tensor hypermultiplet satisfying Va(i Ljk) = 0. This equation also implies that Фtc satisfies the reality condition (V)^tc = (V)^tc. In the conformal gauge, the dilaton couples to the p-field. In this gauge, the sigma-model is:

naa Qa + dana+ + dàna

+ dana- + dànà+ + -ПаПвВав + daPaPdß

+ da Pa ß dß + da Qaß dß + da Q a ßdß a' - - ч

- — (dp + 1д(фс -фс+ 4>tc - Фы))

X (dp + id(pc - + Фtc - (tc) + az)

a' 1 ~ - - ч

- —(Зр + гЭ(0о -ф0- 0to + 0to)j

X (dp + idФ - (pc - фtc + (tc) + az)

with the previous definitions for the П-field, but now with arbitrary vielbeins and anti-symmetric tensor fields. Рав and Qae are chiral and twisted-chiral field strengths of N = 2 conformal supergravity whose lowest components are the Type II Ramond-Ramond field strengths. From the dada and dada terms in the supergravity vertex operator, one sees that at linearized level, Рав = (V)2Va(V)2VeU and Qae = (v)2v a(V)2vв и. The sigma-model action contains potentials BBA and EMA rather than prepotentials like U. Of course, the anti-symmetric tensor field, the Рав, Qae and the vielbeins contain more degrees of freedom than the prepotential U. As usual in supergravity theories, there are torsion constraints which relate the gauge fields and field strengths to their prepotentials. In general, these constraints are imposed by hand; here we will derive these constraints imposing N = (2,2) superconformal invariance at tree-level in the sigma-model.

4. Perturbative check of the N = (2,2) algebra

The N = (2, 2) algebra derived in (5) for Type II superstring coupled to flat superspace must be satisfied in the curved sigma-model. However, in this case we do not have any longer worldsheet fields satisfying free OPE's and we need a perturbative approach to check the N = (2, 2) algebra. As usual in string theory, a' counts the number of loops in the two-dimensional quantum theory. Here, we have an immediate problem caused by the fields p and p. Its kinetic term does not have an explicit factor of 1 /a' in front, and therefore the a' -perturbation theory does not make sense for these fields. In addition, the worldsheet Lagrange multipliers, az and a-z, impose the constraints 9 (p + г(ф<. - (pc)) = 0 and d(p + i^tc — (ptc)) = 0, which are difficult to handle. These last two problems disappear if we make the field-redefinition:

p ^ p - i((c - (pc + Ptc - 4>tc), p ^ p - i((c - (pc - ptc + (ptc)

after that, p and p become chiral and antichiral bosons, which can be quantized exactly, and which do not interact with the other fields of the theory. So, after this redefinition, p and p obey the same free fields OPE's that we have used to derive the algebra N = 2 in (5); for the other fields, we will use perturbation theory. Surprisingly, this redefinition allows to derive information about the dilaton at tree-level. It is so because the fermionic generators have now the form:

G ^ G^ G ^ G^

г'а'л/БЙ7 1

г'а'л/БЙ7 1

г'а'л/БЙ7 1

г'а'л/БЙ7

{вРвф-Ф dada + a' (••), (e-lpep-(pda da + a'(•••)), (elp вф-ф dada + a1 (•••)), 1e-lp вф-ф da da + a' (•••)),

the dots are terms that come from the Fradkin-Tseytlin term and do not contribute at tree-level. Next, we describe the covariant background formalism that we intend to perform. A typical beta-function calculation does not guarantee the full N = (2, 2) superconformal invariance. The latter would only follow from a standard supersymmetric j -function calculation if the model could be formulated in N =

(2,2) superspace on the worldsheet, which does not seem possible. So, we need to check the N = (2,2) algebra by calculating the OPE's perturbatively. At tree-level, there are no double contractions and it is necessary just to verify the part of the N = (2, 2) algebra that depends on simple contractions.4 To perform these calculations, we will use a background covariant expansion that preserves manifestly all the local symmetries of the target superspace. In our case, these symmetries are local Lorentz transformations and the following U(1) x U(1) transformations:

S<(>e = -(k + k), 1

50to = - (A. - A),

50O = --(A + A), 1

50to = --(A. - A),

sna+ = --xna+, 1 snà- = 2

sna - = --ina-, i 8nà+ = 2

= 1 -Xda, Sda 1 — — À. dry. 2 Sp = -2iX,

= 1 -Xda, Sda — — À. dry. 2 Sp = -2iX.

The traditional way to achieve such an expansion is to use a tangent vector that relates two points in target superspace, the classical field and the quantum fluctuations, then expand all the tensors in potentials of this vector and use Riemann normal coordinates to covariantize the expansion. In this Letter, we will not discuss the details of this expansion and will just put the results. The covariant derivative in the tangent superspace is:

Va = EAMdM + UAP+ Y+ My+ P+ + Y My_ P_

+ VAP-Y- My_ P- + VAP+ M9+ + A + ?aY,

where v, r, r are the Lorentz and U(1) x U(1) connections, M are the Lorentz generators and Y, Y the U(1) x U(1) generators. We must observe that there are two independent spacetime spinors in the Type II sigma-model, so one has two independent fermionic structure groups. Thus, just like the two independent

U(1) connections one has two independent sets of irreducible spin connections: vAa+ P+, mAa- and vAa- P-, vAa+ P+. The covariant derivative satisfies the algebra

[Vc,Va) = Tcab Vb + RcaedMde + FcaY + FcaY,

We can verify this by checking the orders in a' in the OPE's (5).

where F and F are the super U(1) x U(1) field strengths and T, R are the supertorsions and super-curvatures.

For the purpose of our tree-level calculation, we only need to go up to two background fields in the quadratic part in the quantum fields of action. With the covariant derivative and the algebra, by using the algorithm developed in [6,9], with the notation: Aa = (Aa_ ,Aa+) and Aa = (Aa+ ,Aa_), we have the action expanded up to this order:

S2 = ^V/V/ + daVya+ + d&Vy&- + daVya~

+ daVy« + ^7yayc(nBTBCa) + \vyayc{nBTBCa)

- ^VycyB(naTBCa + inAHABC)

+ \vyCyB{TBC«DA) + \vyCyB{TBC"D&) + d-a yC (nB Tbc C) + ds yC {HBTBca)

- l-VycyB(naTBCa-inAHABC) + \yByc[{nDna - nDna)TDCBa

_ 2nDTDCB"Dc _ 2nDTDCB"D + 2nD ((_1)E(D+B)+CDTcEaTDBa + Hdcbe )nE ]

+ daPapdp + da P&P dp + da QaP dp + daQ* Pdp + dayAVAPapDp + da yAVAP & P Da+ dayAVAQap Da + da yAVA~Qit PDp + DayAVAPapdp + Da yAVAP a a d.a + D ayAVAQaa d.a + DayAVA Q&Pdp + DayAyBVbVaP^Dp

+ Dà yAyB Vb ^APà p Dp + DayAyB Vb VaQ^ Dp + Da yAyB Vb VaQ ap Dp,

Tdcba = Rdcba + U(A)Fdc8ba + a> (A)fdcSba + TdceTeba + (-1)cdVcTdba,

Hdcba = VcHdba(-1)cd

- TcaeHedb(-1)mb+d)+cd

+ TdceHeba,

o(A) and co (A) are the U(1) x U(l) weights of A. The only ones different from zero are: o(a+) = co(a+) = l/2, rn(a—) = co (a+) = —1/2. In the expanded action, we have the quantum fields: YA, da, da and the background fields: nA, Da, Da. Since the da and da fields are spacetime independent, we have chosen a simple expansion for these fields, that preserves the superspace symmetries: da = da + Da and similarly for da.

Now, we can describe the kind of calculation we intend to do. The kinetic part of the action provides the worldsheet propagators:

dayp + ) =

[dayP-)=^ (18)

z — w 1 z — w

and the same for the dot spinors. The bosonic fields have the two-dimensional propagator: (yayb) = nab ln|z — w|. The other part of the action provides the vertices. By expanding the generators using the same background covariant expansion we can calculate the tree-level OPE's contracting the fields with the vertices in the action. By demanding that the N = (2,2) algebra be satisfied, we get the torsion constraints of N = 2 supergravity. All the results we will get from the fermionic part of the algebra.

Besides Lorentz and U(1) x U(1) invariance, the background field expansion of the action has an additional set of symmetries, which we denote by 'shift symmetries'. These originate from the fact that the original action depends only on the vielbeins, not on torsions and curvatures. In our case the shift symmetry has the form:

SMabC=YABC,

SrA = Xa, Sda = Xa,

STabc = Y{ab}c + V(C)X[aSb)c + & (C)X[aSb)c, SyA = \yByC{YCBA + (o{A)Xc&BA

+ & (A)XcSba), Sda = (VYuap + ^yAXASjydp+Dp),

S da = (VY Map + ^yAXASjydp+Dp). (19)

This symmetry must be manifest in the OPE's and we will use it to fix some components of the torsions, providing the 'conventional constraints'.

We are now ready to check the superconformai invariance at tree-level. The generators must satisfy the tree-level part of the OPE's (simple contractions) and in addition the left-moving generators should be holomorphic and the right-moving anti-holomorphic. By requesting the conditions d G = 8G = 0 with help of the equations of motion,

na+ + Papdp + Qap dp= 0, Qa- + Pa p dp + Q a pdp = 0, na- - dpPpa - dp Qpa = 0, na+ - dp Ppa - dp Qpa = 0,

Vda + ncTCabnb + ncTCabnb)

- nc(Tcapdp)

- nc (Tca^dp) - ncnBHBca + dp (VaPp YdY +VaQpY dy )

+ dp (Va PpYdy + Va QpYdy ) = 0

we get

T Tpa c = 2Hpa c = 0

Tp-a+c - 2Hcp-a+ = 0,

T + 2Hcp+a- = 0,

T - 2Hcp-a- = Tp-a-c - 2Hcp-a- = 0,

T p+a+c - 2Hp+ca+ = Tp+a+c - 2Hcp+a+ = 0,

Tapc + c ++ Hap += c Tac = 0,

T „- + T ¡.— Hz — 0,

ape acp apc '

T Y- — —T

T ea+ — ¿a.

a+a-eQ ,

T Y+ — T • Pa Y

Tea+ — J-a+a-eP ,

T >Y- — T Y+ — 0

In addition to these constraints, we have the equations of motion for the dilaton:

Vp PPY + PPY Tpaa + QPY Taaa + PaP_ Tap_ Y_

= ppY_Vp($ _ $) + QPY Va ($ _ $), Vp_ PYP_ _ PYP_ T

_ Q)YP+ T- a-

Q Tp+a-

- _PYP

P-a-- Pap- Ta

— -PYp Vp- (jj - jj) - QYP+V¿+ (j - 4>)

+ Vy(<- <j ) — 0,

TYà+ a+ -Vy(<- <j) — 0, Taa- a-+Va(j- j ) — 0, Taà+ à+-Va(j- jj) — 0, TY-a+ a+ + VY- (<j - j) — 0, ty-ù- à--VY- (j - j) — 0, Taa +a+ + Va(j - j) — 0, TaàJ--Va(j - j) — 0.

The tree-level OPE between the holomorphic generators and anti-holomorphic ones must be regular. Using the background expansion for the generators, we can write the G(z)Y(w) OPE as

G(z)G(w)

= Da(z){da(z)dP(w)]Dp(w) + Da(z){da(z)yA(w))D2(w)Va(4> - $) + D2(z)Va($ - 4>){yA(z)da(z)(w))Da

+ D2(z){yA(z)yB(w)]D2(w)Va(< - 4>)

In this expression we did not write the exponential terms involving the p and 0 fields. By contracting the quantum fields in the expectation values with vertices that came from the action (17), we have many non-regular terms with 3 and 4 background fields. We can show that, when we use the previous constraints

and equations of motion, all the non-regular terms are cancelled, as we should expect. However, the tree-level part of the (G(z)G(w)} is

G(z)G(w)) = ---<■■■>, (24)

(z - w)

where we have used the e'p(z)e'p(w) OPE and the dots are terms similar to (23), with the hatted fields replaced by non-hatted fields. Here, we get new information. To get the right N = (2, 2) algebra, the expectation values must be of order O(z - w). Again, we contract the quantum fields with the vertices of the action and the anti-holomorphic part of these OPE's are cancelled by the conditions (22). From the holomorphic part, we get a regular term in the expectation values that give us the constraints

T a _ T Yi

1 Y+a+ = 1 Y+a+

— HY+a+a — HY+a+Yi — HY+a+Yi — 0,

a++ 2Vy(< - 4>) — 0.

This new information comes from the fact that we have exact conformal theory for the p fields. The results for (G(z)G(w)) are similar, changing y+, a+

for y_ , a_.

The OPE's must be shift-invariant. This is true for all the derived constraints and equations of motion, except for the last equation in (25). This is another consequence of the p -field. Fortunately, there is a systematic way to cancel this equation. We can redefine the expansion for the da-field, showing that the shift invariance fixes the expansion for this field or add the zero-term to the action:

d2z(VDY +-)ya+ yp+ Sp+

where (VDy + ■■■) is the field equation with d replaced by D. Since D is on-shell, the extra term is always zero. If one partially integrates it, one gets a series of vertices with two background fields, that does not give any contribution and precisely one vertex with one background field, namely

J d2z {-2Dy3ya+ yP+ Sp+a+ Y+ ).

We can choose Sapp to cancel the equation and as it may be verified, this term in the action does not give any new contribution; the same trick was used in [6] and [10].

Before writing down the constraints and equation of motion, we can check that no information came from the OPE's (G(z)G(w)) and (G(z)G(w)). While the tree-level OPE's (d2(z)d2(w)) and {d2(z)d2(w)) must be of order O((z — w)) and O((z — w)), the OPE's {d2(z)d2(w)) and {d2(z)d2(w)) must be of order O((z — w)—1) and O((z — w)—1). Since terms with more than two backgrounds fields are always of order O((z — w)—1), they are not relevant and we have just terms with two background fields: {d2(z)d2(w))

and {d2(z)d2(w)), that are trivially zero since we do not have propagators from da to da and from da to da. The OPE's involving T and T are satisfied by using the equations of motion (20) and identities like Vnai — vnai = nAnBTABai. We will discuss first the constraints; they are divided into the following categories:

A. Representation-preserving constraints:

Takp+ Y— = TaiPkC = 0,

T a Y- — T ■ Y+ — 0 B. Conformai constraints:

T Y- — _T • QaY

Tca+ — Ta+a-cQ ?

T Y+ — T ■ QYa T Y+ — T ■ PaY

T Y- T P

Tca- — 1a-a+cP

T I Y- — T Y + — 0

Tca+ — J-ca- —w ♦

The first type of constraints is the usual representation-preserving constraints which allow a consistent definition of chiral and twisted-chiral superfields. The second type of constraints is conformal-breaking constraints, which are necessary since the sigma-model action is not invariant under the spacetime scale trans-

formations that transform SEaM = AEaM. The relation between the Pap and Qap with the torsions shows us a clear geometrical meaning for the Ramond-Ramond fields in the superspace. In general, we can write the hypertensorial multiplet HabC in terms of a linear multiplet, Ha.p.a = &apLij, where the lowest component of the linear multiplet is a SU(2) triplet

lij. So, also the SU(2)/U (1) invariance is broken in the Type II sigma-model by gauge-fixing Ljk = Sjk. In addition, the Bianchi identities imply that Tabc = -2Habc. So, the Type II superstring selects a particular gauge, where the matter is fixed and breaks the scale and SU(2)/U(1) symmetries of the confor-mal supergravity. Part of the hypermultiplet that is not fixed goes to the supergravity multiplet which, after imposing the conventional constraints, presents 32 + 32 off-shell degrees of freedom. In general, when passing from conformal supergravity to Poincaré supergravity, the compensator fields are fixed. For a historical view of the development of the N = 2,4d sugra in supersace see Ref. [11]. In particular, the third reference discusses for the first time the change of the constraints that could lead to the string frame formulation derived here. In the last reference the vector and tenso-rial compensators are discussed.5 In [12], a "minimal multiplet" is employed as a starting point, consisting of N = 2 conformal supergravity coupled to a vector multiplet, and by coupling this minimal multiplet to chiral, a non-linear, or a hypertensorial multiplet we have 3 different off-shell Poincaré supergravity. In particular, in the last one, the vector multiplet fixes the scale and U(1) invariance while the hypermultiplet fixes SU(2)/U (1). Here, we show that the Type II supergravity is a U(1) x U(1) version of this N = 2 Poincaré supergravity, when the matter is fixed and the compensators are dynamical. Let us now determine a maximal set of conventional constraints. From our sigma-model point of view, part of the conventional constraints can be derived from the OPE's and the other part can be viewed as a gauge fixing of the shift symmetry discussed previously, choosing XA, YABC, XA and Yabc properly.

C. Conventional constraints:

Ta¡PjC =

Tai(bc) = 0,

T a Y+ — T- a Y+ — T ■ Y- — T

— T ■ Y+) — 0

5 I would like to thank Professor Jim Gates for clarifying this point to me.

Ta ß+ — T ■ ß— — 0

T aß+ T a ß— — 0 '

T a Y— — T- a Y- — T ■ Y+ — T ,a — T ■ Y+) — 0

Ta ß— — T ■ ß+ — 0 T aß— Taß+ — 0 •

These constraints define the vector components of the super-vielbein in terms of the spinor components, and the spin connections in terms of the super-vielbein. The equations of motion for the compensators become

Vy ($c - $c + $tc - $tc) = 0,

Va (Фс — Фс + Фс — Фс) — 0, VY (Фс — Фс — Фс + Фс) — 0, Va (Фс — Фс — Ф^ + Фс) — 0.

With the help of Bianchi identities the equation involving Vp PPy can be written as

[Va, Vy+Щс — Фс + <Фо — Фс) — 0,

so it is cancelled by (29). These equations of motion are precisely the equations of motion that describe the 16 + 16 degrees of freedom of the N = 2 compensators coupled to N = 2 supergravity in the string gauge. At this point we need to emphasize that this is true if the dilaton fields satisfy the reality conditions discussed previously, which are not derived at tree level. So, strictly speaking, we just showed that the equations of motion obtained here are consistent with the equations of motion for Type II supergrav-ity in the string gauge. To these equations make sense, we need to impose the reality conditions, that appear in one loop level [13]. These results shall soon be reported elsewhere. The corrections discussed in [14] will appear in higher loops.

It is unusual to get any information about the dila-ton at tree level. This is other immediate consequence of the p field behavior. We can see that the p field has no a' -dependence in the action, but appears with the same order of a' as the d fields in the fermionic generators in (2); this is a particularity of this formalism. In addition, to have a consistent perturbation theory in the superconformal gauge we need to make the redefinition (12). So, we have a new dependence of the tree level part of the generators on e0c and e0tc. This gener-

ates the conditions (29) but not the reality conditions, which appear at one loop.

The low-energy effective action for Type II super-string in four dimensions must reproduce these equations of motion. In the work of Ref. [5], by using indirect arguments and not by checking directly the super-conformal invariance, a Type II low-energy effective action was proposed in the harmonic superspace. We can check that this action generates the equations of motion showed here.

Acknowledgements

I would like to thank Nathan Berkovits for suggesting this problem and for useful discussions, and especially José Abdalla Helayel-Neto and Dafni Mar-chioro for useful discussions, suggestions and motivation. This research is part of the author PhD thesis, advised by Nathan Berkovits and supported by FAPESP grant 98/06240-1.

References

[1] E. Fradkin, A. Tseytlin, Phys. Lett. B 158 (1985) 316; E. Fradkin, A. Tseytlin, Nucl. Phys. B 261 (1985) 1.

[2] C. Hull, P. Townsend, Nucl. Phys. B 438 (1995) 109.

[3] N. Berkovits, Nucl. Phys. B 395 (1993) 77.

[4] N. Berkovits, Nucl. Phys. B 420 (1994) 332.

[5] N. Berkovits, W. Siegel, Nucl. Phys. B 462 (1996) 213.

[6] J. de Boer, K. Skenderis, Nucl. Phys. B 481 (1996) 129.

[7] K. Ito, H. Kunitomo, Phys. Lett. B 536 (2002) 327;

N. Berkovits, B.C. Vallilo, Nucl. Phys. B 624 (2002) 45.

[8] N. Berkovits, C. Vafa, Mod. Phys. Lett. A 9 (1994) 653.

[9] L. Alvarez-Gaume, D. Freedman, A. Mukhi, Ann. Phys. 134 (1981) 85;

J. Attick, A. Dhar, Nucl. Phys. B 284 (1987) 131.

[10] T. Banks, D. Nemeschanski, A. Sen, Nucl. Phys. B 277 (1986) 67.

[11] S.J. Gates Jr., Phys. Lett. B 96 (1980) 305;

L. Castellani, S.J. Gates Jr., P. van Nieuwenhuizen, Phys. Rev. D 22 (1980) 2364;

S.J. Gates Jr., Nucl. Phys. B 176 (1980) 397;

S.J. Gates Jr., W. Siegel, Nucl. Phys. B 195 (1982) 39.

[12] B. de Wit, J.W. Van Holten, Nucl. Phys. B 184 (1981) 77; B. de Wit, J.W. Van Holten, Nucl. Phys. B 167 (1980) 77.

[13] D.L. Nedel, PhD thesis, IFT/UNESP, March 2003.

[14] F. Aguiar de Moura, hep-th/0212271.