Abstract :
For every tensor category there is a braided tensor category , the ‘center’ of . It is well known to be related to Drinfelʹdʹs notion of the quantum double of a finite dimensional Hopf algebra H by an equivalence of braided tensor categories. In the Hopf algebra situation, whenever D(H)-mod is semisimple (which is the case iffD(H) is semisimpleiffH is semisimple and cosemisimpleiffS2=id and ) it is modular in the sense of Turaev, i.e. its S-matrix is invertible. (This was proven by Etingof and Gelaki in characteristic zero. We give a fairly general proof in the appendix.) The present paper is concerned with a generalization of this and other results to the quantum double (center) of more general tensor categories.
We consider -linear tensor categories with simple unit and finitely many isomorphism classes of simple objects. We assume that is either a *-category (i.e. and there is a positive *-operation on the morphisms) or semisimple and spherical over an algebraically closed field . In the latter case we assume , where the summation runs over the isomorphism classes of simple objects. We prove that (i) is a semisimple spherical (or *-) category and (ii) is weakly monoidally Morita equivalent (in the sense of Müger (J. Pure Appl. Algebrea 180 (2003) 81–157)) to . This implies . (iii) We analyze the simple objects of in terms of certain finite dimensional algebras, of which Ocneanuʹs tube algebra is the smallest. We prove the conjecture of Gelfand and Kazhdan according to which the number of simple objects of coincides with the dimension of the state space of the torus in the triangulation TQFT built from . (iv) We prove that is modular and we compute . (v) Finally, if is already modular then , where is the tensor category with the braiding .
