Non-semisimple link and manifold invariants for symplectic fermions

Abstract

We consider the link and three-manifold invariants from arXiv:1912.02063, which are defined in terms of certain non-semisimple finite ribbon categories $\mathcal{C}$ together with a choice of tensor ideal and modified trace. If the ideal is all of $\mathcal{C}$, these invariants agree with those defined by Lyubashenko in the 90's. We show that in that case the invariants depend on the objects labelling the link only through their simple composition factors, so that in order to detect non-trivial extensions one needs to pass to proper ideals. We compute examples of link and three-manifold invariants for $\mathcal{C}$ being the category of $N$ pairs of symplectic fermions. Using a quasi-Hopf algebra realisation of $\mathcal{C}$, we find that the Lyubashenko-invariant of a lens space is equal to the order of its first homology group to the power $N$, a relation we conjecture to hold for all rational homology spheres. For $N\ge 2$, $\mathcal{C}$ allows for tensor ideals $\mathcal{I}$ with a modified trace which are different from all of $\mathcal{C}$ and from the projective ideal. Using the theory of pull-back traces and symmetrised cointegrals, we show that the link invariant obtained from $\mathcal{I}$ can distinguish a continuum of indecomposable but reducible objects which all have the same composition series.

arXiv comment77 pages; v2: Final version published in Quantum Topology, with more general framework of locally finite tensor categories for Sec 2, new Example 2.2, references corrected in Sec 3.1, Prop 3.13 was corrected, a typo in Prop 4.2 fixed, new Remarks 2.12 & 4.8 & 5.4

References in corpus (17)

• Modular group representations and fusion in logarithmic conformal field theories and in the quantum group center
• Invariants of 3-manifolds and projective representations of mapping class groups via quantum groups at roots of unity
• Integral Theory for Quasi-Hopf Algebras
• 3-Dimensional TQFTs From Non-Semisimple Modular Categories
• Symplectic fermions and a quasi-Hopf algebra structure on ${\bar{U}}_{i}sl(2)$
• SL(2,Z)-action for ribbon quasi-Hopf algebras
• On the Connectivity of Cobordisms and Half-Projective TQFT's
• On the Notion of a Ribbon Quasi-Hopf Algebra
• On the relation between the WRT invariant and the Hennings invariant
• Mapping Class Group Representations From Non-Semisimple TQFTs
• Projective objects and the modified trace in factorisable finite tensor categories
• Characterizing braided tensor categories associated to logarithmic vertex operator algebras
• The symplectic fermion ribbon quasi-Hopf algebra and the SL(2,Z)-action on its centre
• Modified traces for quasi-Hopf algebras
• Monadic cointegrals and applications to quasi-Hopf algebras
• Relationship of the Hennings and Chern-Simons Invariants For Higher Rank Quantum Groups
• Deligne tensor products of categories of modules for vertex operator algebras