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.

January 9, 2006

(String) Physics from (Higher) Algebra

Posted by Urs Schreiber

As long-time readers of this blog know, I have the strange idée fixe of realizing string physics as a categorification of point particle quantum mechanics.

Last week I talked about a theorem by Viktor Ostrik which stated roughly that more or less every 2-module of a 2-ring R 2 is equivalent to a category of ordinary modules of some algebra object internal to R 2 . I note that this provides one more puzzle piece in a picture of strings in terms of categorified quantum mechanics.

First, what is quantum mechanics?

Let P 1 be the worldline category. This has 0-dimensional manifolds as objects and 1-dimensional manifolds (equipped with extra structure as appropriate) stretching between these as boundaries.

Usually one thinks of quantum mechanics as a functor (the propagator) from P 1 to Hilb. But this can be refined:

Let R be the ring of (measurable, continuous, smooth,…, whatever) functions on the configuration space of the system under consideration. More generally, we should be able to generalize to the case where R is the ring of any scheme playing the role of configuration space.

The crucial point of QM is that R is represented by bounded operators on some Hilbert space H, which hence plays the role of an R-module. Hence we can think of the QM propagator p as a functor

(1)p:P 1 RMod

from the worldline category to modules of the ring of functions over configuration space.

Using the monoidal structure of RMod (for commutative R) this applies similarly to perturbative quantum field theory (or many-particle QM). Here P 1 is replaced by Feyn 1 , the category of (unlabelled) ‘Feynman diagrams’ (1-dimensional cobordisms with merging/splitting).

Second quantization tells us to look at solutions of equations of motion inside objects in RMod which are acted on by the symmetry group G of the system (e.g. the Poincaré group). We may thus think of Rep(G) as sitting ‘inside’ RMod (I suppose), such that a Feynman graph is a functor

(2)Feyn 1 RMod

up to renormalization issues.

This (well-known) point of view is nicely reviewed in section 2.6 of Bruce Bartlett’s thesis.

The point is that Ostrik’s theorem indicates that categorifying this situation yields strings described along the lines of enriched elliptic objects.

The natural categorification of a ring is an abelian monoidal category. Let’s fix such a category and call it R 2 . As discusssed last time, a (2-)module for R 2 is a category M with a functor

(3)R 2 ×MM

satisfying the usual axioms of a left action up to coherent isomorphism. These module categories M live in a 2-category R 2 Mod of R 2 -modules.

Hence we suspect that categorified QM is a 2-functor

(4)p:P 2 R 2 Mod

from some 2-category of 2D-manifolds with boundary (and with additional structure as appropriate) to the 2-category of R 2 -modules.

But using Ostrik’s result, we find that (under some mild conditions)

- objects in R 2 Mod are labelled by (Morita classes) of algebra objects A,B,... internal to R 2 .

and it follows by an easy argument that

- 1-morphisms in R 2 Mod are labelled by internal AB-bimodules

- 2-morphisms in R 2 Mod are labelled by bimodule homomorphisms.

In other words, we have that R 2 Mod is essentially nothing but Bimod(R 2 ), the 2-category of bimodules internal to R 2 . Hence the above 2-functor can be viewed as

(5)p:P 2 Bimod(R 2 )

which assigns algebras to points, bimodules to string segments and bimodule morphisms to pieces of worldsheet.

That’s the rough structure of 2D CFT as described here. I have indicated before how this should translate to other categorical descriptions of CFT. Hopefully I’ll someday also see the translation to Kevin Costello’s viewpoint.

One fun thing to note is that (finite, hereditary) algebras are encoded by ‘quiver diagrams’ (directed graphs, essentially), while their modules are encoded by functors from the free category of the quiver to Vect. By ‘dimensional deconstruction’ we may think of at least some of these quivers as latticized spacetimes. But from this point of view functors from the quiver to Vect are like are a latticed baby version of functors

(6)p:Feyn 1 RMod.

and hence of perturbabtive QFT of point particles. So from this point of view we may say that the 2-functor

(7)p:P 2 Bimod(R 2 )

assigns quivers to points, quiver representations to string segments and morphisms of quiver (bi-)representations to worldsheet segments

or even that it assigns latticized spacetimes to points, QFT’s to string segments (that’s very loosely speaking) and transformations between these to worldsheet segments.

I had previously made some comments on what this might mean in section 4.4 of my thesis. It’s speculation, but there seems to be some interesting pattern emerging here.

Posted at January 9, 2006 5:30 PM UTC

TrackBack URL for this Entry:

0 Comments & 1 Trackback

Read the post (String) Physics from (Higher) Algebra, II
Weblog: The String Coffee Table
Excerpt: Some revisions on the program of categorifying quantum mechanics and relating it to string physics.
Tracked: January 24, 2006 8:19 PM

Post a New Comment