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.

July 26, 2006

Quillen’s Superconnections – Functorially

Posted by Urs Schreiber

As explained for instance in

Richard J. Szabo
Superconnections, Anomalies and Non-BPS Brane Charges
hep-th/0108043

a special case of Quillen’s concept of superconnections can be used to elegantly subsume both the gauge connection as well as the tachyon field on non-BPS D-branes into a single entity.

Assuming that this is not just a coincidence, one might ask what it really means. What notion of functorial parallel transport () is encoded in these superconnections?

I’ll give an interpretation below. With hindsight, it is absolutely obvious. But I haven’t seen it discussed before, and - trivial as it may be - it deserves to be stated.

Superconnections.

Let EX be some 2-graded vector bundle. Let Ω(X,E)=Ω(X)Γ(E) be the space of differential forms taking values in sections of this bundle. This is an Ω(X)-module in the obvious way. It inherits a 2-grading from the combined 2-grading of Ω(X) and Γ(E).

A superconnection on E is defined to be any odd graded endomorphism A of Ω(X,E) which satisfies the Leibnitz rule

(1)[A,ω]=dω

for all ωΩ(X).

Such superconnections arise in the form of ordinary connections plus an odd element A of Ω(X,End(E)):

(2)A=+A.

Hence, in particular, they may contain a 0-form contribution, taking values in odd-graded endomorphisms of E.


Superconnections on D-branes.

For the applications to D-branes, all we need of superconnections is this additional 0-form degree of freedom.

The graded bundle E=E +E is interpreted as the Chan-Paton bundle of some D-branes plus that of some anti D-branes. The tachyon field arises from strings stretching beween branes and anti-branes, and is hence a 0-form taking values in odd endomorphisms of E. Combined with the ordinary connections on E + and E we get a superconnection.

While this way of looking at tachyon fields is very fruitful, it is noteworthy that we have severely restricted the full freedom of superconnections. This might indicate that the “super”-point of view is not precisely the most natural one describing this situation. I shall now argue for what I feel is a more natural way of looking at the situation.


Functorial reformulation.

Consider first just a stack of D-branes, without any anti-D-branes. They carry a gerbe module (a twisted vector bundle) and parallel transport of open strings ending on the brane and coupled to a possibly non-vanishing Kalb-Ramond fields is described by a 2-functor which takes endpoints of strings to fibers of an algebra bundle of compact operators, which takes open strings to bimodules for the algebras associated to the endpoints, and which takes pieces of worldsheet to homomorphisms between the bimodule of the incoming and the outgoing string.

This in particular encodes a parallel transport

(3)tra:P 2(X)Trans(E +)

in the (twisted) bundle on the D-brane which takes paths

(4)xγ 1yγ 2z

in the base manifold (the D-brane’s worldvoume) to morphisms of fibers

(5)E x +tra(γ 1)E y +tra(γ 2)E z +.

If we conveniently take the point of view of synthetic differential geometry () and assume x, y and z to be infinitesimal neighbours, then this assignment is an endomorphism-valued connection 1-form.

The above paths live in some sort of (2-)path (2-)groupoid P 2(X), roughly encoding open strings ending on the stack of D-branes.

Now, quite obviously, if we want to incorporate in addition a stack of anti D-branes with a bundle E over them, we need to enrich P 2(X) by additional morphisms encoding the strings stretching between E + and E .

Let’s take two copies of P 2(X), and throw in precisely one 1-morphism going between every ordered pair of two copies of the same object in P 2(X). These will encode paths with no spatial extension, but whose endpoints lie on different copies of stacks of branes. Call the 2-category freely generated this way P 2(X).

Proceeding analogously for the transport category Trans(E +), we obtain Trans(E +,E ), which is generated from Trans(E +), Trans(E ) and all morphisms between fibers over the same point.


The connection data encoded by the functor.

Now a connection of the brane/anti-brane stack is a functor

(6)tra:P 2(x)Trans(E +,E ).

A 1-morphism diagram in P 2(X) would look for instance like this

(7)x + γ 1 + y + γ 2 + z + t x t y t z x γ 1 y γ 2 z ,

where γ + is a path with endpoints on the stack of branes, and γ is the same path (as a path in X) but with the endpoints taken to sit on the stack of anti-branes. The morphism t x are constant paths (as paths in X) with one endpoint on the branes, the other on the anti-branes.

Hitting this with our functor produces a diagram

(8)E x + tra +(γ 1) E y + tra +(γ 2) E z + tra(t x) tra(t y) tra(t z) E x tra (γ 1) E y tra (γ 2) E z

in Trans(E +,E ).

We read off what data the new functor encodes: it contains an ordinary connection tra + on E +, as well as an ordinary connection tra on E . Both are given by ordinary 1-forms.

In addition, there is now an assignment of morphisms tra(t x):E x +E x for every point x. Since x + and x belong to the same point in X, this is a morphism-valued 0-form.

It’s precisely the tachyon field 0-form that we expect to see.

And of course there is a similar 0-form with morphisms going the other way, not depicted in the above diagram.

In conclusion, the transport functor on the path category which allows paths to end on points colored by two different colors encodes precisely the information contained in the superconnections which appear on brane/anti-brane pairs. In fact, as I vaguely indicated, the construction seamlessly generlizes to KR-twisted bundles and the NS-NS surface transport associated with that.


Curvatures functorially.

One can also nicely deduce the n-form curvatures from that, by transporting around infinitesimal loops.

First, there is a 0-form curvature obtained by transport along

(9)x + t x x t¯ x x +.

Next, there is a 1-form curvature obtained by transport around

(10)x + γ + y + t¯ x t y x γ y n,

for x and y first order infinitesimal neighbours.

Finally, there are two ordinary curvatures obtained, as usual, by transporting around infinitesimal loops

(11)x ± γ 1 ± y ± γ¯ 4 ± γ 2 ± v ± γ 3 ± z ±,

The 0-curvature is just the square of the tachyon field. The 1-form curvature is a gauge covariant derivative of the tachyon field, with respect to the two gauge connections on E + and E .

I believe it is easy to see that this does reproduce the three curvature equations (2.12), (2.13) and (2.14) in Richard Szabo’s text.


Gauge tranformations functorially.

Gauge transformations are discussed similarly. For us, a gauge transformation is a natural isomorphism

(12)tragtra.

If we assume, as usual, the base space to be fixed, then this is an assignment of an isomorphism

(13)g(x +):E x +E x +

to every point x + on the stack of D-branes, and an isoomorphism

(14)g(x ):E x E x

to every point on the stack of anti D-branes, such that all diagrams of the form

(15)E x ± tra(γ ±) E x ± g(x ±) g(x ±) E x ± tra(γ ±) E x ±

and

(16)E x + g(x +) E x + t x t x E x g(x ) E x

commute.

Clearly, the first reproduces the ordinary gauge transformations of the two ordinary connections, while the second gives the correct transformation of the tachyon field (compare Szabo’s equation (2.22)).


Example.

An especially important form of tachyon fields are those discussed for instance on p. 29 and p. 38 of Szabo’s text. Here the bundle E=E +E contains in particular a spinor bundle S=S +S with the usual 2 spinor grading.

We may hence consider tachyon fields which on a local coordinate patch {x} look like

(17)tra(t x) : E x + E x ϕ f(x)x iγ iϕ,

where γ i are some generators of a representation of the relevant Clifford algebra on E. If the tachyon field going the other way looks similar, the corresponding 0-form curvature

(18)F T(x)=tra(t xt¯ x)

looks like

(19)F T(x)=f(x) 2x 2Id E x +.

This indicates that all the n D-branes in the rank-n bundle E decy into a single one, following the tachyon profile f 2.

Notice that tra(t x) here is like a Dirac operator expressed in a plane-wave basis, i.e. Fourier-transformed/T-dualized. Compare this with the general relationship between tachyon fields and operators appearing in spectral triples and Fredholm modules ().


Complexes of D-branes and derived categories.

While I am just giving a rather obvious reformulation of superconnections in terms of certain functors, I might add that the above seamlessly generalizes to the setup usually considered in detail for instance for topological strings, where we don’t just have branes/anti-branes, but an entire -grading of branes.

This -grading plays a major role in deriving that D-branes are described by derived categories (), since it is responsible for the fact that there is not just one tachyon field

(20)E +TE

but an entire complex

(21)E 0T 1E 1T 2E 1

of them.

There is nothing more natural than generalizing the above setup to this situation. Now we take P 2(X) to contain diagrams of the form

(22) x 0 γ 1 0 y 0 γ 2 0 z 0 t x 1 t y 1 t z 1 x 1 γ 1 1 y 1 γ 2 1 z 1 t x 2 t y 2 t z 2 x 2 γ 1 2 y 2 γ 2 2 z 1 .

These encode strings stretching between stacks of D-branes of arbitrary ghost charge - or whatever you call the -grading here.

All of the above discussion generalizes straightforwardly to this setup in the obvious way.

While everything is encoded in the single functor

(23)tra:P 2(X)Trans(E ),

we may again manifestly write this in terms of its components tra n encoding ordinary connections on E n, together with almost-morphisms

(24)tra n1T ntra nT n+1tra n+1

endoced by the tra(t x n). Notice that the failure of these to be natural transformations in measured precisely by the 1-form curvature of tra, i.e. by the gauge-covariant derivative of the tachyon.

Because, as I vaguely indicated, all the above 1-functorial discussion secretly sits inside a 2-functorial description of surface transport, there is the possibility that we realize that what looks like the failure of a natural transformation of 1-functors is actually a pseudonatural transformation of 2-functors. But I won’t go into that at the moment.

In any case, we may consider the situation where T n+1T n=0, in wich case we get a complex of vector bundles with connection, with morphisms being tachyon fields - as known from the derived category description of D-branes.

Without any additional effort, we actually have the ability here to describe a complex of twisted bundles with connection, even a complex of twisted bundles together with their associated Kalb-Ramond gerbes with connection. But I won’t go into that at the moment.


Quivers

Assume all our D-branes are pointlike in some sense (“fractional”, maybe). The vector bundles over them are then just vector spaces, and all ordinary connections tra n in our superconnection tra disappear. We are left only with the tachyon component of the superconnections.

In this case, any diagram in P 2(X) consists only of point-like D-branes and strings stretching between these. This is usually called a quiver diagram describing the D-brane configuration ().

Applying our superconnection transport functor tra:P 2(X)Trans(E ) on this quiver yields nothing but a quiver representation ().

That’s not supposed to be deep. But it’s true.

Posted at July 26, 2006 8:11 PM UTC

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

2 Comments & 3 Trackbacks

Read the post Differential n-Geometry
Weblog: The n-Category Café
Excerpt: A quest for arrow-theoretic differential geometry.
Tracked: September 20, 2006 9:16 PM
Read the post (Generalized) Differential Cohomology and Lie Infinity-Connections
Weblog: The n-Category Café
Excerpt: On generalized differential cohomology and its relation to infinity-parallel transport and Lie-infinity connections.
Tracked: February 28, 2008 5:18 PM
Read the post E8 Quillen Superconnection
Weblog: The n-Category Café
Excerpt: On Quillen superconnections on E8-bundles and on the mathematical interpretation of the connection appearing in an article by A. Lisi.
Tracked: May 10, 2008 9:52 AM

Re: Quillen’s Superconnections – Functorially

You seem to know superconnection. I’m a little lost. Could you give me a hint?

Suppose I have a connection for a Hermitian bundle over a Riemannian manifold. Suppose the bundle is Z_2 graded.

What is the “standard” superconnection?

I want to calculate some indexform and for that I need to calculate $R-A^2$ where R is the Riemannian curvature on M applied as and endomorphism on E in some way and A is “the” superconnection. It doesn’t, however, say where I get the superconnection from.

Should I take E^+=E and E^-=0 and take my usual connection? [Is it true that I need to take this Z_2 grading in order for the defining Leibniz rule for the connection and the superconnection to be the same?] Or is there some other standard way to choose a superconnection if the data only contains a connection.

Thank you very much in advance,
G

Posted by: G B on May 7, 2010 11:50 PM | Permalink | Reply to this

Re: Quillen’s Superconnections – Functorially

I have a further question.

You write:
“A superconnection on E is defined to be any odd graded endomorphism A of Ω(X,E) which satisfies the Leibnitz rule

(1)[A,ω]=dω
for all ω∈Ω(X).”

What does [A,\omega] mean here? $A$ is odd, \omega might be odd? Is there are sign within the [,]?

So does this mean
A (\omega \wedge s) - \omega \wedge A s = (d \omega ) \wedge s
for s\in \Omega (X,E)
Or does this mean
A (\omega \wedge s) -(-1)^{\def \omega} \omega \wedge A s = (d \omega ) \wedge s


Thanks.

Posted by: G B on May 11, 2010 11:42 PM | Permalink | Reply to this

Post a New Comment