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.

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is to generalize the Radford formula of finite - dimensional Hopf algebras to finite tensor categories. Specifically, the Radford formula describes the expression of the fourth power of the endomorphism of a finite - dimensional Hopf algebra: \[ S^4(h) = a^{-1} (\alpha \rightharpoonup h \leftharpoonup \alpha^{-1}) a, \] where \(a\) and \(\alpha\) are the special group - like elements of the Hopf algebra \(H\) and its dual Hopf algebra \(H^*\) respectively. In order to study this formula in a broader framework, the authors developed the theory of Hopf bimodules over a finite rigid tensor category \(C\), and defined a special invertible object \(D\) and a natural isomorphism \(\delta: V^{**}\to D\otimes V^{**}\otimes D^{-1}\) between tensor functors. This provides a categorical Radford formula for finite tensor categories. Furthermore, when \(C\) is a braided tensor category, the author also established the connection between \(\delta\) and the Drinfeld isomorphism, and proved some important properties, for example, a factored braided tensor category is unimodular (i.e., \(D\cong 1\)). These results not only generalize the previous Radford formulas in structures such as weak Hopf algebras and quasi - Hopf algebras, but also provide new insights and tools within a broader categorical framework. In summary, this paper aims to generalize the classical Radford formula to finite tensor categories by introducing the theory of Hopf bimodules and defining the special invertible object \(D\) and its related isomorphisms, thus laying the foundation for further research in this field.

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

Reconstruction of module categories in the infinite and non-rigid settings

Spherical Morita contexts and relative Serre functors

Deligne tensor products of categories of modules for vertex operator algebras

A Special Class of Tensor Categories Initiated by Inverse Braid Monoids

Hopf-cyclic coefficients in the braided setting

Rigid C^*-tensor categories of bimodules over interpolated free group factors

Centers of Braided Tensor Categories

Homotopy Invariants of Braided Commutative Algebras and the Deligne Conjecture for Finite Tensor Categories

Partially Dualized Quasi-Hopf Algebras Reconstructed from Dual Tensor Categories to Finite-Dimensional Hopf Algebras

The Near Centre of Doi-Hopf Module Categorya M (H) C

From Subfactors to Categories and Topology II. The quantum double of tensor categories and subfactors

Central Hopf Monads and Braided Commutative Algebras

A Categorical Interpretation of Yetter-Drinfel’d Modules

Constructing Modular Tensor Categories with Hopf Algebras

Fibre functors and reconstruction of Hopf algebras

N-spherical functors and tensor categories

A braided monoidal $(\infty,2)$-category of Soergel bimodules

Modular functors from non-semisimple 3d TFTs

Inductive systems of the symmetric group, polynomial functors and tensor categories

On uniqueness of tensor products of irreducible categorifications