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}.

Separable algebras in multitensor C$ ^* $-categories are unitarizable

Separable algebras in multitensor C$^*$-categories are unitarizable

Rigid and Separable Algebras in Fusion 2-Categories

Separable MV-algebras and lattice-ordered groups

Separable MV-algebras and lattice-groups

Separable commutative algebras in equivariant homotopy theory

Monoidal category of C*-algebras

On unimodular module categories

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

Classifying $^$-homomorphisms I: Unital simple nuclear $C^$-algebras

Separable algebras and coflasque resolutions

Centers of Braided Tensor Categories

Separable commutative algebras and Galois theory in stable homotopy theories

One more pathology of C*-algebraic tensor products

Spectra of tensor triangulated categories over category algebras

Separable Spaces of Continuous Functions as Calkin Algebras

Quasi-Frobenius algebras in finite tensor categories

Frobenius Monoidal Functors of Dijkgraaf-Witten Categories and Rigid Frobenius Algebras

Braided multiplicative unitaries as regular objects

A Torsion Theory in the Category of Cocommutative Hopf Algebras

Towards a classification of unitary elements of C*-algebras