A finiteness property for braided fusion categories (Q431828): Difference between revisions

In this paper the authors consider a finiteness condition, called property \textbf{F}, on a braided fusion category \(\mathcal C\). Having property \textbf{F} means that all braid group representations on the endomorphism spaces of \(n\)th tensor powers of objects of \(\mathcal C\), arising from the braiding of \(\mathcal C\), factor over finite groups. For instance, in the paper [Pac. J. Math. 234, No. 1, 33--41 (2008; Zbl 1207.16038)], \textit{P. Etingof}, \textit{E. Rowell} and \textit{S. Witherspoon} have established that if \(\mathcal C\) is a braided group-theoretical fusion category, as in Section 8.8 of the paper [Ann. Math. (2) 162, No. 2, 581--642 (2005; Zbl 1125.16025)] by \textit{P. Etingof}, \textit{D. Nikshych} and \textit{V. Ostrik}, then \(\mathcal C\) has property \textbf{F}. The authors conjecture that having property \textbf{F} is equivalent to \(\mathcal C\) being weakly integral, that is, having integer Frobenius-Perron dimension. Examples of fusion categories of quantum group type are presented to support this conjecture. One of the main results of the paper gives a list of sufficient conditions for a braided integral (that is, such that all Frobenius-Perron dimensions of simple objects are integers) fusion category to have property \textbf{F}. As part of the proof of this result, some classification results for certain classes of fusion categories are obtained: this includes fusion categories generated by a self-dual object of dimension 2 and whose simple objects have dimension 1 or 2, and also modular categories of dimension \(pq^2\) and \(pq^3\), where \(p\) and \(q\) are distinct prime numbers.