It was shown by Ostrik (2003) and Natale (2017) that a collection of twisted group algebras in a pointed fusion category serve as explicit Morita equivalence class representatives of indecomposable, separable algebras in such categories. We generalize this result by constructing explicit Morita equivalence class representatives of indecomposable, separable algebras in group-theoretical fusion categories. This is achieved by providing the free functor $Φ$ from fusion category to a category of bimodules in the original category with a (Frobenius) monoidal structure. Our algebras of interest are then constructed as the image of twisted group algebras under $Φ$. We also show that twisted group algebras admit the structure of Frobenius algebras in a pointed fusion category, and as a consequence, our algebras are Frobenius algebras in a group-theoretical fusion category. They also enjoy several good algebraic properties.
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 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 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…
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.
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…
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.
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 introduce and study the new notion of an {\em exact factorization} $\mathcal{B}=\mathcal{A}\bullet \mathcal{C}$ of a fusion category $\mathcal{B}$ into a product of two fusion subcategories $\mathcal{A},\mathcal{C}\subseteq \mathcal{B}$ of $\mathcal{B}$. This is a categorical generalization of the well known notion of an exact factorization of a finite group into a product of two subgroups. We then relate exact factorizations of fusion categories to exact sequences of fusion categories with respect to an indecomposable module category, which was introduced and studied by P. Etingof and the …
Let $k$ be an algebraically closedfield of characteristic zero. In this paper we consider an integral fusion category over $k$ in which the Frobenius-Perron dimensions of its simple objects are at most 3. We prove that such fusion category is of Frobenius type. In addition, we also prove that such fusion category is not simple.
We study exact sequences of finite tensor categories of the form $\Rep G \to \C \to \D$, where $G$ is a finite group. We show that, under suitable assumptions, there exists a group $Γ$ and mutual actions by permutations $\rhd: Γ\times G \to G$ and $\lhd: Γ\times G \to Γ$ that make $(G, Γ)$ into matched pair of groups endowed with a natural crossed action on $\D$ such that $\C$ is equivalent to a certain associated crossed extension $\D^{(G, Γ)}$ of $\D$. Dually, we show that an exact sequence of finite tensor categories $\vect_G \to \C \to \D$ induces an $\Aut(G)$-grading on $\C$ whose neutral…
We give a classification of semisimple and separable algebras in a multi-fusion category over an arbitrary field in analogy to Wedderben-Artin theorem in classical algebras. It turns out that, if the multi-fusion category admits a semisimple Drinfeld center, the only obstruction to the separability of a semisimple algebra arises from inseparable field extensions as in classical algebras. Among others, we show that a division algebra is separable if and only if it has a nonvanishing dimension.
Given an action of a finite group G on a fusion category C we give a criterion for the category of G-equivariant objects in C to be group-theoretical, i.e., to be categorically Morita equivalent to a category of group-graded vector spaces. We use this criterion to answer affirmatively the question about existence of non group-theoretical semisimple Hopf algebras asked by P. Etingof, V. Ostrik, and the author in math/0203060. Namely, we show that certain Z/2Z-equivariantizations of fusion categories constructed by D. Tambara and S. Yamagami are equivalent to representation categories of non gro…
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 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 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…
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.
From a unifying lemma concerning fusion rings, we prove a collection of number-theoretic results about fusion, braided, and modular tensor categories. First, we prove that every fusion ring has a dimensional grading by an elementary abelian 2-group. As a result, we bound the order of the multiplicative central charge of arbitrary modular tensor categories. We also introduce Galois-invariant subgroups of the Witt group of nondegenerately braided fusion categories corresponding to algebraic number fields generated by Frobenius-Perron dimensions. Lastly, we provide a complete description of the f…
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.
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.
In this paper we provide a complete classification of fusion categories of Frobenius-Perron (FP) dimension pq, where p<q are distinct primes, thus giving a categorical generalization of math.QA/9801129. As a corollary we also obtain the classification of semisimple quasi-Hopf algebras of dimension pq. A concise formulation of our main result is: Let C be a fusion category over the complex numbers of FP dimension pq. Then either p=2 and C is a Tambara-Yamagami category of dimension 2q, or C is group-theoretical in the sense of math.QA/0203060 (which easily yields the full classification). As a …
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.
