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 5, 2007

Multiplicative Structure of Transgressed n-Bundles

Posted by Urs Schreiber

Remember the drama of the charged nn-particle?

An nn-particle of shape par\mathrm{par} propagating on target space tar\mathrm{tar} and charged undern an nn-bundle with connection given by the transport functor tra:tarnVect\mathrm{tra} : \mathrm{tar} \to n\mathrm{Vect} admits two natural operations: we may either quantize it. That yields the extended nn-dimensional QFT of the nn-particle, computing the nn-space of its quantum states q(tra):parnVectq(\mathrm{tra}) : \mathrm{par} \to n\mathrm{Vect}.

But we may also, instead, transgress the nn-bundle background field on target space to something on the particle’s configuration space.

For instance, a closed string (a 2-particle) charged under a Kalb-Ramond gerbe (a 2-bundle) gives rise to a line bundle (a 1-bundle) on loop space. I once described this in the functorial language used here in this comment.

But, and that’s the point of this entry here, these transgressed nn-bundles have certain special properties: they are multiplicative with respect to the obvious composition of elements of the configuration space of the nn-particle.

I have neither time nor energy at the moment to give a comprehensive description of that. What I do want to share is this:

With Bruce Bartlett I was talking, by private email, about the right abstract arrow-theoretic formulation to conceive multiplicative nn-bundles with connection obtained from transgression on configuration spaces. It turns out that a nn-transport functor is multiplicative if it is monoidal with respect to a certain natural variation of the concept of monoidal structure which is applicable for fibered categories.

In the file

The monoidal structure of the loop category

I spell out some key ingredients of how to conceive the situation here for the simple special case that we start with a 1-functor and transgress it to a “loop space”.

There is nothing particularly deep in there, but it did took us a little bit of thinking to extract the right structure here, simple as it may be. So I thought we might just as well share this with the rest of the world.

And, by the way, I will be on vacation in southern Spain until July 20.

Posted at July 5, 2007 6:47 PM UTC

TrackBack URL for this Entry:

0 Comments & 1 Trackback

Read the post Transgression of n-Transport and n-Connections
Weblog: The n-Category Café
Excerpt: On the general idea of transgression of n-connections and on the underlying machinery of generalized smooth spaces and their differential graded-commutative algebras of differential forms.
Tracked: December 30, 2007 6:40 PM

Post a New Comment