BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
We present an overview of the notions of exact sequences of Hopf algebras and tensor categories and their connections. We also present some examples illustrating their main features; these include simple fusion categories and a natural question regarding composition series of finite tensor categories.
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 ⊳:Γ×G→G and ⊲:Γ×G→Γ 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 homogeneous component is a (Z(G),Γ)-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 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 address the question whether the condition on a fusion category being solvable or not is determined by its fusion rules. We prove that the answer is affirmative for some families of non-solvable examples arising from representations of semisimple Hopf algebras associated to exact factorizations of the symmetric and alternating groups. In the context of spherical fusion categories, we also consider the invariant provided by the S-matrix of the Drinfeld center and show that this invariant does determine the solvability of a fusion category provided it is group-theoretical.
We introduce the notion of (G,Γ)-crossed action on a tensor category, where (G,Γ) is a matched pair of finite groups. A tensor category is called a (G,Γ)-crossed tensor category if it is endowed with a (G,Γ)-crossed action. We show that every (G,Γ)-crossed tensor category C gives rise to a tensor category C(G,Γ) that fits into an exact sequence of tensor categories RepG→C(G,Γ)→C. We also define the notion of a (G,Γ)-braiding in a (G,Γ)-crossed tensor category, which is connected with certain set-theoretical solutions of the QYBE. This extends the notion of G-crossed braided tensor category due to Turaev. We show that if C is a (G,Γ)-crossed tensor category equipped with a (G,Γ)-braiding, then the tensor category C(G,Γ) is a braided tensor category in a canonical way.
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.
Let C be an integral fusion category. We study some graphs, called the prime graph and the common divisor graph, related to the Frobenius-Perron dimensions of simple objects in the category C, that extend the corresponding graphs associated to the irreducible character degrees and the conjugacy class sizes of a finite group. We describe these graphs in several cases, among others, when C is an equivariantization under the action of a finite group, a 2-step nilpotent fusion category, and the representation category of a twisted quantum double. We prove generalizations of known results on the number of connected components of the corresponding graphs for finite groups in the context of braided fusion categories. In particular, we show that if C is any integral non-degenerate braided fusion category, then the prime graph of C has at most 3 connected components, and it has at most 2 connected components if C is in addition solvable. As an application we prove a classification result for weakly integral braided fusion categories all of whose simple objects have prime power Frobenius-Perron dimension.
We show that a Jordan-Hölder theorem holds for appropriately defined composition series of finite dimensional Hopf algebras. This answers an open question of N. Andruskiewitsch. In the course of our proof we establish analogues of the Noether isomorphism theorems of group theory for arbitrary Hopf algebras under certain faithful (co)flatness assumptions. As an application, we prove an analogue of Zassenhaus' butterfly lemma for finite dimensional Hopf algebras. We then use these results to show that a Jordan-Hölder theorem holds as well for lower and upper composition series, even though the factors of such series may be not simple as Hopf algebras.
For a finite tensor category C and a Hopf monad T:C→C satisfying certain conditions we describe exact indecomposable left CT-module categories in terms of left C-module categories and some extra data. We also give a 2-categorical interpretation of the process of equivariantization of module categories.
We classify integral modular categories of dimension pq^4 and p^2q^2 where p and q are distinct primes. We show that such categories are always group-theoretical except for categories of dimension 4q^2. In these cases there are well-known examples of non-group-theoretical categories, coming from centers of Tambara-Yamagami categories and quantum groups. We show that a non-group-theoretical integral modular category of dimension 4q^2 is equivalent to either one of these well-known examples or is of dimension 36 and is twist-equivalent to fusion categories arising from a certain quantum group.
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 braided fusion category whose Frobenius-Perron dimension is a natural number less than 1800, or an odd natural number less than 33075, is weakly group-theoretical.
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.
We define equivariantization of tensor categories under tensor group scheme actions and give necessary and sufficient conditions for an exact sequence of tensor categories to be an equivariantization under a finite group or finite group scheme action. We introduce the notion of central exact sequence of tensor categories and use it in order to present an alternative formulation of some known characterizations of equivariantizations for fusion categories, and to extend these characterizations to equivariantizations of finite tensor categories under finite group scheme actions. In particular, we obtain a simple characterization of equivariantizations under actions of finite abelian groups. As an application, we show that if $\C$ is a fusion category and $F: \C \to \D$ is a dominant tensor functor of Frobenius-Perron index p, then F is an equivariantization if p=2, or if $\C$ is weakly integral and p is the smallest prime factor of $\FPdim \C$.
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 of braided Tambara-Yamagami fusion categories.
We give examples of finite quantum permutation groups which arise from the twisting construction or as bicrossed products associated to exact factorizations in finite groups. We also give examples of finite quantum groups which are not quantum permutation groups: one such example occurs as a split abelian extension associated to the exact factorization S4=Z4S3 and has dimension 24. We show that, in fact, this is the smallest possible dimension that a non quantum permutation group can have.
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 show that semisimple Hopf algebras having a self-dual faithful irreducible comodule of dimension 2 are always obtained as abelian extensions with quotient Z_2. We prove that nontrivial Hopf algebras arising in this way can be regarded as deformations of binary polyhedral groups and describe its category of representations. We also prove a strengthening of a result of Nichols and Richmond on cosemisimple Hopf algebras with a 2-dimensional irreducible comodule in the finite dimensional context. Finally, we give some applications to the classification of certain classes of semisimple Hopf algebras.
We show that bicrossed product Hopf algebras arising from exact factorizations in almost simple finite groups, so in particular, in simple and symmetric groups, admit no quasitriangular structure.
We give a general description of the structure of a discrete double groupoid (with an extra, quite natural, filling condition) in terms of groupoid factorizations and groupoid 2-cocycles with coefficients in abelian group bundles. Our description goes as follows: To any double groupoid, we associate an abelian group bundle and a second double groupoid, its frame. The frame satisfies that every box is determined by its edges, and thus is called a `slim' double groupoid. In a first step, we prove that every double groupoid is obtained as an extension of its associated abelian group bundle by its frame. In a second, independent, step we prove that every slim double groupoid with filling condition is completely determined by a factorization of a certain canonically defined `diagonal' groupoid.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.