Recall that a $(k,k+1,\dots,k+n)$-TQFT is (supposed to be) a functor from the $n$-category whose $j$-morphisms are (isomorphism classes of) compact $(k+j)$-dimensional manifolds with boundary to some target category, usually your favorite version of $n$-Vect. When $k=0$, a full "classification" of TQFTs with a given target category is given in:
- Lurie, Jacob. On the classification of topological field theories. Current developments in mathematics, 2008, 129–280, Int. Press, Somerville, MA, 2009. 58Jxx (57Rxx) MR2555928. arXiv:0905.0465.
Or, rather, Lurie first provides reasonable definitions for a number of things, end then proves that there is an equivalence of $n$-categories between the $(0,\dots,n)$-TQFTs with target $\mathcal V$ and the $n$-groupoid of ("fully") dualizable objects in $\mathcal V$. (The classification is not particularly effective in two ways: given a dualizable object, which is the value the TQFT assigns to a point, it can be still very hard to understand the functor on complicated manifolds; and given a category, it can be still very hard to classify its dualizable objects.) For a review, see nLab: cobordism hypothesis.
But Lurie's result does not describe all gadgets that deserve to be called "TQFT"s. For example, it is a classical folk theorem that $(1,2)$-TQFTs are the same as commutative cocommutative Frobenius algebras. I think that there are other similar results of this nature, but I don't know of any theory that puts them all into a single framework. Hence:
Question: Is there a classification, similar to Lurie's, for $(k,\dots,k+n)$-TQFTs with a give target $n$-category?
Best Answer
Moore and Seiberg's result (Phys. Lett. 212B (1988) p.451) on classifying modular functors can be thought of as classification of (1,2,3) theories. (M&S only do the 1 and 2 of (1,2,3), but it's not hard to extend to 3 as well; see "On Witten's 3-manifold Invariants" here.)
My guess is that extending this style of classification to any of the adjacent slots (1,2,3,4), (2,3,4) or (2,3) would be very difficult. For (1,2,3,4) one would need to start by describing a categorified action of mapping class groups of surfaces in terms of local data; the uncategorified version is already long and messy (see refs above). For (2,3,4) one would need to characterize mapping class groups of 3-manifolds in terms of local data (Hatcher-Thurston for 3-manifolds).