Weakly group-theoretical and solvable fusion categories (Q610669): Difference between revisions

A fusion category \({\mathcal C}\) is called nilpotent if there is a sequence of fusion categories \({\mathcal C}_0=\mathcal Vec\), \({\mathcal C}_{1},\dots,{\mathcal C}_n={\mathcal C}\) and a sequence \(G_1,\dots,G_n\) of finite groups such that \({\mathcal C}_i\) is obtained from \({\mathcal C}_{i-1}\) by a \(G_i\)-extension (i.e., \({\mathcal C}_i\) is faithfully graded by \(G_i\) with trivial component \({\mathcal C}_{i-1} \). \({\mathcal C}\) is called cyclically nilpotent if the \(G_i\) can be chosen to be cyclic. A fusion category \({\mathcal C}\) is called weakly group-theoretical if it is Morita equivalent to a nilpotent fusion category, and is called solvable if it is Morita equivalent to a cyclically nilpotent fusion category. The class of weakly group-theoretical categories contains the classes of solvable and group-theoretical categories (i.e., Morita equivalent to pointed categories). A fusion category \({\mathcal C}\) is said to have the strong Frobenius property if for every indecomposable \({\mathcal C}\)-module category \(\mathcal M\) and any simple object \(X\) in \(\mathcal M\), the quotient \(\text{FP}\dim({\mathcal C})/\text{FP}\dim(X)\) is an algebraic integer, where the Frobenius-Perron (FP) dimensions in \(X\) are normalized so that \(\text{FP}\dim(\mathcal M)= \text{FP}\dim({\mathcal C})\). We state two main results of the paper. Theorem 1.5: Any weakly group-theoretical fusion category has the strong Frobenius property. Theorem 1.6: Any fusion category of FP-dimension \(p^r q^s\), where \(p\) and \(q\) are primes and \(r\) and \(s\) are non-negative integers, is solvable. Various applications to weakly group-theoretical and sovable fusion categories are promised in future publications.