most recent 30 from http://mathoverflow.net 2013-05-25T16:24:56Z http://mathoverflow.net/feeds/question/4395 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/4395/what-do-decategorification-and-compactification-on-a-circle-have-to-do-with-eac Ben Webster 2009-11-06T16:09:23Z 2009-11-06T21:46:45Z

<p>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?</p>

http://mathoverflow.net/questions/4395/what-do-decategorification-and-compactification-on-a-circle-have-to-do-with-eac/4399#4399 Greg Kuperberg 2009-11-06T16:29:00Z 2009-11-06T16:29:00Z

<p>If you think of a TQFT as a functor from cobordisms to vector spaces, then $F(X \times S^1)$ will give you the dimension of the state space of $X$ (or the superdimension or whatever), because it is the trace of the identity. (In the cri du jour of $\infty$-categories, the cobordism functor is not everything, but is something.)</p>

http://mathoverflow.net/questions/4395/what-do-decategorification-and-compactification-on-a-circle-have-to-do-with-eac/4446#4446 David Ben-Zvi 2009-11-06T21:46:45Z 2009-11-06T21:46:45Z

<p>In a general extended TQFT Z, the assignment $Z(X x 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). </p> <p>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. </p>