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.

December 30, 2004

New paper: 2-Connections on 2-Bundles

Posted by Urs Schreiber

I am glad to announce that the paper

John Baez & Urs Schreiber: Higher Gauge Theory: 2-Connections on 2-Bundles (2004)

is available now on the preprint server as


(This link will be generally accessible next Sunday or Monday. If it does not work yet a copy can be found here.)

Here is the abstract:

Connections and curvings on gerbes are beginning to play a vital role in differential geometry and mathematical physics — first abelian gerbes, and more recently nonabelian gerbes. These concepts can be elegantly understood using the concept of ‘2-bundle’ recently introduced by Bartels. A 2-bundle is a generalization of a bundle in which the fibers are categories rather than sets. Here we introduce the concept of a ‘2-connection’ on a principal 2-bundle. We describe principal 2-bundles with connection in terms of local data, and show that under certain conditions this reduces to the cocycle data for nonabelian gerbes with connection and curving subject to a certain constraint — namely, the vanishing of the ‘fake curvature’, as defined by Breen and Messing. This constraint also turns out to guarantee the existence of ‘2-holonomies’: that is, parallel transport over both curves and surfaces, fitting together to define a 2-functor from the `path 2-groupoid’ of the base space to the structure 2-group. We give a general theory of 2-holonomies and show how they are related to ordinary parallel transport on the path space of the base manifold.

Readers of this blog will recall many posts concerned with these issues.

The paper builds a bridge from work on local nonabelian surface holonomy as presented in

Alvarez, Ferreira & Sánchez Guillén: A new approach to integrable theories in any dimension (1997)

H. Pfeiffer Higher gauge theory and a non-Abelian generalization of 2-form electromagnetism (2003)

F. Girelli & H. Pfeiffer Higher gauge theory - differential versus integral formulation (2003)

U. Schreiber Nonabelian 2-forms and loop space connections from 2d SCFT deformations (2004)

to the cocycle description of nonabelian gerbes as described in

L. Breen & W. Messing: Differential geometry of gerbes (2001)

P. Aschieri, L. Cantini & B. Jurčo: Nonabelian bundle gerbes, their differential geometry and gauge theory (2003)

using the categorification approach of

J. Baez: Higher Yang-Mills theory (2002)

T. Bartels: Categorified gauge theory: 2-bundles (2004)

by demonstrating that a 2-bundle with 2-connection under certain conditions defines a nonabelian gerbe with connection and curving together with a notion of globally defined nonabelian 2-holonomy (surface holonomy) for that gerbe. (This uses strict structure 2-groups which implies that the ‘fake curvature’ dt(B)+F A has to vanish.)

The basic tools here are path space differential calculus on the one hand (‘calculus of string’) and category theory (‘stringification’) on the other. Roughly, an ordinary connection 𝒜 on path space can be used to construct a 2-functor hol from the 2-groupoid 𝒫 2(M) of ‘bigons’ (surface elements, roughly) to the structure 2-group 𝒢

(1) hol 𝒫 2(M) 𝒢

Having a notion of nonabelian surface holonomy for nonabelian gerbes is necessary for writing down actions for membranes ending on stacks of 5-branes and should hence also be required for nonabelian 6-dimensional conformal field theories and their relation to Yang-Mills theory in four dimensions.

As discussed in the last section of the above paper, the generalization to coherent structure 2-groups still needs to be properly done and is not treated in that paper. But hopefully in a followup.

Happy New Year!

Posted at December 30, 2004 11:28 AM UTC

TrackBack URL for this Entry:

2 Comments & 0 Trackbacks

Re: New paper: 2-Connections on 2-Bundles

Philip W. Anderson
Physicist and Nobel laureate, Princeton

Is string theory a futile exercise as physics, as I believe it to be? It is an interesting mathematical specialty and has produced and will produce mathematics useful in other contexts, but it seems no more vital as mathematics than other areas of very abstract or specialized math, and doesn’t on that basis justify the incredible amount of effort expended on it.

My belief is based on the fact that string theory is the first science in hundreds of years to be pursued in pre-Baconian fashion, without any adequate experimental guidance. It proposes that Nature is the way we would like it to be rather than the way we see it to be; and it is improbable that Nature thinks the same way we do.

The sad thing is that, as several young would-be theorists have explained to me, it is so highly developed that it is a full-time job just to keep up with it. That means that other avenues are not being explored by the bright, imaginative young people, and that alternative career paths are blocked.

Posted by: Billy Gaetz on January 5, 2005 8:31 AM | Permalink | Reply to this

How to quote

I believe Billy is trying to point out a quote from P. Anderson that he probably found here.

When quoting somebody one should make sure that it is obvious to every reader who is quoted and what text belongs to the quote and what not.

Apart from the obvious hints like explicitly saying ‘xxx said the following’ this weblog offers the possibility to include the quoted text inside the command

<blockquote> <p>

and the command

</p> </blockquote> .

For instance the lines

Deckart said the following:


I quote therefore I am.


produce the following result:

- —

Deckart said the following:

I quote therefore I am.

- —

More information on how to use the features of this blog, like how to include hyperlinks and math, are given here.

Last not least, that quote from Anderson was already used and discussed at Peter Woit’s blog where its dicussion more properly belongs and where I would like to ask anyone interested in more along these lines to post their comments to.

Posted by: Urs Schreiber on January 5, 2005 12:33 PM | Permalink | PGP Sig | Reply to this

Post a New Comment