Genealogy of Nonperturbative Quantum-Invariants of 3-Manifolds: The Surgical Family

Abstract

We study the relations between the invariants ${\tau }_{RT}$, ${\tau }_{HKR}$, and ${\tau }_L$ of Reshetikhin-Turaev, Hennings-Kauffman-Radford, and Lyubashenko, respectively. In particular, we discuss explicitly how ${\tau }_L$ specializes to ${\tau }_{RT}$ for semisimple categories and to ${\tau }_{HKR}$ for Tannakian categories. We give arguments for that ${\tau }_L$ is the most general invariant that stems from an extended TQFT. We introduce a canonical, central element, {\sf Q}, for a quasi-triangular Hopf algebra, $\A$, that allows us to apply the Hennings algorithm directly, in order to compute ${\tau }_{RT}$, which is originally obtained from the semisimple trace-subquotient of $\A-mod$. Moreover, we generalize Hennings' rules to the context of cobordisms, in order to obtain a TQFT for connected surfaces compatible with ${\tau }_{HKR}$. As an application we show that, for lens spaces and $\A=U_q(sl_2)\,$, the ratio of ${\tau }_{HKR}$ and ${\tau }_{RT}$ is the order of the first homology group. In the course of this paper we also outline the topology and the algebra that enter invariance proofs, which contain no reference to 2-handle slides, but to other moves that are local. Finally, we give a list of open questions regarding cellular invariants, as defined by Turaev-Viro, Kuperberg, and others, their relations among each other, and their relations to the surgical invariants from above.

46 pages, Latex, to appear in Proceedings of the Conference on Geometry & Physics in Aarhus, Denmark, August 1995. References added and minor errors corrected

References in corpus (1)

• On the Connectivity of Cobordisms and Half-Projective TQFT's

Cited by in corpus (27)

• Bottom tangles and universal invariants
• 3-Dimensional TQFTs From Non-Semisimple Modular Categories
• SL(2,Z)-action for ribbon quasi-Hopf algebras
• Modular invariant Frobenius algebras from ribbon Hopf algebra automorphisms
• On the Connectivity of Cobordisms and Half-Projective TQFT's
• On the relation between the WRT invariant and the Hennings invariant
• Mapping Class Group Representations From Non-Semisimple TQFTs
• Renormalized Hennings Invariants and 2+1-TQFTs
• The Cardy-Cartan modular invariant
• The logarithmic Cardy case: Boundary states and annuli
• HKR-type invariants of 4-thickenings of 2-dimensional CW complexes
• Modular Categories and TQFTs Beyond Semisimplicity
• Problems on invariants of knots and 3-manifolds
• On Two Invariants of Three Manifolds from Hopf Algebras
• Hopf algebras and finite tensor categories in conformal field theory
• Davydov-Yetter cohomology, comonads and Ocneanu rigidity
• Three-Dimensional 2-Framed TQFTs and Surgery
• Integrality and Gauge Dependence of Hennings TQFTs
• A universal invariant of four-dimensional 2-handlebodies and three-manifolds
• Group categories and their field theories
• Non-Semisimple 3-Manifold Invariants Derived From the Kauffman Bracket
• Hopf and Frobenius algebras in conformal field theory
• Homology TQFT's and the Alexander-Reidemeister Invariant of 3-Manifolds via Hopf Algebras and Skein Theory
• Integrals for braided Hopf algebras
• |Z_{Kup}|=|Z_{Henn}|^2 for Lens spaces
• Kerler-Lyubashenko Functors on 4-Dimensional 2-Handlebodies
• Invariants of Spin Three-Manifolds From Chern-Simons Theory and Finite-Dimensional Hopf Algebras