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.

May 13, 2005

PSM and Algebroids, Part IV

Posted by Urs Schreiber

Last time I discussed how Lie p-algebroids (and hence Lie p-algebras) and dg-algebras on graded vector spaces of maximal grade p are two aspects of the same thing. This goes a long way towards merging the study of p-bundles with p-connections with the study of algebroid morphisms as they arise in the Poisson σ-model, Dirac σ-models and other field theories.

Here are more details.

In these notes I describe how (weak) principal p-bundles with p-connection over categorically trivial base p-spaces M (and hence also (weakened) (p1 )-bundle-gerbes with connection, curving, etc.) are completely encoded in a single p-functor

(1)hol p:P p C(U)G p

from the lifted path p-groupoid P p C(U) (where UM is a good cover) to the weak structure p-group(oid) G p. This will be called the global holonomy p-functor.

It is discussed how all the cocylce relations describing a p-bundle with p-connection transparently follow from the functoriality of hol p and how the p-gauge transformations of the p-bundle with p-connection come from natural transformations between different such global p-holonomy functors.

This should be called the integral picture and is discussed in section 2. By going to a ‘differential version’ of the hol p-functor one should arrive at something that should be called the differential picture of a p-bundle with p-connection, where the above p­-groupoids are replaced by p-algebroids and where the functor between them becomes an algebroid morphism

(2)con p:𝔭 p C(U)𝔤 p

from some sort of path p-algebroid to the p-algebroid 𝔤 p coming from the structure p-group(oid) G p.

I do not know yet how to do this differentiation globally (if possible at all), but locally (i.e. on a given patch U i of the good cover U) this should essentially be what Thomas Strobl and collaborators have been studying, motivated by studies of the Poisson σ-model and other topological field theories.

In section 3 I essentially review aspects this approach, trying to put it in context with the integral picture. I discuss how the consistency conditions known from the integral picture (like the vanishing of the fake curvature) arise in the differential picture and how the notion of gauge transformations (locally) in both pictures coincide.

At the currently, certainly incomplete, level of understanding, one can easily see certain things in one picture but not, or not so easily, in the other. For instance in the intergal picture the global issues related to transitions from one patch to another are very transparent, while they remain to be fully understood in the differential picture. On the other hand, due to the intricacies of weak p-group(oid)s it is hard to translate the general diagrams that we discuss into formulas for local data when the structure group is weak and/or really a groupoid. But the analogous generalization, namely from strict p-algebras to (not weak but) semistrict p-algebroids, is straightforwardly done in the differential picture.

Posted at May 13, 2005 4:50 PM UTC

TrackBack URL for this Entry:

0 Comments & 1 Trackback

Read the post Poisson-Sigma Models, Lie Algebroids, Deformations and Higher Analogues in Vienna
Weblog: The n-Category Café
Excerpt: Announcement of ESI Workshop on Lie Algebroids in Summer 2007.
Tracked: May 4, 2007 4:47 PM

Post a New Comment