Journal Club — Geometric Infinity-Function Theory — Week 6
Posted by John Baez
guest post by Alex Hoffnung
Hi
This section is broken into two short parts. I will try to say a little about the first here and then head over to the Lab to say more soon.
Topological field theory from perfect stacks
Early on we learn about -dimensional TQFT’s as functors from to or something of that sort. Here is the category whose objects are -dimensional manifolds and whose morphisms are -dimensional manifolds whose boundary we think of as having an “incoming” -dimensional manifold as source and similarly an “outgoing” -dimensional manifold as target. Of course, could have been replaced with a variety of different categories.
Eventually we grow up and have to learn new things. So today we are going to change our notion of : let denote the -category whose objects are compact oriented -manifolds and whose morphisms consist of the classifying spaces of oriented topological surfaces with fixed incoming and outgoing components , . This is given symmetric monoidal structure by disjoint union of -manifolds.
Then of course we need to replace by a symmetric monoidal -category .
Now if we know what these symmetric monoidal -categories are then we are ready to define the notion of topological field theory. Since all the hard work was pushed into understanding , then the definition is obvious:
Definition
A -dimensional topological field theory is a symmetric monoidal functor .
So that was the background that we need. Maybe in a few years we will say “Early on we learn about -dimensional TFT’s as symmetric monoidal functors from to ” and everyone will know that we mean -categories.
Next we define the values of our TFT’s for the present example. We first fix a derived ring .
Definition
Let denote the -category of stable, cocomplete -linear -categories, with -morphisms consisting of continuous exact functors.
So when I hit ‘-category’ something funny happens and the rest of the sentence comes out as “…of blah-blah-blah-categories, with -morphisms consisting of continuous exact functors.” This shouldn’t really happen since stable, cocomplete and -linear are friendly enough concepts, but it definitely tells me I should slow down and learn to love -categories.
I am going to again put off explanations for a later date at the Lab.
Thinking about the symmetric monoidal structure for a moment gets us to the first of our two results which are approximately of the form “You give me a perfect stack and I will give you a TFT”.
The symmetric monoidal structure comes from the tensor product of presentable stable categories with unit the -category of -modules. Why do we care? From here we can see what the TFT should assign to closed surfaces. In our example the answer will just be a -module.
How does it work? Luckily, this is ‘monoidally easy’ so I can hopefully understand it. We note that the unit of is the empty -manifold, i.e., the boundary of a closed surface. So a TFT sends closed surfaces to endomorphisms of the unit of the target -category . For our choice , we obtain our previous answer of a -module as the image of a closed surface, since the unit is .
Now someone should give me a perfect stack called and we can state our theorem:
Theorem
For a perfect stack , there is a -dimensional TFT with and , for closed surfaces .
Then there is a proof. I am not really going to read that right now, even though it seems like that is where the goodies are. For now let’s note some important points:
- Since all of the stacks involved are perfect, pullback and pushforward of quasicoherent sheaves along this correspondence defines a colimit-preserving functor.
Now I have not told you what the correspondence is, but we can still see why it is so nice to be perfect. A big theme has been the quest for function theories with nice pullback and pushforward conditions. In particular, that integral transforms should be the same as cocontinuous functors.
Second we note again the symmetric monoidal structure on . In particular, our other favorite fact comes into play:
- ,
where there are maps of perfect stacks and .
It seems that we are all somewhat starving for examples of perfect/derived stacks. Maybe we are just looking too hard! BZFN give a nice example here of a TFT coming from the classifying space .
Example
Let (in characteristic zero). Then the corresponding TFT assigns to the circle the -category of sheaves on the adjoint quotient . That is, -local systems on the circle. To a surface , the TFT assigns the cohomology of the structure sheaf of the moduli stack .
Again there is more to be said here but it will have to wait to get to the lab.
They note that the -dimensional topological field theory defined above is a categorified analogue of the -dimensional TFT’s defined by string topology on a compact oriented manifold, or the topological -model defined by a Calabi–Yau variety.
I am not at all qualified to comment on this statement without doing a little digging, and since I am short on time I will just wait and see if someone else chimes in here.
BZFN note that the their TFT operations are not sensitive to smooth structure. They then go on to show how the proof of the existence of a TFT given a perfect stack can be extended to give proof of the existence of a TFT on spaces as well. This is the second proposition/theorem.
I will quit here and send this over to the Lab for further work. Also, I will begin to say something there about the Deligne–Kontsevich conjectures for derived centers.
Re: Journal Club — Geometric Infinity-Function Theory — Week 6
Nice job Alex. I still have a lot of catching up to do before I can join the discussion but I haven’t forgotten about it.