Reconstructing braided subcategories of \(SU (N)_k \) (Q6051026)

By (braided) Ocneanu rigidity [\textit{P. Etingof} et al., Ann. Math. (2) 162, No. 2, 581--642 (2005; Zbl 1125.16025), Theorem 2.3] there are finitely many (braided) fusion categories with the same fusion rules as a given one, which does not provide a classification or even an enumerative bound up to equivalence. It follows from results of [\textit{P. Etingof} et al., Ann. Math. (2) 162, No. 2, 581--642 (2005; Zbl 1125.16025)] that any fusion category over \(\mathbb{C}\) can be defined over an algebraic extension \(K\) of \(\mathbb{Q}\). It is carefully shown in [\textit{O. Davidovich} et al., ``On arithmetic modular categories'', Preprint, \url{arXiv:1305.2229}] that the axioms of a (braided, ribbon) fusion category can be expressed as structure constants abiding by algebraic equations so that for any Galois automorphism \(\sigma \) one may define a (braided, ribbon) fusion category \(\sigma(\mathcal{C})\) by applying \(\sigma\) to the structure constants. Since the fusion coefficients are rational integers, the fusion rules of \(\mathcal{C}\) and \(\sigma(\mathcal{C})\) are the same. Any fusion category with the fusion rules like \(Vec_{G}\) for a finite group \(G\) is of the form \(Vec_{G}^{\varpi}\). \textit{D. Kazhdan} and \textit{H. Wenzl} [Adv. Sov. Math. 16, 111--136 (1993; Zbl 0786.18002)] show that the same is true for fusion categories with the same fusion rules as the \(\mathbb{Z}_{N}\)-graded fusion categories \(SU(N)_{k}\) obtained from quantum groups \(U_{q}\mathfrak{sl}_{N}\) for \(q=e^{\pi i/(N+k)}\). They demonstrate that if \(\mathcal{C}\) has fusion rules like \(SU(N)_{k}\), then \(\mathcal{C}\) is a twist of the fusion category \(\mathrm{Fus}(\mathcal{C}(\mathfrak{sl}_{N},N+k,\widetilde{q}))\) underlying the fusion category \(\mathcal{C}(\mathfrak{sl}_{N},N+k,\widetilde{q})\) obtained from \(U_{\widetilde{q}}\mathfrak{sl}_{N}\), where \(\widetilde{q}\) is another root of unity of the same order as \(q\). The approach of \ is fairly technical and uses the relationship between the Hecke algebras \(\mathcal{H}_{n}(q)\) and the centralizer algebras in \(SU(N)_{k}\) in an essential way. The categories \(SU(N)_{k}\) are non-degenerate braided fusion categories. Moreover \(SU(N)_{k}\) has a well-studied factorization into braided subcategories \[ MSU(N)_{k}\boxtimes\mathcal{C}(\mathbb{Z}_{m},P) \] where \(\mathcal{C}(\mathbb{Z}_{m},P)\) is a pointed modular category with fusion rules like \(\mathbb{Z}_{m}\) with \(m\) the largest factor of \(N\) coprime to \(k\) and \(MSU(N)_{k}\) the centralizer of \(\mathcal{C}(\mathbb{Z}_{m},P)\). This paper aims to study certain subtleties on the problem of classifying braided fusion categories with a fixed set of fusion rules in case of the same fusion rules as \(SU(N)_{k}\) or \(MSU(N)_{k}\). The main result is the following theorem. Theorem. \begin{itemize} \item[(1)] Let \ be a braided fusion category with the same fusion rules as \(SU(N)_{k}\). Then there exist exactly \(2N\) different braidings over the underlying fusion category \(\mathrm{Fus}(\mathcal{C})\). \item[(2)] We have \[ SU(N)_{k}\equiv\mathcal{C}(\mathbb{Z}_{m},Q)\boxtimes MSU(N)_{k} \] as braided fusion categories where \(m\) is the maximal divisor of \(N\) coprime to \(k\). \item[(3)] Let \(\mathcal{D}\) be a braided fusion category with the same fusion rules as \(MSU(N)_{k}\). There are at most two different braid structures on \(\mathcal{D}\) up to the object relabeling and braid reversing. \end{itemize} The synopsis of the paper goes as follows. \begin{itemize} \item[\S 2] lays out the basic definitions and general results about braided tensor categories, fixing the notations. \item[\S 3] introduces basic properties of the categories \(\mathcal{C}(\mathfrak{sl}_{N},N+k,q)\). \item[\S 4] classifies all possible braidings over \(\mathcal{C}(\mathfrak{sl}_{N},N+k,q)\). \item[\S 5] classifies all possible braidings over categories obtained from \(\mathcal{C}(\mathfrak{sl}_{N},N+k,q)\) by twisting the associativity constraints. All possible braidings over fusion categories with the same fusion rules are also classified as certain subcategories of \(SU(N)_{k}\). \end{itemize}