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.

September 2, 2005

Gerbes, Algebroids and Groupoid Bundles, the emerging Picture

Posted by Urs Schreiber

Update (09/14/05): There is a disagreement about the secrecy status of the former content of this entry.

Posted at September 2, 2005 8:14 AM UTC

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

17 Comments & 1 Trackback

Re: Gerbes, Algebroids and Groupoid Bundles, the emerging Picture

Hey, this stuff is really cool!

I’ve only absorbed a fraction of it, but I’m already very happy. I’ll have to show Danny Stevenson.

You mention Atiyah’s description of connections as splittings of short exact sequences of Lie algebroids, where the splitting is only a Lie algebroid morphism if the connection is flat.

Danny has categorified this fact and found a similar result for our 2-connections.

Anyway, I’m glad you’re writing about such heavy-duty topics on this blog.

Posted by: John Baez on September 6, 2005 6:08 AM | Permalink | Reply to this

Re: Gerbes, Algebroids and Groupoid Bundles, the emerging Picture

Danny has categorified this fact and found a similar result for our 2-connections.

That’s cool. Is this going to be made public anytime soon? I’d like to compare it to the locally trivialized version which I think I do understand. Does he get the fake flatness conditions?

Posted by: Urs on September 13, 2005 10:02 AM | Permalink | Reply to this

Re: Gerbes, Algebroids and Groupoid Bundles, the emerging Picture

When you define the Atiyah algebroid, are you taking the anchor map to be to TMTM, or to MM (i.e. composing ρ\rho and pp)?

Have you looked at the fact that the splitting

TP/G *P× GLie(G)=adPTP/G_* \rightarrow P \times_{G} Lie(G) = ad P

of

adPTP/G *ad P \rightarrow TP/G_*

in

0adPTP/G *TM00 \rightarrow ad P \rightarrow TP/G_* \rightarrow TM \rightarrow 0

also gives a connection (actually the connection form)? The s.e.s. is from “Complex analytic connections in fibre bundles” and is where your Atiyah algebroid comes from (I know you know this).

The nice thing about using this Atiyah definition of connection is it gives a “closer” link to the usual horizontal subspace/connection form defintion of connection. We just take a left or right splitting of the above s.e.s. to get the connection.

All this should lift nicely to 2-bundles, once a decent definition of 2-vector bundle is figured out (I think Danny may be working on this).

D

Posted by: David Roberts on September 7, 2005 4:27 AM | Permalink | Reply to this

Re: Gerbes, Algebroids and Groupoid Bundles, the emerging Picture

are you taking the anchor map to be to TMTM

Yes, as the anchor is always to TMTM. By displaying the projection arrow TMMTM \to M I didn’t mean anything deep.

Have you looked at the fact that […]

No, not really. But I do believe that this should be important for the following reason:

We are dealing with these two equivalent aspects of ordinary connections:

a) something that allows to lift, namely vectors/paths in the base space MM to vectors/paths in the total space PP

b) something that defines horizontal subspaces of TPTP.

Here a) is really defining a connection in terms of its holonomy. Categorifying this leads to the constraint of vanishing fake curvature.

Possibly the non-fake flat situation as obtained for nonabelian bundle gerbes with connection and curving can be understood as a categorification of b) instead of a). I believe Danny was hinting at that (but I might be wrong).

In the case of ordinary bundles b) does allow to lift paths to total space, too.

In the case of categorified bundles (gerbes) it is no longer obvious that the categorification of b) allows to lift surfaces from base space to total space.

I expect that adding to the categorification of b) the requirement that it should be possible to ‘lift surfaces’ will be precisely equivalent to the categorification of a) and hence of in addition requiring fake flatness.

once a decent definition of 2-vector bundle

As was mentioned here recently, as far as tangent 2-bundles are concerned it should be clear what one has to do:

Let SS be a smooth category (smooth space of objects, smooth space of morphims and all maps between them smooth maps). SS is a ‘2-space’. Its tangent 2-bundle should be the category TSTS with

(1)Obj(TS)=T(Obj(S)) \mathrm{Obj}(TS) = T(\mathrm{Obj}(S))
(2)Mor(TS)=T(Mor(S)) \mathrm{Mor}(TS) = T(\mathrm{Mor}(S))
(3)s TS=ds S s_{TS} = ds_{S}
(4)t TS=dt S t_{TS} = d t_{S}
(5) TS=d S. \circ_{TS} = d\circ_{S} \,.

(Here, for instance, s TSs_{TS} denotes the source map in TSTS and ds Sds_{S} the differential of the source map in SS.)

This is a category internalized in the category of vector bundles and hence qualifies as a good notion of 2-vector bundle. And it exists for every smooth category SS. This should be all that is needed for the above purposes.

Posted by: Urs on September 12, 2005 10:57 AM | Permalink | Reply to this

Re: Gerbes, Algebroids and Groupoid Bundles, the emerging Picture

“Let S be a smooth category (smooth space of objects, smooth space of morphims and all maps between them smooth maps). S is a 2-space;. Its tangent 2-bundle should be the category TS with […]”

— (PS - having trouble with markup and no time to fix)

What should possibly be done now is look at the “Grassmannian” of said tangent bundle and thus get a nice canonical example of a 2-bundle (poss. even a universal one, if we let “dim S” \rightarrow \infty (!))

D

Posted by: David Roberts on September 13, 2005 1:40 AM | Permalink | Reply to this

Re: Gerbes, Algebroids and Groupoid Bundles, the emerging Picture

look at the ‘Grassmannian’ of said tangent bundle

Could you expand on that? I am afraid I don’t know what you have in mind. Are you talking of Grassmannians in the sense of spaces of kk-dimensional subspaces of vector spaces or something else? Sorry.

if we let “dim SS\to \infty

This might actually be the ‘generic’ case, in a sense. Many intersting smooth spaces of morphism will be infinite-dimensional. For instance if morphisms are paths in the space of objects.

a nice canonical example of a 2-bundle

I need to think more about this. One issue seems to be that such a tangent 2-bundle is not at all of the form of those 2-bundles which are related to gerbes, unless I am confused. I.e. it does not locally look like S×FS \times F for FF the typical fiber category. Or does it somehow?

Posted by: Urs on September 13, 2005 9:52 AM | Permalink | Reply to this

Re: Gerbes, Algebroids and Groupoid Bundles, the emerging Picture

—- Could you expand on that? I am afraid I don’t know what you have in mind. Are you talking of Grassmannians in the sense of spaces of k-dimensional subspaces of vector spaces or something else? —-

Whoops - I mean frame bundle. I’ve been thinking of Grassmannians and Stiefel bundles in inf dim Hilbert space recently.

Thus my “dim S” remark - I was thinking of EGLBGLEGL \rightarrow BGL

—- One issue seems to be that such a tangent 2-bundle is not at all of the form of those 2-bundles which are related to gerbes, unless I am confused. I.e. it does not locally look like S×FS\times F for F the typical fiber category. —-

That’s good - we need non-gerbe examples of 2-bundles. From the algebraic geometric side of things (a la Grothendieck, Deligne-Mumford etc) general stacks seem to me to be less “nice” than gerbes. Looking at the axioms for a gerbe:

A gerbe is a stack in groupoids which is

  • Locally non-empty
  • Locally connected

The first of these means that there is a cover such that the fibre (“set of sections”) over each element of the cover is non-empty (something like local triviality), and the second means that all the automorphism groups of objects in the fibres are isomorphic (i.e. we have a well defined fibre)

So in a sense you are correct about the nasty properties of these non-gerbe 2-bundles, but hey, I’m sure someone will find a way around this. Just remember what all these objects were invented for: gerbes for degree 2 nonabelian cohomology, 2-bundles for categorifying bundles. Both have done their job. It’s just nice they overlap a bit.

D

Posted by: David Roberts on September 14, 2005 2:07 AM | Permalink | Reply to this

Re: Gerbes, Algebroids and Groupoid Bundles, the emerging Picture

That’s good - […]

I very much agree with what you said.

I might add that the different notions of ‘2-bundle’ playing a role here seem to be due to two different branches of categorification.

Roughly, whenever there is a concept AA one can

1) either study AA internalized (strictly) in Cat\mathrm{Cat}

2) or study categories internalized in the category of AA .

There is an amazing theorem that 1) and 2) agree if AA is what is called essentially algebraic. But in general they need not agree.

The principal 2-bundles as defined originally by Toby Bartels are like principal bundles internalized in Cat\mathrm{Cat}, i.e. a categorification of a bundle according to procedure 1).

The tangent 2-bundles that we were talking about however are categories internalized in the category of vector bundles and hence are (vector) bundles categorified according to procedure 2).

Categorification is a little bit like quantization in that it may give different and inequivalent results when applied to different but equivalent items.

So what would a 2-section of a 2-bundle in the sense 2) be? That seems to be the central question, because the relation to stacks should be that a 2-bundle has a stack of 2-sections (instead of just a sheaf of 1-sections).

I haven’t really thought hard enough, but a straightforward guess is that a 2-section of the tangent 2-bundle TSTS that we talked about must be just an ordinary section ff of Mor(TS)\mathrm{Mor}(TS).

That, however, makes it seem unlikely that these 2-sections form a stack, somehow.

Maybe one should add the (nontrivial) requirement that the image of ff under source and target maps ss and tt are sections of Obj(TS)\mathrm{Obj}(TS).

Hm…

Posted by: Urs on September 14, 2005 8:48 AM | Permalink | Reply to this

Re: Gerbes, Algebroids and Groupoid Bundles, the emerging Picture

I haven’t really thought hard enough, but a straightforward guess is that a 2-section of the tangent 2-bundle TS that we talked about must be just an ordinary section f of Mor(TS).

That, however, makes it seem unlikely that these 2-sections form a stack, somehow.

Maybe one should add the (nontrivial) requirement that the image of f under source and target maps s and t are sections of Obj(TS).

I would have thought that a 2-section of a 2-map F:EMF:E \to M would be a functor S:MES:M \to E such that FSid MF \circ S \Rightarrow id_M. I started working on something like this but got distracted ;) This was going to be my starting point of “2-sections of a 2-bundle form a stack”.

I’ll think about your proposed defn some more and get back.

D

Posted by: David Roberts on September 15, 2005 1:27 AM | Permalink | Reply to this

Re: Gerbes, Algebroids and Groupoid Bundles, the emerging Picture

Hi David,

sorry for my slow responses. I am currently distracted by a couple of things, like preparing for my disputation (which I should be doing right now instead of chatting) and finding a place to live in Hamburg (a task that has now successfully and satisfactorily been finished).

I would have thought that a 2-section of a 2-map F:EMF:E \to M would be a functor S:MES:M \to E such that FSid MF \circ S \Rightarrow \mathrm{id}_M.

True. In my last comment I was missing the fact that such a projection map FF is available here.

So at the rough level at which I have thought about this stuff, it seems that given any category EE internalized in the category of vector bundles, we get an internal projection functor EpBE \overset{p}{\rightarrow} B from it to a category BB internalized the category of smooth spaces as follows:

Let

(1)E Objp ObjB Obj E_\mathrm{Obj} \overset{p_\mathrm{Obj}}{\to} B_\mathrm{Obj}

be the vector bundle of objects of EE and let

(2)E Morp MorB Mor E_\mathrm{Mor} \overset{p_\mathrm{Mor}}{\to} B_\mathrm{Mor}

be the vector bundle of morphisms of EE.

The source, target and composition maps in EE are vector bundle morphisms which ristrict to smooth maps on the base spaces B ObjB_\mathrm{Obj} and B MorB_\mathrm{Mor}. Calling these restrictions s Bs_B, t Bt_B and B\circ_B, respectively, we seem to get a ‘base category’ BB of EE with

(3)B={B Obj,B Mor,s B,t B, B} B = \{ B_\mathrm{Obj}, B_\mathrm{Mor}, s_B, t_B, \circ_B \}

in the (hopefully) obvious way. By simply forgetting about the fibers in the bundles involved in EE we should get a projection functor

(4)EpB E \overset{p}{\to} B

and hence arrive at a 2-bundle in the sense 1) of my previous comment.

Ok, I didn’t realize this simple fact last time. Now with the pp-functor available, it is clear what a 2-section should be, namely, as you say, a 2-functor

(5)BsE B \overset{s}{\to} E

such that

(6)BsEpBλBIdB. B \overset{s}{\to} E \overset{p}{\to} B \;\;\overset{\lambda}{\Leftrightarrow}\;\; B \overset{\mathrm{Id}}{\to} B \,.

But now, isn’t it true that such a 2-section ss must come (at least in the case where the above isomorphism λ\lambda is the identity) from an ordinary section of E Morp MorB Mor E_\mathrm{Mor} \overset{p_\mathrm{Mor}}{\to} B_\mathrm{Mor} ?

I guess so. But actually the example of principal 2-bundles shows that the interesting aspect of 2-sections is in their morphisms. Is there an interesting structure on the natural transformations

(7)Bs 1EκBs 2E B \overset{s_1}{\to} E \;\; \overset{\kappa}{\Rightarrow} \;\; B \overset{s_2}{\to} E

?

It is noteworthy that the base category BB is an honest category with, in general, nontrivial morphisms. This means that the ‘2-sheaf’ of 2-sections ss is not in an obvious way a stack. That’s because a stack is what I would call a pseudo-functor instead of a true 2-functor. Meaning that it is something from a 1-category (of ‘open sets’) to the 2-category Cat\mathrm{Cat} (or Groupoids\mathrm{Groupoids} if you like) instead of something whose domain is a 2-category itself.

Here it seems we need a 2-category of 2-‘open sets’ of BB, namely something like the 2-category of ‘open subcategories’ of BB.

I once talked more about that somewhere on the web, but haven’t really made much progress with it. But it is a general qestion that I would someday like to know the answer to:

Why stacks instead of ‘2-sheafs’?

Not that I would find stack theory so trivial that I would be yearning for something more intricate. But from the point of view of categorification a stack is a an inconsequent generalization of a sheaf, it seems.

Posted by: Urs on September 18, 2005 5:20 PM | Permalink | Reply to this

Re: Gerbes, Algebroids and Groupoid Bundles, the emerging Picture

Why stacks instead of ‘2-sheafs’?

probably because John B around born yet :-D

D

Posted by: David Roberts on September 19, 2005 7:56 AM | Permalink | Reply to this

Re: Gerbes, Algebroids and Groupoid Bundles, the emerging Picture

probably because John B around born yet :-D

Probably. But it bites us here. On the other hand, in special cases we can still hope to get a stack of 2-sections.

Namely if the base category BB has the following property.

To each open set U iB ObjU_i \subset B_\mathrm{Obj} let

(1)B| U i:=(s 1(U i))(t 1(U i)) B|_{U_i} := \left(s^{-1}\left(U_i\right)\right) \cap \left(t^{-1}\left(U_i\right)\right)

be the subcategory of BB consisting of all morphism starting and ending in U iU_i. If all of BB is generated from

(2) iB| U i \bigcup_i B|_{U_i}

for some covering {U i} i\{U_i\}_i of B ObjB_\mathrm{Obj} then it does make good sense to define the category of 2-sections on U iU_i to be that of 2-sections B| U isEB|_{U_i} \overset{s}{\to} E. Hence we do get a fibered category of 2-sections. With a little luck this is a stack.

Posted by: Urs on September 19, 2005 5:59 PM | Permalink | Reply to this

Re: Gerbes, Algebroids and Groupoid Bundles, the emerging Picture

From the algebraic geometric side of things (a la Grothendieck, Deligne-Mumford etc) general stacks seem to me to be less “nice” than gerbes.

Also remember that stacks are closely related to moduli spaces and orbifolds, so I wouldn’t be suprised if pleasantries break down somewhere ;)

D

Posted by: David Roberts on September 14, 2005 2:17 AM | Permalink | Reply to this

Re: Gerbes, Algebroids and Groupoid Bundles, the emerging Picture

I was thinking of EGLBGLEGL \rightarrow BGL

Maybe not. Maybe I was thinking of something else. *blush*

I’ll forget my own head next.

D

Posted by: David Roberts on September 14, 2005 3:54 AM | Permalink | Reply to this

Re: Gerbes, Algebroids and Groupoid Bundles, the emerging Picture

Maybe not.

Don’t worry. Baking half-baked ideas is what informal discussion is meant for and good for. I enjoy it.

I think a noteworthy point of what you suggested is that by the same principle by which we construct the tangent 2-bundle to a 2-space we can also get the frame 2-bundle to a given 2-space.

Let’s see.

Denote by FMFM the ordinary (orthogonal) frame bundle of an ordinary (Riemannian) smooth space MM.

Now let SS be a 2-space (a smooth category), then I guess its frame 2-bundle should be the category FSFS with

(1)Obj(FS) = O(Obj(S)) Mor(FS) = O(Mor(S)) s FS = ds S s FS = dt S FS = d S. \array{ \mathrm{Obj}(FS) &=& O(\mathrm{Obj}(S))\\ \mathrm{Mor}(FS) &=& O(\mathrm{Mor}(S)) \\ s_{FS} &=& d\, s_S\\ s_{FS} &=& d\, t_S\\ \circ_{FS} &=& d\,\circ_S } \,.

Or am I missing any subtlety?

Posted by: Urs on September 14, 2005 8:24 AM | Permalink | Reply to this

Re: Gerbes, Algebroids and Groupoid Bundles, the emerging Picture

“Update(09/14/05): There is a disagreement about the secrecy status of the former content of this entry.”

Hah, funny! So, what’s new in the world? Attempted control of blogspeak …. hilarious!

Posted by: Kea on September 17, 2005 5:02 AM | Permalink | Reply to this

Re: Gerbes, Algebroids and Groupoid Bundles, the emerging Picture

Hi Kea,

Regarding what’s new in the world, I suggest you search for “blog” and “sedition” in Google News …

As to the altered post, I believe Urs has his own reason for doing what he did, so perhaps we should leave it at that.

Posted by: Rongmin on September 17, 2005 6:56 AM | Permalink | Reply to this
Read the post Pantev on Langlands, II
Weblog: The String Coffee Table
Excerpt: Pantev lectures on Langlands duality, D-branes and quantization, part II.
Tracked: May 11, 2006 7:50 AM