Skip to the Main Content

Note:These pages make extensive use of the latest XHTML and CSS Standards. They ought to look great in any standards-compliant modern browser. Unfortunately, they will probably look horrible in older browsers, like Netscape 4.x and IE 4.x. Moreover, many posts use MathML, which is, currently only supported in Mozilla. My best suggestion (and you will thank me when surfing an ever-increasing number of sites on the web which have been crafted to use the new standards) is to upgrade to the latest version of your browser. If that's not possible, consider moving to the Standards-compliant and open-source Mozilla browser.

January 15, 2004

[Exercise] Canonical analysis of D-string action

Posted by Urs Schreiber

I want to talk a little about doing the exercise of canonically analyzing the action of the (super) D-string.

My motivation is to try to find the spacetime interpretation of the classical SCFT that has been discussed in section (2.8) of this entry.

I don’t have much time since the computer room at University of Barcelona that I am currently using will close soon. Therefore I’ll begin with just a few observations concerning the bosonic D-string and hopefully say more in a followup.

In a general massless background the action of the bosonic D-string is

(1)S=Te ΦdetK ab+T(C 2+C 0(B+1TF) S = -T \int e^{-\Phi} \sqrt{ -\mathrm{det} K_{ab}} + T \int \left(C_2 + C_0(B + \frac{1}{T}F \right)

where

(2)detK ab=det(G ab+B ab+1TF ab)=12{X μ,X ν}G μμ G νν {X μ ,X ν }(B 01+1TF 01) 2, - \mathrm{det} K_{ab} = - \mathrm{det} (G_{ab} + B_{ab} + \frac{1}{T}F_{ab}) = -\frac{1}{2} \{X^\mu,X^\nu\}G_{\mu\mu^\prime}G_{\nu\nu^\prime} \{X^{\mu^\prime},X^{\nu^\prime}\} -\left(B_{01}+ \frac{1}{T}F_{01}\right)^2 \,,

and indices a,ba,b range over the two worldsheet dimensions (I’ll write equivalently 0X=X˙\partial_0 X = \dot X and 1X=X \partial_1 X = X^\prime) while indices μ,ν\mu,\nu range over the target space dimensions. Furthermore, F ab=(dA) abF_{ab} = (dA)_{ab} is of course the gauge field strength on the D1 brane and {X μ,X ν}:=ϵ ab aX μ bX ν\{X^\mu,X^\nu\} := \epsilon^{ab}\partial_a X^\mu\partial_b X^\nu is the Nambu-bracket on the worldsheet.

The canonical momenta with respect to the embedding coordinates are:

(3)P μ:=δδX˙ μ=T1e Φdet(K ab)(X νG μμ G ν,ν {X μ ,X ν }+B μνX ν(B 01+1TF 01))+T(C 2+C 0B) μνX ν. P_\mu := \frac{\delta \mathcal{L}}{\delta \dot X^\mu} = T \frac{1}{e^\Phi\sqrt{-\mathrm{det}(K_{ab})}} \left( X^{\prime \nu} G_{\mu \mu^\prime} G_{\nu,\nu^\prime} \{ X^{\mu^\prime}, X^{\nu^\prime} \} + B_{\mu\nu}X^{\prime \nu} (B_{01}+\frac{1}{T}F_{01}) \right) + T (C_2 + C_0 B)_{\mu\nu}X^{\prime \nu} \,.

There are furthermore canonical momenta conjugate to the gauge field:

(4)E 0:=δSδA˙ 0=0 E_0 := \frac{\delta S}{\delta \dot A_0} = 0
(5)E 1:=δSδA˙ 1=δδX˙ μ=T1e Φdet(K ab)(B 01+1TF 01)+C 0. E_1 := \frac{\delta S}{\delta \dot A_1} = \frac{\delta \mathcal{L}}{\delta \dot X^\mu} = T \frac{1}{e^\Phi\sqrt{-\mathrm{det}(K_{ab})}} (B_{01}+\frac{1}{T}F_{01}) + C_0 \,.

Because A aA_a takes values in U(1)U(1) it is a periodic (canonical) coordinate and hence its momentum must have discrete eigenvalues pZp \in \mathbf{Z}.

(6)E 1:=p. E_1 := p \,.

Now B 01+1TF 01B_{01}+ \frac{1}{T}F_{01} can be removed from all expressions by using

(7)(B 01+1TF 01) 2=det(G ab)(E 1C 0) 2e 2Φ1+(E 1C 0) 2e 2Φ \left( B_{01} + \frac{1}{T}F_{01} \right)^2 = -\mathrm{det}(G_{ab}) \frac{(E_1-C_0)^2e^{2\Phi}}{1+(E_1-C_0)^2 e^{2\Phi}}

and hence

(8)det(G ab+B ab+1TF ab)=det(G ab)11+(E 1C 0) 2e 2Φ -\mathrm{det} \left( G_{ab} + B_{ab}+ \frac{1}{T}F_{ab} \right) = -\mathrm{det}(G_{ab}) \frac{1}{1+(E_1-C_0)^2 e^{2\Phi}}

the canonical momenta P μP_\mu read

(9)P μ=T˜X νG μμ G νν {X μ ,X ν }+T(C 2+E 1B) μνX ν P_\mu = \tilde T X^{\prime \nu} G_{\mu\mu^\prime} G_{\nu\nu^\prime} \{ X^{\mu^\prime},X^{\nu^\prime}\} + T (C_2 + E_1 B){}_{\mu\nu}X^{\prime\nu}

where

(10)T˜:=e 2Φ+(E 1C 0) 2detG \tilde T := \frac{\sqrt{e^{-{2\Phi}} + (E_1-C_0)^2}}{\sqrt{-{\mathrm{det}}G}}

is the tension of a (p,q=1)(p,q=1) string. (The bound state of 1 D-string with p F-strings.)

By staring at this expression for a while one sees that these canonical momenta obey the following two identities:

(11)(PT(C 2+pB)X ) 2+T˜ 2X 2 (P-T(C_2 + p B)\cdot X^\prime)^2 + \tilde T^2 X^{\prime 2}
(12)(PT(C 2+pB)X =0, (P-T(C_2 + p B)\cdot X^\prime = 0 \,,

Using the objects

(13)𝒫 ±:=(PT(C 2+pB)±T˜X \mathcal{P}_\pm := (P-T(C_2 + p B) \pm \tilde T X^\prime

this can be succinctly rewritten as

(14)𝒯 ±:=𝒫 ±𝒫 ±=0. \mathcal{T}_\pm := \mathcal{P}_\pm \cdot \mathcal{P}_\pm = 0 \,.

This way one arrives at the usual Virasoro constraints known from the F-string, except that the tension is rescaled and the coupling to the BB-field is replaced by pp-times the coupling to the BB-filed plus once the coupling to C 2C_2.

This demonstrates the familiar fact that the D-string with pp-units of ‘electric field’ E 1E_1 turned on is nothing but the bound state of pp F-strings with one D-string.

In the remainder of this entry I want to briefly say something about my original motivation for this exercise (and its extensions), which was finding the background field that would give me bosonic ‘currents’ 𝒫 ±\mathcal{P}_\pm that read something like

(15)𝒫 ±μ=(G μ ν±C μ ν)P μ+()X , \mathcal{P}_{\pm \mu} = (G_\mu{}^\nu \pm C_\mu{}^\nu)P_\mu + (\cdots)X^\prime \,,

because that’s what appeared in section (2.8) of my discussion of classical deformation of SCFTs.

In this context I was toying around with the terms at hand without subjecting myself too much to constraints of physical viability and thereby noticed the following:

When one uses the DBI action mentioned above, but without the F abF_{ab} term and with a reversed sign on the B 2B^2-term, i.e.

(16)S trial=TG ab+iB ab S_{trial} = -T \int \sqrt{-G_{ab} + i B_{ab}}

then one finds constraints of the form

(17)(K 1) (μν)P μP ν+T 2X X =0, (K^{-1})^{(\mu \nu)} P_\mu P_\nu + T^2 X^\prime \cdot X^\prime = 0 \,,

where

(18)K=G+iB K = G + iB

and hence formally

(19)K 1= n(iB) n. K^{-1} = \sum_n (-iB)^n \,.

If we assume that BB is small (in the sense that its eigenvalues are), then it might be reasonable to write to first nontrivial order

(20)(K 1) (μν)=G μν(BB) (μν)+𝒪(B 4)=(GB)(G+B) μν+𝒪(B 4). (K^{-1})^{(\mu \nu)} = G^{\mu\nu} - (B \cdot B)^{(\mu\nu)} + \mathcal{O}(B^4) = (G-B) \cdot (G+B)^{\mu \nu} + \mathcal{O}(B^4) \,.

This is exactly what I am looking for, because to this lowest order one can now define the bosonic currents as

(21)𝒫 ±:=(G±B)P+()X , \mathcal{P}_\pm := (G \pm B)\cdot P + (\cdots)X^\prime \,,

and they would, to this order, satisfy the constraint

(22)𝒫 ±𝒫 ±=0. \mathcal{P}_\pm \cdot \mathcal{P}_\pm = 0 \,.

But of course this is wishful thinking as long as there is no reasonable justification for the ansatz of the action S trialS_{trial} above. Does anyone a way to turn this handwaving into something meaningful? Or does it look totally misguided? If yes, does anyone see from what kind of known action bosonic currents of the form 𝒫 ±=(G±B)P+()X \mathcal{P}_\pm = (G \pm B)\cdot P + (\cdots)X^\prime would follow?

In the paper M. Aganagic, J. Park, C. Popescu, J. Schwarz, Dual D-Brane Actions

some action of the form that I am looking for actually does appear (see their equation (7)-(9)) by a certain rewriting of the original DBI action. However, Lubos says (I hope that I may say that here) that there might be problems with the respective derivation.

Enough for now, I have to fetch some food before the cafeteria closes, then there will be further lectures here at the RTN winter school on Strings, Supergravity and Gauge Fields, and after that the computer room will be closed, unfortunately.

Posted at January 15, 2004 1:36 PM UTC

TrackBack URL for this Entry:   https://golem.ph.utexas.edu/cgi-bin/MT-3.0/dxy-tb.fcgi/288

0 Comments & 0 Trackbacks