A Jordan–Hölder theorem for weakly group-theoretical fusion categories

  title={A Jordan–H{\"o}lder theorem for weakly group-theoretical fusion categories},
  author={Sonia Natale},
  journal={Mathematische Zeitschrift},
  • S. Natale
  • Published 31 May 2015
  • Mathematics
  • Mathematische Zeitschrift
We prove a version of the Jordan–Hölder 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 $${\mathcal C}$$C, which are in fact Morita invariants of $${\mathcal C}$$C. 
The Jordan-Holder Theorem for Monoids with Group Action
In this article, we prove an isomorphism theorem for the case of refinement Γ-monoids. Based on this we show a version of the well-known Jordan-Hölder theorem in this framework. The central result of
The core of a weakly group-theoretical braided fusion category
We show that the core of a weakly group-theoretical braided fusion category 𝒞 is equivalent as a braided fusion category to a tensor product ℬ⊠𝒟, where 𝒟 is a pointed weakly anisotropic braided
On the notion of exact sequence: From Hopf algebras to tensor categories
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
  • S. Natale
  • Mathematics
    Proceedings of the International Congress of Mathematicians (ICM 2018)
  • 2019
We report, from an algebraic point of view, on some methods and results on the classification problem of fusion categories over an algebraically closed field of char-


Nilpotent fusion categories
Abstract 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
Non-group-theoretical semisimple Hopf algebras from group actions on fusion categories
Abstract.Given an action of a finite group G on a fusion category $${\mathcal{C}}$$ we give a criterion for the category of G-equivariant objects in $${\mathcal{C}}$$ to be group-theoretical, i.e.,
On braided fusion categories I
We introduce a new notion of the core of a braided fusion category. It allows to separate the part of a braided fusion category that does not come from finite groups. We also give a comprehensive and
On 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
Jordan-H\"older theorem for finite dimensional Hopf algebras
We show that a Jordan-H\"older theorem holds for appropriately defined composition series of finite dimensional Hopf algebras. This answers an open question of N. Andruskiewitsch. In the course of
We introduce two new classes of fusion categories which are obtained by a certain procedure from finite groups – weakly group-theoretical categories and solvable categories. These are fusion
Galois extensions of braided tensor categories and braided crossed G-categories
A b stra c t We show that the author’s notion of Galois extensions of braided tensor categories [24], see also [3], gives rise to braided crossed G-categories, recently introduced for the purposes of
Quantum Double for Quasi-Hopf Algebras
We introduce a quantum double quasi-triangular quasi-Hopf algebra D(H) associated to any quasi-Hopf algebra H. The algebra structure is a cocycle double cross-product. We use categorical
From subfactors to categories and topology. II. The quantum double of tensor categories and subfactors
Abstract For every tensor category C there is a braided tensor category Z ( C ) , the ‘center’ of C . It is well known to be related to Drinfel'd's notion of the quantum double of a finite
Module categories over the Drinfeld double of a finite group
Let C be a (semisimple abelian) monoidal category. A module category over C is a (semisimple abelian) category M together with a functor C×M → M and an associativity constraint (= natural isomorphism