Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

The reading of (Hopkins-)Lurie's On the Classification of Topological Field Theories (arXiv:0905.0465) suggests that a stronger version of the cobordism hypothesis should hold; namely, that (under eventually suitable technical assumptions), the inclusion of symmetric monoidal $(\infty,n)$-categories with duals into $(\infty,n)$-categories should have a left adjoint, the ``free symmetric monoidal $(\infty,n)$-category with duals on a given category $\mathcal{C}$ '', and that this free object should be given by a suitably $\mathcal{C}$-decorated $(\infty,n)$-cobordism $Bord_n(\mathcal{C})$. This would be an higher dimensional generalization of Joyal-Street-Reshetikhin-Turaev decorated tangles.

Such an adjunction would in particular give a canonical symmetric monoidal duality preserving functor $Z: Bord_n(\mathcal{C})\to \mathcal{C}$ which seems to appear underneath the constructions in Freed-Hopkins-Lurie-Teleman's Topological Quantum Field Theories from Compact Lie Groups (arXiv:0905.0731).

Yet, I've been unable to find an explicit statement of this conjectured adjointness in the above mentioned papers, and my google searches for "free symmetric monoidal n-category" only produce documents in which this continues with "generated by a single fully dualizable object", as in the original form of the cobordism hypothesis. Is anyone aware of a formal statement or treatment of the cobordism hypothesis from the left adjoint point of view hinted to above?

share|improve this question
add comment

1 Answer

up vote 12 down vote accepted

The existence of a left adjoint follows by formal nonsense. If you have a symmetric monoidal $(\infty,n)$-category which is can be built by first freely adjoining some objects, then some $1$-morphisms, then some $2$-morphisms, and so forth, up through $n$-morphisms and then stop, then there is an explicit geometric description of the $(\infty,n)$-category you get by "enforcing duality" in terms of manifolds with singularities. This is sketched in one of the sections of the paper you reference. I don't know of a geometric description for what you get if you start with an arbitrary symmetric monoidal $(\infty,n)$-category and then "enforce duality".

share|improve this answer
    
Yes, that's the section 4.3, Manifolds with singularities, from your paper on the classification of tqft, where singularity data are described. It is precisely that which suggested me the idea that those data were implicitly expressing the cobordism hypothesis as a left adjoint, but then I was unable to find this explicited in some form in the paper, so I became unsure about it. Thanks a lot. –  domenico fiorenza Dec 17 '10 at 18:43
    
p.s. By the way, the existence of a natural morphisms $Bord^{SO}_n(\mathcal{C})\to \mathcal{C}$ for any symmetric monoidal $(\infty,n)$-category with duals seems to simplify the exposition of a few points in your paper with Freed-Hopkins-Teleman. Should you be interested in the details of this, there is an on-going forum discussion on the topic here: math.ntnu.no/~stacey/Mathforge/nForum/… –  domenico fiorenza Dec 17 '10 at 18:48
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.