Integral modular categories of Frobenius-Perron dimension \(pq^n\) (Q269831): Difference between revisions

The authors address the following question: Are integral modular categories with Frobenius Perron dimension \(pq^n\) group theoretical? We recall that a modular category \(\mathcal{C}\) is group theoretical (GT) when it is Morita dual to a pointed fusion category, that is \(\mathcal{C}\simeq\mathrm{End}_\mathcal{P}\mathcal{M}\), where \(\mathcal{P}\) is a fusion category whose simple objects are all one-dimensional and \(\mathcal{M}\) is a \(\mathcal{P}\)-module category. On one hand, the authors prove that if \(\mathrm{FP}\dim\mathcal{C}=pq^n\), then \(\mathcal{C}\) is either GT or contains a Tannakian subcategory \(\mathcal{E}\subset \mathcal{C}\) with \(\mathrm{FP}\dim\mathcal{C}=q^i\), \(i\geq 2\); that is a subcategory equivalent to \(\mathrm{Rep}\,G\), \(G\) a finite group. On another, they show that a sufficient condition for a positive answer to the question addressed is the existence of a symmetric subcategory \(\mathcal{D}\subset \mathcal{C}\) with nilpotent Müger centralizer. In particular, this allows them to recover some results of \textit{V. Drinfeld} et al. [Sel. Math., New Ser. 16, No. 1, 1--119 (2010; Zbl 1201.18005)], namely that ``nilpotent implies GT''. They extend this to an equivalence precisely in the case in which \(\mathrm{FP}\dim\mathcal{C}=pq^n\), with \(p<q\). The authors are able to combine these ideas to find concrete answers for the cases \(n=5,6,7\); namely they show that \(\mathcal{C}\) is GT when \(n=5\) or when \(p<q\) and \(n=6\) or 7.