Finitely semisimple spherical categories and modular categories are self-dual. (Q1023042): Difference between revisions

Spherical categories were introduced by \textit{J. W. Barrett} and \textit{B. W. Westbury} [Adv. Math. 143, No. 2, 357-375 (1999; Zbl 0930.18004)] to study the Turaev-Viro invariant of a closed three-dimensional PL-manifold in the context of monoidal categories with duals. The main property of a spherical category consists in the coincidence of the trace with respect to the left and right dual. The author considers finitely semisimple additive spherical categories \(\mathcal C\) such that the center is a field \(k\) and proves that such categories are Tannaka-Krein self-dual in a general sense. Namely, the coend of the long forgetful functor \(\mathcal C\to\mathbf{Mod}(k)\) is a finite dimensional split cosemisimple cospherical weak Hopf algebra \(H\) which is shown to be self-dual, and \(\mathcal C\) can be recovered as the category of finite dimensional \(H\)-comodules.