Computing the center of a fusion category
Abstract
We present a (Las Vegas) algorithm for explicitly computing the simple objects of the categorical (Drinfeld) center of a spherical fusion category. Our approach is based on decomposing the images of simple objects under the induction functor from the category to its center. We have implemented this algorithm in a general-purpose software framework TensorCategories.jl for tensor categories that we develop within the open-source computer algebra system OSCAR. While the required computations are still too heavy to investigate standard examples whose center is not yet known up to some equivalence, our algorithm has the advantage of determining explicit half-braidings for the simple central objects, avoiding abstract equivalences and the like. Furthermore, it also works over not necessarily algebraically closed fields, and this yields new explicit examples of non-split modular categories.
- Publication:
-
arXiv e-prints
- Pub Date:
- June 2024
- DOI:
- 10.48550/arXiv.2406.13438
- arXiv:
- arXiv:2406.13438
- Bibcode:
- 2024arXiv240613438M
- Keywords:
-
- Mathematics - Representation Theory;
- Mathematical Physics;
- Mathematics - Category Theory;
- Mathematics - Quantum Algebra