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.

August 17, 2005

CFT, Gerbes and K-Theory in Oberwolfach, V

Posted by Urs Schreiber

Wednesday in Oberwolfach. The obstructions for the sun to shine finally lifted and we had something that even people from Australia would recognize as a summer day.

The workshop now has a webpage on which links to slides and other background information will eventually appear:

Workshop Gerbes, twisted K-theory and conformal field theory

Today was all about gerbes and black forest cake.

In the first morning session Paolo Aschieri reviewed his work with Brano Jurčo and Luigi Cantini

Paolo Aschieri, Luigi Cantini & Branislav Jurco
Nonabelian Bundle Gerbes, their Differential Geometry and Gauge Theory
hep-th/0312154

on the nonabelian version of Murray’s bundle gerbes, including some of the string theory motivation that is discussed in

Paolo Aschieri & Branislav Jurco
Gerbes, M5-Brane Anomalies and E 8E_8 Gauge Theory
hep-th/0409200.

A bundle gerbe is a differential geometric realization of a gerbe. It consists of a bundle YMY \to M over base space (which you should think of as the bundle of paths from the fiber base to some fixed point) together with a bundle EY [2]E \to Y^{[2]} over the fiber product of YY with itself (which should be thought of as the bundle of pair of paths between a fixed point and the fiber base) such that there is a groupoid structure on EE by fiberwise composition.

An abelian bundle gerbe has EU(1)Y [2]E \overset{U(1)} \to Y^{[2]} being a U(1)U(1)-bundle and is by now a very popular structure useful in many ways. What Aschieri, Cantini & Jurčo did was to figure out how the things one does with bundle gerbes generalize once EE is taken to be a nonabelian principal bundle.

First of all, in order to preserve the groupoid structure on EE one has to be able to act with some group HH from the left as well as from the right on EE. Such a gadget is called an HH-bibundle. Since HH acts transitively and freely on each fiber the left and right action must be related by a group automorphism in Aut(H)\mathrm{Aut}(H). In a slight generalization of this construction this is replaced, more generally, by any group GG with a homomorphism GAut(H)G \to \mathrm{Aut}(H) such that (G,H)(G,H) form a (‘Whitehead”-)crossed module of groups. This is nothing but the 2-group which appears in the context of 2-bundles.

This is the easy part. Things become more subtle when the notion of connection and curving are generalized from abelian to nonabelian bundle gerbes. The stronger structure of a bibundle requires that one uses some not-quite-obvious modifications of the usual definitions of a gerbe connection 1- and curving 2-form.

When done correctly, one finds that the resulting structure has the same cocycle description as that found originally by Breen & Messing.

Possibly interestingly for string physics, one can also study twisted nonabelian bundle gerbes, which (like twisted bundles) are really abelian bundle gerbes of still one degree higher, i.e. abelian 2-bundle gerbes. There is a 2-gerbe analog of the well-known argument that the coupling of the 1+1D string to the KR 2-form 1-gerbe connection leads to its endpoints being coupled to a nonabelian (twisted) 0-gerbe (=bundle on the D-brane). The analog suggests that the coupling of the 2+1D M2 brane to the supergravity 3-form 2-gerbe connection (if it really is one) implies that the M2’s boundary string couples to a nonabelian 2-form 1-gerbe connection on M5 branes.

I have written about this situation several times before, but am not sure if any real progress has been achieved in the meantime. I had some discussion of this point with Jarah, who knows probably all there is known of the string aspects relevant to this question, but the situation remains murky. Most people seem to agree that this is the most plausible thing, but a direct ‘proof’ (string-theory-wise) has not materialized yet.

In this context there was also (again) some discussion concerning the point how nonabelian gerbes could account for the N 3N^3-scaling behaviour on 5-branes. I believe it is important to realize that (as far as I can see, at least), this is a question concerning the classes of 2-connections that we can put on a gerbe/2-bundle.

Noting that the analogous N 2N^2-scaling behaviour on D-branes is a direct consequence of the fact that a local connection 1-form of a U(N)U(N)-bundle takes values in rank-2 tensors, it is kind of suggestive to speculate that N 3N^3-scaling comes from a rank-3-tensor valued 2-form. The question would then be if there is any 2-connection taking values in a Lie-2-algebra that would (locally) somehow give rise to something like this.

In a series of recent papers E. Akhmedov noted that such a situation naturally occurs when we consider correlation functions

(1)exp( ΣB) \langle \exp(\int_\Sigma B) \rangle

of ‘vertex operators’

(2)BΩ 2(M,V 3) B \in {\Omega^2(M, V^{\otimes 3})}

in a Fukuma-Hosono-Kawai 2T TFT. If one could identify the underlying 2-group G 2G_2 such that G 2G_2-surface holonomy in a nonabelian G 2G_2 gerbe reproduces these correlators, such gerbes with such 2-connection would be an interesting candidate for the description of M5-branes.

I have once discussed some details that the identification of such a G 2G_2 would involve here.


The next talk was by Brano Jurčo, the punchline of which I had already mentioned last time. Brano considers simplicial bundles and in particular simplicial bibundles, uses the fact that these really come from 2-groups G 2G_2 and then shows how their associated bundle gerbes (without connection and curving) are classified by

(3)[Hom(M,|G 2|)], [\mathrm{Hom}(M,|G_2|)] \,,

where MM is base space and |.||.| denotes the geometric realization of the nerve of a 2-category. Recall again from Duskin that the nerve of a nn-category CC is the simplicial space obtained by considering each mm-morphism (including all identity mm-morphisms for all m>nm \gt n) as an mm-simplex.

I am hoping to write up something with Brano generalizing this to fake flat gerbes with conenction and curving as described in the last entry.


The last talk today was by Jouko Mickelsson on ‘Twisted K-theory and the index on GG’. As far as I am aware most of the content can be found in the nice overview

J. Mickelsson
Families index theorems in supersymmetric WZW model and twisted K-theory
hep-th/0504063.

The idea is to take the supercharge of a WZW model and form from it a family of Fredholm operators on the string’s super-Hilbert space by setting Q A=Q+ikdσψ(σ)A(σ)Q_A = Q + ik \int d\sigma \psi(\sigma) \cdot A(\sigma), where AΩ 1(S 1,Lie(G))A \in \Omega^1(S^1, \mathrm{Lie}(G)) is sort of a connection on the spatial part of the string. These operators transform equivariantly under conjugation by projective unitary operators on HH and one gets a bundle of such operators. The homotopy classes of sections of this bundle give K-theory on GG.

I was wondering if there is some physical way to think of this construction. Somehow the statment is that a family of non-conformal CFT’s in the vicinity of the WZW string knows all about the conserved charges of boundary conditions of the string in the WZW background. Is there a way to understand this from a heuristic string-physics point of view? Can AA be regarded as the pull-back of a connection on a brane in the target GG? Do the Q AQ_A define boundary states for these branes, maybe? I have no clue. Does anyone?


Ah right, and the rest of the day was spent hiking in the black forest, visiting a black forest restaurant, ordering black forest cake, realizing that the black forest restaurant had run out of black forest cake and hiking back through black forest to the institute.

Posted at August 17, 2005 8:18 PM UTC

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

6 Comments & 0 Trackbacks

Local gerbes?

Can one give a local description of a gerbe?

We can define manifolds and bundles by covering the manifold with local charts, and require that the transfer functions satisfy a 1-cocycle condition. I understand that gerbes generalize this construction to something satisfying a 2-cocycle condition instead. However, in a single chart we can give a much more concrete description: a manifold is R^n with some coordinates and a section of a bundle is a function of these coordinates. Essentially, we can phrase everything in the language of tensor calculus.

Is there an analogous 2-tensor calculus that describes gerbes locally? It should be, unless gerbes are intrinsically non-local objects, but I have never seen anything like that.

Posted by: Thomas Larsson on August 18, 2005 12:06 PM | Permalink | Reply to this

Re: Local gerbes?

However, in a single chart we can give a much more concrete description: a manifold is R nR^n with some coordinates and a section of a bundle is a function of these coordinates.

If I understand correctly you are saying that locally a fibre bundle with typical fibre FF just looks like U i×FU_i \times F and that sections are locally just functions in Mor(U i,F)=Map(U i,F)\mathrm{Mor}(U_i,F) = \mathrm{Map}(U_i,F). You are asking for the gerbe-analogue of that, right?

In as far as a 2-bundle can be understood as a gerbe, the analogue statement is that the gerbe locally looks like U i×FU_i \times F, where FF is now a category (a 2-group, for instance). Sections now locally are again in Mor(U i,F)\mathrm{Mor}(U_i,F), which now however means that they are functors U iFU_i \to F.

As long as U iU_i is an ordinary manifold (i.e. a smooth category with all morphisms identities) such functors are of course again nothing but ‘functions’ again. But the point is that they do have natural transformations between them. So we get a (functor-)category C(U i)C(U_i) of sections for each open set U iU_i.

Gluing these together on double overlaps U iU jU_i \cap U_j has therefore a little more freedom that just gluing functions, and this is what gives rise to the enriched cocycle conditions in the cocycle description of the gerbe.

In fact, the stack-theoretic definition of a gerbe takes this section-point-of view as its starting point. A gerbe, in that definition, is the categorification of a sheaf (called a ‘fibred category’) with some additional properties, namely an assignment of categories C(U i)C(U_i) (groupoids, actually) to open sets U iU_i and restriction functors

(1)C(U j)| jiCU i C(U_j) \overset{|_{ji}}{\to} C{U_i}

whenever

(2)U iU j U_i \subset U_j

such that iterated restriction U kU jU iU_k \to U_j \to U_i is isomorphic to direct restriction U kU iU_k \to U_i.

In the bundle gerbe way of looking at gerbes this sort of picture of sections and the like is pretty much obscured (as far as I am concerned, at least).

Posted by: Urs on August 18, 2005 2:44 PM | Permalink | Reply to this

Re: Local gerbes?

There are various proofs that bundle gerbes are gerbes, but the “best” version is (IMO) in

Bundle gerbes: stable isomorphism and local theory (Murray and Stevenson) math.DG/9908135

this comes at it from the bundle gerbe side.

In outline, the authors construct a fibred category consisting of all local trivialisations of the bundle gerbe over open sets in the base MM. Trivialisations for bundle gerbes are U(1)U(1) bundles that are lifted to bundle gerbes (thinking in just the abelian case here). It is a well known fact that the collection of U(1)U(1)-bundles on a manifold forms the trivial (neutral) U(1)U(1)-gerbe. This fibred category is then shown to be a gerbe.

This description fits in nicely with the point made by Breen in these notes on 1- and 2-gerbes, that we can look at the “frame-stack” of a gerbe, much like we can consider the frame bundle of a vector bundle, instead of the bundle itself. Really this is thinking of the gerbe as a twisted version of a neutral gerbe, much as a manifold is a twisted version of R n\mathbf{R}^n. Really when we consider a manifold, it is the existence of a non-trivial structure sheaf (= collection of smooth functions to Euclidean space) that makes the manifold globally different to R n\mathbf{R}^n.

D

Posted by: David Roberts on August 19, 2005 4:57 AM | Permalink | Reply to this

Re: Local gerbes?

There are various proofs that bundle gerbes are gerbes

Maybe the most direct relation between a bundle gerbe BB and the coresponding gerbe G BG_B is that BB (being a groupoid) is a presenting groupoid of G BG_B in the sense as we have discussed recently.

At least that’s what Danny seems to be telling me. I can’t claim to be able to demonstrate this, currently.

Posted by: Urs on August 19, 2005 7:04 PM | Permalink | Reply to this

Re: Local gerbes?

I guess that you already answered my question, but let me see if I understood it right. A section of a 1-bundle is locally a function

f(x) = f_a(x) e^a,

where the e^a form a basis for the fiber and x is a point in the base space. So a similar formula should apply to 2-bundles, with the e^a a basis for a category? Perhaps one can view sections as functions of x modulo some equivalence relation, which has to satisfy a coherence law on triple overlaps?

Posted by: Thomas Larsson on August 20, 2005 8:53 AM | Permalink | Reply to this

Re: Local gerbes?

where the e ae^a form a basis for the fiber

You are thinking of the special case of a vector bundle, where the typical fibre F=K nF = K^n (say) is a vector space over some field KK. More generally, the fibre can be about anything you like. In particular it can be a group GG, in which case you cannot write local sections the way you did here.

a basis for a category?

Certain categories might actually have a ‘basis’ in this sense, namely those that are like categorified vector spaces over somthing.

For instance the 2-vector spaces defined in HDA VI are categories internalized in Vect\mathrm{Vect}. This means that these are like ordinary categories with a set of objects and a set of morphisms, only that these sets really are vector spaces and source, target and composition maps between these vector spaces are linear maps.

So if you want to consider a 2-bundle whose typical fibre looks like a category which is a 2-vector space in this sense, then, yes, I assume you can choose a basis for the space of morphisms of that category and express a 2-section of such a 2-bundle locally in terms of such a basis the way you indicated.

Note though, as I have remarked before, that the concept of a categorified vector bundle (and, more generally, that of a categorofied associated bundle) is unfortunately still much less studied than that of a categorified principal bundle (whose typical fibre is (isomorphic to) a group).

Posted by: Urs on August 20, 2005 1:40 PM | Permalink | Reply to this