Related papers: Equivalent definitions of fusion category arising …

We introduce separable functors of the second kind (or $H$-separable functors) and $H$-Maschke functors. $H$-separable functors are generalizations of separable functors. Various necessary and sufficient conditions for a functor to be…

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…

All rational semisimple braided tensor categories are representation categories of weak quasi Hopf algebras. To proof this result we construct for any given category of this kind a weak quasi tensor functor to the category of finite…

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.…

The main result is that the category of ordinary modules of an affine vertex operator algebra of a simply laced Lie algebra at admissible level is rigid and thus a braided fusion category. If the level satisfies a certain coprime property…

There are theorems in the literature which are referred as Maschke type theorems, because of the attempt to generalize Maschke's classical theorem. Our remark is that all these theorems are in fact providing sufficient conditions for the…

In this text, we study derived versions of the fusion category associated to Lusztig's quantum group $\textbf{U}_q$. The categories that so arise are non-semisimple but recovers the usual fusion ring when passing to complexified…

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…

We introduce and study a notion of cylinder coherator similar to the notion of Grothendieck coherator which define more flexible notion of weak infinity groupoids. We show that each such cylinder coherator produces a combinatorial…

Let $k$ be a field, and $H$ a Hopf algebra with bijective antipode. If $H$ is commutative, noetherian, semisimple and cosemisimple, then the category ${}_{H}{\mathcal {YD}}^H$ of Yetter-Drinfeld modules is semisimple. We also prove a…

We give a construction of triangulated categories as quotients of exact categories where the subclass of objects sent to zero is defined by a triple of functors. This includes the cases of homotopy and stable module categories. These…

We propose a conjectural extension to positive characteristic case of a well known Deligne's theorem on the existence of super fiber functors. We prove our conjecture in the special case of semisimple categories with finitely many…

We show that the free construction from multicategories to permutative categories is a categorically-enriched non-symmetric multifunctor. Our main result then shows that the induced functor between categories of algebras is an equivalence…

We develop a theory of separable ring extensions and separable functors for nonunital rings in the setting of firm modules. We prove nonunital analogues of classical results on functorial separability and semisimplicity, and apply these…

A pointed fusion category is a rigid tensor category with finitely many isomorphism classes of simple objects which moreover are invertible. Two tensor categories $C$ and $D$ are weakly Morita equivalent if there exists an indecomposable…

We classify modular fusion categories up to braided equivalence with less than four distinct twists of simple objects by observing that under this assumption, for each positive integer $N$, there are finitely many modular 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…

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…

We construct an exact tensor functor from the category $\mathcal{A}$ of finite-dimensional graded modules over the quiver Hecke algebra of type $A_\infty$ to the category $\mathscr C_{B^{(1)}_n}$ of finite-dimensional integrable modules…

Study of the quotient module of a finite-dimensional Hopf subalgebra pair in order to compute its depth yields a relative Maschke Theorem, in which semisimple extension is characterized as being separable, and is therefore an ordinary…