Computing associators of endomorphism fusion categories

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 H1, whose data was previously unknown.

[1]  Xiao-Gang Wen,et al.  String-net condensation: A physical mechanism for topological phases , 2004, cond-mat/0404617.

[2]  Viktor Ostrik Module categories, weak Hopf algebras and modular invariants , 2001 .

[3]  Matthias Troyer,et al.  Interacting anyons in topological quantum liquids: the golden chain. , 2007, Physical review letters.

[4]  M. Izumi The Structure of Sectors Associated with Longo-Rehren Inclusions II , 2001 .

[5]  K. Walker,et al.  Fermion condensation and super pivotal categories , 2017, Journal of Mathematical Physics.

[6]  On fusion categories , 2002, math/0203060.

[7]  Jacob C. Bridgeman,et al.  Computing data for Levin-Wen with defects , 2019, Quantum.

[8]  J. Slingerland,et al.  Clebsch–Gordan and 6j-coefficients for rank 2 quantum groups , 2010, 1004.5456.

[9]  Corey Jones,et al.  Operator Algebras in Rigid C*-Tensor Categories , 2016, 1611.04620.

[10]  Jacob C. Bridgeman,et al.  Fusing binary interface defects in topological phases: The Z/pZ case , 2019, Journal of Mathematical Physics.

[11]  M. Bischoff A Remark on CFT Realization of Quantum Doubles of Subfactors: Case Index $${ < 4}$$<4 , 2015, 1506.02606.

[12]  David E. Evans,et al.  The Exoticness and Realisability of Twisted Haagerup–Izumi Modular Data , 2010, 1006.1326.

[13]  U. Haagerup,et al.  EXOTIC SUBFACTORS OF FINITE DEPTH WITH JONES INDICES (5 + 13)/2 AND (5 + 17)/2 , 1999 .

[14]  Alexei Kitaev,et al.  Anyons in an exactly solved model and beyond , 2005, cond-mat/0506438.

[15]  V. Jones Some unitary representations of Thompson's groups F and T , 2014, 1412.7740.

[16]  S. Yamagami Polygonal presentations of semisimple tensor categories , 2002 .

[17]  Finite tensor categories , 2003, math/0301027.

[18]  Noah Snyder,et al.  Quantum Subgroups of the Haagerup Fusion Categories , 2011, 1102.2631.

[19]  ON THE TURAEV-VIRO-OCNEANU INVARIANT OF 3-MANIFOLDS DERIVED FROMTHE E6-SUBFACTOR , 2002 .