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.

June 21, 2004

Nonabelian 2-form connection from SCFT deformation

Posted by Urs Schreiber

Over at sci.physics.strings Charlie Stromeyer made me think about pp-gerbes a little bit. A literature search revealed that apparently the SCFT deformation formalism that I am playing with could be useful for understanding nonabelian Kalb-Ramond fields.

In particular, in

Ch. Hofman: Nonabelian 2-forms (2002)

a connection on loop space induced by a nonabelian 2-form BB field on target space is proposed.

I would like to show how something very similar can be derived from the string theory perspective by simply deforming the SCFT algebra of the open string appropriately. (A detailed version of the following can be found LaTeXified in this draft.)

The key observation is the following: As discussed before we can combine the left- and rightmoving supercharge GG and G¯\bar G on the worldsheet to obtain the deformed exterior derivative on loop space

(1)d K:=G+iG¯= (μ,σ) (μ,σ)+iT (μ,σ)X (μ,σ), \mathbf{d}_K := G + i \bar G = \mathcal{E}^{\dagger (\mu,\sigma)} \partial_{(\mu,\sigma)} + i T \mathcal{E}_{(\mu,\sigma)}X^{\prime (\mu,\sigma)} \,,

where K (μ,σ)=X μ(σ)K^{(\mu,\sigma)} = X^{\prime \mu}(\sigma) is the reparameterization Killing vector on loop space.

It is also easy to check that sending

(2)d Ke Wd Ke W \mathbf{d}_K \mapsto e^{-W}\mathbf{d}_K e^{W}

with W (A)=iA μX μW^{(A)} = i\oint A_\mu X^{\prime\mu} or W (B)=12B μν μ νW^{(B)} = \oint \frac{1}{2}B_{\mu\nu}\mathcal{E}^{\dagger \mu}\mathcal{E}^{\dagger \nu} turns on a gauge field and a BB field, respectively, for the closed string. This can straightforwardly be generalized to the open string by using an appropriate boundary state and by setting B=dA/TB = dA/T all the worldsheet bulk terms cancel and the above deformation gives just the covariant exterior derivative for the Chan-Paton endpoints of the string:

(3)e W (A)W (B)d K(σ)e W (A)+W (B)= (openstring)d K+i μA μ(σ)(δ(σπ)δ(σ)). e^{- W^{(A)} - W^{(B)}} \mathbf{d}_K(\sigma) e^{W^{(A)} + W^{(B)}} =_{(open string)} \mathbf{d}_K + i \mathcal{E}^{\dagger \mu}A_\mu (\sigma) ( \delta(\sigma-\pi) - \delta(\sigma) ) \,.

This has a totally obvious generalization to the non-abelian case. Simply replace the exponentiated integral with the corresponding path ordered expression and set Bd AA/T+BB \to d_A A/T + B. (Don’t take a trace, since the matrices must act on the CP factors.)

[Update 06/23/04: So I am thinking here of the ‘bare’ boundary state that all the operator RR below acts on as a module of the algebra M N(H)M_N(H), namely the algebra of N×NN\times N matrices with values in the Heisenberg algebra HH of worldsheet oscillators. The matrix entries of course correspond to the strings stretching between two of the NN branes in the stack.

The relation between boundary states and modules of (non-commutative) algebras and how this relates to various brane configurations is discussed nicely in

Yonatan Zunger: Constructing exotic D-branes with infinite matrices in type IIA string theory (2002) .

Even though it is not explicitly stated there, the fact that the above matrices M N(H)M_N(H) take non-commutative values is related, of course, to the noncommutativity introduced by the spatial extension of the string.]

Hence I am saying that the connection on loop space induced by a nonabelian 2-form that follows from string theory considerations is the 1-form component of

(4)R 1d KR R^{-1} \circ \mathbf{d}_K \circ R

where

(5)R=Pexp( 0 πdσ(iA μX μ+12(1Td AA+B) μν μ ν)). R = \mathrm{P} \exp \left( \int_0^\pi d\sigma\, \left( i A_\mu X^{\prime \mu} + \frac{1}{2} \left( \frac{1}{T} d_A A + B \right)_{\mu\nu} \mathcal{E}^{\dagger \mu} \mathcal{E}^{\dagger \nu} \right) \right) \,.

Performing some loop-space gymnastics this can be evaluated and yields

(6)R 1d KR= R^{-1} \circ \mathbf{d}_K \circ R =
(7)d K+ \mathbf{d}_K +
(8)+i μU A(0,σ)A μU A(σ,0)| σ=0 σ=π+ + \left. i\mathcal{E}^{\dagger \mu}U_A (0,\sigma) A_\mu U_A(\sigma,0) \right|_{\sigma=0}^{\sigma = \pi} +
(9)+ 0 πdσU A(0,σ)( μB μνX ν)U A(σ,0)+ + \int_0^\pi d\sigma\, U_A(0,\sigma) \left( \mathcal{E}^{\dagger \mu}B_{\mu\nu} X^{\prime \nu}\right) U_A(\sigma,0) + \cdots \,

(up to terms of higher form degree, which don’t have an interpretation as connection terms)

where U A(σ,κ)U_A(\sigma,\kappa) is the holonomy of AA along the string from κ\kappa to σ\sigma.

The first term is the unperturbed loop space KK-deformed exterior derivative. The second is the gauge connection of AA on the Chan-Paton factors. The third is obviously the connection associated with the nonablian BB-field.

It has a nice and plausible heuristic interpretation: The CP factor is parallel-transported, using the gauge field AA, along the string from the endpoint to the point σ\sigma in the worldsheet bulk. There it is multiplied with the B-field density at that point and then it is parallel-transported by AA back to the string’s endpoint.

This is pretty much as expected from general considerations on 2-form gauge theory. For instance see the text related to figure 1) of

Amitabha Lahiri: Parallel transport on non-Abelian flux tubes (2003) .

It is almost precisely the same action as that of the BB field connection in the above paper by Hofman, the only difference being that here the restoring parallel transport is also present, which looks very plausible.

The correct gauge invariance of the above construction is manifest, it reduces to known constructions in the appropriate special cases and is the only obvious natural generalization of these.

(As before, the above considerations don’t take quantum divergencies into account. But Hashimoto has shown that demanding Wilson lines of the above form to have a well defined action is equivalent to demanding the background field’s equations of motion.)

Posted at June 21, 2004 8:06 PM UTC

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

0 Comments & 0 Trackbacks