Abstract:We construct three dimensional non-semisimple topological field theories from the unrolled quantum group of the Lie superalgebra $\mathfrak{osp}(1 \vert 2)$. More precisely, the quantum group depends on a root of unity $q=e^{\frac{2 \pi \sqrt{-1}}{r}}$, where $r$ is a positive integer greater than $2$, and the construction applies when $r$ is not congruent to $4$ modulo $8$. The algebraic result which underlies the construction is the existence of a relative modular structure on the non-finite, non-semisimple category of weight modules for the quantum group. We prove a Verlinde formula which allows for the computation of dimensions and Euler characteristics of topological field theory state spaces of unmarked surfaces. When $r$ is congruent to $\pm 1$ or $\pm 2$ modulo $8$, we relate the resulting $3$-manifold invariants with physicists' $\widehat{Z}$-invariants associated to $\mathfrak{osp}(1 \vert 2)$. Finally, we establish a relation between $\widehat{Z}$-invariants associated to $\mathfrak{sl}(2)$ and $\mathfrak{osp}(1 \vert 2)$ which was conjectured in the physics literature.

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is to study the quantum topological properties of three - dimensional manifolds through non - semisimple topological field theory (TFT) and $b\mathbb{Z}$-invariants. Specifically, the goals of the paper are divided into two main parts: 1. **Develop the representation theory of non - semisimple quantum groups**: - The paper first devotes itself to developing the representation theory of the expanded quantization of the orthosymplectic Lie superalgebra $ \text{osp}(1|2) $. The quantum group used here depends on a root of unity $ q = e^{2\pi i / r} $, where $ r $ is a positive integer greater than 2, and this construction is applicable when $ r $ is not congruent to 8 modulo 4. - The core algebraic object of the study is the restricted expanded quantum group $ U_H^q(\text{osp}(1|2)) $, which is an infinite - dimensional Hopf superalgebra obtained by the semidirect product of the restricted quantum group of $ \text{osp}(1|2) $ and the group algebra of the Cartan lattice. 2. **Connect the representation theory with the non - semisimple quantum topology of three - dimensional manifolds**: - The second goal is to connect the above - mentioned representation theory with the non - semisimple quantum topology of three - dimensional manifolds. This is achieved in two ways: - Construct a three - dimensional non - semisimple topological field theory $ Z $, using the framework of relative modular categories. - Study the $ b\mathbb{Z}_g $-invariants recently introduced by Gukov, Pei, Putrov and Vafa, especially the direct relationship between $ b\mathbb{Z}_{\text{osp}(1|2)} $ and $ b\mathbb{Z}_{\text{sl}(2)} $, and the relationship between these invariants and the 3 - manifold invariants defined through $ Z $. ### Overview of the main results: - **Theorem A**: If $ r \not\equiv 4 \mod 8 $, then the category $ C $ has a relative modular structure. This structure includes a grading given by the abelian groups $ G $ and $ Z \simeq Z_0\times\mathbb{Z}/2\mathbb{Z} $, and a ribbon functor $ \sigma: Z \to C_0 $. - **Theorem B**: Gives the Euler characteristic and the total dimension of the state space $ Z_C(\Sigma_g) $, where $ \Sigma_g $ is a surface of genus $ g $. The specific expressions are as follows: \[ \chi(Z_C(\Sigma_g)) = \begin{cases} 0 & \text{if } r \equiv 1 \mod 2 \\ 0 & \text{if } r \equiv 2 \mod 4 \\ \frac{r^{3g - 3}}{2^{2g - 3}} & \text{if } r \equiv 0 \mod 8 \end{cases} \] \[ \dim_{\mathbb{C}} Z_C(\Sigma_g) = r^{3g - 3}\cdot \begin{cases} 2^{2g - 2} & \text{if } r \equiv 1 \mod 2 \\ \frac{1}{2^{g - 1}} & \text{if } r \equiv 2 \mod 4 \\ \frac{1}{2^{2g - 3}} & \text{if } r \equiv 0 \mod 8 \end{cases} \] - **Theorem C**: Establishes the exact relationship between $ b\mathbb{Z}_{\text{sl}(2)} $ and $ b\mathbb{Z}_{\text{osp}(1|2)} $, confirming the results in the physics literature.

Non-semisimple topological field theory and $\widehat{Z}$-invariants from $\mathfrak{osp}(1 \vert 2)$

B-twisted Gaiotto-Witten theory and topological quantum field theory

3d Modularity Revisited

Topological-Holomorphic ${\mathcal N} =4$ Gauge Theory: From Langlands Duality of Holomorphic Invariants to Mirror Symmetry of Quasi-topological Strings

The $\mathbf{Z}_{2}$ topological invariants in 2D and 3D topological superconductors without time reversal symmetry

A mathematical theory of topological invariants of quantum spin systems

Quantum Modular $\widehat Z{}^G$-Invariants

Topological operators, noninvertible symmetries and decomposition

How do field theories detect the torsion in topological modular forms?

Noncommutative topological $\mathbb{Z}_2$ invariant

Interacting Topological Quantum Chemistry in 2D: Many-body Real Space Invariants

Invariants of 3-manifolds via link polynomials and quantum groups

Bosonization and Anomaly Indicators of (2+1)-D Fermionic Topological Orders

Topological invariants of three-manifolds from U_q(osp(1|2n))

Web of Four-Dimensional Dualities and Symmetry Topological Field Theories

Complete crystalline topological invariants from partial rotations in (2+1)D invertible fermionic states and Hofstadter's butterfly

The Stiefel--Whitney theory of topological insulators

Interacting topological quantum chemistry in 2D with many-body real space invariants

Frobenius--Schur indicators for twisted Real representation theory and two dimensional unoriented topological field theory

Categorified Open Topological Field Theories

Orbifolds of topological quantum field theories