We show that indecomposable exact module categories over the category Rep H of representations of a finite-dimensional Hopf algebra H are classified by left comodule algebras, H-simple from the right and with trivial coinvariants, up to equivariant Morita equivalence. Specifically, any indecomposable exact module categories is equivalent to the category of finite-dimensional modules over a left comodule algebra. This is an alternative approach to the results of Etingof and Ostrik. For this, we study the stabilizer introduced by Yan and Zhu and show that it coincides with the internal Hom. We also describe the correspondence of module categories between Rep H and Rep (H^*).
We develop the theory of weak bimonoids in braided monoidal categories and show them to be quantum categories in a certain sense. Weak Hopf monoids are shown to be quantum groupoids. Each separable Frobenius monoid R leads to a weak Hopf monoid R \otimes R.
We study integrals of Hopf monoids in duoidal endohom categories of naturally Frobenius map monoidales in monoidal bicategories. We prove two Maschke type theorems, relating the separability of the underlying monoid and comonoid, respectively, to the existence of normalized integrals. It covers the examples provided by Hopf monoids in braided monoidal categories, weak Hopf algebras, Hopf algebroids over central base algebras, Hopf monads on autonomous monoidal categories and Hopf categories.
We develop abstract nonsense for module categories over monoidal categories (this is a straightforward categorification of modules over rings). As applications we show that any semisimple monoidal category with finitely many simple objects is equivalent to the category of representations of a weak Hopf algebra (theorem of T. Hayashi) and classify module categories over the fusion category of $\hat{sl}(2)$ at a positive integer level where we meet once again ADE classification pattern.
We study the basic monoidal properties of the category of Hopf modules for a coquasi Hopf algebra. In particular we discuss the so called fundamental theorem that establishes a monoidal equivalence between the category of comodules and the category of Hopf modules. We present a categorical proof of Radford's $S^4$ formula for the case of a finite dimensional coquasi Hopf algebra, by establishing a monoidal isomorphism between certain double dual functors.
We introduce and study Hopf monads on autonomous categories (i.e., monoidal categories with duals). Hopf monads generalize Hopf algebras to a non-braided (and non-linear) setting. Indeed, any monoidal adjunction between autonomous categories gives rise to a Hopf monad. We extend many fundamental results of the theory of Hopf algebras (such as the decomposition of Hopf modules, the existence of integrals, Maschke's criterium of semisimplicity, etc...) to Hopf monads. We also introduce and study quasitriangular and ribbon Hopf monads (again defined in a non-braided setting).
Aguiar and Mahajan's bimonoids A in a duoidal category M are studied. Under certain assumptions on M, the Fundamental Theorem of Hopf Modules is shown to hold for A if and only if the unit of A determines an A-Galois extension. Our findings are applied to the particular examples of small groupoids and of Hopf algebroids over a commutative base algebra.
We define Hopf monads on an arbitrary monoidal category, extending the definition given previously for monoidal categories with duals. A Hopf monad is a bimonad (or opmonoidal monad) whose fusion operators are invertible. This definition can be formulated in terms of Hopf adjunctions, which are comonoidal adjunctions with an invertibility condition. On a monoidal category with internal Homs, a Hopf monad is a bimonad admitting a left and a right antipode. Hopf monads generalize Hopf algebras to the non-braided setting. They also generalize Hopf algebroids (which are linear Hopf monads on a cat…
Given a finite dimensional Hopf algebra H and an exact indecomposable module category M over Rep(H), we explicitly compute the adjoint algebra A_M as an object in the category of Yetter-Drinfeld modules over H, and the space of class functions CF(M) associated to M, as introduced by K. Shimizu [ Further results on the structure of (Co)ends in fintite tensor categories, preprint arXiv:1801.02493]. We use our construction to describe these algebras when H is a group algebra and a dual group algebra. This result allows us to compute the adjoint algebra for certain group-theoretical fusion categor…
We introduce Hopf categories enriched over braided monoidal categories. The notion is linked to several recently developed notions in Hopf algebra theory, such as Hopf group (co)algebras, weak Hopf algebras and duoidal categories. We generalize the fundamental theorem for Hopf modules and some of its applications to Hopf categories.
We introduce Hopf polyads in order to unify Hopf monads and group actions on monoidal categories. A polyad is a lax functor from a small category (its source) to the bicategory of categories, and a Hopf polyad is a comonoidal polyad whose fusion operators are invertible. The main result states that the lift of a Hopf polyad is a strong (co)monoidal action-type polyad (or strong monoidal pseudofunctor). The lift of a polyad is a new polyad having simpler structure but the same category of modules. We show that, under certain assumptions, a Hopf polyad can be `wrapped up' into a Hopf monad. This…
We introduce monoidal categories whose monoidal products of any positive number of factors are lax coherent and whose nullary products are oplax coherent. We call them $\mathsf{Lax}^+\mathsf{Oplax}^0$-monoidal. Dually, we consider $\mathsf{Lax}_0\mathsf{Oplax}_+$-monoidal categories which are oplax coherent for positive numbers of factors and lax coherent for nullary monoidal products. We define $\mathsf{Lax}^+_0\mathsf{Oplax}^0_+$-duoidal categories with compatible $\mathsf{Lax}^+\mathsf{Oplax}^0$- and $\mathsf{Lax}_0\mathsf{Oplax}_+$-monoidal structures. We introduce comonoids in $\mathsf{La…
We start the general structure theory of not necessarily semisimple finite tensor categories, generalizing the results in the semisimple case (i.e. for fusion categories), obtained recently in our joint work with D.Nikshych. In particular, we generalize to the categorical setting the Hopf and quasi-Hopf algebra freeness theorems due to Nichols-Zoeller and Schauenburg, respectively. We also give categorical versions of the theory of distinguished group-like elements in a finite dimensional Hopf algebra, of Lorenz's result on degeneracy of the Cartan matrix, and of the absence of primitive eleme…
We introduce a variant on the graphical calculus of Cockett and Seely for monoidal functors and illustrate it with a discussion of Tannaka reconstruction, some of which is known and some of which is new. The new portion is: given a separable Frobenius functor F: A --> B from a monoidal category A to a suitably complete or cocomplete braided autonomous category B, the usual formula for Tannaka reconstruction gives a weak bialgebra in B; if, moreover, A is autonomous, this weak bialgebra is in fact a weak Hopf algebra.
As shown in a previous paper by the same authors, the theory of Galois functors provides a categorical framework for the characterisation of bimonads on any category as Hopf monads and also for the characterisation of opmonoidal monads on monoidal categories as right Hopf monads in the sense of Bruguieres and Virelizier. Hereby the central part is to describe conditions under which a comparison functor between the base category and the category of Hopf modules becomes an equivalence (Fundamental Theorem). For monoidal categories, Aguiar and Chase extended the setting by replacing the base cate…
Tannaka duals of Hopf algebras inside semisimple tensor categories are used to construct orbifold tensor categories, which are shown to include the Tannaka dual of the dual Hopf algebras. The second orbifolds are then canonically isomorphic to the initial tensor categories.
We focus on the problem of producing new modular tensor categories from Hopf algebras. To do this, we first give a general method to construct factorizable Hopf algebras. Then we apply the method to construct two families of ribbon factorizable Hopf algebras which are not quantum groups or Drinfel'd double. One family are point Hopf algebras which give non-semisimple modular tensor categories, while the other family are C^*-Hopf algebras which give new unitary modular tensor categories. Lastly, we determine the fusion rings of these unitary modular 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 simple fusion categories and a natural question regarding composition series of finite tensor categories.
We discuss algebraic and representation theoretic structures in braided tensor categories C which obey certain finiteness conditions. Much interesting structure of such a category is encoded in a Hopf algebra H in C. In particular, the Hopf algebra H gives rise to representations of the modular group SL(2,Z) on various morphism spaces. We also explain how every symmetric special Frobenius algebra in a semisimple modular category provides additional structure related to these representations.
We develop further the techniques presented in [M. Mombelli. On the tensor product of bimodule categories over Hopf algebras. Preprint arXiv:1111.1610 ] to study bimodule categories over the representation categories of arbitrary finite-dimensional Hopf algebras. We compute the Brauer-Picard group of equivalence classes of exact invertible bimodule categories over the representation categories of a certain large family of pointed non-semisimple Hopf algebras, the so called supergroup algebras. To obtain this result we first give a classification of equivalence classes of exact indecomposable b…
Starting with a self-dual Hopf algebra H in a braided monoidal category S we construct a Z/2Z-graded monoidal category C = C_0 + C_1. The degree zero component is the category Rep_S(H) of representations of H and the degree one component is the category S. The extra structure on H needed to define the associativity isomorphisms is a choice of self-duality map and cointegral, subject to certain conditions. We also describe rigid, braided and ribbon structures on C in Hopf algebraic terms. Our construction permits a uniform treatment of Tambara-Yamagami categories and categories related to sympl…
An object $P$ in a monoidal category $\mathcal{C}$ is called pivotal if its left dual and right dual objects are isomorphic. Given such an object and a choice of dual $Q$, we construct the category $\mathcal{C}(P,Q)$, of objects which intertwine with $P$ and $Q$ in a compatible manner. We show that this category lifts the monoidal structure of $\mathcal{C}$ and the closed structure of $\mathcal{C}$, when $\mathcal{C}$ is closed. If $\mathcal{C}$ has suitable colimits we show that $\mathcal{C}(P,Q)$ is monadic and thereby construct a family of Hopf monads on arbitrary closed monoidal categories…
Let H be a finite-dimensional Hopf algebra. We give a description of the tensor product of bimodule categories over Rep(H). When the bimodule categories are invertible this description can be given explicitly. We present some consequences of this description in the case H is a pointed Hopf algebra.
This is a survey on spherical Hopf algebras. We give criteria to decide when a Hopf algebra is spherical and collect examples. We discuss tilting modules as a mean to obtain a fusion subcategory of the non-degenerate quotient of the category of representations of a suitable Hopf algebra.
We show that all possible categories of Yetter-Drinfeld modules over a quasi-Hopf algebra $H$ are isomorphic. We prove also that the category $\yd^{\rm fd}$ of finite dimensional left Yetter-Drinfeld modules is rigid and then we compute explicitly the canonical isomorphisms in $\yd^{\rm fd}$. Finally, we show that certain duals of $H_0$, the braided Hopf algebra introduced in \cite{bn,bpv}, are isomorphic as braided Hopf algebras if $H$ is a finite dimensional triangular quasi-Hopf algebra.
We investigate the equivariant and Hopf-cyclic cohomology of module algebras over Hopf algebroids and derive their Morita invariance. For this, we use the tools developed by McCarthy for $k$-linear categories and subsequently by Kaygun and Khalkhali for a certain class of categories, called as $H$-categories, for a Hopf algebra $H$.
A quasi-Hopf algebra $H$ can be seen as a commutative algebra $A$ in the centre $\mathcal Z(H-Mod)$ of $H-Mod$. We show that the category of $A$-modules in $\mathcal Z(H-Mod)$ is equivalent (as a monoidal category) to $H-Mod$. This can be regarded as a generalization of the structure theorem of Hopf bimodules of a Hopf algebra to the quasi-Hopf setting.
Let $H$ be a Hopf quasigroup with bijective antipode and let $Aut_{HQG}(H)$ be the set of all Hopf quasigroup automorphisms of $H$. We introduce a category ${_{H}\mathcal{YDQ}^{H}}(α,β)$ with $α,β\in Aut_{HQG}(H)$ and construct a braided $T$-category $\mathcal{YDQ}(H)$ having all the categories ${_{H}\mathcal{YDQ}^{H}}(α,β)$ as components.
The theories of (Hopf) bialgebras and weak (Hopf) bialgebras have been introduced for vector space categories over fields and make heavily use of the tensor product. As first generalisations, these notions were formulated for monoidal categories, with braidings if needed. The present authors developed a theory of bimonads and Hopf monads $H$ on arbitrary categories $\mathbb{A}$, employing distributive laws, allowing for a general form of the Fundamental Theorem for Hopf algebras. For $τ$-bimonads $H$, properties of braided (Hopf) bialgebras were captured by requiring a Yang-Baxter operator $τ:…
The purpose of this paper is to develop a theory of bimonads and Hopf monads on arbitrary categories thus providing the possibility to transfer the essentials of the theory of Hopf algebras in vector spaces to more general settings. There are several extensions of this theory to {\em monoidal} categories which in a certain sense follow the classical trace. Here we do not pose any conditions on our base category but we do refer to the monoidal structure of the category of endofunctors on any category $\A$ and by this we retain some of the combinatorial complexity which makes the theory so inter…
We prove that commutative algebras in braided tensor categories do not admit faithful Hopf algebra actions unless they come from group actions. We also show that a group action allows us to see the algebra as the regular algebra in the representation category of the acting group.
In conformal field theory the understanding of correlation functions can be divided into two distinct conceptual levels: The analytic properties of the correlators endow the representation categories of the underlying chiral symmetry algebras with additional structure, which in suitable cases is the one of a finite tensor category. The problem of specifying the correlators can then be encoded in algebraic structure internal to those categories. After reviewing results for conformal field theories for which these representation categories are semisimple, we explain what is known about represent…
We give the explicit construction of the product of an arbitrary family of coalgebras, bialgebras and Hopf algebras: it turns out that the product of an arbitrary family of coalgebras (resp. bialgebras, Hopf algebras) is the sum of a family of coalgebras (resp. bialgebras, Hopf algebras). The equalizers of two morphisms of coalgebras (resp. bialgebras, Hopf algebras) are also described explicitly. As a consequence the categories of coalgebras, bialgebras and Hopf algebras are shown to be complete and a explicit description for limits in the above categories is given.
For any finite-dimensional Hopf algebra $H$ we construct a group homomorphism $\biga(H)\to \text{BrPic}(\Rep(H))$, from the group of equivalence classes of $H$-biGalois objects to the group of equivalence classes of invertible exact $\Rep(H)$-bimodule categories. We discuss the injectivity of this map. We exemplify in the case $H=T_q$ is a Taft Hopf algebra and for this we classify all exact indecomposable $\Rep(T_q)$-bimodule categories.
The abelian category of tetramodules over an associative bialgebra $A$ is related with the Gerstenhaber-Schack (GS) cohomology as $Ext_\Tetra(A,A)=H_\GS(A)$. We construct a 2-fold monoidal structure on the category of tetramodules of a bialgebra. Suppose $C$ is an abelian $n$-fold monoidal category with the unit object $A$. We prove, provided some condition (*), that $Ext_C(A,A)$ is an $(n+1)$-algebra. In the case of bialgebras this condition (*) is satisfied when $A$ is a Hopf algebra. Finally, the GS cohomology of a Hopf algebra is a 3-algebra. As well, we consider this kind of questions of …
Incidence coalgebras of categories in the sense of Joni and Rota are studied, specifically cases where a monoidal product on the category turns these into (weak) bialgebras. The overlap with the theory of combinatorial Hopf algebras and that of Hopf quivers is discussed, and examples including trees, skew shapes, Milner's bigraphs and crossed modules are considered.
In this paper, we define and study weak monoidal Hom-Hopf algebras, which generalize both weak Hopf algebras and monoidal Hom-Hopf algebras. If $H$ is a weak monoidal Hom-Hopf algebra with bijective antipode and let $Aut_{wmHH}(H)$ be the set of all automorphisms of $H$. Then we introduce a category ${_{H}\mathcal{WMHYD}^{H}}(α,β)$ with $α,β\in Aut_{wmHH}(H)$ and construct a braided $T$-category $\mathcal{WMHYD}(H)$ that having all the categories ${_{H}\mathcal{WMHYD}^{H}}(α,β)$ as components.
Weak bimonoids in duoidal categories are introduced. They provide a common generalization of bimonoids in duoidal categories and of weak bimonoids in braided monoidal categories. Under the assumption that idempotent morphisms in the base category split, they are shown to induce weak bimonads (in four symmetric ways). As a consequence, they have four separable Frobenius base (co)monoids, two in each of the underlying monoidal categories. Hopf modules over weak bimonoids are defined by weakly lifting the induced comonad to the Eilenberg-Moore category of the induced monad. Making appropriate ass…
Hopf (bi-)modules and crossed modules over a bialgebra B in a braided monoidal category C are considered. The (braided) monoidal equivalence of both categories is proved provided B is a Hopf algebra (with invertible antipode). Bialgebra projections and Hopf bimodule bialgebras over a Hopf algebra in C are found to be isomorphic categories. As a consequence a generalization of the Radford-Majid criterion for a braided Hopf algebra to be a cross product is obtained. The results of this paper turn out to be fundamental for the construction of (bicovariant) differential calculi on braided Hopf alg…
Let H be a finite-dimensional pivotal and unimodular Hopf algebra over a field k. It was shown in [BBGa] that the projective tensor ideal in H-mod admits a unique non-degenerate modified trace, a natural generalisation of the categorical trace. This paper provides an extension of this result to a much more general setting. We first extend the notion of the modified trace to the so-called module trace for a given k-linear module category M over a pivotal category C equipped with a module endofunctor. We provide a non-trivial class of examples of such module traces. In particular, we show that a…
Hopf algebroids are generalization of Hopf algebras over non-commutative base rings. It consists of a left- and a right-bialgebroid structure related by a map called the antipode. However, if the base ring of a Hopf algebroid is commutative one does not necessarily have a Hopf algebra. Meanwhile, a Hopf category is the categorification of a Hopf algebra. It consists of a category enriched over a braided monoidal category such that every hom-set carries a coalgebra structure together with an antipode functor. In this article, we will introduce the notion of a topological Hopf category$-$ a smal…
We propose a new mwthod of constructing 4D-TQFTs. The method uses a new type of algebraic structure called a Hopf Category. We also outline the construction of a family of Hopf categories related to the quantum groups, using the canonical bases.
This is an introduction for algebraists to the theory of algebras and Hopf algebras in braided categories. Such objects generalise super-algebras and super-Hopf algebras, aswell as colour-Lie algebras. Basic facts about braided categories C are recalled, the modules and comodules of Hopf algebras in such categories are studied,the notion of `braided -commutative' or `braided-cocommutative' Hopf algebras (braided groups) is reviewed and a fully diagrammatic proof of the reconstruction theorem for a braided group aut(C) is given. The theory has important implications for the theory of quasitrian…
We develop the theory of Hopf bimodules for a finite rigid tensor category C. Then we use this theory to define a distinguished invertible object D of C and an isomorphism of tensor functors ?^{**} and D tensor ^{**}? tensor D^{-1}. This provides a categorical generalization of D. Radford's S^4-formula for finite dimensional Hopf algebras and its generalizations for weak Hopf algebras and for quasi-Hopf algebras, and conjectured in general in \cite{EO}. When C is braided, we establish a connection between the above isomorphism and the Drinfeld isomorphism of C. We also show that a factorizable…
In this paper we introduce the notion of weak operator and the theory of Yetter-Drinfeld modules over a weak braided Hopf algebra with invertible antipode in a strict monoidal category. We prove that the class of such objects constitutes a non strict monoidal category. It is also shown that this category is not trivial, that is to say that it admits objects generated by the adjoint action (coaction) associated to the weak braided Hopf algebra.
We study versions of the categories of Yetter-Drinfel'd modules over a Hopf algebra $H$ in a braided monoidal category $\C$. Contrarywise to Bespalov's approach, all our structures live in $\C$. This forces $H$ to be transparent or equivalently to lie in Müger's center $\Z_2(\C)$ of $\C$. We prove that versions of the categories of Yetter-Drinfel'd modules in $\C$ are braided monoidally isomorphic to the categories of (left/right) modules over the Drinfel'd double $D(H)\in\C$ for $H$ finite. We obtain that these categories polarize into two disjoint groups of mutually isomorphic braided monoid…
We develop some techniques to the study of exact module categories over some families of pointed finite-dimensional Hopf algebras. As an application we classify exact module categories over the tensor category of representations of the small quantum groups $u_q(\mathfrak{sl}_2)$.
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…
In this work we develop some aspects of the theory of Hopf algebras to the context of autonomous map pseudomonoids. We concentrate in the Hopf modules and the Centre or Drinfel'd double. If $A$ is a map pseudomonoid in a monoidal bicategory \M, the analogue of the category of Hopf modules for $A$ is an Eilenberg-Moore construction for a certain monad in $\mathbf{Hom}(\M^{\mathrm{op}},\mathbf{Cat})$. We study the existence of the internalisation of this notion, called the Hopf module construction, by extending the completion under Eilenberg-Moore objects of a 2-category to a endo-homomorphism o…
In this paper we introduce the notion of weak non-asssociative Doi-Hopf module and give the Fundamental Theorem of Hopf modules in this setting. Also we prove that there exists a categorical equivalence that admits as particular instances the ones constructed in the literature for Hopf algebras, weak Hopf algebras, Hopf quasigroups, and weak Hopf quasigroups.
We present examples of color Hopf algebras, i.e. Hopf algebras in color categories (braided tensor categories with braiding induced by a bicharacter on an abelian group), related with quantum doubles of pointed Hopf algebras. We also discuss semisimple color Hopf algebras.
We extend the formalism of Hopf cyclic cohomology to the context of braided categories. For a Hopf algebra in a braided monoidal abelian category we introduce the notion of stable anti-Yetter-Drinfeld module. We associate a para-cocyclic and a cocyclic object to a braided Hopf algebra endowed with a braided modular pair in involution in the sense of Connes and Moscovici. When the braiding is symmetric the full formalism of Hopf cyclic cohomology with coefficients can be extended to our categorical setting.
We determine the structure of Hopf algebra extensions of a group algebra by the cyclic group of order 2. We study the corepresentation theory of such Hopf algebras, which provide a generalization, at the Hopf algebra level, of the so called Tambara-Yamagami fusion categories. As a byproduct, we show that every semisimple Hopf algebra of dimension $<36$ is necessarily group-theoretical; thus 36 is the smallest possible dimension where a non group-theoretical example occurs.
In our previous work, Hopf cyclic cohomology in braided monoidal categories, we extended the formalism of Hopf cyclic cohomology due to Connes and Moscovici and the more general case of Hopf cyclic cohomology with coefficients to the context of abelian braided monoidal categories. In this paper we go one step further in reducing the restriction of the ambient category being symmetric. We let the ambient category to be non-symmetric but assume only the restriction on the braid map for the Hopf algebra object (in that category) which is the main player in the theory. In the case of Hopf cyclic c…
