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

Topological Koszulity for Category Algebras

Graded and Koszul categories

A generalized Koszul theory and its application in representation theory

Koszul complexes and relative homological algebra of functors over posets

Koszul duality and the Poincaré-Birkhoff-Witt theorem

The Koszul complex is the cotangent complex

Koszul duality for non-graded derived categories

A Representation theoretic perspective of Koszul theory

Fibrations and Koszul duality in locally Cartesian localisations

Categorified Open Topological Field Theories

Grothendieck topology of $C^*$-algebras

Positroids, knots, and $q,t$-Catalan numbers

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

Koszul Monoids in Quasi-abelian Categories

A geometric realization of Koszul duality for graded gentle algebras

Categorical Koszul duality

Construction of Koszul algebras by finite Galois covering

Derived category of equivariant coherent sheaves on a smooth toric variety and Koszul duality

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

Superselection sectors for posets of von Neumann algebras