Also available as http://math.ucr.edu/home/baez/week245.html
February 11, 2007
This Week's Finds in Mathematical Physics (Week 245)
John Baez
The University of Toronto is an urban campus, rather grey and chilly
at this time of year. Nestled amid other buildings at the southern
edge of campus, the Fields Institute doesn't stand out.
But inside, you'll find a spacious and peaceful atrium, with a
fireplace to keep you cozy. A spiral staircase winds up three or
four stories. Hanging from the ceiling far above is a 3d model of
the "120-cell": a beautiful 4-dimensional solid with 120 regular
dodecahedra as faces.
This is a tribute to the great geometer H. S. M. Coxeter, master of
polyhedra, who worked for 60 years at the University of Toronto after
studying philosophy at Cambridge under Wittgenstein. You'll also
find Coxeter's piano sitting at the base of the spiral staircase.
It's out of tune, but resting on it there's a wonderful strange
portrait of him playing the very same piano - at the age of three.
He looks a bit like the child Mozart. And indeed, at the age of 12
Coxeter composed an opera!
The Fields Institute specializes in having conferences, and it's
a great place for that. A friendly and efficient staff, public
workstations, wireless internet everywhere, a nice little cafe in
the back, and the centerpiece: a large lecture room with 3 double
blackboards. Unfortunately the middle blackboard doesn't stay up -
it's needed that repair for years, old-timers say. But apart from
that, everything is as close to mathematician's heaven as could be
expected.
Eugenia Cheng, Peter May and I ran a workshop at the Fields
Institute from January 9th to 13th:
1) Higher Categories and Their Applications,
http://math.ucr.edu/home/baez/fields/
You can see photos of people and abstracts of their talks
at this site. You can also see PDF files of many of their
talks - and even listen to talks!
The first day, Tuesday, was all about 2-categories and 3-categories -
"lower category theory", you might say. While some are
eagerly sailing into the stratosphere of n-categories for
general n, or even n = infinity, there's still a lot to
understand for n = 2 and 3.
For starters, Tom Leinster spoke about strict 2-categories versus
weak ones (also known as bicategories). It's a famous fact - a
generalization of Mac Lane's coherence theorem - that every weak
2-category C is equivalent to a strict one st(C). However, this is
true *if* your notion of equivalence is suitably weak! In short,
what we've got is an inclusion of weak 3-categories:
i: Strict2Cat -> Weak2Cat
where
Strict2Cat = [strict 2-categories,
strict 2-functors,
strict natural transformations,
modifications]
and
Weak2Cat = [weak 2-categories,
weak 2-functors,
weak natural transformations,
modifications]
Every object in Weak2Cat is equivalent to one in the image of
this inclusion. But, the inclusion is not itself an equivalence!
Steve Lack spoke about Gray-categories, also known as "semistrict"
3-categories - a convenient middle ground between the strict
3-categories and the weak ones (also known as tricategories).
The idea here goes back to John Gray. In the usual Cartesian
product of categories, whenever we have a morphism
f: A -> B
in the first category and a morphism
f': A' -> B'
in the second, we get a commuting square:
(f,1)
(A,A') -------> (B,A')
| |
(1,g)| |(1,g)
| |
v v
(A,B') -------> (B,B')
(f,1)
in their Cartesian product. The same is true for the Cartesian
product of 2-categories. But in the "Gray" tensor product of
2-categories, these squares commute only up to 2-isomorphism.
And, we can use this weakening of the Cartesian product to weaken
the concept of strict 3-category, and obtain the concept of
"semistrict" 3-category, or "Gray-category".
Here's how. A strict 3-category is a gizmo with:
a) a bunch of objects,
b) for any pair of objects x,y, a 2-category hom(x,y),
and
c) for any triple of objects x,y,z, a 2-functor
o: hom(x,y) x hom(y,z) -> hom(x,z)
such that
d) associativity and the unit laws hold.
A semistrict 3-category is a gizmo with:
a) a bunch of objects,
b) for any pair of objects x,y, a 2-category hom(x,y),
and
c) for any triple of objects x,y,z, a 2-functor
o: hom(x,y) tensor hom(y,z) -> hom(x,z)
where "tensor" is the Gray tensor product, such that
d) associativity and the unit laws hold.
The slight difference is very important. Not every weak 3-category
is equivalent to a strict one. But, they're all equivalent to
semistrict ones!
There are, alas, some deficiencies in the semistrict world, which
Steve Lack has recently noted:
2) Steve Lack, Bicat is not triequivalent to Gray, available as
math.CT/0612299.
To understand this, you may need a little warmup. Given strict
2-categories B and C there's a strict 2-category hom(B,C) such that
strict 2-functors
A x B -> C
are in natural 1-1 correspondence with strict 2-functors
A -> hom(B,C)
Here's what hom(B,C) is like:
hom(B,C) has strict 2-functors from B to C as objects,
strict natural transformations between these as morphisms,
modifications between these as 2-morphisms.
We can pose the same question with the Gray tensor product replacing
the Cartesian product. Given 2-categories B and C there's a
2-category [B,C] such that strict 2-functors
A tensor B -> C
are in natural 1-1 correspondence with strict 2-functors
A -> [B,C]
Here's what [B,C] is like:
[B,C] has strict 2-functors from B to C as objects,
weak natural transformations between these as morphisms,
modifications between these as 2-morphisms.
This suggests that we consider a 3-category intermediate between
Strict2Cat and Weak2Cat. It's called Gray, and it goes like this:
Gray = [strict 2-categories,
strict 2-functors,
weak natural transformations,
modifications]
We have inclusions of weak 3-categories:
Strict2Cat -> Gray -> Weak2Cat
and Lack shows, not only that the second inclusion fails to be an
equivalence, but that there's *no* equivalence between Gray and
Weak2Cat.
All this suggests that for some purposes we really need to face up
to weak 2-categories: the strict and semistrict setups aren't flexible
enough for every job. The same is undoubtedly true at the 3-category
level - and that's where the next talk comes in!
In the next talk, Nick Gurski spoke about weak 3-categories. He wrote
his thesis about these, and I'm starting to really wish he'd put his
thesis on the arXiv, so everyone can see how cool it is and learn more
about 3-categories. But, I guess he wants to perfect it.
In his talk, Nick not only explained the definition of weak 3-category,
which is famously complicated - he did his best to convince us that
we could reinvent this definition ourselves if we tried! Then he
went ahead and discussed various proofs that every weak 3-category is
equivalent to a semistrict one.
An interesting theme of all three talks was the idea of treating
the "strictification" functor implicit in Mac Lane's coherence
theorem:
st: Weak2Cat -> Strict2Cat
as the left adjoint of the inclusion
i: Strict2Cat -> Weak2Cat
where now we think of both Strict2Cat and Weak2Cat as mere
1-categories. You can read more about this idea here:
3) Miles Gould, Coherence for categorified operadic theories,
available as math.CT/0607423.
On Tuesday night, Mike Shulman gave an introduction to model
categories, which are a tool developed by Quillen in the late
1960s to unify homotopy theory and homological algebra.
If you want to understand the basics of model categories, you
should probably start by listening to his talk, and then read
this:
4) W. G. Dwyer and J. Spalinski, Homotopy theories and model
categories, available at
http://hopf.math.purdue.edu/Dwyer-Spalinski/theories.pdf
For more references, try "week170".
Here's the rough idea:
In homotopy theory we study topological spaces; in homological
algebra we study chain complexes. But, in both cases we study
them in a funny way. There's a category of topological spaces
and continuous maps, and there's a category of chain complexes
and chain maps, but these categories are not everything that
counts. Normally, we say two objects in a category are "the
same" if they're isomorphic. But in this case we often use a
weaker concept of equivalence!
In homotopy theory, we say a map between spaces
f: X -> Y
is a "weak homotopy equivalence" if it induces isomorphisms on
homotopy groups:
pi_n(f): pi_n(X) -> pi_n(Y)
In homological algebra, we say a map between chain complexes
f: X -> Y
is a "quasi-isomorphism" if it induces isomorphisms on homology
groups:
H_n(f): H_n(X) -> H_n(Y)
Model category theory formalizes this by speaking of a category
C equipped with a classes of morphisms called "weak equivalences".
We can formally invert these and get a new category Ho(C) where
the weak equivalences are isomorphisms: this is called the
"homotopy category" or "derived category" of our model category.
But this loses information, so it's often good *not* to do this.
In a model category, we also have a class of morphisms called
"fibrations", which you should imagine as being like fiber bundles.
Dually, we have a class of morphisms called "cofibrations", which you
should imagine as well-behaved inclusions, like the inclusion of
the closed unit interval in the real line - not the inclusion of
the rationals into the real line.
Finally, the weak equivalences, fibrations and cofibrations
satisfy some axioms that make them interlock in a powerful way.
These axioms are a bit mind-numbing at first glance, so I won't
list them. But, they encapsulate a lot of wisdom about homotopy
theory and homological algebra!
On Wednesday the talks were about n-categories and homotopy
theory. I kicked them off with a general introduction to the
"Homotopy Hypothesis": Grothendieck's idea that homotopy theory
was secretly about infinity-groupoids - that is, infinity-categories
where all the j-morphisms have weak inverses.
5) John Baez, The homotopy hypothesis,
http://math.ucr.edu/home/baez/homotopy/
Part of the idea is that if you hand me a space X, I can cook up
an infinity-groupoid which has:
points of X as objects,
paths in X as morphisms,
homotopies between paths in X as 2-morphisms,
homotopies between homotopies between paths in X as 3-morphisms,
etc....
This is called the "fundamental infinity-groupoid of X".
But another part of the idea is that if you hand me a model
category C, I can cook up an infinity-category which has:
nice objects of C as objects,
morphisms in C as morphisms,
homotopies between morphisms in C as 2-morphisms,
homotopies between homotopies between morphisms in C as 3-morphisms,
etc....
The basic idea here is simple: we're studying homotopies between
homotopies between... and so on.
(But, there's a little technicality - this "nice object" business.
An object of C is "fibrant" if its unique morphism from the initial
object is a fibration, and "cofibrant" if its unique morphism to
terminal object is a cofibration. Objects with both properties
are what I'm calling "nice". For example, in the category of
topological spaces, the "cell complexes" (made by gluing balls
together) are nice. In the category of chain complexes, the
"projective" chain complexes are nice. Only for these nice
objects do homotopies work as well as you'd hope. Luckily,
every object in C is weakly equivalent to one of these nice ones.)
The interesting thing about the above infinity-category is that it's
an "(infinity,1)-category", meaning that all its j-morphisms are
weakly invertible for j > 1. For example, maps between spaces
aren't necessarily invertible, even up to homotopy - but homotopies
are always invertible.
We can define "(infinity,k)-categories" for any k in the same way,
and we see that (infinity,0)-categories are just infinity-groupoids.
So, the Homotopy Hypothesis reveals the beginning of what might be
a very nice pattern. Roughly:
Topological spaces, as studied in homotopy theory, are secretly
(infinity,0)-categories.
Model categories, as studied in homotopy theory, are secretly
(infinity,1)-categories.
????, as studied in homotopy theory (not yet?), are secretly
(infinity,2)-categories.
Etcetera....
Presumably the ???? should be filled in with something like
"model 2-categories", with the primordial example being the
2-category of model categories, just as the primordial example
of a model category is the category of spaces.
But, there's only been a little study of this sort of "meta-homotopy
theory" so far. For example:
6) Julie Bergner, Three models for the homotopy theory of homotopy
theories, available as math.AT/0504334.
After my talk, Simona Paoli spoke about her work on turning the
homotopy hypothesis from a dream into a reality:
7) Simona Paoli, Semistrict models of connected 3-types and
Tamsamani's weak 3-groupoids, available as math.AT/0607330.
8) Simona Paoli, Semistrict Tamsamani n-groupoids and connected
n-types, available as math.AT/0701655.
Eugenia Cheng then spent the afternoon leading us through another
approach:
9) Clemens Berger, A cellular nerve for higher categories,
available at http://citeseer.ist.psu.edu/383423.html
10) Denis-Charles Cisinski, Batanin higher groupoids and homotopy
types, available as math.AT/0604442.
I would love to explain this stuff, mainly as an excuse for
learning it better! But alas, I'm getting a bit tired and we're
only on the second day of the workshop... I must hurry on.
On Wednesday evening, Peter May spoke about some applications of
weak 2-categories that appear in his new book:
11) Peter May and J. Sigurdsson, Parametrized Homotopy Theory,
American Mathematical Society, 2006.
The rough idea is that we have a weak 2-category with:
spaces as objects,
spectra over X x Y as morphisms from X to Y,
maps between spectra over X x Y as 2-morphisms.
Lots of ideas from "parametrized" stable homotopy theory are
neatly encoded as results about this 2-category.
Thursday was all about (infinity,1)-categories. The first talk
was by Mike Shulman, who gave a nice intuitive treatment of Andre
Joyal's approach to (infinity,1)-categories.
In 1957, Daniel Kan figured out a nice way to describe
infinity-groupoids as simplicial sets with a certain property:
now they're called "Kan complexes". They're very popular among
homotopy theorists. You can read about them here:
12) Paul G. Goerss and J. F. Jardine, Simplicial Homotopy Theory,
Birkhaeuser, Basel, 1999.
Given this, it's not so surprising that we can describe
(infinity,1)-categories as simplicial sets with some more
general property. In fact this was done by Boardmann and Vogt
back in 1973. In the last decade or so, Joyal has developed
an enormous body of results about these (infinity,1)-categories,
which he calls "quasicategories". He is writing a book on the
subject, which is not quite done yet - but it's already enormously
influenced the state of higher category theory, and I expect it
will continue to do so.
Next Julie Bergner compared different approaches to (infinity,1)-
categories. I mentioned a while back that she's one of the few
people who has worked hard on "meta-homotopy theory". That was
very much in evidence in her talk.
She began by describing a bunch of different definitions of
(infinity,1)-category. But then she showed these definitions
weren't really so different! For each definition, she constructed
a model category of all (infinity,1)-categories of that type.
And then, she sketched the proof that all these model categories
were "Quillen equivalent".
For details, listen to her talk or try this paper:
13) Julie Bergner, A survey of (infinity, 1)-categories,
available as math.AT/0610239.
In the afternoon, Andre Joyal spoke about quasicategories.
I urge you to listen to his talk and also the minicourse he
later gave on this subject:
14) Andre Joyal, Graduate course on basic aspects of
quasicategories, http://www.fields.utoronto.ca/audio/#crs-quasibasic
I can't possibly summarize this stuff! It basically amounts to
taking the whole of category theory and extending it to
quasicategories.
(Well, I guess I just summarized it, but....)
After Joyal's talk, Joshua Nichols-Barrer spoke about using
quasicategories as an approach to understanding "stacks", which
are like sheaves, only categorified.
In the evening, Kathryn Hess spoke about some work she's doing
with Steve Lack, on parallel transport in bundles of bicategories.
Sounds like physics, but they came to the subject from a completely
different motivation!
Finally, Dorette Pronk spoke about weak 2-categories and weak
3-categories of fractions. The notion of a "calculus of fractions"
goes back at least to the work of Gabriel and Zisman in 1967:
15) P. Gabriel and M. Zisman, Categories of Fractions and Homotopy
Theory, Springer-Verlag, Berlin, 1967.
Say you have a category and you want to throw in formal inverses to
some morphisms. Well, you can do it! But in general, the morphisms
in the resulting category will be arbitrarily long "zig-zag" diagrams
in your original category, like this:
X_1 ---> X_2 <--- X_3 ---> X_4 <--- X_5 ---> X_6
The arrows pointing backwards are the ones you threw in formal
inverses for.
This is a nuisance! But luckily, in nice cases, you only need to use
zig-zags of length two. This is what a "calculus of fractions"
achieves. A classic example is when you start with a model category
C, and you throw in formal inverses for the weak equivalences to
get the "homotopy category" Ho(C).
Dorette Pronk has been looking at how all this generalizes when
you have a weak 2-category or weak 3-category and you throw in
*weak* inverses to some morphisms. This has some interesting
applications to stacks:
16) Dorette A. Pronk, Etendues and stacks as bicategories of
fractions, Compositio Mathematica, 102 (1996), 243-303. Also
available at http://www.numdam.org/numdam-bin/recherche?h=nc&id=CM_1996__102_3_243_0
Dorette's talk ended at 9 pm, and everyone went home and collapsed
after a hard day's work. Actually not: a bunch of us went out and
partied! One of the great things about working on n-categories is the
sense of camaraderie among the small crowd that does this.
Friday's talks were about higher gauge theory. Since I've discussed
this many times here, I'll be terse. Alissa Crans explained Lie
2-groups and Lie 2-algebras, and then Danny Stevenson explained his
work on connections, 2-connections and Schreier theory (see
"week223"). In the afternoon, Urs Schreiber described his ideas
on higher-dimensional parallel transport and local trivializations,
with a little help from Toby Bartels.
Friday evening, we heard talks from Simon Willerton (on Hopf monads)
and Igor Bakovic (on 2-bundles). Quite an evening! Bakovic is an
impressive young Croatian fellow who seems to have taught himself
n-categories. We were all horrified when it became clear he had over
30 pages of transparencies, but his talk was actually quite nice.
And if you like higher-dimensional diagrams anywhere near as much
as I do, you've got to take a look at Willerton's slides:
17) Simon Willerton, The diagrammatics of Hopf monads,
http://math.ucr.edu/home/baez/fields/willerton/
Again the talks ended at 9 pm.
Finally, on Saturday morning, spoke about Frobenius algebras and
their relation to Khovanov homology:
18) Aaron Lauda, Frobenius algebras, quantum topology and higher
categories, available at
http://www.math.columbia.edu/~lauda/talks/Fields/
Urs Schreiber then wrapped things up with a talk about the
quantization of strings from a higher category viewpoint.
You can get a good feeling for this from his blog entries at
the n-Category Cafe, which are all listed on my webpage for
this workshop - the first webpage mentioned this Week.
Speaking of the n-Category Cafe - after the workshop ended, Bruce
Bartlett interviewed Urs and I about this blog, which we run
together with David Corfield. You can see the interview here:
19) John Baez and Urs Schreiber, Interview by Bruce Bartlett,
http://math.ucr.edu/home/baez/interview2.html
-----------------------------------------------------------------------
Addendum: For more discussion, go to the n-Category Cafe:
http://golem.ph.utexas.edu/category/2007/02/this_weeks_finds_in_mathematic_6.html
-----------------------------------------------------------------------
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 at
http://math.ucr.edu/home/baez/
For a table of contents of all the issues of This Week's Finds, try
http://math.ucr.edu/home/baez/twfcontents.html
A simple jumping-off point to the old issues is available at
http://math.ucr.edu/home/baez/twfshort.html
If you just want the latest issue, go to
http://math.ucr.edu/home/baez/this.week.html