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
_^*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.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'TrM
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**-'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
*