Hopkins Lecture on TFT: Chern-Simons
Posted by Urs Schreiber
In the third part (following part I and part II) of his 2006 lecture series in Göttingen on topological field theory, Michael Hopkins considered the special case of 3-dimensional topological field theories characterized by classes
These are known as Chern-Simons field theories at level .
The first part of the talk reviewed some basic concepts in suitable language.
Then the seminal theorem in
D. Freed, M. Hopkins, C. Teleman
Twisted K-theory and loop group representations
math.AT/0312155,
which relates the modular tensor category encoding -Chern-Simons theory with the twisted -equivariant K-theory on - is used as a key for extracting topological information from Chern-Simons TFT 3-functors and reformulating everything in terms of K-theory.
The following is transcribed from the notes I have taken in the lecture. Personal comments are set in italics.
We want to study 3-dimensional topological field theory built from elements
in the fourth integral singular cohomology of the classifying space of some group .
As usual in this business, we will assume “for convenience” that is simple and simply connected. (At the end of the lecture the general case was considered too, but I will not have anything to report on that here.).
(This may be understood as related by transgression to 2-dimensional field theories characterized by elements in , namely Wess-Zumino-Witten CFT. This explains why controls many of the objects of interest in the following. In particular, it specifies the level of Kac-Moody central extensions of the loop group on .)
Our TFT will involve 3-dimensional manifolds
In its Lagrangian formulation, we would compute on the integrals over of the Chern-Simons 3-forms of flat -bundles with connection on . Hence denote by
the moduli space (moduli stack) of -bundles with connection on .
Every such bundle is classified by a map from to . By forgetting the connection we hence get a homotopy class of maps
In fact, not forgetting the connection corresponds to remembering the representative of this homotopy class of maps.
By composing this map with the evaluation map we get from to
Pulling our chosen element in back along this map and integrating the result over yields
an element in the first integral singular cohomology on our “configuration space” .
Generally, this first cohomology is isomorphic to homotopy classes of maps to the circle
As mentioned before, we may hence refine by looking at continuous maps
without dividing out by homotopy.
(This is an example of passing from cohomology to differential cohomology.)
What all this means is that for every element , we naturally get a map
(from configuration space to the space of phases .
This map defines for us what we mean by the exponentiated action that Chern-Simons theory for fixed assigns to any one field configuration (a bundle with connection) on .)
If now we were lucky enough to know of a measure on configuration space , we would define Chern-Simons TFT by the assignment
(One of the crucial points is that, in the end, neither nor will be well defined seperately, but only their combination, in general. I am afraid, though, that I cannot report much on that more general case.)
Next we need to know what our TFT functor assigns to 2-dimensional boundaries of 3-dimensional cobordisms, i.e. to 2-dimensional manifolds.
So let
be the boundary of a 3-manifold. By restricting bundles with connection on to , we get a map
Analogous to the above construction, this now allows to pull back along
and integrate the result over
Since the integration domain now has one dimension less, the resulting class is one degree higher. Accordingly, instead of yielding a map from to , it yields a map to -torsors. In other words: classifies a -bundle (or complex line bundle)
on .
Recall that before we obtained the action
and integrated that over all to obtain the amplitude
Following Freed we now want to do an analogous integration with to obtain a “2-amplitude” - a Hilbert space.
We hence write
and want this collection of symbols to denote a Hilbert space (the space of states over ).
The computation of this Hilbert space was done, of course, by Witten in
E. Witten
Quantum Field Theory and the Jones Polynomial
Commun.Math.Phys.121:351,1989
(spires)
using geometric quantization. This formalism leads to a line bundle (the so-called pre-quantum line bundle)
on the moduli space of flat -connections on the 2-dimensional manifold .
The Hilbert space that we are looking for can be roughly thought of as the “direct integral over all fibers” of this bundle. More precisely, it is the space of square integrable holomorphic sections of :
Our intuition of thinking of this as a sort of integral
can be made precise by defining this in terms of pushforward to a point of the bundle in K-theory (going the wrong way).
It turns out that the Hilbert space obtained this way can be identitfied with the space of conformal blocks over of the Wess-Zumino-Witten 2-dimensional conformal field theory determined by .
In particular, this implies that for
the 2-dimensional torus, the corresponding vector space of states is
This is supposed to make it plausible that to a single circle we want to assign the category of these reps, whose tensor product is fusion of highest weight reps. In any case, we set
This happens to be a modular tenor category. (Every 2-dimensional rational conformal field theory comes from some modular tensor category . For WZW on it happens to be .).
It is at this point that the Freed-Hopkins-Teleman theorem enters the game.
Because this theorem tells us that is nothing but the -twisted K-theory of , which is equivariant with respect to the adjoint action of on itself:
Now, we can regard the K-theory of as a module over itself. This means that we are apparently saying that our -tiered Chern-Simons theory assigns K-modules to 1-dimensional manifolds.
After meditating about this fact for a while, Michael Hopkins et al. wrote down the table:
For instance for , you imagine going from the second to the third column by observing that
- starting with
- restricting to its core (containg only isomorphisms)
- decategorifying and group completing with respect to the -monoidal structure of direct sums of vector spaces
leads to the space
which is the classifying space for K-theory.
This statement is hence to be thought of as a 0-version of the Freed-Hopkins-Teleman result - a statement about passing from -categories to spectra.
We can formulate functoriality of our TFT entirely in terms of gadgets present in the third column.
To a 2-dimensional surface
with incoming and outgoing boundary
we associate the span
where denotes the moduli space of flat -bundles with connection and where the arrows are the above-mentioned push-forwards in K-theory. Recall that for push forward to a point this already appeared in the -categorical path integral above.)
In this “third-column-language” composition of 2-dimensional manifolds corresponds to composition of these spans by pullback along adjacent legs.
That’s what I understood. The remainder of the third lecture now related all this to the Madsen-Tillmann cobordism theories that I briefly mentioned in part I. Unfortunately, I couldn’t follow this at all and hence cannot reasonably report about it here.
Re: Hopkins Lecture on TFT: Chern-Simons
Is this CFT WZW on the boundary of TFT CS just a boundary condition or an holograhic dual of a TFT bulk?