Wednesday, 28 June 2006

qa.quantum algebra - What happened to the Vacuum Hypothesis in TQFT?

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?

No comments:

Post a Comment