No Arabic abstract
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 problem of describing totally positive algebraic integers of small absolute trace.
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.
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 author in cite{EG}. We also apply our results to study extensions of a group-theoretical fusion category by another one, provide some examples, and propose a few natural questions.
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 $Gamma$ and mutual actions by permutations $rhd: Gamma times G to G$ and $lhd: Gamma times G to Gamma$ that make $(G, Gamma)$ 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, Gamma)}$ 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 homogeneous component is a $(Z(G), Gamma)$-crossed extension of a tensor subcategory of $D$. As an application we prove that such extensions $C$ of $D$ are weakly group-theoretical fusion categories if and only if $D$ is a weakly group-theoretical fusion category. In particular, we conclude that every semisolvable semisimple Hopf algebra is weakly group-theoretical.
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 give a nontrivial lower bound for global dimension of a spherical fusion category.