From: baez@guitar.ucr.edu (john baez)
Newsgroups: sci.physics.research,sci.physics,sci.math
Subject: This Week's Finds in Mathematical Physics (Week 49)
Organization: University of California, Riverside
Lines: 173
Approved: jbaez@math.mit.edu
This Week's Finds in Mathematical Physics (Week 49)
John Baez
For the last year or so I've been really getting interested in
n-categories as a possible tool for unifying a lot of strands
in mathematics and physics. What's an n-category? Well, in a
sense that's the big question! Roughly speaking, it's a structure
where there are a bunch of "objects", and for any pair of objects x,y
a bunch of "morphisms" from x to y, written f: x -> y, and for
any pair of morphisms f, g: x -> y a bunch of "2-morphisms"
from f to g, written F: f => g, and for any pair of 2-morphisms
F, G: f -> g a bunch of "3-morphisms" from F to G,... and so on,
up to n-morphisms. Ordinary categories, or 1-categories, have
been studied since the 1940s or so, when they were invented by
Eilenberg and Mac Lane. Anyone wanting to get going on those could try:
1) Categories for the Working Mathematician, by S. Mac Lane,
Springer, Berlin, 1988.
Roughly, categories give a general framework for
dealing with situations where you have "things" and "ways to
go between things", like sets and functions, vector spaces
and linear maps, points in a space and paths between points, etc.
That's a pretty broad territory! n-categories show up when you
also have "ways to go between ways", "ways to go between ways
to go between ways", etc. That may seem a little weird at first.
But in fact they show up in a lot of places if you look for them.
Perhaps the most obvious place is topology. If you think of a
point in a space as an object, and a path between two points as
a morphism:
f
x ----------------->-------------------- y
you are easily tempted to think of a "path of paths" as a 2-morphism.
Here a "path of paths" is just a continuous 1-parameter family of
paths from x to y, which you can think of as tracing out a 2-dimensional
surface, as follows:
f
------------>-----------------
/ \
/ | \
/ | F \
x | y
\ V /
\ /
\ g /
----------->------------------
And one can keep on going and look at "paths of paths of paths", etc.
In fact, people in homotopy theory do this all the time.
There is another example, equally primordial, which is a bit more
"inbred" in flavor. In other words, if you already know and love
n-categories, there is a wonderful example of an (n+1)-category which
you should know and love too! Now this isn't so bad, actually,
because a 0-category is basically just a *set*, namely the set of
objects. Since everyone knows and loves sets, everyone can start
here! Okay, there is a wonderful 1-category called Set, the category
of all sets. This has sets as its objects and functions between sets
as its morphisms. So now that you know an example of a 1-category,
you know and love 1-categories, right? Well, it turns out there is
this wonderful thing called Cat, the 2-category of all 1-categories.
(Usually people restrict to "small" 1-categories, which have a mere
*set* of objects, so that set theorists don't start freaking out at a
certain point.) To understand why Cat is a 2-category is a bit of
work, but as objects it has categories, as morphisms it has the usual
sort of morphisms between categories, so-called "functors", and as
2-morphisms it has the usual sort of things that go between functors,
so-called "natural transformations". These are the bread and butter
of category theory; just take my word for it if you haven't studied
them yet! Okay, so Cat is a 2-category, so now you know and love
2-categories, right? (Well, I haven't even told you the definitions,
but just nod your head.) Guess what: there is this wonderful thing
called 2Cat, the 3-category of all 2-categories! And so on.
So in short, the detailed theory of n-categories at each level
automatically leads one to get interested in (n+1)-categories. Now
for the bad news: so far, people have only figured out the right
definition of n-category for n = 0, 1, 2, and 3. By the "right"
definition I mean the ultimate, most general definition, which should
be the most useful in many ways. So far people only know about
"strict" n-categories for all n, which one can think of as a special
case of the ultimate ones; the ultimate 1-categories are just
categories, the ultimate 2-categories are often called bicategories
(see the reference to Benabou in week35), and ultimate 3-categories
are usually called tricategories (see the reference to the paper by
Gordon, Power and Street) in week29. Tricategories were just defined
last year! They have a whole lot to do with knots, Chern-Simons
theory, and other 3-dimensional phenomena, as one might expect. If we
could understand the ultimate 4-categories --- tetracategories? --- it
would probably help us with some of the riddles of topology and
physics in 4 dimensions. (Indeed, what little we *do* understand
is already helping a bit.)
So anyway, I have been trying to learn about these things, and
had the good luck to meet James Dolan via the net, who has
helped me immensely, since he eats, lives and breathes category theory,
and he is now at Riverside hard at work figuring out the ultimate
definition of n-categories for all n. (Although when he reads this,
he will not be hard at work; he will be goofing off, reading the news.)
He and I have have written one paper so far espousing our philosophy
concerning n-categories, topology, and physics:
2) John Baez and James Dolan, Higher-dimensional algebra and
topological quantum field theory, Jour. Math. Phys. 36 (1995),
6073-6105. Also available at arXiv:q-alg/9503002.
One of the main themes of this paper is what I sometimes jokingly call
the "periodic table". Say you have an (n+k)-category with only one
object, one morphism, one 2-morphism, ... and only one (k-1)-morphism.
Then all the interest lies in the k-morphisms, the (k+1)-morphisms,
and so on up to the (k+n)-morphisms. So there are n interesting
levels of morphism, and we can actually think of our (n+k)-category as
an n-category of a special sort. Let's call this kind a "k-tuply
monoidal n-category". Now we can make a chart of these:
k-tuply monoidal n-categories
n = 0 n = 1 n = 2
k = 0 sets categories 2-categories
k = 1 monoids monoidal monoidal
categories 2-categories
k = 2 commutative braided braided
monoids monoidal monoidal
categories 2-categories
k = 3 " " symmetric weakly
monoidal involutory
categories monoidal
2-categories
k = 4 " " " " strongly
involutory
monoidal
2-categories
k = 5 " " " " " "
First, I should emphasize that some parts of the chart as I've
drawn it here are a bit conjectural; since we don't know what
the most general 7-categories are like, for example, we don't
really know for sure what 5-tuply monoidal 2-categories are like.
The exact status of all the entries on the table is made more
clear in the paper. For now, let me just say, first, that these
various flavors of n-categories turn out to be of great interest
in topology --- some have already been used a lot in topological
quantum field theory and knot theory, other less, so far, but they
all seem to have lot to do with generalizations of knot theory to
different dimensions. Second, it seems that the nth column "stabilizes"
by the time you get down to the (n+2)nd row. This very interesting
pattern turns out also to have a lot to do with knots and their
generalizations, and also to a subject called stable homotopy theory.
Now it also appears that there is a nice recipe for hopping down the
columns. (Again, we only understand this *perfectly* in certain
cases, but the pattern seems pretty clear.) In other words, there's
a nice recipe to get a (k+1)-tuply monoidal n-category from a
k-tuply monoidal one. It goes like this. Hang on to your seat.
You start with a k-tuply monoidal n-category C. It's a special
sort of (n+k)-category, so its an object in (n+k)Cat. But
(n+k)Cat, remember, is an (n+k+1)-category. Now look at the
largest sub-(n+k+1)-category of (n+k)Cat which has C as its
only object, 1_C (the identity of C) as its only morphism,
1_{1_C} as its only 2-morphism, 1_{1_{1_C}}} as its only 3-morphism,
and so on, up to 1_{......} as its only k-morphism. Let's call
this C'. If one keeps count, this should be a (k+1)-tuply monoidal
n-category. That's how it goes.
Now say we do this to an example. Say we do it to the category C
of all representations of a finite group G. This is in fact a monoidal
category, so the result C' is a braided monoidal category. It is,
in fact, just the category of representations of the "quantum double"
of G, which is an example of what one might call a "finite quantum
group". These play a big role in the study of Chern-Simons theory
with finite gauge group (see the papers by Freed and Quinn in week48).
One can also get the other quantum groups with the aid of this
"quantum double" trick. A good description of this case appears
in:
3) Double construction for monoidal categories, by Christian Kassel and
Vladimir Turaev, Publication de l'Institute de Recherche Mathematique
Avancee, 1992.
So this is rather remarkable: starting from a finite group, and
all this n-categorical abstract nonsense, out pops precisely the raw
ingredients for a perfectly respectable 3-dimensional topological
quantum field theory! Understanding *why* this kind of thing works
is part of the aim of Dolan's and my paper, though there are some
important pieces of the puzzle that we don't get around to mentioning
there.
Right now I'm busily working out the details of how to get braided
monoidal 2-categories from monoidal 2-categories by the same trick,
with the aid of Martin Neuchl and Frank Halanke here. These should
have a lot to do with 4-dimensional topological quantum field theories
(see e.g. the paper by Crane and Yetter cited in week46). And here I
can't resist mentioning a very nice paper by Neuchl and Schauenburg,
4) Reconstruction in braided categories and a notion of commutative
bialgebra, Martin Neuchl and Peter Schauenburg, Mathematisches
Institut, Theresienstr. 39, 80333 Muenchen, Feb. 20, 1995.
Let me conclude by describing this. I always let myself get a bit
more technical at the end of each issue, so I'll do that now.
The relationship between Hopf algebras and monoidal categories is
given by "Tannaka-Krein reconstruction theorems", which give conditions under
which a monoidal category is equivalent to the category of representations
of a Hopf algebra, and actually constructs the Hopf algebra for you.
In physics people use related but fancier "Doplicher-Haag-Roberts"
theorems to reconstruct the gauge group of a quantum field theory.
This paper starts with the beautiful Tannaka-Krein theorem in
5) Tannaka duality for arbitrary Hopf algebras, by Peter Schauenburg,
Algebra-Berichte 66 (1992).
Leaving out a bunch of technical conditions that make the theorem
actually TRUE, it says roughly that when you have a braided monoidal
category B, a category, and a functor f: C -> B, there is a coalgebra
object a in B, the universal one for which f factors through the forgetful
functor from a-Comod (the category of a-comodule objects in B) to B.
The point is that the ordinary Tannaka-Krein theorem is a special
case of this one where B is the category of vector spaces. The point
of the new paper is as follows. Suppose C is actually braided monoidal and
f preserves the braiding and monoidal structure. Then we expect a to
actually be something like commutative bialgebra object in B. The
paper makes this precise. There are actually some sneaky issues involved
in doing so. In particular, the "quantum double" trick for categories
makes an appearance here. I guess I'll leave it at that!
--------------------------------------------------------------------------
Previous issues of "This Week's Finds" and other expository articles on
mathematics and physics (as well as some of my research papers) can be
obtained by anonymous ftp from math.ucr.edu; they are in the
directory "baez." The README file lists the contents of all the papers.
On the World-Wide Web, you can attach to the address
http://info.desy.de/user/projects/Physics.html to access these files and
more on physics. Please do not ask me how to use hep-th, gr-qc, or q-alg;
instead, read the file preprint.info.