and
orientation, spin structure, string structure, fivebrane structure
smooth manifold, Riemannian manifold, complex manifold?
Contents
FQFT and cohomology
some material that should go here is, for some reason, still to some extent at generalized tangle hypothesis. You should go there to learn more. Better yet, you go there and then come back here to create a better entry on the cobordisms hypothesis.
The Cobordism Hypothesis roughly states that
The n-category of extended cobordisms (when made precise) is the free stable -category with duals on one object (the point).
In extended topological quantum field theory, which is really the representation theory of these cobordism -categories, we expect:
An -dimensional unitary extended TQFT is a weak -functor, preserving all levels of duality, from the -category of cobordisms to , the -category of -Hilbert spaces?.
Putting the extended TQFT hypothesis and the cobordism hypothesis together, we obtain:
An -dimensional unitary extended TQFT is completely described by the -Hilbert space it assigns to a point.
In
a formalization and proof of the cobordism hypothesis is indicated.
This uses the languge of (∞,n)-categories modeled as n-fold complete Segal spaces and a concrete realization of the (∞,n)-category of cobordisms in this context.
What is not yet described in detail it what it means for an -category to be a symmetric monoidal category but by comparison with the defintion of symmetric monoidal (∞,1)-category one can see what that would be.
The precise formulation of the cobordism hypothesis then takes the form of the following
(theorem 2.4.6 in On the Classification of Topological Field Theories)
Let by a symmetric monoidal? (∞,n)-category with duals? and its core (the maximal ∞-groupoid in ).
Let be the symmetric monoidal? (∞,n)-category of cobordisms.
Finally let be the (∞,n)-category of symmetric monoidal -functors from bordisms to .
Evaluation of any such functor on the point
induces an -functor
The statement is that
this factors through the core of ;
the map
is an equivalence of (infinity,n)-categories.
The proof is based on
the Galatius-Madsen-Tillmann-Weiss theorem (thm 2.7.4, page 50) which characterizes the geometric realization in terms of the suspension of the Thom spectrum;
Igusas connectivity result which he uses to show that putting “framed Morse functions” on cobrdisms doesn’t change their homotopy type (theorem 3.4.7, page 73)
In fact, the Galatius-Madsen-Weiss theorem is now supposed to be a corollary of Lurie’s result.
In particular this means that is itself an -category, i.e. an ∞-groupoid.
When interpreting symmetric monoidal functors from bordisms to as TQFTs this means that TQFTs with given codomain form a space, an ∞-groupoid. In particular, any two of them are either equivalent or have no morphism between them.
According to Chris Schommer-Pries interesting morphisms of TQFTs arise when looking at transformations only on sub-categories on all of . This is described at QFT with defects .
The theorem does say that the invariant attached by an extended TQFT to the point determines all the higher invariants – however it is important to notice that there are strong constraints on what is assigned to the point. For an -dimensional framed theory one needs to assign a fully dualizable object?, and the meaning of the term “fully dualizable” depends on , and gets increasingly hard to satisfy as n grows..
For an -dimensional unoriented theory, the object assigned to the point has to be a fixed point for the - action on fully dualizable objects that is obtained from the framed case of the theorem.
In the 1d case, this action on dualizable objects takes every object to its dual, and an fixed point is indeed a vector space with a nondegenerate symmetric inner product.
For an oriented theory -dimensional theory need an -fixed point, which for is nothing but for ends up meaning a Calabi-Yau category (in the case the target 2-category is that of categories).
In fact something more general is true: if one wants a theory that takes values on manifolds equipped with a -structure, for any group mapping to (such as for instance orientation already discussed or its higher versions Spin structure or String structure or Fivebrane structure or …) one needs to assign to the point a -fixed point in dualizable objects in your category (with acting through ).
This beautifully includes all the above plus for example manifolds with maps (up to homotopy) to some auxiliary (connected) space – here we take to be the loop space of (mapping trivially to ), so that a reduction of the structure group of the manifold to involves a map to the delooping .
Such theories are classified by -families of fully dualizable objects.
Notice that there is an important subtlety of Lurie’s theorem in the case of manifolds with -structure which is easy to confuse. The general version of the theorem about TFTs does not say that they are the -fixed points for the -action on fully dualizable objects, but rather they are the homotopy fixed points. This is very important because a homotopy fixed point is not just a property. It is additional structure. Depending on , this additional structure is often encoded in the higher dimensional portion of the field theory.
One can see this in the 1 dimensional case: there is no property of vector spaces which automatically endows them with an inner product, but it is extra structure.
The original hypothesis is in
The sketch of the proof is in
Parts of the above text have been taken from blog discussion here.
A videa of Lurie lecturing on his theorem is here:
Jacob Lurie, TQFT and the Cobordism Hypothesis (video, notes)
The UC Riverside Seminar on Cobordism and Topological Field Theories, organized by Julie Bergner in the Fall of 2009.