Skip to main content
Internet Archive's 25th Anniversary Logo

Full text of "Canonical approach to Courant brackets for D-branes"

See other formats


o 



en 

o 

(N 



2012, May 29 
KEK-TH-1529 



^ ■ Canonical approach to Courant brackets for D-branes 



Machiko Hatsuda*^" and Tetsuji Kimura*^ 



0^. 

^ ■ *KEK Theory Center, High Energy Accelerator Research Organization, 

Tsukuba, Ibaraki 305-0801, Japan 
O-i' '^Physics Department, Juntendo University, 270-1695, Japan 

■^ . "mhatsuda@post.kek.jp ; ^tetsuji@post. kek.jp 

in 



Abstract 



We present an extension of the Courant bracket to the ones for Dp-branes by analyzing 
Hamiltonians and local superalgebras. Contrast to the basis of the bracket for a fundamental 
S^ \ string which consists of the momentum and the winding modes, the ones for Dp-branes 
c^ ! contain higher rank R-R coupling tensors. We show that the R-R gauge transformation rules 
are obtained by these Courant brackets for Dp-branes where the Dirac-Born-Infeld gauge field 
and the "two-vierbein field" play an essential role. Canonical analysis of the worldvolume 
theories naturally gives the basis of the brackets and the target space backgrounds keeping 
T-duality manifest at least for NS-NS sector. In a D3-brane analysis S-duality is manifest 
as a symmetry of interchanging the NS-NS coupling and the R-R coupling. 



1 Introduction and summary 

In string theories the general coordinate trasformation symmetry is enlarged to the gauge 
symmetry for the Kalb-Ramond field in addition to the gravitational field. This is an in- 
evitable feature from T-duality of string theories which mixes the gravitational field and the 
Kalb-Ramond field. T-duality has a long history of the research [1, 2, 3]. Along the study of 
T-duality as a target space duality Siegel wrote down the gauge transformation rule of the 
gravitational field and the Kalb-Ramond field, Gmn and Bmn, in a T-duality covariant way 
[4, 5, 6]. Hitchin introduced the generalized geometry with the Courant bracket which gives 
this gauge transformation involving Bmn field [7]. Hull introduced the doubled formalism 
with manifest T-duality to fiux compactifications by introducing non-geometry [8] . Hull and 
Zwiebach used the closed string field theory to construct the double field theory defined by 
the C-bracket which is reduced to the Courant bracket [9]. 

In bosonic string theory both T-duality and the gauge symmetry of Gmn and Bmn are 
governed by 0(d,d) symmetry consistently. The momentum and the winding modes of a 
string are the building block of 0(d,d) vector. On the other hand in type II superstring 
theory there are R-R gauge fields. They couple to D-branes whose charges are transformed 
as a spinor under SO(d,d). T-duality interchanges HA D-branes and IIB D-branes. Further- 
more the IIB theory includes S-duality. Then T-duality is enlarged to "U-duality" [10, 11]. 
Corresponding to this enlargement the gauge symmetry involving R-R gauge fields should be 
enlarged. M theory is a powerful theory to explore U-duality and the enlarged gauge sym- 
metry cooperative to U-duality [12, 13]. There is also an approach from the supergravity 
theory [14, 15]. In this paper we focus on a D-brane extension of the gauge transformation 
given by a new type of Courant bracket, leaving the U-duality problem for D-branes. We 
clarify the background field dependence of Hamiltonians for D-branes, and reveal differences 
between the fundamental string case and D-brane cases. 

We take a canonical approach of worldvolume theories to explore the enlarged gauge 
symmetry for D-branes. For the fundamental string the momentum and the winding modes 
construct an 0(d,d) vector Zm = {Pm, dcrX"^). The canonical Hamiltonian "Hx and the a- 
diffeomorphism constraint "Hn are expressed in terms of the basis as 'H± = Zm-M.'^^ Z^q and 
"Hy = Zmv'^^Z]^ with an off-diagonal 0(d,d) invariant metric fj^^^ . The target space back- 
ground fields are included only in Ai^^ . This expression has manifest T-duality symmetry. 
On the other hand the gauge symmetry is generated by Zm- The canonical bracket between 
Zm's makes a closed algebra including a stringy anomalous term. This anomalous term is 
proportional to the 0(d,d) invariant metric. The Courant bracket is obtained by reading off 
from the regular coefficient of this canonical algebra [4, 5, 16]. The gauge transformation 
of Gmn and Bmn is given by the Courant bracket between the "two-vierbein field" and a 
gauge parameter, where the "two-vierbein field" is an 0(d,d) vector representation of Gmn 



and Bmn [4]. This is an ideal 0(d,d) vector for both T-duahty and the gauge symmetry. 

Now the problem is an extension of this analysis to Dp-branes. There are proposals of 
extensions of the Courant bracket for j9-branes in [12, 14]. When we try to extend it in 
canonical approach we face to two crucial differences from string: 1. A Dp-brane has p 
worldvolume spatial directions, so replacing d^x"^ by dix"^ with i = 1, ■ ■ ■ ,p does not work 
out straightforwardly. 2. R-R gauge fields are higher rank tensors whose treatment in the 
framework of the Courant bracket is unknown. These problems are partially resolved by the 
help of the Dirac-Born-Infeld (DBI) U(l) gauge field and the two-vierbein field. For the first 
problem the cotangent vector corresponding to the winding mode is constructed as E'^diX"^ 
where i?* is DBI gauge field strength [17, 18, 19]. For the second problem we found that the 
basis of the Courant bracket for Dp-brane consists of the higher rank tensors. The R-R gauge 
fields build a vector in this enlarged space by contracting with the two-vierbein field. Then 
we show that the R-R gauge transformation rules are generated by our Courant brackets 
for Dp-branes which contains Chern-Simons terms. In the reference [14] the exceptional 
Courant bracket contains Chern-Simons terms. In our approach the Chern-Simons terms 
are obtained from the canonical commutator between DBI gauge fields. 

This paper is organized as follows: In section 2 we analyze the gauge generator algebra 
and the Courant bracket for a fundamental (F) string, and we extend it to the one for a D3- 
brane from their local superalgebras in fiat space. Several extensions of the Courant bracket 
to the one involving p-form were introduced in [20]. In section 3 background fields are taken 
into account in this formulation for a F-string. We also show that a string on a group manifold 
such as AdS space has the same structure as the Courant bracket. The similar bracket was 
introduced in [6, 21]. For a D-string we demonstrate how the R-R coupling causes differences 
from the F-string case, and we present an extension of the Courant bracket to reproduce 
the gauge transformation of the R-R gauge field. In section 4 the above analysis is extended 
for IIA Dj9-branes and IIB Dj9-branes. Obtained basis of Courant brackets and background 
matrices are subsets of whole U-duality. In order to construct a U-duality manifest theory 
these subsets will be combined in some sense. 

There are many interesting researches on this subject; generalized geometry to flux com- 
pactifications in physics [22] , recent work on double field theory [23] and doubled formalism 
and D-branes [24, 25]. 



2 Flat background 

D-brane is solitonic excitation in type II superstring theories and the BPS condition is given 
by the N=2 supersymmetry. The BPS mass is determined from the global supersymmetry 



algebra, while local information such as the Virasoro condition is determined from the lo- 
cal superalgebra. The local superalgebra is written in terms of supercovariant derivatives, 
{dAa, Pm ± dcrx"^ + ■ ■ ■) in flat space with spacetime vector index m, spinor index a, and 
N=2 supersymmetry index A. We can read off a complete set of the bosonic basis of the 
R-R coupling from the right hand side of the local superalgebra, {d-Aa, dsis}, even for a flat 
space case. In this section we begin by local superalgebras in flat space to extract the basis 
to describe the Hamiltonian and the a diffeomorphism constraint, which are the Virasoro 
constraints. From the canonical bracket of these basis we construct a Courant brackets. 
Then we show the gauge symmetry transformation rules for R-R gauge fields by using this 
Courant bracket. 

2.1 F-string 

The local superalgebra for a JIB F-string in flat space is given as 

{dAaio^), dBi3{(^')} = [5ABPai3icr) + (^s)^^^^^:^/^!^)] S{a - a') 

= ZMicx)T%.^^^6ia - a') , (2.1) 

withpa/3 = Pml'^aP, Xali = x'^Jrnafi and Zm = {Pm, O^x"^). (T'^)AB;al3 = {^ABl^'aP, nABlma/i) 

is a gamma matrix for the type II theories satisfying {F*^, F^} = 25^^. In the right hand 
side of (2.1) fermionic coordinates are set to be zero, and we will focus only on the bosonic 
part in this paper. The canonical bracket is given by {pm{o'),daX"'{a')} = i5^da5{a — a'), 
where a curly bracket {*, *} is used for a distinction from the Courant bracket during this 
paper. 

Hamiltonian is a linear combination of the r-diffeomorphism "H^ and the a diffeomor- 
phism constraints "Hy. For simplicity we call "H^ Hamiltonian from now on, where it is the 
case in the conformal gauge. The Hamiltonian and the a- diffeomorphism constraint are 
given by 

H^ = ^^tr(ZMF^)^ 

^11 = ^ZmV^'^Zn = d^x^p^ = , r^^^ 

where fj^^^ is the 0(d,d) invariant metric while 77"^" and rjmn are d-dimensional Minkowski 
metrics. 

Let us consider a geometry generated by Zm which satisfies the following algebra 

8^ 
{ZM{cy).Zr,{a')}=ir^MNd.5{a-a') , r^^N = \ ^^ "^ \ ■ (2.3) 




The right hand side is the stringy anomalous term, which is proportional to the 0(d,d) 
invariant metric i]mn- fj^^ and i]mn are introduced independently, however they coincide 
with each other for the F-string case relating the gauge symmetry and the T-duality consis- 
tently. The "operator" Zm is supposed to act as the derivative with respect to "double field 
space coordinates" [9] as 

Local parameters A(x)'s are introduced in a vector form V = V'^ Zm as 

A{a) = A^Zm = A>™ + Amd^x"^ = (A", A„) . (2.5) 

The canonical commutator between two A's is calculated as [16] 

{A,ia),A,ia')} = -2 (^A{f 9mA^Z^ - iA[i^9.A2]M - i^9.^(i2)) 5(a - a') (2.6) 
+t ((i + K)^a2)i^) + (i - K)^iu)ia')^ dJia - a') 
with a symmetric product 

^1/(12) = A[^A2)„ = ^Ajf A^r^^M = ^Aff A2)M • (2.7) 

The 0(d,d) invariant metric rjMN is used for lowering indices m- The coefficient K is an 
arbitrary number corresponding to an ambiguity of the total derivative 9o-^(i2) caused from 
a term containing d„S{a — a'). The condition (9™A = leads to d^jA = d„x"^dmA = 
ZmV^^ d^A. Then the commutator (2.6) becomes the Zm algebra with anomalous term 

{A,{a),h{a')} = -iA,2{a)5{a ~ a') 

+1 ((i + ir)M/(i2)(a) + (i - ir)vl/(i2)(^')) dj{a - a') 

Al2 = A;^2-^Af 

Af2 = Aff 9mA2]^ - JA[i^9^A2]m - i^5^^(i2) . (2.8) 



2 
The regular coefficient of (2.8) is called the C-bracket in a double field space, A 



N 



12 



\N 



([Ai,A2]c) . Especially 



([Ai,A 



2\c\ 



A{r5MA2]^ - ^A[i^9^A2]M ■■■ K = Q 



Af9MA2^ + A2^%|Ai|M]r/^^ ■■■ K-- ^ 



(2.9) 



2 



The Jacobiator of the algebra is calculated in terms of the doubled indices as 



Ai, 



A2 
1 



c 



^N 



A. 



c 



cyclic sum 



A 



L aM 



A[i23] = A[i23]^^iv = jd^' ( AfiAf 9mA3]l] ZN = dA -AfiAf 9mA3]l 



[123] 



,L \M: 



(2.10) 



which is independent of the value K. The breakdown of the Jacobi identity is given by a 
total derivative term so it does not cause serious inconsistency in general. 

The gauge symmetry generator is invariant under a further gauge symmetry 



6A^ 
6 [a 



QM^ 



/a = j ZMd^C = i j da{n\\X}douUe = i j da d,C 



(2.11) 



which vanishes for a closed string. In the second equality of (2.11) we used the fact that "Hy 
is the (T-diffeomorphism constraint in (2.2) and (2.4). When the parameter satisfies d^^C, = 0, 
the double field space bracket is reduced to the usual canonical bracket. 

The C-bracket is reduced to the Courant bracket under the assumption d"^X = 0. Let us 
introduce a tangent vector A G T and a cotangent vector A* G T* 



A = A + A 

Ai,A2 



A = A-p, 



A* = Arr,dx''' 



[Ai, A2] + Cxj^Xl — Cx.^\l — -d^Lx-^Xl — LX2XI) 



Courant 

[Ai,A2] = A[^9„A^]p„ 
Cx,\*2 = (A™9„A2;„ + (9„A™)A2;™) 9,a;" 
diixA;) = 9„(Ai™A2;„)9,x" 

for K = 0. The Courant bracket for K = —1/2 is given by; 



(2.12) 



Ai,A2 



Courant 



[Ai, A2] + Cxi^l ~ '•A2'^A^ 

{ Lx.dXl = A2"'(9[„|Ai|„] (9,a;" . 



(2.13) 



The last term is the gauge transformation of the antisymmetric gauge field. 

It was shown in [4, 5] that the gauge transformation rule of Gmn and Bmn are given 
by the bracket between the "two-vierbein vector" (ca™, e^a) and a gauge parameter vector 
(C"^) ^m)- Originally Siegel called the bracket a "new Lie derivative" which is recognized as 
the C-bracket [9]. The two-vierbein fields are transformed linearly under 0(d,d) leading to 
the fractional linearly transformation of Gmn + -Bmn [2, 3] as: 



^mn ~r -Dji 



p p a m b 

'^ma'^n ; '^a '^m 



6t 



'^m '^a 



en 



(2.14) 



Ca -^ e„ 





GO(d,d) 



(5™ 



(C„z + D^%z)(A"z + 5"%,)-^ . (2.15) 



The Courant bracket (2.13) bewteen the two-vierbein field and the gauge parameter is given 

by 



5£_ea 



^,ea 



Courant 



e 






S^er 



(2.16) 



tnfj m _ nf) tm 

From the relation (2.14) the transformation (2.16) gives the gauge transformation rules for 

^mn anQ l^rnn ^S 

5,G^n = ed,G^n + dU'G,n, ^^^^^^ 

S^Bjnn — ^ dlBmn + d[m\^ Bi\n] + dlmC,n] 

This two-vierbein formalism is essential to extend D-brane systems as we will see in the next 
subsection. 



2.2 D3-brane 

The local superalgebra for D3-brane in fiat space is given by [18] 
{dAa{cr),dBi3{cr')} 

= ^ABPap{(^) + {T^)ABqap{(^) + ijl) ABQat^^) + (^^a)^^?^'^' (^) + CABal3^{(^) K^^ " O"') 

= ZM{a)T%.^^p5{a-a') , (2.18) 

Pan =Pm{l"')aP , Qa^^ = e'^^FijdkX"'{'ym)al3 

with the Gauss law constraint 

$ = diE' = . (2.19) 

E^ and Fij = d^iAj^ are Dirac-Born-Infeld (DBI) U(l) electric field and magnetic field on a 
D3-brane and cabo^ is a function. We focus on the bosonic part only. Let us consider the 
algebra generated by 



^M 



E'diX"" 



e'^'^FijdkX"' 
V e'^'^dix'^djx'^dkx^ J 



(2.20) 



6 



which is a vector of T©T* ©A^T* ©A^T* [12]. The upper half is the NS-NS sector and lower 
half is the R-R sector. The normalization in (2.20) is omitted, while the correct coefficient 
is given by (A. 2) and (A. 3) in the appendix. The Hamiltonian is the sum of bilinears in Zm 



H^ = I^^^ZmT^')' 



1 

2" 



' ry ^MN ry 



]- [f + {E'd^xf + {e'^'^F^.d^x^'f + (e^^'=9,x"^9,x"9fcx')2) = 



rii 



dix'^pm + F,jE^ = 



The worldvolume diffeomorphism constraints Hi = can be written in a bilinear form of 
Zm by contracting with E^, e'^^^Fj^ and e^^'^djX^dkX"' as 



E'-Hi = e'^^FijHk = e'^^diX^'djX^Hk = 

/ 



~MN 






~MN 



as: 






65" c 



\ '^[mim2^m] ^ 






(2.21) 



/ 



with arbitrary coefficients a, b, Cmn- 

The algebra generated by Zm is closed by the Gauss law constraint. The D3-brane 
extension of (2.3) is given by 

{Zm{(t), Zr,{a')} = tp'M^d,6^'\a - a') 



Pmn 



E'Sl 



E'6'^ 



Qijkp.^^m 



s'^^^djX^^dkX^' 



^ \e^^^djX^'^^dkx'^''5l 






t'^'^djX 







(2.22) 



with 0[abc] = Oa[bc] + Ob[ca] + Oc[ab] ■ The Gauss law and the Bianchi identity guarantee that 
the right hand side of (2.22) is a total derivative. Unlike the F-string case, for a D-brane case 
pMN jj^ (2.21) relating to T-duality and p^mn i'^ (2.22) relating to gauge symmetry neither 
coincide nor manifest the 0(d,d) symmetry. 

Let us write down a canonical commutator between two vectors 



M, 



A, a = KrZ_ 



M 



(A/", A/„, A/„, Kjr 



(2.23) 



as 



{Alia), Ma')} = -tAu{a)6^'\a 



a 



+ t[{- + K)^,,^{ 



o- 



^-K)^W 



a 



Vd.s^'K 



a — a 



(2.24) 



A12" = A[i™9„A2]" 

Al2;n = A[i™(9mA2]„ — |(A™(9„A2]m + A[i|m(9„A|^j) — Kdn (^A™A2)^ 

Ai2;„ = A[r9„A2]„ - ^iAfidnA2]m + A[i|„9„A[5]) - ir9„ (Afi*A2). 

Al2;nfr = A[i™'(9mA2]n/r ^ 4 (^A™(9[„| A2]m|fr] — (<9[n|A|^)A2]m|fr] j " Y<9[„| (A™A2)m|«r]> 



+1 i^tdrAl] + 9[„ApA,^j) - f 9[„(ApA,^}) 



^ 



i _ 1\M\N i 

(12) — 2^^(1^^2)PMAr 



where ^(12) is an ambiguity caused from ^^^'■^•'(o' — a'). 

Now we refer to the coefficient Ai2(o') in (2.24) as the Courant bracket for D3-brane 
analogously to the previous section. A vector in Zm space is denoted by 

A = A + A* + All] ^ ^[3] ^ T®T*® A^T* © A^T* 
then Ai2(o") in (2.24) is recognized as the Courant bracket for D3-brane with i^ = as ; 



[Ai,A2]z)3 — [Ai, A2] + £a[iA2] + £a[iA2] +£a[iA2] — 7^*^ ('•AfiAs] + iA[iA2j + ix^^X2 



1 
— ( 

2 



+i(AfiArfAW+rfAfiAAW) 



(2.25) 



[Ai,A2] 

'CA1A2 

'CA1A2 

rf(iAiA;) 

'^('•AiA2 



^^[l'Jm-^^2] Pn- 

(A-9^A2;„ + (9„A-)A2;„) E^d.x^ 

{A^dmhn + {dnA^)A2-m) e'^^ FijO^X^ 
(A^dmA2;rar + |(9[„| A™) A2;^|i.]) e'^^d^x^djx'dkx' 

9„(A™A2;™) ^*9,a;" (2.26) 

9„(A™A2;™) e'^^F,,dkx'' 

dn{K'Mralr) e'^^X^djx'dkX' 

A]^diAl-^t'-^^diX'"-djx'-dkx''' 
{dynA\)Al^e'^^dix''djX^dkx'^ 

It is also convenient to introduce the Courant bracket for D3-brane with K = —1/2; 

[Ai,A2]d3 = [Al, A2] + £aiA2 + 'CA1A2 +£aiA2 — iA2'^A^ — iA2'^Ai — Lx2d\i 

+\ (A?^ a d\l - a; A rfAfl) (2.27) 



^2 

rf(iAiA2 



[3h 



A* A dy^ 



[1] 



d\l A A^' 



[1] 



ix^dXl 



L\^d\i 



[1] 



Lx^dXi 



[3] 



A™(9[m|Ai.|„] e^^ FijdkX^ 



(2.28) 



In our canonical approach the appearence of the Chern-Simons terms, as shown to exist in 
[14], in the second hnes of (2.25) and (2.27) comes from the canonical commutator between 
the DBI U(l) fields. 

The Jacobi identity is also broken by a total derivative term, since the D3 extended space 
vector A can be also written as 



A = A>^ + A^9,x"^ , I^^ = KnE' + Kme'^^F.k + Knnie''^d,x^dkx' 



(2.29) 



which leads to a total derivative term as the Jacobiator as seen in (2.10). 

Next we examine the gauge transformation rules for the R-R gauge fields. We extend 
the NS-NS gauge fields to the R-R gauge fields for D3-brane as 

„ m 






a 



D3 






\ 






(2.30) 



/ 



Then the gauge transformations for the R-R gauge fields are given by the Courant bracket 
in (2.28) with the parameter as 






D3 



e,Q 



D3 



D3 



, e 






[1] 






(2.31) 



where ^ = ^m is the gauge parameter for B field. The gauge transformation of C^'^ involves 
the B field as expected. 



3 Strings in curved background 

In the previous section we have shown three points: the canonical approach to the Hamilto- 
nian; the local superalgebra gives a Courant bracket for D3-brane; and the gauge symmetry 



of the R-R gauge fields are obtained by our Courant bracket. The two-vierbein formalism 
of the NS-NS gauge fields, Gmn and Bmn, constructs the 0(d,d) vector manifesting the T- 
duality transformation and the gauge transformation. A similar mechanism seems to work 
for the R-R gauge fields. In order to analyze the R-R couplings directly we begin by strings 
in a curved background clarifying the background fields dependence. 

3.1 F-string 

The bosonic part of the action for a F-string in a curved space is given by 



1=1 (fa C , C = Cng + ^wz 



Cwz = ^Tpie'^^d^x^^d^x'^B^n • 



where Tpi = 7^^ and Bmn is the NS-NS two-form gauge field. The canonical momentum is 

dC 



defined as 



Pv 



d{dox'^- 



-TF.V^h'^^d^x'^Gmn + Tp.e^'d^x^B^^ , (3.1) 



where h^^" is the inverse of /i^,y. 



The Hamiltonian is obtained by the Legendre transformation as 

da "H 

1 /i°i 




PmG"''"'Pn + Tp,'hn) = 



2Tfi 

= daX'^Pm = daX'^Pm = 

with 

Pm = Prn ~ Tpi^ d„X Bmn ■ (3-2) 

By virtue of the bilinear expression hu = x'"''Gmnx'"', 'H± is recast into the sum of bilinears 
as 

= -^t;^ — Zm M. Zn 
llpi 



10 



'N 



< M 



MN 



Pn 



B S P 



f) ripn ri 




-B. 



qn 



(3.3) 



Gmq r) 

— B GP'^B 



The Zm = ZmIc) base contains only the worldvolume variables, while Ai'^^ 
contains only the spacetime background fields. It is further written as 



M 



MNi 



X) 



_^MN ^ S^B^^M^^N 



Qpq 

G 



pq 



^ab^ p^ q 



E 



M 







qn 



(3.4) 



and 



m 



7 ^MNy -MN 







(3.5) 



There exists the 0(d,d) symmetry which preserves fj'^'^ for a string background. The T- 
duality transformation of the background fields for a bosonic string is the 0(d,d) transfor- 
mation. The subgroup which preserve both fj^'^ and 6^^^ is 0(d)xO(d). Ej^'^ is a coset 
element of 0(d,d)/0(d)xO(d) whose dimension is the same as GL(d) as well as the one of 
the two-vierbein field e^. 



3.2 AdS-string 

It is possible to extend the subsection 2.1 to a string on AdS (or sphere) space which is 
described by a group manifold G. For a group element X gG the left invariant one-form and 
the covariant derivative are given as 



J^ = X-^dX = dx'^em" , Da = Ca^'p. 



m ; ^m "^a 



^n 
"m 5 



m b 



s' 



(3.6) 



The Hamiltonian and the (j-diffeomorphism constraint are written in terms of Za = ( Da, J" 
as 

1 






IZaS'^'^Zs 



a\2 



{DaY + (J") 







^.ZaV^'^Zb = J^Da 



d„x"^p„ 







with (5^'^=diag(r7"^, r], 



'ab 



11 



Let us consider a space generated by Za satisfying the following algebra [26] 



{Za{cj), ZbW)} = -tFAB^'Zcdia - a') + tVAsdJicx - a') 

hc'^r 



(3.7) 



Fab Zc 



Vab 



5t 



/< 



ab 6[a (Jm^b] ^n 



where fab'^ is the structure constant for the group G. A vector A in the space T (B T* is 
introduced 



A(a) = A^Za = A'^Da + A, J" = A"e„>„ + A^e^^d^x"' , 
then the canonical bracket between two vectors is given by 



(3.^ 



{A^{a), A,{a')} = -lA^^K^ -a')+i({^ + ir)^(i2)(a) + (^ - i^)^(i2)K) ) d,5{a - a') 



M^ 



^-12 



-AfiA^^FcB"" + A[i^9bA^ - ^^ild^^2]B - Kd""^ 



1 
2' 



12 



^(12) = A"^A2)a = -A(iA2)M 



with {Za,A} = -ISaA = -i(ea""(9™A,e™"(9™A). Now the C-bracket in the double field 



space IS 



Ai,A2 



c' 



Ai2^ which contains the structure constant. A similar bracket is 



introduced in [6, 21]. If we denote (A"D„, A^J'') = (A«e„>^, A^e^^S^a;™) = (A, A*) and 
impose d"^A = = d°'A, then the C-bracket is reduced to the Courant bracket given by 
(2.12) as 



Ai, A 



1 



[Ai,A2] = (Af,9,A^] + iAfiA^]/,,^)A 

= (Af,9„A2]6 - AfiA2]e/a6^ + 5,Af,A2]„) J' 

= da{A\A2,,)r 



^\iK] 



d{i\^\l 



(3.9) 



3.3 D-string 

The bosonic part of the action for a D-string in a curved space is given by ^ 

/ = d a C , C = CoBi + C-\ 



■-WZ 



C 



DBI 



-TdiC '^J-hp , hp = dethpf,^ 



^There is an alternative formulation for a D-brane [27]. 



(3.10) 



12 



£ 



T, 



Dl 



wz 



e^" {d^x^d,x^C'^± + 27ra'J-^, 



hpt^u = d^x"'d^x''{G^n + Bmn) + 27ra'F^ 



flU 



/lU 



UnAu — UijAri , J-, 



^U 



flU 



2'Ka 



;(JnX CJi/X J^ri 



The canonical momenta are defined as 

Pm '- 



didox"") 



'mn T' il'F 



mn I '-^/i-' 



E' = 



dC 






(3.11) 



A matrix hp'^'^ is the inverse of hp^i^ as hpiiuhp'^^ = S^- Symmetrized/antisymmetrized 
indices are denoted as hp^^^^ = hp^'^ + hp^^ and hp^^^'' = hp^^ — hp^^. The Legendre 
transformation brings the Lagrangian to the Hamiltonian as 



H 



da "H 



n = p^dox'^ + E'doAi-C 



with 






Pr, 



PmdaX"^ = PmdaX"" = 





d,E^ 



Pm 

-Tdic 



Bmn- -E daX"" — Gl^^Tpilt &„ 

Zna 



X 



-/iF-/ip(^°)G'™,„,9„,x" 



mn'-^IJ,-' 



27ra' 



Analogously to the previous section "H^ is recast into the sum of bilinears as 

1 



(3.12) 



n^ 



with 



2Tni 
( 



JN 



Zjyl Ai Z]\j- 



Pn 



1 Tplp) r^r. 

TdiO.x^ 



(3.13) 



13 



I 



b'' 



B. 



mp 






ycpi -cm„.p 






e't'G'P'' 
e't'G. 



pq 



-'t'G 



'Jq ^qn 



5% 



PQ J \ 



qn 



5\ 



^4'Gran 



-e'^G""'B, 



qn 



6 J^mp'^ 6 V-Tynra 6 iDrnp^ ^qn 



_^<i>QmqQ[2] 



6 O ^mn 6 J^mp^ ^ qn 



(3.14) 

with Gj^l^ = C]2|^ + C^^^Bmn- The R-R couphng is separated as the above. It has the inverse 
dilaton dependence e""^. The upper-left part of the Ai matrix is the same as the F-string 
case in (3.3). 

The Zm algebra is given as 



/ 



{^Af (o-), Zn{cf')} = ipMNdaS{o- - a') , Pmn 













V 



TdiC 







Tdi^I^ 



\ 







/ 



(3.15) 



The canonical bracket between two vectors A/ = (A™, Aj-^, A/.^) G T (BT* (B A^T* is 

- + ir)^(12)(a) + (- 



{Ai(a), A2(a')} = -tAuS{a -a')+t f (i + ir)^(i2)(a) + (i - i^)^(i2)(a') ) 9^5(a - a') 



A 



12 



A^r) A" n 



(3.16) 



+ A[^a^A2]„ - -(A|^a„A2]^ - 9„A[^A2]„) - ir9„^(i2) 9<,x" 



A/., 



E' 



-;Ai-rn + ToiAj-r 



27ra' 

^(12) = A(^A2)m. • 

Introducing the notation of vectors as 

Aj = \j + \* + \n ^ T®T*®A^T* , 

we refer to the coefficient A12 as the Courant bracket for D-string 



(3.17) 



Ai,A2 



[Ai, A2] + Cx^^\2] + '^A[iA2] - -d{i.x^^\*2] + 1^X1^X2] ] 



K = 



Dl 



[Ai, A2] + ^Xi^2 + '^AiA2 — LXidXl — LXidXi 



[1] 



,[1] 



K 



(3.18) 



14 



The Jacobiator follows from (2.10) by replacing A/ = (A™, A/^m,)- 

The gauge transformation of the R-R gauge field is given by the Courant bracket between 
a gauge field vector C^^ and a parameter vector ^ 



/ 



C. 



Dl 



m 



\ 






, e 



s,cF' 



e,c, 



Dl 
a 



Dl 



5,C[21 






(3.19) 



as well as the one for the NS-NS gauge fields in (2.17) . 



4 D^^-branes in curved background 

In this section we analyze the Courant bracket for arbitrary type II Dp-branes including 
the background gauge field dependence. The R-R gauge transformation rules are given by 
the Courant brackets between parameter vectors and gauge field vectors. There are several 
studies for Dp-brane on a doubled compact space [24] and on a doubled non-compact space 

[25]. 



4.1 D2-brane 

The action for a D2-brane is an extension of (3.10) 

I = Idbi + Iwz , Idbi = d a Cdbi 

JM 



^DBI 

The canonical momenta are defined as 

Pm ■■ 



-Td2G '''y-hp , hp = dethp^^u 



E' 



-27ra'TD2e^^^f^-hF^''^ + Tz52-e°'^27ra'9,a;'"CW 



yj^ 



= 1,2 



(4.1) 



15 



The Hamiltonian and the o"*-diffeomorphism constraints are given by [19] 



with 






Pr, 



P™G"""p, 



1 



diX^'Pm + J^ijE^ = diX^pm + Fi,E^ 
d,E' = 



E'hi^E^ + Tl^e-^'t' det h 



"ir 



Fij 



Pn 



B 



IT) T) ~ ■/— / C/l i/j 

27ra' 



-Tz,2e°^^' {d.x-d,x^{^d±, + i^^^C™: 



i27ra'J-,,CW 



-TD2e' 



-hp-h/'^'^G^nd; 



E' 



^* -Tzjs-e^^-'^Wax^CW = -2WTB2e- 



2 



The determinant term can be rewritten as 

1 



det h 



Fij 



{i'd,X^d,X^)Gmrr.<Gnn<{e'' d^x"^ dyx'' ) + Clliol T^^) 



Therefore the Hamiltonian for D2-brane is given by 

1 



-H 



2Td2 
/ 



Z]^ Ai Z]\j- 



'N 



Pn 

^E%x^ 



\ 



TD2{2na')e'^F, 



TD2e'^diX''diX^ 



J 



M 



MN 



{U^rLM^'^'^UK 



N 



Mk"" 



JK 



/4" 




—Bkn 
<J n 





~'^knl 




V 






1 




Bnl 
^kjrn ) 



M 



LK 



( e'i'G^^ 
e'^Gik 



V 



e-<^ 

e"i>GikGvk' ) 



(4.2) 



(4.3) 



(4.4) 



The Zm basis is separated into the NS-NS sector and the R-R sector by the middle line. The 
upper-left part of the Ai matrix with Ai = MAioM is the same as the one for the F-string 



16 



(3.3). The parallel direction diffeomorphism constraints "Hj is rewritten in terms of Zm basis 
by contracting with E'^ and e^^djX 



E'Ui = e'^d,x""H, 



ZmP Zn — 







~MN 



( ° 


a5^ 





hn^n \ 


a6:^ 





-hm 








-hn 






V hn^^?] 







/ 



(4.5) 



where a, hm are arbitrary coefficients. 
The Zm algebra is given by 



{Zm{(t), ZN{a')} = ip'j^^di5{a - a') 



Pmn 







2^^'^v 







y TD2e''d,x^'^5'\ 



2TD2e'^djX'' 








TD2e'WjX^ 




Mi \ 



(4.6) 



/ 



where Pmn is the worldvolume vector. From the similar analysis in terms of the following 
notation 

A = A + A* + AM + AP] g T®T*® A°T* © A^T* 

we get the following extension of the Courant bracket to the one for a D2-brane 



J2] 



1 



[Ai,A2]d2 — [Al, A2] + £a[iA2] + £a[iA2] +£a[iA2] - ^d i^Lx^-^Xl] + Lx^^\2] +iA[i Ag- 



fa] 



4(^r.^^ii'-^l^^^i) 



-^AiAg 

-^AiAg 

'^('•AiAg ) 

'^('•AiAg ) 

A* A dX^^ 



for K = 0, and 



ATd^A^^^TD2{27iay^Fij 



,[2] 



^TdmAZl + d[n\ATU,rn\l]) TD2e''d,X^d, 

9„,(A-Afl) Tz52(27ra')e^^>., 
Ai[„9i]Afl Tz52e^^'9,x"9,x' 






(4.7) 



[Ai,A2]z)2 — [Ai, A2] + Z^AiAg + /^AiAg +£aiA2 — i\^d\\ — L\^d\i — Lx^dXi 
-dXf A a; + dXl A \f 

i^M? = A^dmA?TD2{2rray^F,, 

l\mn]" 



LxM? = Kd[i\AfL^TD2e''d,x^d,x' 



{U 



17 



for K = -1/2. 

The gauge transformation rule is given by the Courant bracket in (4.8) as 



/ 



a 



D2 



P 

Pm. 



\ 






cm ' 
\ Smra / 



kc^' 



e,c, 



D2 
a 



D2 



where ^ = .^^ is a gauge parameter for B. 



(4.9) 



4.2 Dj9-brane 

The action for a D]9-brane is similar to (3.10) replacing the WZ term by 

I = IdBI + -^^W'Z , IdBI = / C?^0" ^DBI 

Jm 



^DBI 

Iwz = Tbp e ""^ C 
Jm 

The canonical momenta are defined as 



-Tupd '^\j-hp , hp = dethFfj.u 

f ^2Tva'Tr<RR 



F + - 
^'^ ^ 27ra 



C7^X Ui/X J^ri 



Pr. 



-Tdp4^F {^-hF^^^'^Gran + ^hp^^'^'^B^^ 9„x" + 



2 
dCwz 



dC 



WZ 



mn I '-'fj.^' 



d{dox^' 






) i=l,---,'p 



The Hamiltonian is given by 
H = [(FaU 

1 






Hi 



-e-^ p„G™"p„ + 



1 



E'hi.& +TD„^e-^^deih 



p^d.x"^ + J^,j& = pmd.x"^ + Fi,E^ = 
diE' = 



f-Fij 



(4.10) 



18 



with 



Pr, 



Pm ^mn 



^ -E^da- - ^^"^^ 



27ra' (9((9oa;™) 



E' = E' - 



dC 



wz 



dF, 



Oi 



-27ra'Tn.e-'^V^i/i^[^°l 



'Dpi 



(4.11) 



4.2.1 II A Dp-brane 

Let us rewrite the Hamiltonian as the sum of bihnears. For the type IIA theory p 
even. 'H± for a IIA Dj9-brane is written by the sum of bilinears [19] as 



2g is 



Hi 



1 



( 



'M 



T A aMN 



M 



'N 



>M 



Pm 



27ra' 



Tnp{2nayFi 



M 



MN 



( 



A-.^ 



IK 



51 


-Bkn 


-cw ■■ 


1 

■ ->; 


C'b-l- 


-2r\^r 


q 

->; 


Q[p+l-2r] j^r 





51 





r=0 

1 

■ ->; 

r=0 


C-tp-s- 


-2r]^r 


r=0 

->; 

r=0 


^[p-l-2r] rjr 








1 




^9-1 






5« 













1 






5 




















1 



/ g0(^«fc 



A^^^ 



e'^Gik 



'''Giiki ■ ■ ■ G, 



e ^Ui.ki 



p-2kp-2 



e '^Gi^ki ■ ■ -Gi^kp J 



19 



where the NS-NS two- form Bmn = -B'^^ is denoted by B. 

The worldvolume diffeomorphism constraints "Hj = is written in a bihnear form by 
contracting with E\ ■ ■ -, e*^'"**'Fj^J2 ' ' ' ^i^x, 

H/ rti C ^ iii2 ' ' ' ^ip-i-'^'^i ^ Oi\X • • • Cj^ j^Xrtj U 

^ ZmP'^'^Zj, = 



/ 



~MN 



aSH 
aC 



0[2] 



0[2] 



C[p-2]r 
= twins'!] > 

5: 



b 



[2] 



cr«_ 



[p— 2]m 







\ 



C[p] 7[ni---np-i^„p] , 

with arbitrary coefficients a, /3, 7. 
The Zm algebra is given by 



-Pn 



(^[p~2]rn p^2 i[ni---np^2Tn] 



{ZM{a),Zr,{a')} = if/^^d,6^P\a - a') 






2na'^^m 





Pl4 ■ 




PI6 


1 TPiSm 
2iTa'^ "n 





P23 




P25 








P23 










Pl4 


P25 










PI6 














Pmn 



V 

P23 = Tz,,6--^-H2W)«-^i^«,:.^,^_, Vi^™ 

P16 = Tz,pe"--^-^9,,x["^ ■ ■ ■ 9,^_,x"-^C] 
P2b — J-Dp^ CijO;^ ■ ■ ■ Oi^_^x 

where P^at is a worldvolume vector. From the similar analysis we get the following extension 
of the Courant bracket to the one for a IIA Dp-brane 



A = A + A* + AM + • ■ • + AW G T®T*® h!^T* 



A^T* 



20 



Ai,A2 



Dp 



[Xi, X2] + ^x^^X*2^ + >Ca[jA2] H h 'Ca[,A2] 



[p]^ 



"9'^('-A[iA2] + l^X[i^2] "^ ^ '•All -^2] ) 



b-2s]^ 



+ E (p ^ 2 - 2g)! ^^*^ ^ ^^^r + ^^[1 ^ ^r ) ioTK = (4.12) 



Ai,A2 



H 



Dp 



[Ai, A2] + Cx-^Xl + C\^X2 + ■ ■ ■ + C'\^X2 
— Lx^dX-^ — Lx^dXi — ■ ■ ■ — L\^dXi 

+ E (^^f_2,), W ^ ^^?"'^' - ^^S'"'^^ /^ ^2) for K = -\ (4.13) 

The gauge transformation rule for the R-R gauge fields is given by the Courant bracket in 
(4.13) as 



/ 



CP'P 






\ 



da ^l 






I 



e 



\ 



\ ^mi-'-rtip J 



55CW = r^cw + rfe™ 



b^C^^ = \i (7f ^ 



Dp 



(4.14) 



^^^b+i] = £^C[P+il + C^P-^^ Ad^ + rf^W + BA rf^[P-2] 
where ^ = ^^ is a gauge parameter for B. 



4.2.2 IIB Dp-brane 

For the type IIB p = 2g + 1 is odd. Then "Hx for a IIB Dp-brane is written by the sum of 
bilinears [18] as 



H 



1 



± 



T A aMN 



'^Top 
( 



Zm' M 



^N 



'M 



1 

2-Ka' 



Pm 



TDp{27iayFi A dx"" 
y Tope'^-'^di^x"'' ■ ■ ■ ^x""^ 



21 



M 



MN 



{^)''lMo'^^Mk 



N 



Nk"" 



'K 



^." 


— Bkn 


_C[2l_c[oi5 ■■ 


. _^c'[p-i- 


-2r]-Qr 


9 

->; 


^[p+l-2r] nr 





s\ 


cm 


r=0 

r=0 


-2r]^r 


r=0 

->: 

r=0 


/^[p-l-2r] rjr 








1 


^-J-l 






5'' 











1 






B 


V 















1 






Mt 



LK 



e-^Giu 



e-'^Gi,k, 



' ^lp-2kp-2 



e '^Gi^ki ■ ■ ■ Gipkp J 



(4.15) 



The worldvolume diffeomorphism constraints "Hj = is written in a bilinear form by 
contarcting with E\ ■ ■ -, e^^'^^^Fj^jj ■ ■ -di x, 

11/ rtj 6 Cli^X • • • CjpjXrtj 6 ^ i\i2 ' ' ' ^ip-i-^i^i " 

■^mP Zn = 



p^^ 



\p\ ~ '["l---"p-i"np] ' <-[p-2]m — X)^2 l[ni---np^2m] 



( ° 


aC 


6C 




m \ 


a^;^ 







C[p-2]m 





&c 


C[p-2]n 








V ^[P] 









/ 



with arbitrary coefficients a, 6, 7. 
The Zjvf algebra is given by 



{ZM{a), Zj^ia')} = tffMj,d,5^P\a - a') 



22 



Pmn 



i ° 


2na'^^m 


Pl3 ■ 




Pl5 


2^E^^n 







P24 





Pl3 


P24 








\ Pl5 












Pi5 = Tz5pe^^--^-^9,,x["^ ■ ■ ■ 9,^_,a;"-^el 



^«p-i' 



where p^^r is a worldvolume vector. The Courant bracket to the one for a IIB Dp-brane in 
terms of a vector as 



A = A + A* + Al^l + ■ ■ ■ + AW G T © T* © A^T* 



Apt* 



Ai,A2 



[1] 



.[p] 



Dp 



[Ai, A2] + /^A[iA2] + ^X[i>^2] "^ ^ -^^[1^2] 



[1] 



>]^ 



■-d(tA[^A;]+^^A^/ + --- + 6A[,A27) 



+ E 



, Ip-2s] 



[p-2s]. 



i(p + 2- 



— (AfiArfA|-''^ + rfAfiAA|"''0 ioTK = (4.16) 



Ai,A2 



[1] 



Dp 



[Ai, A2] + Cx-^X^ + i^AiA2 + ■ ■ ■ + Cxj^X 



M 



,[1] 



M 



-L\^dX-^ — L\^dXi — ■ ■ ■ — Lx^dXi 

, -^ -(rfA^AAl'-'^l-ciAf'-'^lAA;) fori^ = -i (4.17) 



E 



The gauge transformation rule for the R-R gauge fields is given by the Courant bracket in 
(4.17) as 



/ 



c^^p 



\ 






e'C?+^l 



/ 



i 



e 



\ 



e 



[1] 






5^(7f ^ = [e, C'f ^ 



Dp 



(4.18) 



where ^ = .^m is a gauge parameter for B. 



23 



Acknowledgements 

We are grateful to the JHEP referee for the critical advice. We are also grateful to Kiyoshi 
Kamimura for helpful discussions especially on the canonical treatment of the DBI fields. 
We would like to thank Warren Siegel for fruitful discussions and introducing references. 
The work of M.H. is supported by Grant-in-Aid for Scientific Research (C) No. 24540284 
from The Ministry of Education, Culture, Sports, Science and Technology of Japan. 

Appendix 



A Determinant 

In this appendix we show that the dethpij is written in a bilinear form, where hpij = 
hij + fij contains a symmetric matrix hij = diX"^djX^Gmn and an antisymmetric matrix 
fij = 2T[a'Fij + diX"^djX^Bmn- The coefficients of each term are determined. 

As a nontrivial example we begin by a determinant dethpij for p = 4 case with i,j = 
l,---,4; 

det hpij = —.e^^ hu/hjj/hkk'hwe^ ^ 



4! 

4! 
1 

TyC Jii'Jjj' 

C L/^^y L/^-X/ L/^Oy L/^-Jy '^-^ TT) i TJ.i '^-^ IT) o T) o '^-* TTJ.o T) o '^-* TTJ /t TJ^ '^ L/v/ Jy L/'j'Jy L/^' -Jy '-"'/'•J 



H — jT^'^ hii'hjj/fkk'fii"^''^ 

+ 77^*'^ fii'fjj'fkk'fu"^^^ 



+j^e^''''d,x"''d,x"-^'fkiG^,n,G^,n,e''^''''d,x^'dyx^'hn' 

+ ^^/"''kfkie'''''''d,x-^f,,>fyv . 

Useful relation obtained by taking totally antisymmetric indices for five indices is the fol- 
lowing: 

= e^-J'^'e* ■?' '^ ' {hii>hjj'fkk'fu' + 4terms totally antisymmetric in ijkW) 
— g«j gM i^hii'hjj'fkk'fii' — hkk'hii'fi'j'fij) 
=^ e*-' e*-' hiiihjj'fkk'fw 

= I {e'''%x"'^djX"''fkl) Grn,rnGm,n, {e"' ^'^''' d,X^^ SyX^^ fk'l) ■ (A.l) 

Analogously the factorization of each term can be confirmed. 

24 



Systematic analysis of generic dimension is given as follows. The generic form of a Dp- 
brane in type IIA: {p = 2q) 



det hpij 



Oik 



Oin 



Ln ■■■G (fh---ipf). r^mi _ a nip 

p\^~'mini ^~'mpnp\'^ '^ti-^ '-'ip-^ 

-J 1 (7 I---G I (e^^"'^pd- x""^ ■ --d- a;™p-'*f. . f. 

^(2^)2 ™l™i ^1T^p-4m'^_4\^ '-^tl-^ '-^tp-A-^ Jtp-3ip-2Jlp-ltp 

+ ... 

J 1 (jl-'-ipf f. A 

^(2"9)2\^'= Jllt2 Jtp-llpJ 

LG ■■■G (jl-ipf).^rni_amp^ 



(A.2) 



(;C'2 X 2k~2C2 X ■ ■ ■ X 2C2 X ^ = 
Co X on^').Co X ■ ■ ■ X oCt X 3 = 



2g'-^2 ^ 2i3-2'-^2 



f:h---ip(f. . 
c \.Jllt2 

(2fc)! 
(2!)*fc! ' 
(2g)! 



f. . \f). ry.m2k + \ . 



(2!)9<i,! • 



di x"^p 



The generic form of a D]9-brane in type IIB: (p = 2g + 1) 



det hpij 



Lg . . . g 



„l>-'mini 



lii'T} li'T) 



/^^1"'^P f). rt^'f^l ... *Q. rpf^^p 



\ 1 (7 /■■■(7 / U^i-^pf). r'^'^i . . . f). j.mp-2f. 

^(21)2 ™1™-1 ^m-p-2mp_2V *i '^V-Z"^ J^p-l^p 



1 /^ /^ 

(23)2 ^mim'^ ' ' ' ^r 



~r c^3^2 '-'mi m', '-^m.p-4m„_ 



I pi-l---tpf). T^mi . . . r). ^mp^4f^ . f. 
-4V "-^ll-^ '^ip-4-^ Jtp-3ip-2Jtp-ltp 



+ ... 



J 1 (7 ,ff*i--vf f. (9- T™^ 

r /2"9)2'-^mm' I •= J 1112 J t2q-n2q'-^'l.2q + l-'^ J 

Lg ■■■G (pii--i-pf). r"^i . . . f)- r"^p\ 



_|_V'^ 1 r? / ■■■<7 , f^^-'i'Pif f. ■ \B- T™-2k+l . . . f). . 

T^ Z^A;=1 (2"fc)2"-^m2fc+im2fc+i "-^mprnj, [<= Un«2 ^«2fe-l*2fc /^*2fc+i-^ ^^p" 



ttfe 



Co X 2fc-2C2 X ■ ■ ■ X 2C2 X ^ 



2fc'-^2 ^ 2fc-2>-^2 



(2fc)! 



(A.3) 



fc! (2!)fefc! ■ 

Formally the determinant in type IIB has the same representation as to the one in type IIA. 



References 

[1] T. H. Buscher, "A Symmetry of the String Background Field Equations," Phys. Lett. 
B 194 (1987) 59; "Path Integral Derivation of Quantum Duality in Nonlinear Sigma 
Models," Phys. Lett. B 201 (1988) 466. 

A. Giveon, E. Rabinovici and G. Veneziano, "Duality in String Background Space," 
Nucl. Phys. B 322 (1989) 167. 

A. A. Tseytlin, "Duality Symmetric Formulation Of String World Sheet Dynamics," 
Phys. Lett. B 242 (1990) 163. 



25 



[2] M. J. DuflF, "Duality Rotations In String Theory," Nucl. Phys. B 335 (1990) 610. 

A. Giveon and M. Rocek, "Generalized duality in curved string backgrounds," Nucl. 
Phys. B 380 (1992) 128 [arXiv:hep-th/9112070]. 

[3] J. Maharana and J. H. Schwarz, "Noncompact symmetries in string theory," Nucl. Phys. 
B 390 (1993) 3 [arXiv:hep-th/9207016]. 

[4] W. Siegel, "Two vierbein formalism for string inspired axionic gravity," Phys. Rev. D 
47 (1993) 5453 [hep-th/9302036]. 

[5] W. Siegel, "Superspace duality in low-energy superstrings," Phys. Rev. D 48 (1993) 
2826 [hep-th/9305073]. 

[6] W. Siegel, "Manifest duality in low-energy superstrings," [arXiv:hep-th/9308133]. 

[7] N. Hitchin, " Generalized Calabi-Yau manifolds," Quart. J. Math. Oxford Ser. 54 (2003) 
281 [arXiv:math/0209099]. 

M. Gualtieri, " Generalized complex geometry," math/0401221 [math-dg]. 

[8] C. M. Hull, " A geometry for non-geometric string backgrounds," JHEP 0510 (2005) 
065 [hep-th/0406102]. 

C. M. Hull and R. A. Reid-Edwards, " Flux compactifications of string theory on twisted 
tori," Fortsch. Phys. 57 (2009) 862 [hep-th/0503114]. 

[9] C. Hull and B. Zwiebach, 'Double Field Theory," JHEP 0909 (2009) 099 
[arXiv:0904.4664 [hep-th]] ; "The gauge algebra of double field theory and Courant brack- 
ets," JHEP 0909, 090 (2009) [arXiv:0908.1792 [hep-th]]. 

B. Zwiebach, "Double Field Theory, T-Duality, and Courant Brackets," arXiv:1109.1782 
[hep-th] . 

[10] C. M. Hull and P. K. Townsend, "Unity of superstring dualities," Nucl. Phys. B 438 
(1995) 109 [hep-th/9410167] . 

[11] For a review, N. A. Obers and B. Pioline, "U duality and M theory," Phys. Rept. 318 
(1999) 113 [hep-th/9809039]. 

[12] C. M. Hull, " Generahsed Geometry for M-theory," JHEP 0707 (2007) 079 [hep- 
th/0701203]. 

[13] D. S. Herman and M. J. Perry, "Generalized Geometry and M theory," JHEP 1106 
(2011) 074 [arXiv: 1008. 1763 [hep-th]]. 



26 



D. S. Berman, H. Godazgar and M. J. Perry, "SO(5,5) duality in M-theory and gener- 
alized geometry," Pliys. Lett. B 700 (2011) 65 [arXiv:1103.5733 [hep-th]]. 

D. S. Berman, H. Godazgar, M. Godazgar and M. J. Perry, "The Local symmetries 
of M-theory and their formulation in generalised geometry," JHEP 1201 (2012) 012 
[arXiv:1110.3930 [hep-th]]. 

[14] P. P. Pacheco and D. Waldram, "M-theory, exceptional generalised geometry and su- 
perpotentials," JHEP 0809 (2008) 123 [arXiv:0804.1362 [hep-th]]. 

[15] M. Grana, J. Louis, A. Sim and D. Waldram, " i?7(7) formulation of A/'=2 backgrounds," 
JHEP 0907 (2009) 104 [arXiv:0904.2333 [hep-th]]. 

A. Coimbra, C. Strickland-Constable and D. Waldram, "Supergravity as Generalised 
Geometry I: Type II Theories," JHEP 1111 (2011) 091 [arXiv: 1107. 1733 [hep-th]]; 
"-Erf(rf) X R+ Generalised Geometry, Connections and M Theory," arXiv: 11 12.3989 [hep- 
th]; "Generalised Geometry and type II Supergravity," arXiv: 1202.3170 [hep-th]. 

[16] A. Alekseev and T. Strobl, "Current algebras and differential geometry," JHEP 0503 
(2005) 035 [hep-th/0410183]. 

[17] M. Hatsuda and K. Kamimura, "Covariant quantization of the super D string," Nucl. 
Phys. B 520 (1998) 493 [hep-th/9708001]. 

[18] K. Kamimura and M. Hatsuda, "Canonical formulation of IIB D-branes," Nucl. Phys. 
B 527 (1998) 381 [hep-th/9712068]. 

M. Abe, M. Hatsuda, K. Kamimura and T. Tokunaga, "S0(2,l) covariant IIB superal- 
gebra," Nucl. Phys. B 553 (1999) 305 [hep-th/9903234]. 

[19] M. Hatsuda and K. Kamimura, "Wess-Zumino actions for HA D-branes and their su- 
persymmetries," Nucl. Phys. B 535 (1998) 499 [hep-th/9804087]. 

[20] G. Bonelli and M. Zabzine, "From current algebras for p-branes to topological M- 
theory," JHEP 0509 (2005) 015 [hep-th/0507051]; 

Joel Ekstrand, Maxim Zabzine, " Cour ant- like brackets and loop spaces", JHEP 
1103:074,2011, arXiv:0903.3215v3 [math-ph]. 

[21] M. Grana and D. Marques, "Gauged Double Field Theory," arXiv:1201.2924 [hep-th]. 

[22] For a review, M. Grana, " Flux compactifications in string theory: A comprehensive 
review," Phys. Kept. 423 (2006) 91 [hep-th/0509003]. 



27 



[23] O. Hohm, C Hull and B. Zwiebach, "Generalized metric formulation of double field 
theory," JHEP 1008 (2010) 008 [arXiv: 1006.4823 [hep-tli]]; "Background independent 
action for double field theory," JHEP 1007 (2010) 016 [arXiv: 1003.5027 [hep-th]]. 

[24] C. Albertsson, T. Kimura and R. A. Reid-Edwards, " D-branes and doubled geometry," 
JHEP 0904 (2009) 113 [arXiv: 0806. 1783 [hep-th]]. 

[25] C. Albertsson, S. -H. Dai, P. -W. Kao and F. -L. Lin, " Double Field Theory for Double 
D-branes," JHEP 1109 (2011) 025 [arXiv: 1107.0876 [hep-th]]. 

[26] M. Hatsuda and K. Kamimura, "Classical AdS superstring mechanics," Nucl. Phys. B 
611 (2001) 77 [hep-th/0 106202]. 

[27] I. Bakhmatov, "Fermionic T-duality and U-duality in type II super gravity," 
arXiv:1112.1983 [hep-th]. 



28