I remember that in the beginning, there was an axiom for $(n+1)$-dimensional TQFT that said that the state space $V(\Sigma)$ assigned to an $n$-dimensional oriented manifold is spanned by the invariants of all $n+1$-dimensional oriented manifolds $M$ with $\partial M=\Sigma$. If we call the invariant of $M$, $Z(M)\in V(\Sigma)$, this just says that $V(\Sigma)$ is spanned by all $Z(M)$. Maybe it was in Segal's Swansea notes, maybe it was in an early version of Atiyah's axioms. It doesn't seem to have made it into "The Geometry and Physics of Knots"

For instance if you read "Topological Quantum Field Theories Derived from the Kauffman Bracket" by Blanchet, Habegger, Masbaum and Vogel, the vacuum hypothesis is implicit in their constructions.

There is a theorem that the category of Frobenius algebras is equivalent to the category of $1+1$-dimensional TQFT's. For instance, let $A=\mathbb{C}[x]/(x^3)$, with Frobenius map $\epsilon(1)=\epsilon(x)=0$ and $\epsilon(x^2)=-1$. This is the choice that Khovanov made to construct his $sl_3$-invariant of links. At this point, no one would deny that this gives rise to a TQFT.

The state space associated to a circle is just $A$. The $2$-manifolds with boundary the circle are classified by genus. Using TQFT to compute them, I get that a disk has invariant $1$, a surface of genus one with one boundary component has invariant $3x^2$, and any other surface has invariant $0$. The invariants don't span $A$.

The problem as I learned from Chris French is that $A$ is not semisimple. In fact, $A$ being spanned by the invariants of surfaces with one boundary component is equivalent to the semisimplicity of $A$.

Here is my question. At what point, and why was the vacuum hypothesis abandoned?

invisibleif Tr(fg)=0 for all g. $\endgroup$ – Bruce Westbury Mar 7 '10 at 16:59negligiblemorphisms -- try googling the two phrases. $\endgroup$ – Scott Morrison♦ Mar 7 '10 at 17:34