Also available as http://math.ucr.edu/home/baez/week245.html(adsbygoogle = window.adsbygoogle || []).push({});

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 [Broken]

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/ [Broken]

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

-----------------------------------------------------------------------

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

**Physics Forums | Science Articles, Homework Help, Discussion**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# This Week's Finds in Mathematical Physics (Week 245)

Can you offer guidance or do you also need help?

Draft saved
Draft deleted

**Physics Forums | Science Articles, Homework Help, Discussion**