We prove that braided fusion categories of Frobenius-Perron $p^mq^nd$ or $p^2q^2r^2$ are weakly group-theoretical, where $p,q,r$ are distinct prime numbers, $d$ is a square-free natural number such that $(pq,d)=1$. As an application, we obtain that weakly integral braided fusion categories of Frobenius-Perron dimension less than $1800$ are weakly group-theoretical, and weakly integral braided fusion categories of odd dimension less than $33075$ are solvable. For the general case, we prove that fusion categories (not necessarily braided) of Frobenius-Perron dimension $84$ and $90$ either solvable or group-theoretical. Together with the results in the literature, this shows that every weakly integral fusion category of Frobenius-Perron dimension less than $120$ is either solvable or group-theoretical. Thus we complete the classification of all these fusion categories in terms of Morita equivalence.
In this paper, we study fusion categories which contain a proper fusion subcategory with maximal rank. They can be viewed as generalizations of near-group fusion categories. We first prove that they admit spherical structure. We then classify those which are non-degenerate or symmetric. Finally, we classify such fusion categories of rank 4.
We calculate Frobenius-Schur indicator values for some fusion categories obtained from inclusions of finite groups $H\subset G$, where more concretely $G$ is symmetric or alternating, and $H$ is a symmetric, alternating or cyclic group. Our work is strongly related to earlier results by Kashina-Mason-Montgomery, Jedwab-Montgomery, and Timmer for bismash product Hopf algebras obtained from exact factorizations of groups. We can generalize some of their results, settle some open questions and offer shorter proofs; this already pertains to the Hopf algebra case, while our results also cover fusio…
Let C be a fusion category which is an extension of a fusion category D by a finite group G. We classify module categories over C in terms of module categories over D and the extension data (c,M,a) of C. We also describe functor categories over C (and in particular the dual categories of C). We use this in order to classify module categories over the Tambara Yamagami fusion categories, and their duals.
We establish rank-finiteness for the class of $G$-crossed braided fusion categories, generalizing the recent result for modular categories and including the important case of braided fusion categories. This necessitates a study of slightly degenerate braided fusion categories and their centers, which are interesting for their own sake.
This is a study of weakly integral braided fusion categories with elementary fusion rules to determine which possess nondegenerately braided extensions of theoretically minimal dimension, or equivalently in this case, which satisfy the minimal modular extension conjecture. We classify near-group braided fusion categories satisfying the minimal modular extension conjecture; the remaining Tambara-Yamagami braided fusion categories provide arbitrarily large families of braided fusion categories with identical fusion rules violating the minimal modular extension conjecture. These examples generali…
We develop a categorical analogue of Clifford theory for strongly graded rings over graded fusion categories. We describe module categories over a fusion category graded by a group $G$ as induced from module categories over fusion subcategories associated with the subgroups of $G$. We define invariant $\C_e$-module categories and extensions of $\C_e$-module categories. The construction of module categories over $\C$ is reduced to determine invariant module categories for subgroups of $G$ and the indecomposable extensions of this modules categories. We associate a $G$-crossed product fusion cat…
We classify braided $\mathbb{Z}_q$-extensions of pointed fusion categories, where $q$ is a prime number. As an application, we classify modular categories of Frobenius-Perron dimension $q^3$.
We describe Lagrangian algebras in twisted Drinfeld centres for finite groups. Using the full centre construction, we establish a 1-1 correspondence between Lagrangian algebras and module categories over pointed fusion categories.
We describe the structure of a generalized near-group fusion category and present an example of this class of fusion categories which arises from the extension of a Fibonacci category. We then classify slightly degenerate generalized near-group fusion categories. We also prove a structure result for braided generalized Tambara-Yamagami fusion categories.
We establish some relations between the orders of simple objects in a fusion category and the structure of its universal grading group. We consider fusion categories which have a faithful simple object and show that its universal grading group must be cyclic. As for the converse, we prove that a braided nilpotent fusion category with cyclic universal grading group always has a faithful simple object. We study the universal grading of fusion categories with generalized Tambara-Yamagami fusion rules. As an application, we classify modular categories in this class and describe the modularizations…
We describe an approach to classification of fusion categories in terms of Morita equivalence. This is usually achieved by analyzing Drinfeld centers of fusion categories and finding Tannakian subcategories therein.
In this paper, we first show for a slightly degenerate pre-modular fusion category $\mathcal{C}$ that squares of dimensions of simple objects divide half of the dimension of $\mathcal{C}$, and that slightly degenerate fusion categories of FP-dimensions $2p^nd$ and $4p^nd$ are nilpotent, where $p$ is an odd prime and $d$ is an odd square-free integer. Then we classify slightly degenerate generalized Tambara-Yamagami fusion categories and weakly integral slightly degenerate fusion categories of particular dimensions.
We develop methods of computation of the Brauer-Picard groups of fusion categories and apply them to compute such groups for several classes of fusion categories of prime power dimension: representation categories of elementary abelian groups with twisted associativity constraint, extra special p-groups, and the Kac-Paljutkin Hopf algebra. We conclude that many finite groups of Lie type occur as composition factors of the Brauer-Picard groups of pointed fusion categories.
In this paper we extend categorically the notion of a finite nilpotent group to fusion categories. To this end, we first analyze the trivial component of the universal grading of a fusion category C, and then introduce the upper central series of C. For fusion categories with commutative Grothendieck rings (e.g., braided fusion categories) we also introduce the lower central series. We study arithmetic and structural properties of nilpotent fusion categories, and apply our theory to modular categories and to semisimple Hopf algebras. In particular, we show that in the modular case the two cent…
We give an explicit description, up to gauge equivalence, of group-theoretical quasi-Hopf algebras. We use this description to compute the Frobenius-Schur indicators for group-theoretical fusion categories.
We give a necessary and sufficient condition in terms of group cohomology for two indecomposable module categories over a group-theoretical fusion category ${\mathcal C}$ to be equivalent. This concludes the classification of such module categories.
We classify all fusion categories of rank 3 that admit a pivotal structure over an algebraically closed field of characteristic zero. Also in the Appendix (joint with D.Nikshych) we give some restrictions on Grothendieck rings of near-group categories.
We prove a version of the Jordan-H\" older theorem in the context of weakly group-theoretical fusion categories. This allows us to introduce the composition factors and the length of such a fusion category C, which are in fact Morita invariants of C.
We prove some results on the structure of certain classes of integral fusion categories and semisimple Hopf algebras under restrictions on the set of its irreducible degrees.
We introduce a weakening of the notion of fusion 2-category given in arXiv:1812.11933. Then, we establish a number of properties of (multi)fusion 2-categories. Finally, we describe the fusion rule of the fusion 2-categories associated to certain pointed braided fusion categories.
We prove several results in the theory of fusion categories using the product (norm) and sum (trace) of Galois conjugates of formal codegrees. First, we prove that finitely-many fusion categories exist up to equivalence whose global dimension has a fixed norm. Furthermore, with two exceptions, all formal codegrees of spherical fusion categories with square-free norm are rational integers. This implies, with three exceptions, that every spherical braided fusion category whose global dimension has prime norm is pointed. The reason exceptions occur is related to the classical Schur-Siegel-Smyth p…
We provide a general formula for Mueger's centralizer of any fusion subcategory of a braided fusion category containing a tannakian subcategory. This entails a description for Mueger's centralizer of all fusion subcategories of a group theoretical braided fusion category.
We first prove an analogue of Lagrange theorem for global dimensions of fusion categories, then we give a complete classifications of pre-modular fusion categories of integer global dimensions less than or equal to $10$.
We show that the Witt class of a weakly group-theoretical non-degenerate braided fusion category belongs to the subgroup generated by classes of non-degenerate pointed braided fusion categories and Ising braided categories. This applies in particular to solvable non-degenerate braided fusion categories. We also give some sufficient conditions for a braided fusion category to be weakly group-theoretical or solvable in terms of the factorization of its Frobenius-Perron dimension and the Frobenius-Perron dimensions of its simple objects. As an application, we prove that every non-degenerate braid…
We study a class of strictly weakly integral fusion categories $\mathfrak{I}_{N, ζ}$, where $N \geq 1$ is a natural number and $ζ$ is a $2^N$th root of unity, that we call $N$-Ising fusion categories. An $N$-Ising fusion category has Frobenius-Perron dimension $2^{N+1}$ and is a graded extension of a pointed fusion category of rank 2 by the cyclic group of order $\mathbb Z_{2^N}$. We show that every braided $N$-Ising fusion category is prime and also that there exists a slightly degenerate $N$-Ising braided fusion category for all $N > 2$. We also prove a structure result for braided extension…
We advance the classification of fusion categories in two directions. Firstly, we completely classify integral fusion categories -- and consequently, semi-simple Hopf algebras -- of dimension $pq^2$, where $p$ and $q$ are distinct primes. This case is especially interesting because it is the simplest class of dimensions where not all integral fusion categories are group-theoretical. Secondly, we classify a certain family of $\ZZ/3\ZZ$-graded fusion categories, which are generalizations of the $\ZZ/2\ZZ$-graded Tambara-Yamagami categories. Our proofs are based on the recently developed theory o…
We introduce semisimple 2-categories, fusion 2-categories, and spherical fusion 2-categories. For each spherical fusion 2-category, we construct a state-sum invariant of oriented singular piecewise-linear 4-manifolds.
A $G$-graded extension of a fusion category $\mathcal{C}$ yields a categorical action of $G$ on the center $Z(\mathcal C)$. If the extension admits a spherical structure, we provide a method for recovering its fusion rules in terms of the action. We then apply this to find closed formulas for the fusion rules of extensions of some group theoretical categories and of cyclic permutation crossed extensions of modular categories.
In this paper, we show that non-degenerate fusion categories of FP-dimensions $p^2q^3d$ and $p^3q^3d$ are group-theoretical, where $p, q$ are odd primes, $d$ is a square-free integer such that $(pq,d) = 1$.
We introduce the notion of a $\textit{reflection fusion category}$, which is a type of a $G$-crossed category generated by objects of Frobenius-Perron dimension $1$ and $\sqrt{p}$, where $p$ is an odd prime. We show that such categories correspond to orthogonal reflection groups over $\mathbb{F}_p$. This allows us to use the known classification of irreducible reflection groups over finite fields to classify irreducible reflection fusion categories.
We consider a subclass of the class of group-theoretical fusion categories: To every finite group $G$ and subgroup $H$ one can associate the category of $G$-graded vector spaces with a two-sided $H$-action compatible with the grading. We derive a formula that computes higher Frobenius-Schur indicators for the objects in such a category using the combinatorics and representation theory of the groups involved in their construction. We calculate some explicit examples for inclusions of symmetric groups.
Using a variety of methods developed in the literature (in particular, the theory of weak Hopf algebras), we prove a number of general results about fusion categories in characteristic zero. We show that the global dimension of a fusion category is always positive, and that the S-matrix of any modular category (not necessarily hermitian) is unitary. We also show that the category of module functors between two module categories over a fusion category is semisimple, and that fusion categories and tensor functors between them are undeformable (generalized Ocneanu rigidity). In particular the num…
We consider traces on module categories over pivotal fusion categories which are compatible with the module structure. It is shown that such module traces characterise the Morita classes of special haploid symmetric Frobenius algebras. Moreover, they are unique up to a scale factor and they equip the dual category with a pivotal structure. This implies that for each pivotal structure on a fusion category over the complex numbers there exists a conjugate pivotal structure defined by the canonical module trace.
We collate information about the fusion categories with $A_n$ fusion rules. This note includes the classification of these categories, a realisation via the Temperley-Lieb categories, the auto-equivalence groups (both braided and tensor), identifications of the subcategories of invertible objects, and explicit descriptions of the Drinfeld centres. The first section describes the classification of these categories (as monoidal, dagger, pivotal, and braided categories). The second section describes the properties of these categories.
The problem of determining gauge and monoidal equivalence classes of fusion categories is considered from the perspective of geometric invariant theory. It is shown that the gauge (or monoidal) class of a fusion category is determined by the evaluation of a finite set of gauge (or monoidal) invariant functions. In the multiplicity free case this leads to a fast algorithm for computing a classifying set of functions.
We show that braidings on a fusion category $\mathcal{C}$ correspond to certain fusion subcategories of the center of $\mathcal{C}$ transversal to the canonical Lagrangian algebra. This allows to classify braidings on non-degenerate and group-theoretical fusion categories.
We show that the core of a weakly group-theoretical braided fusion category $\C$ is equivalent as a braided fusion category to a tensor product $\B \boxtimes \D$, where $\D$ is a pointed weakly anisotropic braided fusion category, and $\B \cong \vect$ or $\B$ is an Ising braided category. In particular, if $\C$ is integral, then its core is a pointed weakly anisotropic braided fusion category. As an application we give a characterization of the solvability of a weakly group-theoretical braided fusion category. We also prove that an integral modular category all of whose simple objects have Fro…
The Grothendieck Ring of Strictly Weakly Integral Fusion Categories of Rank 6
College of Mathematical Science, Yangzhou University（扬州大学数学科学学院）；College of Mathematics and Statistics, Nanjing University of Information Science and Technology（南京信息工程大学数学与统计学院）
In this paper, we propose a new approach towards the classification of spherical fusion categories by their Frobenius-Schur exponents. We classify spherical fusion categories of Frobenius-Schur exponent 2 up to monoidal equivalence. We also classify modular categories of Frobenius-Schur exponent 2 up to braided monoidal equivalence. It turns out that the Gauss sum is a complete invariant for modular categories of Frobenius-Schur exponent 2. This result can be viewed as a categorical analog of Arf's theorem on the classification of non-degenerate quadratic forms over fields of characteristic 2.
In this paper, we study a family of fusion and modular systems realizing fusion categories Grothendieck equivalent to the representation category for $so(2p+1)_2$. These categories describe non-abelian anyons dubbed `metaplectic anyons'. We obtain explicit expressions for all the $F$- and $R$-symbols. Based on these, we conjecture a classification for their monoidal equivalence classes from an analysis of their gauge invariants and define a function which gives us the number of classes.
A fusion category of rank $4$ has either four self-dual objects or exactly two self-dual objects. We study fusion categories of rank $4$ with exactly two self-dual objects, giving nearly a complete classification of those based ring that admit pseudo-unitary categorification. More precisely, we show that if $\mathcal{C}$ is such a fusion category, then its Grothendieck ring $K(\mathcal{C})$ must be one of seven based rings, six of which have know categorifications. In doing so, we classify all based rings associated with near-group categories of the group $\mathbb{Z}/3\mathbb{Z}$.
Let C be a fusion category faithfully graded by a finite group G and let D be the trivial component of this grading. The center Z(C) of C is shown to be canonically equivalent to a G-equivariantization of the relative center Z_D(C). We use this result to obtain a criterion for C to be group-theoretical and apply it to Tambara-Yamagami fusion categories. We also find several new series of modular categories by analyzing the centers of Tambara-Yamagami categories. Finally, we prove a general result about existence of zeroes in S-matrices of weakly integral modular categories.
Let k be an algebraically closed field of characteristic zero. In this paper we prove that fusion categories of Frobenius-Perron dimensions 84 and 90 are of Frobenius type. Combining this with previous results in the literature, we obtain that every weakly integral fusion category of Frobenius-Perron dimension less than 120 is of Frobenius type.
We show that a weakly integral braided fusion category C such that every simple object of C has Frobenius-Perron dimension at most 2 is solvable. In addition, we prove that such a fusion category is group-theoretical in the extreme case where the universal grading group of C is trivial.
In this paper we study the relative tensor product of module categories over braided fusion categories using, in part, the notion of the relative center of a module category. In particular we investigate the canonical tensor category structure and braiding inherited by the relative tensor product when module categories are themselves tensor/braided. As a basic example we show that the category of representations of the fibre product of finite groups may be expressed in terms of the relative product and show how to multiply braided fusion categories arising from pre-metric groups. Also, we cons…
We use the string diagram calculus to give graphical proofs of the basic results of Etingof, Nikshych and Ostrik on fusion categories. These results include: the quadruple dual is canonically isomorphic to the identity, positivity of the paired dimensions, and Ocneanu rigidity. We introduce the pairing convention as a convenient graphical framework for working with fusion categories. We use this framework to express the pivotal operators as a product of the apex associator monodromy and the pivotal indicators. We also characterize pivotal structures as solutions of an explicit set of algebraic…
We show that every unitarizable fusion category, and more generally every semisimple C*-tensor category, admits a unique unitary structure. Our proof is based on a categorified polar decomposition theorem for monoidal equivalences between such categories. We prove analogous results for unitarizable braided fusion categories and module categories.
We answer three related questions concerning the Haagerup subfactor and its even parts, the Haagerup fusion categories. Namely we find all simple module categories over each of the Haagerup fusion categories (in other words, we find the `"quantum subgroups" in the sense of Ocneanu), we find all subfactors whose principal even part is one of the Haagerup fusion categories, and we compute the Brauer-Picard groupoid of Morita equivalences of the Haagerup fusion categories. In addition to the two even parts of the Haagerup subfactor, there is exactly one more fusion category which is Morita equiva…
In this paper we prove an analogue of Brauer's theorem for faithful objects in fusion categories. Other notions, such as the order and the index associated to faithful objects of fusion categories are also discussed. We show that the index of a faithful simple object of a fusion categories coincides with the order of the universal grading group of the fusion category.
Noncommutative near-group fusion categories were completely classified in the previous work of the first named author by using an operator algebraic method (and hence under the assumption of unitarity), and they were shown to be group theoretical though the corresponding pointed categories were not identified. In this note we give a purely algebraic construction of the noncommutative near-group fusion categories starting from pointed categories categorically Morita equivalent to them.
