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.

November 24, 2004

Categorified Points: Strings as Morphisms

Posted by Urs Schreiber

Over at sci.math.research there are some comments on categorification and its relation to string theory.

Of course categories, being the language in which god wrote math, show up all over the place once people start to seriously do some mathematical physics, and hence here and there in string theory, but apart from their ‘general purpose applications’ the notion of categorization has a rather special nature, since it always amounts to identifying some well known things as ‘points’ and generalizing them to linearly extended things: morphisms, arrows - strings.

The most obvious example is the categorification of the configuraton space of a single particle: This is just some sort of path space over the original config space (where the paths are morphisms between the point objects in the obvious way) which can generically be identified with the configuration space of a single string. In fact, such a space is known as a 2-space.

If our particle was a superparticle its configuration space was something like the exterior bundle over the original configuration space and similarly we expect the config space of the superstring to be the exterior bundle over a 2-space, which it is. The superparticle may be governed by supersymmetric quantum mechanics of the well-known form e Wde W|ψ=0=e W d e W |ψe^{-W}d e^{W}|\psi\rangle = 0 = e^{W^\dagger}d^\dagger e^{-W^\dagger}|\psi\rangle and lifting that to path space indeed produces SCFTs describing string propagation in various backgrounds encoded in WW.

I should take the time to formalize that a little better, but it seems indeed that one can justly say that strings are categorized point particles, in a sense.

My recent occupation with higher gauge theory has added considerably to my impression that this is much more than a general abstract nonsensical play of words. If strings on stacks of 5-branes really are to nonabelian gerbes as points are to fiber bundles and given the fact that these nonabelian gerbes are essentially categorified fiber bundles precisely along the space\to2-space line of reasoning sketched above, this shows that there is nontrivial string physics made visible by the strings-as-categorized-points point of view which is otherwise not or not as clearly tractable - it seems to me.

Posted at 7:36 PM UTC | Permalink | Followups (2)

November 18, 2004

Weak groups, hard computation

Posted by Urs Schreiber

2-bundles are great. They connect path space/loop space differential geometry and path space bundles with other stuff, like nonabelian gerbes. That’s nice for physics, because it allows to ‘see’ the string in the nonabelian background described by the gerbe: It’s configuration space is the arrow space of the base 2-space of the 2-bundle. Its constraints are gauge-covariant deRham operators on that space.

I have recently sketched a proof for how a 2-bundle with strict structure 2-group yields a (possibly twisted) nonabelian gerbe with curving and connection of a certain kind. In fact, it seems that except for one constraint the 2-bundle is more general. (For instance it turns out that the gerbe data encoded in the d ijLie(H)Ω 2(U ij)d_{ij} \in {Lie}(H)\otimes \Omega^2(U_{ij}) forms comes from infinitesimal loops in the arrow space of the 2-bundle’s base 2-space and are enriched for larger loops.)

That one constraint is the infamous dt(B i)+F A i=0dt(B_i) + F_{A_i} = 0, which comes from the nature of the strict structure 2-group.

But the most general 2-bundle has a coherent structure 2-group instead, and I have now worked out some facts related to surface holonomy using coherent 2-connections. There the above constraint is indeed alleviated! This might be interesting, since at the same time the data which makes a strict 2-group coherent is encoded in an object with three group indices, which might be a candidate carrier of the respective n 3\sim n^3 degrees of freedom seen on 5-branes.

I don’t know if it is, but I know how to construct a generalization of a nonabelian gerbe with consistent surface holonomy which depends on a couple of algebra-valued pp-forms plus an element of H 3(G,K)H^3(G,K), where KHK \subset H is an abelian group inside an non-associative algebra HH. The key point is that in going from strict to coherent structure 2-groups one finds that up to “weakening” the essential equations remain intact:

Where the strict structure 2-group is described by a crossed module which involves the semidirect product of two groups, the coherent structure 2-group is described by what I tend to call a weak crossed module where the well-known relations hold only up to generalized similarity transformations which are determined by that element of H 3(G,K)H^3(G,K). This leads to a weakened form of path space connection and hence to a new notion of surface holonomy.

Arriving at this point involved a lot of work though. The results that I have managed to extract so far are summarized in this set of notes . (Look for the subsection ‘Coherent 2-Groups’.)

Posted at 5:47 PM UTC | Permalink | Trackbacks (1)

November 3, 2004

Nonabelian gerbes with connection and curving from 2-bundles with 2-holonomy

Posted by Urs Schreiber

Theorem: A GG-2-bundle with (‘categorically discrete’) base 2-space, strict structure automorphism 2-group, connection and 2-holonomy defines a nonabelian gerbe with connection and inner curving .

Proof:

The following sketch of a proof heavily uses definitions and results from math.CT/0410328, hep-th/0409200 and hep-th/0309173. But a GG-2-bundle with connection has not been defined yet, so here is the definition:

Definition: A G-2-bundle with connection is a 2-bundle with 2-cover UU together with a 2-map

(1)A:TULie(G) A : TU \longrightarrow {Lie}(G)

(where TUTU is the tangent 2-space to U) and with a natural transformation κ\kappa between the 2-map given by A iA_i and that given by g ijA jg ij 1g_{ij}A_j g_{ij}^{-1} on double overlaps.:

(2)κ:A ig ij(d+A j)g ij 1. \kappa: A_i \to g_{ij} (d+A_j) g_{ij}^{-1} \,.

(This is just the categorification of the transition law for a connection 1-form in an ordinary bundle.)

Now one can check the following:

(Let G=(H,Aut(H),t=Ad)G = (H,{Aut}(H),t={Ad}) be the strict automorphism 2-group and gg be the transition 2-map.)

1) A 2-transition on the 2-bundle is a natural transformation that encodes functions f ijkΩ 0Lie(H)f_{ijk} \in \Omega^0 \otimes {Lie}(H) satisfying

(3)g ijg jk=Ad f ijkg ik g_{ij}g_{jk} = {Ad}_{f_ijk}\, g_{ik}

on triple overlaps.

2) The coherence law for this natural transformation says that

(4)f ikl 1f ijk 1g ij(f jkl)f ijl=1 f_{ikl}^{-1}f_{ijk}^{-1} g_{ij}(f_{jkl})f_{ijl} = 1

on quadruple overlaps.

3) The natural transformation κ\kappa encodes functions a ijΩ 1Lie(H)a_{ij} \in \Omega^1 \otimes {Lie}(H) satisfying

(5)A i+ad(a ij)=g ij(d+A j)g ij 1 A_i + {ad}(a_{ij}) = g_{ij}(d + A_j)g_{ij}^{-1}

on double overlaps.

4) The coherence law associated with κ\kappa gives a further relation between g ijg_{ij}, A iA_i, a ija_{ij} and f ijkf_{ijk}.

5) The existence of a 2-holonomy in the 2-bundle implies locally the existence of 2-forms B iΩ 2Lie(H)B_i \in \Omega^2 \otimes {Lie}(H) satisfying

(6)K i+ad(B i)=0, K_i + {ad}(B_i) = 0 \,,

where K iK_i is the curvature of A iA_i.

6) From 3) it follows that the transition law for K iK_i is

(7)K i+ad(k ij)=g ij(d+A j)g ij 1, K_i + {ad}(k_{ij}) = g_{ij}(d + A_j)g_{ij}^{-1} \,,

where

(8)k ij=da ij+a ija ij+A i(a ij). k_{ij} = d a_{ij} + a_{ij}\wedge a_{ij} + A_i(a_{ij}) \,.

7) From the fact that the 2-holonomy is globally defined (by assumption) it hence follows that the local B iB_i are related by

(9)B i=g ij(B j)+k ij B_i = g_{ij}(B_j) + k_{ij}

on double overlaps.

The above list of equations characterizing properties of the 2-bundle with connection and holonomy can be checked to be the defining equations of a nonabelian gerbe with connection and curving characterized by the generalized cocycle

(10)(f ijk,g ij,a ij,A i,B i,d ij,H i) (f_{ijk},g_{ij},a_{ij},A_i,B_i,d_{ij},H_i)

for the special case

ad(B i)=K i {ad}(B_i) = -K_i , d ij=0 d_{ij} = 0 , ad(H i)=0 {ad}(H_i) = 0 .

Remark:

There are lots of of points where the above can be generalized: For one, it is possible to show how by allowing base 2-spaces whose arrow space is that of based loops one can get twisted nonabelian gerbes.

Then there is a strange dichotomy between generalizations possible on the 2-bundle side and those possible on the gerbe side: At the beginning of the above proof I severely restricted the possible properties of 2-bundles (e.g. they don’t need to have automorphism groups as structure 2-groups, as opposed to gerbes, and in fact they can have weak structure 2-groups), while at the end I restricted those of the nonabelian gerbe (by specializing to a very specific class of curving data).

But the latter restriction comes from the assumption that a 2-holonomy exists, as I have discussed a couple of times before here. It would be very interesting to better understand how this can be relaxed, if at all.

Posted at 2:37 PM UTC | Permalink | Trackbacks (1)