We prove that both, the embedding of the category of Hopf algebras into that of bialgebras and the forgetful functor from the category of Hopf algebras to the category of algebras, have right adjoints; in other words: every bialgebra has a Hopf coreflection and on every algebra there exists a cofree Hopf algebra. In this way we give an affirmative answer to a forty years old problem posed by Sweedler. On the route the coequalizers and the coproducts in the category of Hopf algebras are explicitly described.
We show that Turaev's group-coalgebras and Hopf group-coalgebras are coalgebras and Hopf algebras in a symmetric monoidal category, which we call the Turaev category. A similar result holds for group-algebras and Hopf group-algebras. As an application, we give an alternative approach to Virelizier's version of the Fundamental Theorem for Hopf algebras. We introduce Yetter-Drinfeld modules over Hopf group-coalgebras using the center construction.
In the category of semisimple Hopf algebras the Hopf kernels introduced by Andruskiewitsch and Devoto in \cite{AD} coincide with kernels of representation as introduced in \cite{Bker}. Some new results concerning the normality of kernels are also presented. It is proven that the property for Hopf algebras to have all kernels normal Hopf subalgebras is a self dual property.
We apply categorical machinery to the problem of defining cyclic cohomology with coefficients in two particular cases, namely quasi-Hopf algebras and Hopf algebroids. In the case of the former, no definition was thus far available in the literature, and while a definition exists for the latter, we feel that our approach demystifies the seemingly arbitrary formulas present there. This paper emphasizes the importance of working with a biclosed monoidal category in order to obtain natural coefficients for a cyclic theory that are analogous to the stable anti-Yetter-Drinfeld contramodules for Hopf…
We discuss relations between some category-theoretical notions for a finite tensor category and cointegrals on a quasi-Hopf algebra. Specifically, for a finite-dimensional quasi-Hopf algebra $H$, we give an explicit description of categorical cointegrals of the category ${}_H \mathscr{M}$ of left $H$-modules in terms of cointegrals on $H$. Provided that $H$ is unimodular, we also express the Frobenius structure of the `adjoint algebra' in the Yetter-Drinfeld category ${}^H_H \mathscr{YD}$ by using an integral in $H$ and a cointegral on $H$. Finally, we give a description of the twisted module …
Let $H$ be a Hopf algebra and let $\mathcal D_H$ be a Hopf-module category. We describe the cocycles and coboundaries for the Hopf cyclic cohomology of $\mathcal D_H$, which correspond respectively to categorified cycles and vanishing cycles over $\mathcal D_H$. An important role in our work is played by semicategories, which are categories that may not contain identity maps. In particular, a cycle over $\mathcal D_H$ consists of a differential graded $H$-module semicategory equipped with a trace on endomorphism groups satisfying some conditions. Using a pairing on cycles, we obtain a pairing …
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 investigate when a weak Hopf algebra H is Frobenius; we show this is not always true, but it is true if the semisimple base algebra A has all its matrix blocks of the same dimension. However, if A is a semisimple algebra not having this property, there is a weak Hopf algebra H with base A which is not Frobenius (and consequently, it is not Frobenius "over" A either). We give, moreover, a categorical counterpart of the result that a Hopf algebra is a Frobenius algebra for a noncoassociative generalization of weak Hopf algebra.
G-equivariant modular categories provide the input for a standard method to construct 3d homotopy field theories. Virelizier constructed a G-equivariant category from the action of a group G on a Hopf algebra H by Hopf algebra automorphisms. The neutral component of his category is the Drinfeld center of the category of H-modules. We generalize this construction to weak actions of a group G on an arbitrary monoidal category C by (possibly non-strict) monoidal auto-equivalences and obtain a G-equivariant category with neutral component the Drinfeld center of C.
In this paper, we completely determine the group of algebra automorphisms for the two-parameter Hopf algebra ${\check U}_{r,s}^{\geq 0}({\mathfrak sl_{3}})$. As a result, the group of Hopf algebra automorphisms is determined for $\V$ as well. We further characterize all the derivations of the subalgebra $U^{+}_{r,s}({\mathfrak sl_{3})}$, and calculate its first degree Hochschild cohomology group.
We studied both the double cross product and the bicrossproduct constructions for the Hom-Hopf algebras of general $(α,β)$-type. This allows us to consider the universal enveloping Hom-Hopf algebras of Hom-Lie algebras, which are of $(α,{\rm Id})$-type. We show that the universal enveloping Hom-Hopf algebras of a matched pair of Hom-Lie algebras form a matched pair of Hom-Hopf algebras. We observe also that, the semi-dualization of a double cross product Hom-Hopf algebra is a bicrossproduct Hom-Hopf algebra. In particular, we apply this result to the universal enveloping Hom-Hopf algebras of a…
We define left and right kernels of representations of Hopf algebras. In the case of group algebras, left and right kernels coincide and they are the usual kernels of modules. In the general case we show that these kernels coincide with the categorical left and right Hopf kernels of morphisms of Hopf algebras defined in \cite{AD}. Brauer's theorem for kernels over group algebras is generalized to Hopf algebras.
We construct a class of non-commutative, non-cocommutative, semisimple Hopf algebras of dimension $2n^2$ and present conditions to define an inner faithful action of these Hopf algebras on quantum polynomial algebras, providing, in this way, more examples of semisimple Hopf actions which do not factor through group actions. Also, under certain condition, we classify the inner faithful Hopf actions of the Kac-Paljutkin Hopf algebra of dimension $8$, $H_8$, on the quantum plane.
We introduce partial (co)actions of a Hopf algebra $H$ on an algebra. To this end, we introduce first the notion of lax coring, generalizing Wisbauer's notion of weak coring. We also have the dual notion of lax ring. Several duality results are given, and we develop Galois theory for partial $H$-comodule algebras.
We find a new class of Hopf algebras, local quasitriangular Hopf algebras, which generalize quasitriangular Hopf algebras. Using these Hopf algebras, we obtain solutions of the Yang-Baxter equation in a systematic way. The category of modules with finite cycles over a local quasitriangular Hopf algebra is a braided tensor category.
A classical result in the theory of Hopf algebras concerns the uniqueness and existence of integrals: for an arbitrary Hopf algebra, the integral space has dimension $\leq 1$, and for a finite dimensional Hopf algebra, this dimension is exaclty one. We generalize these results to quasi-Hopf algebras and dual quasi-Hopf algebras. In particular, it will follow that the bijectivity of the antipode follows from the other axioms of a finite dimensional quasi-Hopf algebra. We give a new version of the Fundamental Theorem for quasi-Hopf algebras. We show that a dual quasi-Hopf algebra is co-Frobenius…
In formulating a generalized framework to study certain noncommutative algebras naturally arising in representation theory, K. A. Brown asked if every finitely generated Hopf algebra satisfying a polynomial identity was finite over a normal commutative Hopf subalgebra. In this note we show that Radford's biproduct, applied to the enveloping algebra of the Lie superalgebra pl(1,1), provides a noetherian prime counterexample.
We prove that a depth two Hopf subalgebra K of a semisimple Hopf algebra H is normal (where the ground field $k$ is algebraically closed of characteristic zero). This means on the one hand that a Hopf subalgebra is normal when inducing (then restricting) modules several times as opposed to one time creates no new simple constituents. This point of view was taken in the paper http://arxiv.org/abs/math/0409346 which established a normality result in case H and K are finite group algebras. On the other hand this means that K is normal in H when H | K is a Galois extension with respect to action o…
This paper is devoted to the study of the quasitriangularity of Hopf algebras via Hopf quiver approaches. We give a combinatorial description of the Hopf quivers whose path coalgebras give rise to coquasitriangular Hopf algebras. With a help of the quiver setting, we study general coquasitriangular pointed Hopf algebras and obtain a complete classification of the finite-dimensional ones over an algebraically closed field of characteristic 0.
In the present work, we study Yetter-Drinfeld algebras over a pairing of multiplier Hopf algebras. Our main motivation is the construction of a self-dual theory of (C*-)algebraic quantum transformation groupoids. Instead of the standard characterization of Yetter-Drinfeld algebras given in the case of Hopf algebras, we develop an equivalent "only coaction" characterization in the framework of multiplier Hopf algebras. Finally, as a special case, we focus on Yetter-Drinfeld structures over Van Daele's algebraic quantum groups.
We apply categorical machinery to the problem of defining anti-Yetter-Drinfeld modules for quasi-Hopf algebras. While a definition of Yetter-Drinfeld modules in this setting, extracted from their categorical interpretation as the center of the monoidal category of modules has been given, none was available for the anti-Yetter-Drinfeld modules that serve as coefficients for a Hopf cyclic type cohomology theory for quasi-Hopf algebras. This is a followup paper to the authors' previous effort that addressed the somewhat different case of anti-Yetter-Drinfeld contramodule coefficients in this and …
We define the notion of factorizable quasi-Hopf algebra by using a categorical point of view. We show that the Drinfeld double $D(H)$ of any finite dimensional quasi-Hopf algebra $H$ is factorizable, and we characterize $D(H)$ when $H$ itself is factorizable. Finally, we prove that any finite dimensional factorizable quasi-Hopf algebra is unimodular. In particular, we obtain that the Drinfeld double $D(H)$ is a unimodular quasi-Hopf algebra.
The center Z(C) of a spherical fusion category C (over an arbitrary commutative ring) is modular. We give an algorithm for computing the Reshetikhin-Turaev invariant defined with Z(C). It is based on Hopf diagrams and an explicit description of the structure of the coend of Z(C).
We introduce the notions of categorical integrals and categorical cointegrals of a finite tensor category $\mathcal{C}$ by using a certain adjunction between $\mathcal{C}$ and its Drinfeld center $\mathcal{Z}(\mathcal{C})$. These notions can be identified with integrals and cointegrals of a finite-dimensional Hopf algebra $H$ if $\mathcal{C}$ is the representation category of $H$. We generalize basic results on integrals and cointegrals of a finite-dimensional Hopf algebra (such as the existence, the uniqueness, and the Maschke theorem) to finite tensor categories. Motivated by results of Lore…
Suppose that we have a semisimple, connected, simply connected algebraic group $G$ with corresponding Lie algebra $\mathfrak{g}$. There is a Hopf pairing between the universal enveloping algebra $U(\mathfrak{g})$ and the coordinate ring $O(G)$. By introducing a parameter $q$, we can consider quantum deformations $U_q(\mathfrak{g})$ and $O_q(G)$ respectively, between which there again exists a Hopf pairing. We show that the category of crystals associated with $U_q(\mathfrak{g})$ is a monoidal category. We define subgroups of $U_q(\mathfrak{g})$ to be right coideal subalgebras, and subgroups of…
The notion of Hopf center and Hopf cocenter of a Hopf algebra is investigated by the extension theory of Hopf algebras. We prove that each of them yields an exact sequence of Hopf algebras. Moreover the exact sequences are shown to satisfy the faithful (co)flatness condition. Hopf center and cocenter are computed for $\mathsf{U}_q(\mathfrak{g})$ and the Hopf algebra $\textrm{Pol}(\mathbb{G}_q)$, where $\mathbb{G}_q$ is the Drinfeld-Jimbo quantization of a compact semisimple simply connected Lie group $\mathbb{G}$ and $\mathfrak{g}$ is a simple complex Lie algebra.
We characterize braided commutative Yetter-Drinfeld $C^*$-algebras over weak Hopf $C^*$-algebras in categorical terms. Using this, we then study quotient type coideal subalgebras of a given weak Hopf $C^*$-algebra $\mathcal G$ and coideal subalgebras invariant with respect to the adjoint action of $\mathcal G$. Finally, as an example, we explicitly describe quotient type coideal subalgebras of the weak Hopf $C^*$-algebras associated with Tambara-Yamagami categories.
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 a notion of Hopf-Lie-Rinehart algebra and show that the universal algebra of a Hopf-Lie-Rinehart algebra acquires an ordinary Hopf algebra structure.
Let H be a quasi-Hopf algebra, a weak Hopf algebra or a braided Hopf algebra. Let B be an H-bicomodule algebra such that there exists a morphism of H-bicomodule algebras v:H\rightarrow B. Then we can define an object B^{co(H)} which is a left-left Yetter-Drinfeld module over H, having extra properties that allow to make a smash product B^{co(H)}# H which is an H-bicomodule algebra, isomorphic to B.
We introduce a new filtration on Hopf algebras, the standard filtration, generalizing the coradical filtration. Its zeroth term, called the Hopf coradical, is the subalgebra generated by the coradical. We give a structure theorem: any Hopf algebra with injective antipode is a deformation of the bosonization of the Hopf coradical by its diagram, a connected graded Hopf algebra in the category of Yetter-Drinfeld modules over the latter. We discuss the steps needed to classify Hopf algebras in suitable classes accordingly. For the class of co-Frobenius Hopf algebras, we prove that a Hopf algebra …
We determine finite-dimensional Hopf algebras over an algebraically closed field of characteristic zero, whose Hopf coradical is isomorphic to a non-pointed basic Hopf algebra of dimension $24$ and the infinitesimal braidings are indecomposable objects. In particular, we obtain families of new finite-dimensional Hopf algebras without the dual Chevalley property.
We construct the analogue of Takeuchi's free Hopf algebra in the setting of Poisson Hopf algebras. More precisely, we prove that there exists a free Poisson Hopf algebra on any coalgebra or, equivalently that the forgetful functor from the category of Poisson Hopf algebras to the category of coalgebras has a left adjoint. In particular, we also prove that the category of Poisson Hopf algebras is a reflective subcategory of the category of Poisson bialgebras. Along the way, we describe coproducts and coequalizers in the category of Poisson Hopf algebras, therefore showing that the latter catego…
To every Hopf heap or quantum cotorsor of Grunspan a Hopf algebra of translations is associated. This translation Hopf algebra acts on the Hopf heap making it a Hopf-Galois co-object. Conversely, any Hopf-Galois co-object has the natural structure of a Hopf heap with the translation Hopf algebra isomorphic to the acting Hopf algebra. It is then shown that this assignment establishes an equivalence between categories of Hopf heaps and Hopf-Galois co-objects.
We classify finite-dimensional Hopf algebras over an algebraically closed field of characteristic zero whose Hopf coradcial is isomorphic to the smallest non-pointed basic Hopf algebra, under the assumption that the diagrams are strictly graded. In particular, we obtain some new Nichols algebras of non-diagonal type and new finite-dimensional Hopf algebras without the dual Chevalley property.
The quiver Hopf algebras are classified by means of ramification systems with irreducible representations. This leads to the classification of Nichols algebras over group algebras and pointed Hopf algebras of type one.
As is known to all, Hopf-Galois objects have a significant research value for analyzing tensor categories of comodules and classification questions of pointed Hopf algebras, and are natural generalizations of Hopf algebras with a Galois-theoretic flavour. In this paper, we mainly prove a criterion for an Ore extension of a Hopf-Galois algebra to be a Hopf-Galois algebra, and introduce the conception of Poisson Hopf-Galois algebras, and establish the relationship between Poisson Hopf-Galois algebras and Poisson Hopf algebras. Moreover, we study Poisson Hopf-Galois structures on Poisson polynomi…
We introduce quasi-Hopf $*$-algebras i.e. quasi-Hopf algebras equipped with a conjugation (star) operation. The definition of quasi-Hopf $*$-algebras proposed ensures that the class of quasi-Hopf $*$-algebras is closed under twisting and additionally, that any Hopf $*$-algebra becomes a quasi-Hopf $*$-algebra via twisting. The basic properties of these algebras are developed. The relationship between the antipode and star structure is investigated. Quasi-triangular quasi-Hopf $*$-algebras are introduced and studied.
Let $H$ be a finite dimensional semisimple Hopf algebra and $R$ a braided Hopf algebra in the category of Yetter-Drinfeld modules over $H$. When $R$ is a Calabi-Yau algebra, a necessary and sufficient condition for $R#H$ to be a Calabi-Yau Hopf algebra is given. Conversely, when $H$ is the group algebra of a finite group and the smash product $R#H$ is a Calabi-Yau algebra, we give a necessary and sufficient condition for the algebra $R$ to be a Calabi-Yau algebra.
We investigate a Hopf algebra structure on the cotensor coalgebra associated to a Hopf bimodule algebra which contains universal version of Clifford algebras and quantum groups as examples. It is shown to be the bosonization of the quantum quasi-shuffle algebra built on the space of its right coinvariants. The universal property and a Rota-Baxter algebra structure are established on this new algebra.
Let $\mathds{k}$ be an algebraically closed field of characteristic zero. We determine all finite-dimensional Hopf algebras over $\mathds{k}$ whose Hopf coradical is isomorphic to the unique $12$-dimensional Hopf algebra $\mathcal{C}$ without the dual Chevalley property, such that the diagrams are strictly graded and the corresponding infinitesimal braidings are indecomposable objects in ${}_{\mathcal{C}}^{\mathcal{C}}\mathcal{YD}$. In particular, we obtain new Nichols algebras of dimension $18$ and $36$ and two families of new Hopf algebras of dimension $216$.
A Hopf algebra is co-Frobenius when it has a nonzero integral. It is proved that the composition length of the indecomposable injective comodules over a co-Frobenius Hopf algebra is bounded. As a consequence, the coradical filtration of a co-Frobenius Hopf algebra is finite; this confirms a conjecture by Sorin Dăscălescu and the first author. The proof is of categorical nature and the same result is obtained for Frobenius tensor categories of subexponential growth. A family of co-Frobenius Hopf algebras that are not of finite type over their Hopf socles is constructed, answering so in the nega…
We define a series of Artin-Schelter Gorenstein Hopf algebras $H_β$ with injective dimensions 3. Radford's Hopf algebra and Gelaki's Hopf algebra are homomorphic images of $H_β$. We determine its Grothendieck ring $G_0(H_β)$. Meanwhile we can obtain Grothendieck rings of Gelaki's Hopf algebras and Radford's Hopf algebras $U_{(N,ν,ω)}$ in \cite{R}, and non-isomorphic Hopf algebras with isomorphic Grothendieck rings.
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 prove the quasi-Hopf algebra version of the Nichols-Zoeller theorem: A finite-dimensional quasi-Hopf algebra is free over any quasi-Hopf subalgebra.
We present characterizations of braided co-Frobenius Hopf algebras in the braided tensor category of Yetter-Drinfeld modules over a Hopf algebra extending those already known for co-Frobenius Hopf algebras.
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$.
