An analogue of Radford's S^4 formula for finite tensor categories

Abstract

We develop the theory of Hopf bimodules for a finite rigid tensor category C. Then we use this theory to define a distinguished invertible object D of C and an isomorphism of tensor functors ?^{**} and D tensor ^{**}? tensor D^{-1}. This provides a categorical generalization of D. Radford's S^4-formula for finite dimensional Hopf algebras and its generalizations for weak Hopf algebras and for quasi-Hopf algebras, and conjectured in general in \cite{EO}. When C is braided, we establish a connection between the above isomorphism and the Drinfeld isomorphism of C. We also show that a factorizable braided tensor category is unimodular (i.e., D=1). Finally, we apply our theory to prove that the pivotalization of a fusion category is spherical, and give a purely algebraic characterization of exact module categories.

arXiv comment14 pages, AMS-Latex

References in corpus (2)

• Integral Theory for Quasi-Hopf Algebras
• On fusion categories

Cited by in corpus (8)

• The classification of subfactors of index at most 5
• Traces on Module Categories over Fusion Categories
• A geometric approach to boundaries and surface defects in Dijkgraaf-Witten theories
• Invertible braided tensor categories
• The pivotal cover and Frobenius-Schur indicators
• The logarithmic Cardy case: Boundary states and annuli
• The relative modular object and Frobenius extensions of finite Hopf algebras
• The Cyclic and Modular Microcosm Principle in Quantum Topology