Search arXivSearch

arXiv · 2407.10018

A manifestly Morita-invariant construction of Turaev-Viro invariants

Abstract

We present a state sum construction that assigns a scalar to a skeleton in a closed oriented three-dimensional manifold. The input datum is the pivotal bicategory $\mathbf{Mod}^{\mathrm{sph}}(\mathcal{A})$ of spherical module categories over a spherical fusion category $\mathcal{A}$. The interplay of algebraic structures in this pivotal bicategory with moves of skeleta ensures that our state sum is independent of the skeleton on the manifold. We show that the bicategorical invariant recovers the value of the standard Turaev-Viro invariant associated to $\mathcal{A}$, thereby proving the independence of the Turaev-Viro invariant under pivotal Morita equivalence without recurring to the Reshetikhin-Turaev construction. A key ingredient for the construction is the evaluation of graphs on the sphere with labels in $\mathbf{Mod}^{\mathrm{sph}}(\mathcal{A})$ that we develop in this article. A central tool are Nakayama-twisted traces on pivotal bimodule categories which we study beyond semisimplicity.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Jürgen Fuchs, César Galindo, David Jaklitsch, Christoph Schweigert. 2024-07-13. A manifestly Morita-invariant construction of Turaev-Viro invariants. https://arxiv.org/abs/2407.10018

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Categorification of quasi-split iquantum groups

We introduce a new family of graded 2-categories generalizing the 2-quantum groups introduced by Khovanov, Lauda and Rouquier. We use them to categorify quasi-split iquantum groups in all symmetric types.

math.QA

The Ring of Differential Operators on a Nodal Curve is not a Bialgebroid

In a previous article, we showed that local projectivity is a sufficient condition for the existence of a bialgebroid structure on the ring of differential operators on an affine variety. In this note, we show using elementary methods that the ring of differential operators on a nodal curve is neither locally projective nor does it admit a bialgebroid structure.

math.QA

Coset representatives corresponding to Yetter-Drinfeld modules of modular group and continued fraction

We give complete conjugacy classes of modular group SL(2,Z). Particularly, the conjugacy classes of hyperbolic elements are decided by the proper equivalence classes of indefinite forms, and we give an example. Finally, we describe the coset representatives of centralizer of S, ST, T and hyperbolic elements of SL(2,Z) by regular continued fraction. In conclusion, most Nichols algebras over modular group are infinite-dimensional except Proposition 4.10.

math.QA