Abstract:We are concerned with the center (=quantum double) of tensor categories and prove generalizations of several results proven previously for quantum doubles of Hopf algebras. We consider F-linear tensor categories C with simple unit and finitely many isomorphism classes of simple objects. We assume that C is either a *-category (i.e. there is a positive *-operation on the morphisms) or semisimple and spherical over an algebraically closed field F. In the latter case we assume that dim C=sum_i d(X_i)^2 is non-zero, where the summation runs over the isomorphism classes of simple objects. We prove: (i) Z(C) is a semisimple spherical (or *-) category. (ii) Z(C) is weakly monoidally Morita equivalent (in the sense of <a class="link-https" data-arxiv-id="math.CT/0111204" href="https://arxiv.org/abs/math.CT/0111204">math.CT/0111204</a>) to C X C^op. This implies dim Z(C)=(dim C)^2. (iii) We analyze the simple objects of Z(C) 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 Z(C) coincides with the dimension of the state space H_{S^1\times S^1} of the torus in the triangulation TQFT built from C. (iv) We prove that Z(C) is modular and we compute the Gauss sums Delta_+/-(Z(C))=sum_i theta(X_i)^{+/- 1}d(X_i)^2=dim C. (v) Finally, if C is already modular then Z(C)\simeq C X C~, where C~ is the tensor category C with the braiding c~_{X,Y}=c_{Y,X}^{-1}.

Oligomorphic groups, categories of partial bijections, and ultrahomogeneous cubic spaces over finite fields

Oligomorphic groups and tensor categories

Ultrahomogeneous tensor spaces

On the group of infinite $p$-adic matrices with integer elements

Two classes of oligomorphic groups with smooth topological isomorphism relation

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

Categories of Two-Colored Pair Partitions, Part II: Categories Indexed by Semigroups

Categorifications of rational Hilbert series and characters of $FS^{op}$ modules

On finite group scheme-theoretical categories, II

On finite group scheme-theoretical categories, I

Non-singular actions of infinite-dimensional groups and polymorphisms

On the representation theory of the symmetry group of the Cantor set

Some homological properties of category $\mathcal{O}$, VII

Homology groups of cubical sets

The Isomorphism Problem for Oligomorphic Groups with Weak Elimination of Imaginaries

Ultrasolid Homotopical Algebra

Smooth cuboids in group theory

Category $\mathcal{O}$ for hybrid quantum groups and non-commutative Springer resolutions

Polygroup objects in regular categories

Sublinear Bilipschitz Equivalence and the Quasiisometric Classification of Solvable Lie Groups