Computing associators of endomorphism fusion categories
Preprint
Abstract
Many applications of fusion categories, particularly in physics, require the associators or $F$-symbols to be known explicitly. Finding these matrices typically involves solving vast systems of coupled polynomial equations in large numbers of variables. In this work, we present an algorithm that allows associator data for some category with unknown associator to be computed from a Morita equivalent category with known data. Given a module category over the latter, we utilize the representation theory of a module tube category, built from the known data, to compute this unknown associator data. When the input category is unitary, we discuss how to ensure the obtained data is also unitary. We provide several worked examples to illustrate this algorithm. In addition, we include several Mathematica files showing how the algorithm can be used to compute the data for the Haagerup category $\mathcal{H}_1$, whose data was previously unknown.
Keywords
All Related Versions
This publication has 24 references indexed in Scilit:
- Fermion condensation and super pivotal categoriesJournal of Mathematical Physics, 2019
- Fusing binary interface defects in topological phases: The Z/pZ caseJournal of Mathematical Physics, 2019
- Operator Algebras in Rigid C*-Tensor CategoriesCommunications in Mathematical Physics, 2017
- A Remark on CFT Realization of Quantum Doubles of Subfactors: Case Index ${ < 4}$ < 4Letters in Mathematical Physics, 2016
- Quantum Subgroups of the Haagerup Fusion CategoriesCommunications in Mathematical Physics, 2012
- The Exoticness and Realisability of Twisted Haagerup–Izumi Modular DataCommunications in Mathematical Physics, 2011
- Clebsch–Gordan and 6j-coefficients for rank 2 quantum groupsJournal of Physics A: Mathematical and Theoretical, 2010
- Anyons in an exactly solved model and beyondAnnals of Physics, 2006
- Module categories, weak Hopf algebras and modular invariantsTransformation Groups, 2003
- Exotic Subfactors of Finite Depth with Jones Indices $(5+\sqrt{13})/2$ and $(5+\sqrt{17})/2$Communications in Mathematical Physics, 1999