Title:Homology TQFT's via Hopf algebras

Abstract: In \cite{FroNic92} Frohman and Nicas define a topological quantum field theory via the intersection homology of U(1)-representation varieties $J(X)={\rm Hom}(\pi_1(X),U(1))$. We show that this TQFT is equivalent to the combinatorially constructed Hennings-TQFT based on the quasitriangular Hopf algebra ${\cal N}=\Z/2\ltimes \ext *\R^2$. The natural $SL(2,\R)$-action on $\cal N$ is identified with the $SL(2,\R)$-action for the Lefschetz decomposition of $H^*(J(\Sigma))$ implied by the Kähler structure on $J(\Sigma) $ for a surface $\Sigma$. We compare peculiarities of both theories, such as the $\Z/2$-projectivity and vanishing phenomena due to non-semisimplicty. This equivalence induces a graded Hopf algebra structure on $H^*(J(\Sigma))$, which is isomorphic to the canonical one but is at the same time compatible with the Hard-Lefschetz decomposition. We discuss generalizations to higher rank gauge theories, and a relation between the semisimple and non-semisimple TQFT's associated to quantum ${\mathfrak sl}_2$.