It is known that the category $\mathscr{C}^H$ of nilpotent weight modules over the quantum group associated with the super Lie algebra $\mathfrak{sl}(2|1)$ is a relative pre-modular $G$-category. Its modified trace enables to define an invariant of $3$-manifolds. In this article we show that the category $\mathscr{C}^H$ is a relative modular $G$-category which allows one to construct a family of non-semi-simple extended topological quantum field theories which surprisingly are anomaly free. The quantum group associated with $\mathfrak{sl}(2|1)$ is considered at odd roots of unity.
We define a symmetric monoidal (4,3)-category with duals whose objects are certain enriched multi-fusion categories. For every modular tensor category $\mathcal{C}$, there is a self enriched multi-fusion category $\mathfrak{C}$ giving rise to an object of this symmetric monoidal (4,3)-category. We conjecture that the extended 3D TQFT given by the fully dualizable object $\mathfrak{C}$ extends the 1-2-3-dimensional Reshetikhin-Turaev TQFT associated to the modular tensor category $\mathcal{C}$ down to dimension zero.
We construct non-semisimple $2+1$-TQFTs yielding mapping class group representations in Lyubashenko's spaces. In order to do this, we first generalize Beliakova, Blanchet and Geer's logarithmic Hennings invariants based on quantum $\mathfrak{sl}_2$ to the setting of finite-dimensional non-degenerate unimodular ribbon Hopf algebras. The tools used for this construction are a Hennings-augmented Reshetikhin-Turaev functor and modified traces. When the Hopf algebra is factorizable, we further show that the universal construction of Blanchet, Habegger, Masbaum and Vogel produces a $2+1$-TQFT on a n…
We give a purely combinatorial construction of colored $\mathfrak{sl}_n$ link homology. The invariant takes values in a 2-category where 2-morphisms are given by foams, singular cobordisms between $\mathfrak{sl}_n$ webs; applying a (TQFT-like) representable functor recovers (colored) Khovanov-Rozansky homology. Novel features of the theory include the introduction of `enhanced' foam facets which fix sign issues associated with the original matrix factorization formulation and the use of skew Howe duality to show that (enhanced) closed foams can be evaluated in a completely combinatorial manner…
We construct a family of 3d quantum field theories $\mathcal T_{n,k}^A$ that conjecturally provide a physical realization -- and derived generalization -- of non-semisimple mathematical TQFT's based on the modules for the quantum group $U_q(\mathfrak{sl}_n)$ at an even root of unity $q=\text{exp}(iπ/k)$. The theories $\mathcal T_{n,k}^A$ are defined as topological twists of certain 3d $\mathcal N=4$ Chern-Simons-matter theories, which also admit string/M-theory realizations. They may be thought of as $SU(n)_{k-n}$ Chern-Simons theories, coupled to a twisted $\mathcal N=4$ matter sector (the so…
In [arXiv:1912.02063], we constructed 3-dimensional Topological Quantum Field Theories (TQFTs) using not necessarily semisimple modular categories. Here, we study projective representations of mapping class groups of surfaces defined by these TQFTs, and we express the action of a set of generators through the algebraic data of the underlying modular category $\mathcal{C}$. This allows us to prove that the projective representations induced from the non-semisimple TQFTs of [arXiv:1912.02063] are equivalent to those obtained by Lyubashenko via generators and relations in [arXiv:hep-th/9405167]. …
We construct a Topological Quantum Field Theory (in the sense of Atiyah) associated to the universal finite-type invariant of 3-dimensional manifolds, as a functor from the category of 3-dimensional manifolds with parametrized boundary, satisfying some additional conditions, to an algebraic-combinatorial category. It is built together with its truncations with respect to a natural grading, and we prove that these TQFTs are non-degenerate and anomaly-free. The TQFT(s) induce(s) a (series of) representation(s) of a subgroup ${\cal L}_g$ of the Mapping Class Group that contains the Torelli group.…
We develop an explicit skein theoretical algorithm to compute the Alexander polynomial of a 3-manifold from a surgery presentation employing the methods used in the construction of quantum invariants of 3-manifolds. As a prerequisite we establish and prove a rather unexpected equivalence between the topological quantum field theory constructed by Frohman and Nicas using the intersection homology of U(1)-representation varieties on the one side and the combinatorially constructed Hennings-TQFT based on the quasitriangular Hopf algebra ${\cal N}=\Z/2\ltimes \ext *\R^2$ on the other side. We find…
We study boundary conditions for extended topological quantum field theories (TQFTs) and their relation to topological anomalies. We introduce the notion of TQFTs with moduli level $m$, and describe extended anomalous theories as natural transformations of invertible field theories of this type. We show how in such a framework anomalous theories give rise naturally to homotopy fixed points for $n$-characters on $\infty$-groups. By using dimensional reduction on manifolds with boundaries, we show how boundary conditions for $n+1$-dimensional TQFTs produce $n$-dimensional anomalous field theorie…
We provide a homological model for a family of quantum representations of mapping class groups arising from non-semisimple TQFTs (Topological Quantum Field Theories). Our approach gives a new geometric point of view on these representations, and it gathers into one theory two of the most promising constructions for investigating linearity of mapping class groups. More precisely, if $\varSigma_{g,1}$ is a surface of genus $g$ with $1$ boundary component, we consider a (crossed) action of its mapping class group $\mathrm{Mod}(\varSigma_{g,1})$ on the homology of its configuration space $\mathrm{…
Starting with a four-dimensional gauge theory approach to rational, elliptic, and trigonometric solutions of the Yang-Baxter equation, we determine the corresponding quantum group deformations to all orders in $\hbar$ by deducing their RTT presentations. The arguments we give are a mix of familiar ones with reasoning that is more transparent from the four-dimensional gauge theory point of view. The arguments apply most directly for $\mathfrak{gl}_N$ and can be extended to all simple Lie algebras other than $\mathfrak{e}_8$ by taking into account the self-duality of some representations, the fr…
We develop the general theory for the construction of Extended Topological Quantum Field Theories (ETQFTs) associated with the Costantino-Geer-Patureau quantum invariants of closed 3-manifolds. In order to do so, we introduce relative modular categories, a class of ribbon categories which are modeled on representations of unrolled quantum groups, and which can be thought of as a non-semisimple analogue to modular categories. Our approach exploits a 2-categorical version of the universal construction introduced by Blanchet, Habegger, Masbaum, and Vogel. The 1+1+1-EQFTs thus obtained are realize…
School of Mathematical Sciences, East China Normal University(华东师范大学数学科学学院);Department of Physics, The University of Hong Kong(香港大学物理系);Centre for Quantum Mathematics, University of Southern Denmark(南丹麦大学量子数学中心);Mathematisches Institut, Georg-August-Universität Göttingen(哥廷根大学数学研究所);Beijing Institute of Mathematical Sciences and Applications(北京国际数学研究中心);Wu Wen-Tsun Key Laboratory of Mathematics of Chinese Academy of Sciences, School of Mathematical Sciences, University of Science and Technology of China(中国科学技术大学数学科学学院中国科学院吴文俊数学重点实验室);International Quantum Academy(国际量子学院);Guangdong Provincial Key Laboratory of Quantum Science and Engineering, Southern University of Science and Technology(南方科技大学广东省量子科学与工程重点实验室)