On Two Invariants of Three Manifolds from Hopf Algebras
arXiv:1710.09524 · doi:10.1016/j.aim.2019.05.013
Abstract
We prove a 20-year-old conjecture concerning two quantum invariants of three manifolds that are constructed from finite dimensional Hopf algebras, namely, the Kuperberg invariant and the Hennings-Kauffman-Radford invariant. The two invariants can be viewed as a non-semisimple generalization of the Turaev-Viro-Barrett-Westbury invariant and the Witten-Reshetikhin-Turaev invariant, respectively. By a classical result relating and , it follows that the Kuperberg invariant for a semisimple Hopf algebra is equal to the Hennings-Kauffman-Radford invariant for the Drinfeld double of the Hopf algebra. However, whether the relation holds for non-semisimple Hopf algebras has remained open, partly because the introduction of framings in this case makes the Kuperberg invariant significantly more complicated to handle. We give an affirmative answer to this question. An important ingredient in the proof involves using a special Heegaard diagram in which one family of circles gives the surgery link of the three manifold represented by the Heegaard diagram.
arXiv commentAdded MSC class, key words, and more references. Introduction revised
References in corpus (10)
- A Practical Introduction to Tensor Networks: Matrix Product States and Projected Entangled Pair States
- Invariants of 3-manifolds and projective representations of mapping class groups via quantum groups at roots of unity
- Genealogy of Nonperturbative Quantum-Invariants of 3-Manifolds: The Surgical Family
- On two approaches to 3-dimensional TQFTs
- The equality of 3-manifold invariants
- Quantum Max-flow/Min-cut
- On the Connectivity of Cobordisms and Half-Projective TQFT's
- On the trace of the antipode and higher indicators
- On the relation between the WRT invariant and the Hennings invariant
- Relationship of the Hennings and Chern-Simons Invariants For Higher Rank Quantum Groups