**We seem to still get a lot of google searches for this post. Jacob has an expository article out now that does a much better job of addressing this material than my liveblogging. You should read that paper instead.**

Jacob Lurie is in town giving two topology talks. The first one is on classifying 2-d extended TQFT (a topic near and dear to my heart), and the second is a more leisurely introduction to extended 2-dimensional TQFTs . As is often the case when Jacob is in town, the room is rather packed.

At the moment I’m liveblogging the second talk, for the first talk go past the flip.

Jacobs 2nd talk is starting now, and since Peter Teichner just described it as “the talk where you start from the beginning” I’m going to try to continue the liveblogging, and hopefully it’ll make the earlier talk make more sense.

In this talk, Jacob is describing his joint work with Mike Hopkins on extended TQFT inspired by Kevin Costello’s papers.

Jacob starts off recalling Atiyah’s celebrated definition that an n-dimensional TQFT is a tensor functor from nCob to complex vector spaces. The “functor” part here means that gluing cobordisms corresponds to composition of linear maps. The “tensor” part says that .

Then he recalls the well-known result that 2-dimensional TQFTs are classified by Frobenius algebras. To see this, you first consider the vector space assigned to a circle. Then a pair of pants gives a multiplication on this space, and a disc gives a trace. Using the relations between cobordisms you can see that these algebraic structures fit together to make a Frobenius algebra.

The moral of this story is that we should understand n-dimensional TQFT you want to understand it on some simple pieces, and then take your manifold and chop it up into those simple pieces. This is nice, but unfortunately you can’t chop things too finely. You aren’t allowed to chop it up in ways that have corners. This suggests another definition.

Definition: An extended TQFT (in dimension n) is a rule

- closed n-manifold –> complex number
- closed (n-1)-manifold –> vector space
- bordism of (n-1)-manfiold –> map of vector spaces
- closed (n-2)-manifold –> linear category
- bordism (n-2)-manifold –> linear functor
- …

The “…” is not intended to mean that it is easy to keep going, only that you’re meant to try. But since we’re only talking about low-dimensional topology and “here low means ” we don’t really need to understand the “…”.

This definition can be summarized as “An extended TQFT is a functor between n-categories.”

At this point there’s a bit of a digression in which Rob Kirby wants to know why we should think about this hard problem of what an n-category is when we don’t have any examples in dimensions above 3. Jacob says “I’m the wrong man to ask, I only understand what’s going on in dimension less than 2.”

After that digression he moves on to describe the Baez-Dolan Cobordism Hypothesis (paraphrased by Jacob): “Extended TQFTs are “easy to describe/construct.” Elaborating a bit further he says that you only need to describe the TQFT on very small building blocks, and then n-category theory will do all the work for you. Rather than making the conjecture more precise he’s going to give examples where the conjecture is known to hold.

(non-)example (n=2): We restrict our attention to a smaller category where we only allow certain bordisms allowed by string topology based on some manifold M. To a circle we assign the homology of the loop space on M. To a pair of pants we assign the Chas-Sullivan product on homology. (To a disc we don’t get anything, since that’s a bordism that isn’t allowed.)

But rather than just assigning homology, we’d rather assign the chain complex itself. Unfortunately given a bordism you only get a chain homotopy between the corresponding complexes. Nonetheless we can cook up out of this more operations on F(circle) associated to higher homology of Bord(M,N).

A better way to restate this is that Bord(M,N) = Map(F(M), F(N)) where the latter space of chain complexes is thought of as a topological space. So our TQFT here is actually a functor of -categories! That is the 2-morphism spaces aren’t just a set, they’re actually topological spaces, and the functor respects this topological structure.

Now we get down to the question at hand. Define the monoidal -category 2Bord defined by

- The objects of 2Bord are oriented (compact) 0-manifolds
- The morphisms of 2Bord are bordisms between 0-manifolds
- The space of 2-morphisms from f to g is the classifying space of bordisms from f to g which are trivial on their boundary

We want to classify tensor functors from this -category to other -categories. By Baez-Dolan we should expect this question to have an easy answer: all we need to know is where a point goes!

A point corresponds to some object C. The point with the opposite orientation corresponds to a dual to C (using a line segment as the map), so we need to require that C be dualizable. Then we can figure out where a circle goes just by making the circle out of two segments. So the circle goes to the “dimension” of C, which is an element of End(C).

This is already enough to classify 1-dimensional extended TQFTs! Exciting. Now we need to figure out how to promote 1-dim extended TQFTs to 2-dimensional ones.

So where is a disc going to go? Well, it must land in . Using the circle action on dim C (given by the circle action on the circle) we know that the disc lands in the circle fixed points of .

The punchline is that this is all that you need to know. The only data is a dualizable object and a circle fixed point in . You may need to check lots of relations, but you don’t need any more data than that.

This fact allows Jacob to give a quick description of string topology, and a proof that it is homotopy invariant. Since I don’t understand string topology, I’ll stop here.

The first talk was a bit more difficult, but in case you’re curious here’s what I got from it. There’s a good bit of overlap with the second talk, but for completeness I’ll leave it here.

Jacob’s first step is to describe the -category of 2-bordisms. This definition is roughly:

- The objects of 2Bord are oriented (compact) 0-manifolds
- The morphisms of 2Bord are bordisms between 0-manifolds
- The space of 2-morphisms from f to g is the classifying space of bordisms from f to g which are trivial on their boundary

It is this last step, the description of the 2-morphisms is where the comes in. The 2-morphisms are a topological space where you’re remembering all the higher structure, not just a set.

Furthermore, this (higher) category, has a monoidal structure given by disjoint union.

Jacob then defines an *extended* TQFT as a tensor functor from 2Bord to another monoidal category. The simplest example (corresponding to traditional 2d extended TQFT) is when the target category is:

- Objects are algebras
- Morphisms are bimodules
- 2-Morphisms are maps of bimodules

This monoidal category is particularly nice because it is an honest 2-category with no annoying infinity. This is because the 2-morphisms are just a set.

Understanding an arbitrary extended 2-d TQFT is going to be hard because categories are hard. So instead we take the following approach:

- Throw away noninvertible 2-morphisms to get an “underlying” category.
- Rember the invertible 2-morphisms. So for any two objects there should be an categories-worth of homs.
- Since we only need to understand the map which sends the objects of our category to some monoidal category.
- Do the Grothendieck construction. I didn’t follow this…

The upshot is that rather than studying the monoidal category we instead look at a certain functor between monoidal categories, which is a lot less troubling.

In the case of 2Bord, we end up with the following two -category. The first is the “open-closed” category which appears in Kevin Costello’s work. This is mapping to just 1Bord.

Our target monoidal category is replaced by some pair . So functors to this target category are just a pair of compatable functors and .

The latter functor reduces to just a question about 1-dimensional TQFT, so it’s pretty easy. The former question is a bit more delicate and seriously uses Kevin’s work.

Having not been to the seminar on Costello’s work last semester I’ve had a bit of difficulty following the next section. There’s a lot of things about A-infinity Frobenius algebras. Perhaps Chris will be able to fill in some details.

Finally Jacob returns to a more traditional way of thinking about 2d TQFT, he takes generators and relations and sees what structure this gives to the target category. Using his abstract theory he is eventually able (in theory, not in the talk, since he ran out of time) to give a more concrete classification of 2d-TQFT.

In an hour he’s giving another talk on the same material so after that talk I may try to fix up some of the parts that I missed.W

Wow, great job Noah! I was at the first talk and I didn’t notice that you were blogging.

Let me try to explain better Jacob’s recipe 1-4.

Start with a (infinity, 2) category C. Throw away non-invertible 2-morphisms to get a (infinity, 1) category C_0. Then construct a new (infinity, 1) category C_1 (this is denoted C_0 with a bar on top above) whose objects are pairs (A, eta) where A is an object in C_0 and eta is a morphism from the unit object 1 to A. The morphism spaces in C_1 is how you end up remembering the non-invertible 2-morphisms in C.

So now if you start with 2-Bord, then C_0 is 1-Bord and C_1 is a category with objects 1-manifolds with boundary and morphisms certain bordisms between them. This is Costello’s open-closed category. He has proved some results about moduli spaces of such objects (the spaces of morphisms in this category) — namely that there are certain deformation retractions.

I think that Jacob’s point is that you can apply Costello’s results on the spaces of morphisms in C_1 to help you understand the lifting problem that Noah mentions above.

I know next to nothing about string topology, but apparently Sullivan had hoped (I think “conjectured” is a bit strong here) that it could detect more structure than homotopy, such as homeomorphism or diffeomorphism type. The Hopkins-Lurie result here is significant in part because it showed that that was false.