A finite braided tensor category is fully dualizable in the Morita 4-category of braided pre-tensor categories whenever its symmetric center is separable.
Non-degeneracy conditions for braided finite tensor categories
1 Pith paper cite this work. Polarity classification is still indexing.
abstract
For a braided finite tensor category $\mathcal{C}$ with unit object $1 \in \mathcal{C}$, Lyubashenko considered a certain Hopf algebra $\mathbb{F} \in \mathcal{C}$ endowed with a Hopf pairing $\omega: \mathbb{F} \otimes \mathbb{F} \to 1$ to define the notion of a `non-semisimple' modular tensor category. We say that $\mathcal{C}$ is non-degenerate if the Hopf pairing $\omega$ is non-degenerate. In this paper, we show that $\mathcal{C}$ is non-degenerate if and only if it is factorizable in the sense of Etingof, Nikshych and Ostrik, if and only if its M\"uger center is trivial, if and only if the linear map $\Omega: \mathrm{Hom}_{\mathcal{C}}(1, \mathbb{F}) \to \mathrm{Hom}_{\mathcal{C}}(\mathbb{F}, 1)$ induced by the pairing $\omega$ is invertible. As an application, we prove that the category of Yetter-Drinfeld modules over a Hopf algebra in $\mathcal{C}$ is non-degenerate if and only if $\mathcal{C}$ is.
citation-role summary
citation-polarity summary
fields
math.QA 1years
2025 1verdicts
ACCEPT 1roles
background 1polarities
background 1representative citing papers
citing papers explorer
-
Relative Invertibility and Full Dualizability of Finite Braided Tensor Categories
A finite braided tensor category is fully dualizable in the Morita 4-category of braided pre-tensor categories whenever its symmetric center is separable.