3-dimensional TQFTs from non-semisimple modular categories (Q2071752)

This paper presents two constructions: some renormalized Lyubashenko \(3\)-manifold invariants and some TQFTs containing them. The input data for the invariants are that of a twist non-degenerate, unimodular, finite ribbon category \(\mathscr{C}\) (possibly non semi-simple) over an algebraically closed field \(\Bbbk\) and of a tensor ideal \(\mathscr{J}\subset \mathscr{C}\) equipped with a trace. The authors define an invariant \(L'_{\mathscr{C}, \mathscr{J}}(M,T)\in \Bbbk\) where \(M\) is an oriented closed \(3\)-manifold and \(T\subset M\) is a so-called admissible bichrome ribbon graph in \(M\). The definition of \(L'_{\mathscr{C}, \mathscr{J}}\) is similar to the definition of Lyubashenko's invariant [\textit{V. V. Lyubashenko}, Commun. Math. Phys. 172, No. 3, 467--516 (1995; Zbl 0844.57016)] with the new ingredient of a possibly modified trace on \(\mathscr{J}\). The construction is based on a generalization of the Reshetikhin-Turaev functor taking source in the category of admissible bichrome ribbon graphs. In the particular case where \(\mathscr{C}\) is factorizable and \(\mathscr{J}=Proj(\mathscr{C})\) is the full subcategory of projective objects (in which case the trace is unique up to scalar), the authors extend their invariants to a TQFT type symmetric monoidal functor \(V_{\mathscr{C}}: \check{C}ob_{\mathscr{C}} \to Vect_{\Bbbk}\) which takes values in a category of \(3\)-dimensional cobordisms with \(\mathscr{C}\)-colored bichrome graphs having the property that each connected component disjoint from the incoming boundary contains a graph with an edge colored by a projective object. This last property implies in particular that \(\check{C}ob_{\mathscr{C}} \) is not rigid. The construction of \(V_{\mathscr{C}}\) is derived from that of \(L'_{\mathscr{C}, Proj(\mathscr{C})}\) using the universal construction. In the particular case where \(\mathscr{C}=H-Mod\) for some finite dimensional factorizable ribbon Hopf algebra \(H\), the invariants and TQFTs coincide with the renormalized Hennings invariants and their TQFTs defined by the authors in [ibid. 362, No. 3, 855--907 (2018; Zbl 1402.57024)]. In particular, their mapping class group representations coincide with that of \textit{V. V. Lyubashenko} [loc. cit.] as studied in [\textit{M. De Renzi} et al., ``Mapping class group representations from non-semisimple TQFTs'', Preprint, \url{arXiv:2010.14852}] and the paper thus presents an original construction (based of the universal construction) of Lyubashenko's representations.