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 18, 2006

Universal Gerbes

Posted by Urs Schreiber

Jim Stasheff asked me to forward the following question to the nn-Café audience:

There is a universal principal bundle for any group. Is there also a universal gerbe?

I don’t know much about the answer. The only thing I am aware of is a little trick:

U(1)U(1)-gerbes on XX are classified (depending on your taste almost by definition) by H 3(X,)H^3(X,\mathbb{Z}), i.e. by homotopy classes of maps from XX into an Eilenberg-MacLane space K(,3)K(\mathbb{Z},3).

But since the group PU(H)PU(H) of projective unitary operators on a separable Hilbert space HH is a K(,2)K(\mathbb{Z},2), this is also the classification of PU(H)PU(H)-bundles.

For that reason, many people who find need of U(1)U(1)-gerbes in their daily work tend to resort to working with PU(H)PU(H)-bundles.

Any PU(H)PU(H)-bundle implcitily defines a U(1)U(1)-gerbe: its lifting gerbe.

Constructively, given a PU(H)PU(H)-valued transition function describing a locally trivialized PU(H)PU(H)-bundle, we may replace the function’s values g ij(x)g_{ij}(x) everywhere by a chosen lift g^ ij(x)\hat g_{ij}(x) in the projection

(1)U(H)pPU(H) U(H) \stackrel{p}{\to} PU(H)

coming from the central extension

(2)1U(1)U(H)PU(H)1, 1 \to U(1) \to U(H) \to PU(H) \to 1 \,,

i.e. such that

(3)p(g^ ij(x))=g ij(x). p(\hat g_{ij}(x)) = g_{ij}(x) \,.

In general, the resulting g^ ij(x)\hat g_{ij}(x) will fail to satisfy the cocycle condition

(4)g^ ij(x)g^ jk(x)=g^ ik(x) \hat g_{ij}(x) \hat g_{jk}(x) = \hat g_{ik}(x)

but the failure is measured by a function ff

(5)g^ ij(x)g^ jk(x)=f ijk(x)g^ ik(x). \hat g_{ij}(x) \hat g_{jk}(x) = f_{ijk}(x) \hat g_{ik}(x) \,.

Applying pp to this equation shows that ff takes values in the kernel of pp, hence in U(1)U(1).

While there may be no way to find a lift such that this ff vanishes, the ffs will always satisfy a cocycle condition of their own, on quadruple overlaps.

This 2-cocycle charcterizes (the local trivialization of) a U(1)U(1)-gerbe. This is called the lifting gerbe associated to our original bundle. Its non-triviality measures the impossibility of lifting the structure group of our bundle from PU(H)PU(H) to U(H)U(H).

For every U(1)U(1)-gerbe there is a PU(H)PU(H)-bundle whose lifting to a U(H)U(H)-bundle is obstructed by that gerbe; U(1)U(1)-gerbes and PU(H)PU(H)-bundles have the same classification.

So, given all that, we could pull a trick and declare that

The universal U(1)U(1)-gerbe is the lifting gerbe of the universal PU(H)PU(H)-bundle.

That’s, at least, essentially the point of view adopted in

Alan L. Carey, Jouko Mickelsson
The universal gerbe, Dixmier-Douady class, and gauge theory
hep-th/0107207 .

For technical reasons, these authors in this article don’t quite use U(H)PU(H)U(H) \to PU(H), but something very similar.

Posted at December 18, 2006 2:26 PM UTC

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

11 Comments & 0 Trackbacks

Re: Universal Gerbes

The answer is almost certainly “yes”. But what was the question? I forget what you mean by the word “gerbe” Urs. I tend to mean whatever geometric gadget is convenient for the job in hand and which is classified by the third integral cohomology group (or the appropriate Deligne cohomology group if I want a connection).

Posted by: Simon on December 18, 2006 4:18 PM | Permalink | Reply to this

Re: Universal Gerbes

The answer is almost certainly “yes”.

I also assume that the thing should exist. But I am not sure that I have seen it discussed in generality. But possibly that’s quite my fault.

But what was the question? I forget what you mean by the word “gerbe” Urs.

In this case I transmitted Jim Stasheff’s question verbatim. But I assume that an answer to the question with “gerbe” replaced by whatever equivalent structure you like would be good.

Just recently we had the classifying spaces for 2-bundles mentioned here. The question is asking for the universal something on this space, I assume, such that the thing classified by a map into it is the pullback of that something along that map.

Posted by: urs on December 18, 2006 4:57 PM | Permalink | Reply to this

Re: Universal Gerbes

I don’t know if there’s a space, but there’s almost certainly a moduli 2-stack of G-gerbes. The most obvious functor is quite clearly a 2-stack, and it shouldn’t take too much more work (e.g. use Lurie’s Artin Approximation Theorem) to show that this moduli functor is actually an algebraic stack.

Posted by: A.J. on December 18, 2006 7:54 PM | Permalink | Reply to this

Re: Universal Gerbes

there’s almost certainly a moduli 2-stack of GG-gerbes

Just to ensure that we are thinking of the same something: you want to consider the 2-stack that assigns to each XX the bigroupoid of GG-gerbes on XX, right?

While I certainly agree that this should exist, I am not sure yet I understand how it would be the answer to the question. Please help me.

Maybe, let’s consider it one level down: we know what the classifying space for GG bundles is (namely BGB G) and we know the universal GG-bundle on that space (namely EGE G). Plus, we know that there is a 1-stack (namely Bun G\mathrm{Bun}_G) of GG-bundles (assigning GG-bundles on XX to XX). Now, in which sense does Bun G\mathrm{Bun}_G tell us about EGE G?

Posted by: urs on December 18, 2006 8:05 PM | Permalink | Reply to this

Re: Universal Gerbes

Yes, we’re thinking about the same functor. The point of introducing these moduli functors is that they provide a tautological solution to the problem. The mantra is: Any moduli stack of thingamajiggies comes naturally equipped with a universal thingamajiggy, of which any other thingamajiggy is a pullback.

So construct a moduli stack of gerbes, and you get, by nonsense alone, a universal gerbe. For instance, the moduli space M of curves has a natural curve over it, whose fiber over any point C in M is just the curve C. Likewise, the product of Bun_G and C has a universal bundle, whose fiber over the point (P,c) is just the torsor P_c.

Posted by: A.J. on December 19, 2006 8:02 PM | Permalink | Reply to this

Re: Universal Gerbes

The answer to Jim Stasheff’s question is surely yes; the problem is that there are various ways to formulate this question and prove the answer is yes. Given a topological group GG, we can form the topological 2-group AUT(G)AUT(G), and then form the geometric realization of the nerve of this, say |AUT(G)||AUT(G)|, which is a new topological group. A GG-gerbe over a space XX should be ‘morally equivalent’ to an |AUT(G)||AUT(G)|-bundle over XX, at least if XX is a nice space (paracompact or something).

If this is indeed true, the space B(|AUT(G)|)B(|AUT(G)|) should in some sense be the classifying space for GG-gerbes. In particular, there should be a universal GG-gerbe over this space such that any GG-gerbe over XX is equivalent to the pullback of this one along some map f:XB(|AUT(G)|)f: X \to B(|AUT(G)|).

The problem is making all this precise. I believe Danny Stevenson will have something to say about all this in his soon-forthcoming paper - not necessarily for AUT(G)AUT(G), but maybe for more general or possibly just different topological 2-groups (like the string 2-group).

None of the mistakes I might be making here are his fault, of course.

Posted by: John Baez on December 18, 2006 8:31 PM | Permalink | Reply to this

Re: Universal Gerbes

[…] morally equivalent […]

I should have mentioned this, since it is the generalization to general 2-groups of what, as described above, Carey and Mickelsson do for the special 2-group G 2=Σ(Σ(U(1)))G_2 = \Sigma(\Sigma(U(1))).

We discussed all this a while ago here, where also some (but not all) details can be found for how to describe a G 2G_2-3-cocycle as a |G 2||G_2|-2-cocycle.

Posted by: urs on December 18, 2006 8:43 PM | Permalink | Reply to this

Re: Universal Gerbes

Urs wrote:

We discussed all this a while ago here, where also some (but not all) details can be found for how to describe a G 2G_2-3-cocycle as a |G 2||G_2|-2-cocycle.

I believe Danny is trying to fill in all these details in an elegant way in his forthcoming paper. He plans to run this paper by me over the Christmas break. After that I’ll have a much better sense of what he’s done — but also, he’ll put his paper on the arXiv.

Posted by: John Baez on December 18, 2006 9:40 PM | Permalink | Reply to this

Re: Universal Gerbes

[…] fill in all these details […]

I am looking forward to seeing that. Danny kindly promised to explain it to me in Toronto.

As far as I recall, back then we were able to write down proofs that showed that, for G 2G_2 any strict 2-group, any G 2G_2-3-cocycle gives rise to a |G 2||G_2|-2-cocycle.

(There are two different conventions for numbering these cocycles. If you think the above statement looks odd, just lower every cocycle index by one.)

Danny did that, as far as I remember, in terms of crossed modules. I did write down what should be the “2-anafunctor” # version of this proof #, where we consider an nn-cocycle as an (n1n-1)-functor on a certain (n1)(n-1)-categorical surjection of the discrete (n1)(n-1)-category over base space.

As far as I remember, the question was if and how this H 3(X,G 2)H 2(X,|G 2|)H^3(X,G_2) \to H^2(X,|G_2|) has an inverse.

I remember that Larry Breen kindly looked into this when we met in Vienna, indicating that this should obviously be true, but that Danny kept pointing out some problem, at which point, it seems, I lost track of what was going on.

Posted by: urs on December 19, 2006 9:16 AM | Permalink | Reply to this

Re: Universal Gerbes

I wrote:

We discussed all this a while ago here,

As I point out there, but should mention here again: this discussion was to a large part induced by theorem 5.6 in

Branislav Jurčo, Crossed Module Bundle Gerbes; Classification, String Group and Differential Geometry

(p. 12), which states essentially what John Baez recalled above #, namely that (generalizing from automorphism 2-groups to general strict 2-groups), (HG)(H \to G)-gerbes have the same calssification as |(HG)||(H \to G)|-bundles.

(Here (HG)(H\to G) denotes a (topological) strict 2-group coming from a crossed module of the two ordinary groups GG and HH, and |HG||H\to G| denotes its nerve.)

As far as I understood, Danny Stevenson’s work, mentioned above, is mainly supposed to clarify one direction of the proof of this.

Posted by: urs on December 20, 2006 10:10 AM | Permalink | Reply to this

Re: Universal Gerbes

I have a problem with the physics underlying the Mickelsson-Carey construction in section 1.1. To each connection A they associate a fermionic Fock space VA. The group of unitaries only acts projectively on VA, which gives rise to an obstruction in H3(G,Z); hence the relation to gerbes.

My problem with this construction is that it couples quantum chiral fermions to a classical background gauge field. This is fine for understanding anomalies, but fundamentally there is no classical gauge field; it should be quantized as well. But if you try to quantize the gauge field, it can no longer be used to define a polarization, and Pickrell’s no-go theorem comes back to haunt you.

For a more low-brow discussion (appropriate for me) of Fock spaces parametrized by connections and their relation to chiral anomalies, try
Luis Alvarez-Gaumé and Philip Nelson
Hamiltonian interpretation of anomalies
Comm. Math. Phys. 99, no. 1 (1985), 103–114

Posted by: Thomas Larsson on December 19, 2006 11:00 AM | Permalink | Reply to this

Post a New Comment