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}.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is about the structure and properties of the center of tensor categories. Specifically, the author explores how to generalize the known results about the quantum double of finite - dimensional Hopf algebras to more general tensor categories. The main focuses include:
1. **Module properties of the center**: Prove that for a specific type of tensor category \(C\), its center \(Z(C)\) is a modular category, which means that its \(S\)-matrix is invertible. This has important applications in topological quantum field theory (TQFT).
2. **Semisimplicity and sphericity of the center**: Prove that if \(C\) is semisimple, spherical, and has a finite number of simple objects, then \(Z(C)\) is also semisimple and spherical. Moreover, the dimension of \(Z(C)\) is the square of the dimension of \(C\), that is, \(\text{dim }Z(C) = (\text{dim }C)^2\).
3. **Analysis of simple objects**: By studying the simple objects in \(Z(C)\), the author proves that the number of these objects is equal to the dimension of the state space of the torus in the triangulated TQFT constructed from \(C\). This result verifies the conjecture of Gelfand and Kazhdan.
4. **Weak monoidal equivalence of quantum double algebras**: Prove that there is a weak monoidal Morita equivalence between \(Z(C)\) and \(C\otimes_F C^{\text{op}}\). This further indicates that the structure of \(Z(C)\) is closely related to the structure of \(C\) itself.
### Main conclusions
- **Module properties**: If \(C\) is semisimple, spherical, and \(\text{dim }C\neq 0\), then \(Z(C)\) is a modular category.
- **Dimension relationship**: \(\text{dim }Z(C)=(\text{dim }C)^2\).
- **Gauss sum**: Calculate the Gauss sum \(\Delta^\pm(Z(C))\) of \(Z(C)\) and prove that they are equal to \(\text{dim }C\).
- **Weak monoidal equivalence**: There is a weak monoidal Morita equivalence between \(Z(C)\) and \(C\otimes_F C^{\text{op}}\).
### Methods and tools
- **Tensor categories and semisimplicity**: Utilize the semisimplicity and sphericity properties of tensor categories to study the structure of \(Z(C)\) by constructing and analyzing half - braidings.
- **Conditional expectation**: Introduce conditional expectation to prove the semisimplicity of \(Z(C)\).
- **Trace function**: Use the trace function to verify the properties of \(Z(C)\), especially non - degeneracy.
### Applications
- **Topological quantum field theory**: Modular categories have important applications in TQFT, especially in the study of 3 - manifold invariants.
- **Subfactor theory**: Through the relationship between the asymptotic subfactor in subfactor theory and the center of tensor categories, further verify the correctness of the theory.
In conclusion, this paper expands the understanding of quantum double algebras by in - depth study of the center of tensor categories and provides new perspectives for topological quantum field theory and subfactor theory.