Asking for sufficient conditions that an $n$-dimensional TQFT lifts to $n+1$ dimensions is like asking for sufficient conditions that an egg will hatch into a bird. You might think of necessary conditions. The only reasonable sufficient condition is to see the egg hatch, i.e., to see the lift or categorification of the TQFT into the next dimension. Lest that sound like a fatuous pronouncement, the reason is that an $(n+1)$-dimensional TQFT is often vastly more complicated than its $n$-dimensional predecessor. Certainly a Chern-Simons TQFT in 3 dimensions is vastly more complicated than its dimensional reduction.

As for necessary conditions, that depends on what kind of bird you expect. Suppose that you are set on a specific target category $\mathcal{C}$. Then you know that $F(M \times S^1)$ is the trace of the identity functor on $M$, and that gives you a lot of information. For example, in the dimensional reduction of a Chern-Simons TQFT, you always assign a non-negative integer to a closed surface. You have to, because its lift is vector space.

The problem is that $\mathcal{C}$ might be negotiable. Suppose that you have a 2D TQFT in which you assign a negative integer to a surface. If know that that should lift to a vector space, that's impossible. But it could instead lift to a supervector space (a graded vector space with its signed dimension), or a chain complex, or something else. If the value is not even an integer, that might not be a show-stopper either: Its lift could be a graded space with a Poincaré-Hilbert series, and there could be a formal sum of that series with a non-integer answer. One important moral example is Khovanov homology, even though it is not a complete TQFT. Khovanov homology categorifies the Jones polynomial. A Laurent polynomial with both signs is an inauspicious candidate for categorification, but the categorification exists.

`$K^\tau_G$`

is the 2-1-0 TQFT defined over`$\mathbb Z$`

; then I would say that`$CS(-\times S^1) = K^\tau_G(-) \otimes \mathbb C$`

. So the`$\mathbb Z$`

-version of K-theorywantsto be a dimensional reduction, but currently fails without tensoring --- CS theory doesn't see the torsion in K-theory. $\endgroup$ – Theo Johnson-Freyd Jun 12 '10 at 16:12`$\mathbb Z$`

means wants to be a dimensional reduction" is as follows. It should be generally true about any TQFT`$F$`

that`$F(M\times S^1) = \dim F(M)$`

, where`$\dim$`

is defined appropriately for your target $n$-category. But in most situations, dimensions are integer things. $\endgroup$ – Theo Johnson-Freyd Jun 12 '10 at 16:14cannotbe realized as a full 2-1-0 TQFT (with values in one of the usual suspect 2-cats like Abelian Cats or Algebras, Bimod, Bimod maps). $\endgroup$ – Chris Schommer-Pries Oct 14 '10 at 21:00