Some physicists have told me that if you think about an extended n-dimensional TQFT $F$, then the decategorification is given by $F'(X)=F(X\times S^1)$, which I believe they call "compactification on a circle." Is there any way to make this statement precise?



What do decategorification and "compactification on a circle" have to do with each other? 
In a general extended TQFT Z, the assignment $Z(X \times S^1)$ is the "dimension" of Z(X), in the following sense. Write the circle as an incoming arc followed by an outgoing arc. The incoming arc is a morphism (coevaluation) from the unit (Z(empty set)) to Z(X) tensor its dual $Z(X^{op})=Z(X)^\*$, followed by a morphism (evaluation) back to the unit.
In particular we learn Z(X) HAS a dual (is dualizable), and these are the two canonical maps that come in the definition of being a dual. The composition is an endomorphism of the unit Z(empty), which is very generally called the dimension of Z(X), or the Hochschild homology of Z(X).


If Z(X) is a vector space, End Z(empty) = numbers and this is the usual dimension. If Z(X) is a category (or an algebra, or a 2-category, or....), this is what is usually known as its Hochschild homology. In particular Hochschild homology is where characters (or traces) of objects in Z(X) live, if it's a category. In simple situations this will be the same as the K-theory of Z(X) (in great generality there's a map from K-theory to Hochschild homology), if you want to compare this to another version of decategorification, which is taking K-groups.


