arXiv subjects
Publications and source records attributed to Bertrand Patureau-Mirand.
For G a group, we present a G-graded version of chromatic maps and skein modules and use them to define a 2+1-G-HQFT out of a G-chromatic category. The construction applies to the representations of unrestricted quantum groups at root of unity and recovers the modified Turaev-Viro 3-dimensional invariants.
We study the density of the Burau representation from the perspective of a non-semisimple TQFT at a fourth root of unity. This gives a TQFT construction of Squier's Hermitian form on the Burau representation with possibly mixed signature. We prove that the image of the braid group in the space of possibly indefinite unitary representations is dense. We also argue for the potential applications of non-semisimple TQFTs toward topological quantum computation.
This paper contains three related groupings of results. First, we consider a new notion of an admissible skein module of a surface associated to an ideal in a (non-semisimple) pivotal category. Second, we introduce the notion of a chromatic category and associate to such a category a finite dimensional non-compact (2+1)-TQFT by assigning admissible skein modules to closed oriented surfaces and using Juhász's presentation of cobordisms. The resulting TQFT extends to a genuine one if and only if the chromatic category is semisimple with nonzero dimension (recovering then the Turaev-Viro TQFT). The third grouping of results concerns sided chromatic maps in finite tensor categories. In particular, we prove that every spherical tensor category (in the sense of Etingof, Douglas et al.) is a chromatic category (and so can be used to define a non-compact (2+1)-TQFT).
Chromatic maps for spherical tensor categories are instrumental tools to construct (non semisimple) invariants of 3-manifolds and their extension to (non compact) (2+1)-TQFTs. In this paper, we introduce left and right chromatic maps for finite tensor categories and prove that such maps always exist. As a corollary, we obtain that any spherical finite tensor category has a chromatic map.
In this paper we introduce the notion of admissible skein modules associated to an ideal in a pivotal category. We explain how these modules are generalizations of the Kauffman skein algebra and how they relate to renormalized quantum invariants coming from non-semisimple categories.
For $G$ a commutative group, we give a purely Hopf $G$-coalgebra construction of $G$-colored $3$-manifolds invariants using the notion of modified integral.
We develop the categorical context for defining Hermitian non-semisimple TQFTs. We prove that relative Hermitian modular categories give rise to modified Hermitian WRT-TQFTs and provide numerous examples of these structures coming from the representation theory of quantum groups and quantum superalgebras. The Hermitian theory developed here for the modified Turaev-Viro TQFT is applied to define new pseudo-Hermitian topological phases that can be considered as non-semisimple analogs of Levin-Wen models.
We use modified traces to renormalize Lyubashenko's closed 3-manifold invariants coming from twist non-degenerate finite unimodular ribbon categories. Our construction produces new topological invariants which we upgrade to 2+1-TQFTs under the additional assumption of factorizability. The resulting functors provide monoidal extensions of Lyubashenko's mapping class group representations, as discussed in arXiv:2010.14852. This general framework encompasses important examples of non-semisimple modular categories coming from the representation theory of quasi-Hopf algebras, which were left out of previous non-semisimple TQFT constructions.
We study properties of relative modular categories and derive sufficient conditions for their existence. In particular, we derive sufficient conditions for relative pre-modular categories to be non-degenerate and relative modular, and for the quotient of categories taking a particular form by their ideal of negligible modules to be generically semi-simple.
We construct large classes of exactly solvable pseudo-Hermitian 2D spin Hamiltonians. The ground states of these systems depend only on the spatial topology of the system. We identify the ground state system on a surface with the value assigned to the surface by a non-semisimple TQFT generalizing the Turaev-Viro model. A non-trivial example arises from a non-semisimple subcategory of representations of quantum sl(2) where the quantum parameter is specialized to a root of unity.
We endow a non-semisimple category of modules of unrolled quantum sl(2) with a Hermitian structure. We also prove that the TQFT constructed in arXiv:1202.3553 using this category is Hermitian. This gives rise to projective representations of the mapping class group in the group of indefinite unitary matrices.
We examine two different m-traces in the category of representations over the quantum Lie superalgebra associated to $\mathfrak{sl}(m|n)$ at root of unity. The first m-trace is on the ideal of projective modules and leads to new Extended Topological Quantum Field Theories. The second m-trace is on the ideal of perturbative typical modules. We consider the quotient with respect to negligible morphisms coming from this m-trace and show that in the case of $\mathfrak{sl}(2|1)$ this quotient leads to 3-manifolds invariants. We conjecture that the quotient category of perturbatives over quantum $\mathfrak{sl}(m|n)$ leads to 3-manifold invariants and more generally ETQFTs.
We generalize the notion of a modified trace (or m-trace) to the setting of non-unimodular categories. M-traces are known to play an important role in low-dimensional topology and representation theory, as well as in studying the category itself. Under mild conditions we give existence and uniqueness results for m-traces in pivotal categories.
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]. Finally, we show that, when $\mathcal{C}$ is the category of finite-dimensional representations of the small quantum group of $\mathfrak{sl}_2$, the action of all Dehn twists for surfaces without marked points has infinite order.
The second author constructed a topological ribbon Hopf algebra from the unrolled quantum group associated with the super Lie algebra $\mathfrak{sl}(2|1)$. We generalize this fact to the context of unrolled quantum groups and construct the associated topological ribbon Hopf algebras. Then we use such an algebra, the discrete Fourier transforms, a symmetrized graded integral and a modified trace to define a modified graded Hennings invariant. Finally, we use the notion of a modified integral to extend this invariant to empty manifolds and show that it recovers the CGP-invariant.
We show that unrolled quantum groups at odd roots of unity give rise to relative modular categories. These are the main building blocks for the construction of 1+1+1-TQFTs extending CGP invariants, which are non-semisimple quantum invariants of closed 3-manifolds decorated with ribbon graphs and cohomology classes. When we consider the zero cohomology class, these quantum invariants are shown to coincide with the renormalized Hennings invariants coming from the corresponding small quantum groups.
We give a categorical setting in which Penrose graphical calculus naturally extends to graphs drawn on the boundary of a handlebody. We use it to introduce invariants of 3-manifolds presented by Heegaard splittings. We recover Kuperberg invariants when the category comes from an involutory Hopf algebra and Turaev-Viro invariants when the category is semi-simple and spherical.
R. Kashaev and N. Reshetikhin introduced the notion of holonomy braiding extending V. Turaev's homotopy braiding to describe the behavior of cyclic representations of the unrestricted quantum group $U_qsl_2$ at root of unity. In this paper, using quandles and biquandles we develop a general theory for Reshetikhin-Turaev ribbon type functor for tangles with quandle representations. This theory applies to the unrestricted quantum group $U_qsl_2$ and produces an invariant of links with a gauge class of quandle representations.