Skip to content

The DBI Action and D-Brane Worldvolume Fields

A D-brane is a dynamical object, not a rigid boundary condition. Its low-energy fields are precisely the massless open-string modes living on it: a gauge field tangent to the brane and scalar fields describing transverse motion. The nonlinear action that organizes these fields is the Dirac—Born—Infeld action, usually abbreviated DBI.

The main result is that a single Dpp-brane moving in a background (GMN,BMN,Φ)(G_{MN},B_{MN},\Phi) is described, to lowest order in derivatives but to all orders in a slowly varying field strength, by

SDBI=τpdp+1ξeΦdet(P[G+B]ab+2παFab).S_{\rm DBI} =-\tau_p\int d^{p+1}\xi\,e^{-\Phi} \sqrt{-\det\left(P[G+B]_{ab}+2\pi\alpha' F_{ab}\right)}.

Here ξa\xi^a, a=0,,pa=0,\ldots,p, are worldvolume coordinates, XM(ξ)X^M(\xi) is the embedding of the brane into spacetime, P[]P[\cdots] denotes pullback to the brane, and F=dAF=dA is the field strength of the open-string gauge field. The constant

τp=1(2π)p(α)(p+1)/2\tau_p={1\over (2\pi)^p(\alpha')^{(p+1)/2}}

is the RR charge normalization in common string-frame conventions. In a flat background with constant dilaton eΦ=gse^{\Phi}=g_s, the physical D-brane tension is

Tp=τpgs=1gs(2π)p(α)(p+1)/2.T_p={\tau_p\over g_s} ={1\over g_s(2\pi)^p(\alpha')^{(p+1)/2}}.

This 1/gs1/g_s scaling is one of the first signs that D-branes are nonperturbative from the viewpoint of closed-string perturbation theory, even though their excitations are ordinary perturbative open strings.

A Dpp-brane sweeps out a (p+1)(p+1)-dimensional worldvolume. Choose local coordinates

ξa=(ξ0,ξ1,,ξp),\xi^a=(\xi^0,\xi^1,\ldots,\xi^p),

and describe the embedding by spacetime functions

XM=XM(ξ),M=0,,9.X^M=X^M(\xi), \qquad M=0,\ldots,9.

The pullback metric is

P[G]ab=GMN(X)XMξaXNξb.P[G]_{ab} =G_{MN}(X)\,{\partial X^M\over\partial \xi^a} {\partial X^N\over\partial \xi^b}.

Similarly,

P[B]ab=BMN(X)XMξaXNξb.P[B]_{ab} =B_{MN}(X)\,{\partial X^M\over\partial \xi^a} {\partial X^N\over\partial \xi^b}.

The DBI action is invariant under reparametrizations of the brane worldvolume. A convenient gauge for a nearly flat brane is static gauge:

Xa(ξ)=ξa,Xi(ξ)=yi(ξ),i=p+1,,9.X^a(\xi)=\xi^a, \qquad X^i(\xi)=y^i(\xi), \qquad i=p+1,\ldots,9.

The fields yi(ξ)y^i(\xi) are the transverse displacement fields. In flat spacetime,

P[G]ab=ηab+ayibyi.P[G]_{ab} =\eta_{ab}+\partial_a y^i\partial_b y^i.

It is often useful to define canonically normalized scalar fields up to the gauge-coupling normalization by

yi=2παΦi.y^i=2\pi\alpha'\Phi^i.

The reason for the factor 2πα2\pi\alpha' is T-duality: a gauge component AiA_i along a compact direction becomes a transverse scalar after duality, and Xi=2παAiX^i=2\pi\alpha' A_i in the abelian case.

A D-brane embedding with tangent gauge fields and normal scalar fluctuations

The worldvolume fields of a D-brane have a geometric interpretation. The gauge field AaA_a lives tangentially on the brane, while scalar fields yi=2παΦiy^i=2\pi\alpha'\Phi^i describe transverse fluctuations of the embedding.

The analogy with the Nambu—Goto action is immediate. If p=1p=1 and Fab=0F_{ab}=0, the DBI action becomes

SD1=TD1d2ξdet(aXMbXM).S_{D1}=-T_{D1}\int d^2\xi\, \sqrt{-\det\left(\partial_aX^M\partial_bX_M\right)}.

This is exactly the Nambu—Goto action, but with the D-string tension

TD1=12παgs=1gsTF1.T_{D1}={1\over 2\pi\alpha' g_s} ={1\over g_s}T_{F1}.

Thus a D1-brane is a stringlike object, but it is heavier than a fundamental string at weak coupling.

Why the combination B+2παFB+2\pi\alpha' F appears

Section titled “Why the combination B+2πα′FB+2\pi\alpha' FB+2πα′F appears”

The appearance of

Fab=P[B]ab+2παFab\mathcal F_{ab}=P[B]_{ab}+2\pi\alpha' F_{ab}

is not an arbitrary aesthetic choice. It is forced by gauge invariance of the open-string worldsheet.

An open string ending on a D-brane couples to the NS—NS two-form through the bulk term

SB=12παΣB,S_B={1\over 2\pi\alpha'}\int_\Sigma B,

and to the brane gauge field through the boundary term

SA=ΣA.S_A=\int_{\partial\Sigma} A.

Under the BB-field gauge transformation

BB+dΛ,B\longrightarrow B+d\Lambda,

the bulk term shifts by a boundary contribution. The boundary term cancels it if

AA12παP[Λ].A\longrightarrow A-{1\over 2\pi\alpha'}\,P[\Lambda].

Therefore

P[B]+2παFP[B]+2\pi\alpha'F

is gauge invariant. The DBI determinant must be built from this combination.

This is also visible directly in the open-string boundary condition. In a flat background with constant BB and FF, the variation of the worldsheet action gives, along Neumann directions,

GabnXb+(Bab+2παFab)tXb=0on Σ.G_{ab}\partial_nX^b+ \left(B_{ab}+2\pi\alpha'F_{ab}\right)\partial_tX^b=0 \qquad \text{on }\partial\Sigma.

The endpoint does not see BB and FF separately; it sees F\mathcal F.

In flat spacetime with B=0B=0 and constant dilaton, static gauge gives

SDBI=Tpdp+1ξdet(ηab+2παFab+ayibyi).S_{\rm DBI} =-T_p\int d^{p+1}\xi\, \sqrt{-\det\left(\eta_{ab}+2\pi\alpha'F_{ab} +\partial_a y^i\partial_b y^i\right)}.

Equivalently, using yi=2παΦiy^i=2\pi\alpha'\Phi^i,

SDBI=Tpdp+1ξdet(ηab+2παFab+(2πα)2aΦibΦi).S_{\rm DBI} =-T_p\int d^{p+1}\xi\, \sqrt{-\det\left(\eta_{ab}+2\pi\alpha'F_{ab} +(2\pi\alpha')^2\partial_a\Phi^i\partial_b\Phi^i\right)}.

This expression contains several important physical effects at once.

First, the constant term is the brane tension:

Stension=Tpdp+1ξ.S_{\rm tension}=-T_p\int d^{p+1}\xi.

Second, the determinant resums all powers of the field strength FF for slowly varying fields. It is not merely Maxwell theory; it is a nonlinear theory with a maximum electric field.

Third, the scalar fields are on the same footing as the gauge field. This is a consequence of T-duality. Gauge components in directions that become transverse turn into brane-position fields.

At energies much smaller than the string scale, the fields are weak and slowly varying. Expanding the determinant gives the familiar kinetic terms.

For a small matrix MM,

det(1+M)=1+12trM+18(trM)214tr(M2)+.\sqrt{\det(1+M)} =1+{1\over2}\operatorname{tr}M +{1\over8}(\operatorname{tr}M)^2 -{1\over4}\operatorname{tr}(M^2)+\cdots.

Since FabF_{ab} is antisymmetric, it has no linear trace. To quadratic order in flat space,

SDBI=Tpdp+1ξ[1+12ayiayi+(2πα)24FabFab+].S_{\rm DBI} =-T_p\int d^{p+1}\xi\left[ 1+{1\over2}\partial_a y^i\partial^a y^i +{(2\pi\alpha')^2\over4}F_{ab}F^{ab} +\cdots \right].

In terms of Φi=yi/(2πα)\Phi^i=y^i/(2\pi\alpha') this becomes

SDBI=Tpdp+1ξTp(2πα)2dp+1ξ[14FabFab+12aΦiaΦi+].S_{\rm DBI} =-T_p\int d^{p+1}\xi -T_p(2\pi\alpha')^2\int d^{p+1}\xi\left[ {1\over4}F_{ab}F^{ab} +{1\over2}\partial_a\Phi^i\partial^a\Phi^i +\cdots \right].

Thus the abelian gauge coupling on a single Dpp-brane is determined by

1gYM2=Tp(2πα)2.{1\over g_{\rm YM}^2}=T_p(2\pi\alpha')^2.

Using the physical tension Tp=1/[gs(2π)p(α)(p+1)/2]T_p=1/[g_s(2\pi)^p(\alpha')^{(p+1)/2}], one obtains

gYM2=gs(2π)p2(α)(p3)/2.g_{\rm YM}^2 =g_s(2\pi)^{p-2}(\alpha')^{(p-3)/2}.

For p=3p=3, this coupling is dimensionless. Depending on the normalization of nonabelian generators, this formula is often written with an additional factor of 22; the invariant statement is that the D3-brane gauge coupling is proportional to gsg_s.

The low-energy approximation has two separate restrictions:

α2FF,2παF1\alpha'\partial^2 F\ll F, \qquad 2\pi\alpha' F\ll 1

for the Yang—Mills truncation. The full DBI action relaxes the second condition for abelian constant fields, but not the first: derivative corrections still appear at higher orders in α\alpha'.

Coincident branes and matrix-valued scalars

Section titled “Coincident branes and matrix-valued scalars”

For NN coincident Dpp-branes, the massless open strings carry Chan—Paton labels ij|ij\rangle. The worldvolume fields become N×NN\times N matrices:

Aa=Aaij,Φi=Φiji.A_a=A_{a\,ij}, \qquad \Phi^i=\Phi^i_{ij}.

At low energy the theory is the dimensional reduction of ten-dimensional super-Yang—Mills to p+1p+1 dimensions. Its bosonic terms are

SSYM=1gYM2dp+1ξTr[14FabFab+12DaΦiDaΦi14[Φi,Φj]2].S_{\rm SYM} =-{1\over g_{\rm YM}^2}\int d^{p+1}\xi\,\operatorname{Tr}\left[ {1\over4}F_{ab}F^{ab} +{1\over2}D_a\Phi^iD^a\Phi^i -{1\over4}[\Phi^i,\Phi^j]^2 \right].

Here

Fab=aAbbAa+i[Aa,Ab],F_{ab}=\partial_aA_b-\partial_bA_a+i[A_a,A_b],

and

DaΦi=aΦi+i[Aa,Φi].D_a\Phi^i=\partial_a\Phi^i+i[A_a,\Phi^i].

The scalar potential is nonnegative when written as

V(Φ)=14gYM2Tr[Φi,Φj]2.V(\Phi)=-{1\over4g_{\rm YM}^2}\operatorname{Tr}[ \Phi^i,\Phi^j]^2.

For Hermitian matrices, the commutator [Φi,Φj][\Phi^i,\Phi^j] is anti-Hermitian, so the minus sign makes the energy positive. The classical moduli space satisfies

[Φi,Φj]=0.[\Phi^i,\Phi^j]=0.

The matrices can then be simultaneously diagonalized:

Φi=diag(ϕ1i,,ϕNi).\Phi^i=\operatorname{diag}(\phi_1^i,\ldots,\phi_N^i).

The eigenvalues are brane positions,

yri=2παϕri,r=1,,N.y_r^i=2\pi\alpha'\phi_r^i, \qquad r=1,\ldots,N.

Off-diagonal fields are open strings stretched between different branes. When the branes separate, these fields become massive, just as in the stretched-string formula.

The fully nonabelian DBI action is more subtle than simply replacing ordinary products by matrix products. The symmetrized-trace prescription captures part of the answer for slowly varying fields, but commutator and derivative corrections are important in general. The low-energy Yang—Mills action above is the reliable universal limit.

D-branes as objects with tension proportional to 1/gs1/g_s

Section titled “D-branes as objects with tension proportional to 1/gs1/g_s1/gs​”

The tension formula

Tp=1gs(2π)p(α)(p+1)/2T_p={1\over g_s(2\pi)^p(\alpha')^{(p+1)/2}}

is worth comparing with other objects:

TF1=12πα,TDp1gs,Tsoliton1gs2.T_{F1}={1\over2\pi\alpha'}, \qquad T_{Dp}\sim {1\over g_s}, \qquad T_{\rm soliton}\sim {1\over g_s^2}.

The fundamental string has tension independent of gsg_s. D-branes are heavier by one power of 1/gs1/g_s. Classical solitons of closed-string effective field theory, such as some NS—NS objects, are heavier by 1/gs21/g_s^2.

This intermediate scaling is exactly what makes D-branes special. They are nonperturbative from the closed-string viewpoint, but their internal dynamics is captured by weakly coupled open strings when gsg_s is small.

T-duality is consistent with the tension formula. Compactify a Dpp-brane along a circle of radius RR and T-dualize along that circle. The wrapped brane mass contains a factor 2πR2\pi R. The dual brane has dimension p1p-1 and the dual coupling is

gs=gsαR.g_s'=g_s{\sqrt{\alpha'}\over R}.

Then

2πRTp(gs)=Tp1(gs),2\pi R\,T_p(g_s)=T_{p-1}(g_s'),

as required.

Electric flux and fundamental strings bound to a D-string

Section titled “Electric flux and fundamental strings bound to a D-string”

The DBI square root has a particularly clear interpretation for a D1-brane with electric field. Let

E=F01,f=2παE.E=F_{01}, \qquad f=2\pi\alpha' E.

For a straight D-string in flat space,

L=TD11f2.\mathcal L=-T_{D1}\sqrt{1-f^2}.

The canonical electric displacement is

Π=LE=TD1(2πα)f1f2.\Pi={\partial\mathcal L\over\partial E} =T_{D1}(2\pi\alpha'){f\over\sqrt{1-f^2}}.

The Hamiltonian density is

H=ΠEL=TD11f2=TD12+(Π2πα)2.\mathcal H=\Pi E-\mathcal L ={T_{D1}\over\sqrt{1-f^2}} =\sqrt{T_{D1}^2+\left({\Pi\over2\pi\alpha'}\right)^2}.

Because the worldvolume gauge field is compact, the integrated electric displacement is quantized. A uniform electric flux carrying nn units of fundamental-string charge has

Π2πα=nTF1.{\Pi\over2\pi\alpha'}=nT_{F1}.

Therefore the tension is

T(n,1)=TD12+n2TF12=12πα1gs2+n2.T_{(n,1)}=\sqrt{T_{D1}^2+n^2T_{F1}^2} ={1\over2\pi\alpha'}\sqrt{{1\over g_s^2}+n^2}.

This is the tension of a bound state of one D-string and nn fundamental strings at vanishing RR axion. In the weak-coupling limit, the D-string is heavy, but the electric flux records the dissolved F-string charge.

Electric flux on a D-string carries fundamental-string charge and gives an F1-D1 bound state

Electric flux on a D-string is not just an electromagnetic decoration. Its canonical displacement is quantized and measures fundamental-string charge dissolved in the D-string worldvolume.

The upper bound f1|f|\leq1 is the DBI version of a critical electric field. As f1|f|\to1, the electric displacement diverges, meaning that the D-string carries an increasingly large number of F-strings.

The DBI action also tells us how a D-brane sources closed-string fields. Expand the background fields around flat space:

GMN=ηMN+hMN,BMN=bMN,Φ=Φ0+φ.G_{MN}=\eta_{MN}+h_{MN}, \qquad B_{MN}=b_{MN}, \qquad \Phi=\Phi_0+\varphi.

At linear order, the D-brane couples to the graviton, dilaton, and two-form through the expansion of

eΦdet(P[G+B]+2παF).e^{-\Phi}\sqrt{-\det(P[G+B]+2\pi\alpha'F)}.

For example, a static flat brane has a coupling to the graviton proportional to its stress tensor:

δS12Tpdp+1ξhaa.\delta S\sim -{1\over2}T_p\int d^{p+1}\xi\,h_a{}^a.

The coupling to the antisymmetric field appears through P[B]+2παFP[B]+2\pi\alpha'F. These linear couplings are the field-theory limit of disk amplitudes with one closed-string vertex operator and any number of open-string insertions.

The Ramond—Ramond couplings are not contained in the DBI action. They are described by a separate Wess—Zumino term, which will become essential for understanding D-brane charge:

SWZ=μpCeB+2παF.S_{\rm WZ}=\mu_p\int C\wedge e^{B+2\pi\alpha'F}.

For now, the important point is that the DBI action encodes the NS—NS couplings and the nonlinear dynamics of the brane’s open-string fields.

The bosonic open string has a tachyon, and non-BPS D-branes or brane—antibrane systems in superstring theory also contain tachyonic open strings. The DBI action above describes stable BPS branes; unstable branes require an additional tachyon field T(ξ)T(\xi).

A useful schematic form is

Stachyondp+1ξV(T)det(ηab+2παFab+aTbT+).S_{\rm tachyon}\sim -\int d^{p+1}\xi\,V(T) \sqrt{-\det\left(\eta_{ab}+2\pi\alpha'F_{ab} +\partial_aT\partial_bT+\cdots\right)}.

The qualitative physics is the crucial part. At T=0T=0 the unstable D-brane exists and its energy density is the brane tension. As the tachyon condenses, the system rolls toward a vacuum in which the brane has disappeared:

V(T)=0.V(T_*)=0.

Equivalently, if the tachyon potential is measured relative to the original closed-string vacuum, the negative tachyon vacuum energy cancels the positive D-brane tension.

The open-string tachyon potential has an unstable maximum at the perturbative D-brane and a vacuum where the brane tension is cancelled

Open-string tachyon condensation removes an unstable D-brane. Lower-dimensional D-branes can appear as topological defects of the tachyon field.

There is a beautiful brane-descent picture behind this statement. A kink of the tachyon field on an unstable Dpp-brane behaves as a stable D(p1)(p-1)-brane. Vortices in brane—antibrane systems similarly produce lower-dimensional branes. Later, in open string field theory, this qualitative picture becomes a quantitative calculation: the energy difference between the perturbative maximum and the tachyon vacuum precisely equals the original brane tension.

The DBI action is powerful, but it has a domain of validity.

It is reliable for a single brane when the fields vary slowly compared with the string length,

s1,s=α.\ell_s\,\partial \ll 1, \qquad \ell_s=\sqrt{\alpha'}.

For constant abelian field strengths, it resums all powers of FF. For rapidly varying fields, massive open strings cannot be ignored, and higher-derivative corrections appear.

For many coincident branes, the leading low-energy action is nonabelian super-Yang—Mills. The exact nonabelian DBI action is not simply obtained by putting a trace around the abelian square root. Matrix ordering, commutators, and couplings to background fields carry real physical information.

Even with these qualifications, DBI captures the essential lessons:

Aaisthe gauge field tangent to the brane,Φiisthe transverse position of the brane,P[G]isthe induced geometry of the worldvolume,B+2παFisthe gauge-invariant two-form seen by open strings,Tp1/gsmeansD-branes are nonperturbative objects.\begin{array}{ccl} A_a &\text{is}& \text{the gauge field tangent to the brane},\\ \Phi^i &\text{is}& \text{the transverse position of the brane},\\ P[G] &\text{is}& \text{the induced geometry of the worldvolume},\\ B+2\pi\alpha'F &\text{is}& \text{the gauge-invariant two-form seen by open strings},\\ T_p\sim 1/g_s &\text{means}& \text{D-branes are nonperturbative objects}. \end{array}

The next step is to use open-string one-loop amplitudes and closed-string exchange to measure D-brane tensions and forces directly. That will make the relation between D-branes and closed-string supergravity completely explicit.

Exercise 1: D1 DBI as the Nambu—Goto action

Section titled “Exercise 1: D1 DBI as the Nambu—Goto action”

Set p=1p=1, Fab=0F_{ab}=0, B=0B=0, and take constant dilaton. Show that the DBI action reduces to the Nambu—Goto action for the embedding XM(ξ)X^M(\xi).

Solution

For p=1p=1, the worldvolume is two-dimensional. With F=B=0F=B=0, the DBI action is

S=TD1d2ξdetP[G]ab.S=-T_{D1}\int d^2\xi\, \sqrt{-\det P[G]_{ab}}.

In flat spacetime,

P[G]ab=aXMbXM.P[G]_{ab}=\partial_aX^M\partial_bX_M.

Therefore

S=TD1d2ξdet(aXMbXM).S=-T_{D1}\int d^2\xi\, \sqrt{-\det\left(\partial_aX^M\partial_bX_M\right)}.

This is precisely the Nambu—Goto action, with tension TD1T_{D1} rather than TF1T_{F1}.

Starting from

S=Tpdp+1ξdet(ηab+2παFab+ayibyi),S=-T_p\int d^{p+1}\xi\, \sqrt{-\det\left(\eta_{ab}+2\pi\alpha'F_{ab} +\partial_a y^i\partial_b y^i\right)},

derive the quadratic action for FabF_{ab} and yiy^i.

Solution

Write

Mab=2παFab+ayibyi.M_{ab}=2\pi\alpha'F_{ab}+\partial_a y^i\partial_b y^i.

The scalar term is already quadratic in yy, while FF is linear in the fields. Using

det(1+M)=1+12trM+18(trM)214trM2+,\sqrt{\det(1+M)} =1+{1\over2}\operatorname{tr}M +{1\over8}(\operatorname{tr}M)^2 -{1\over4}\operatorname{tr}M^2+\cdots,

and trF=0\operatorname{tr}F=0, the scalar contribution is

12ayiayi.{1\over2}\partial_a y^i\partial^a y^i.

The quadratic gauge-field contribution comes from 14trM2-\frac14\operatorname{tr}M^2. Because FabFba=FabFabF_a{}^bF_b{}^a=-F_{ab}F^{ab}, it gives

(2πα)24FabFab.{(2\pi\alpha')^2\over4}F_{ab}F^{ab}.

Thus

S=Tpdp+1ξ[1+12ayiayi+(2πα)24FabFab+].S=-T_p\int d^{p+1}\xi\left[ 1+{1\over2}\partial_a y^i\partial^a y^i +{(2\pi\alpha')^2\over4}F_{ab}F^{ab} +\cdots \right].

Show that P[B]+2παFP[B]+2\pi\alpha'F is invariant under

BB+dΛ,AA12παP[Λ].B\to B+d\Lambda, \qquad A\to A-{1\over2\pi\alpha'}P[\Lambda].
Solution

Since pullback commutes with exterior differentiation,

P[B]P[B]+dP[Λ].P[B]\to P[B]+dP[\Lambda].

The field strength transforms as

F=dAdA12παdP[Λ].F=dA\to dA-{1\over2\pi\alpha'}dP[\Lambda].

Therefore

P[B]+2παFP[B]+dP[Λ]+2παFdP[Λ]=P[B]+2παF.P[B]+2\pi\alpha'F \to P[B]+dP[\Lambda]+2\pi\alpha'F-dP[\Lambda] =P[B]+2\pi\alpha'F.

Exercise 4: The Yang—Mills coupling on a Dpp-brane

Section titled “Exercise 4: The Yang—Mills coupling on a Dppp-brane”

Use the DBI expansion to show that

gYM2=gs(2π)p2(α)(p3)/2g_{\rm YM}^2=g_s(2\pi)^{p-2}(\alpha')^{(p-3)/2}

for the abelian normalization used in this page.

Solution

The Maxwell term from DBI is

STp(2πα)24dp+1ξFabFab.S\supset -T_p{(2\pi\alpha')^2\over4}\int d^{p+1}\xi\,F_{ab}F^{ab}.

Comparing with

S14gYM2dp+1ξFabFab,S\supset -{1\over4g_{\rm YM}^2}\int d^{p+1}\xi\,F_{ab}F^{ab},

gives

1gYM2=Tp(2πα)2.{1\over g_{\rm YM}^2}=T_p(2\pi\alpha')^2.

Substituting

Tp=1gs(2π)p(α)(p+1)/2T_p={1\over g_s(2\pi)^p(\alpha')^{(p+1)/2}}

yields

1gYM2=1gs(2π)p2(α)(p3)/2,{1\over g_{\rm YM}^2} ={1\over g_s(2\pi)^{p-2}(\alpha')^{(p-3)/2}},

so

gYM2=gs(2π)p2(α)(p3)/2.g_{\rm YM}^2=g_s(2\pi)^{p-2}(\alpha')^{(p-3)/2}.

For

L=TD11(2παE)2,\mathcal L=-T_{D1}\sqrt{1-(2\pi\alpha' E)^2},

compute the Hamiltonian density and show that it can be written as

H=TD12+(Π2πα)2.\mathcal H=\sqrt{T_{D1}^2+\left({\Pi\over2\pi\alpha'}\right)^2}.
Solution

Let

f=2παE.f=2\pi\alpha' E.

Then

Π=LE=TD1(2πα)f1f2.\Pi={\partial\mathcal L\over\partial E} =T_{D1}(2\pi\alpha'){f\over\sqrt{1-f^2}}.

The Hamiltonian density is

H=ΠEL.\mathcal H=\Pi E-\mathcal L.

Since E=f/(2πα)E=f/(2\pi\alpha'),

ΠE=TD1f21f2.\Pi E=T_{D1}{f^2\over\sqrt{1-f^2}}.

Therefore

H=TD1f21f2+TD11f2=TD11f2.\mathcal H =T_{D1}{f^2\over\sqrt{1-f^2}} +T_{D1}\sqrt{1-f^2} ={T_{D1}\over\sqrt{1-f^2}}.

Also,

Π2πα=TD1f1f2.{\Pi\over2\pi\alpha'}=T_{D1}{f\over\sqrt{1-f^2}}.

Thus

TD12+(Π2πα)2=TD12(1+f21f2)=TD121f2,T_{D1}^2+\left({\Pi\over2\pi\alpha'}\right)^2 =T_{D1}^2\left(1+{f^2\over1-f^2}\right) ={T_{D1}^2\over1-f^2},

which gives

H=TD12+(Π2πα)2.\mathcal H=\sqrt{T_{D1}^2+\left({\Pi\over2\pi\alpha'}\right)^2}.

Exercise 6: T-duality and D-brane tensions

Section titled “Exercise 6: T-duality and D-brane tensions”

Show that the D-brane tension formula is consistent with T-duality along a circle wrapped by the brane:

2πRTp(gs)=Tp1(gs),gs=gsαR.2\pi R\,T_p(g_s)=T_{p-1}(g_s'), \qquad g_s'=g_s{\sqrt{\alpha'}\over R}.
Solution

The wrapped Dpp-brane has mass density, measured per unit unwrapped volume,

2πRTp(gs)=2πRgs(2π)p(α)(p+1)/2=Rgs(2π)p1(α)(p+1)/2.2\pi R\,T_p(g_s) ={2\pi R\over g_s(2\pi)^p(\alpha')^{(p+1)/2}} ={R\over g_s(2\pi)^{p-1}(\alpha')^{(p+1)/2}}.

The T-dual object is a D(p1)(p-1)-brane with coupling

gs=gsαR.g_s'=g_s{\sqrt{\alpha'}\over R}.

Its tension is

Tp1(gs)=1gs(2π)p1(α)p/2=Rgsα(2π)p1(α)p/2.T_{p-1}(g_s') ={1\over g_s'(2\pi)^{p-1}(\alpha')^{p/2}} ={R\over g_s\sqrt{\alpha'}(2\pi)^{p-1}(\alpha')^{p/2}}.

Since

α(α)p/2=(α)(p+1)/2,\sqrt{\alpha'}(\alpha')^{p/2}=(\alpha')^{(p+1)/2},

we find

Tp1(gs)=2πRTp(gs).T_{p-1}(g_s')=2\pi R\,T_p(g_s).