We study representations of nilpotent type nontrivial liftings of quantum linear spaces and their Drinfel'd quantum doubles. We construct a family of Verma- type modules in both cases and prove a parametrization theorem for simple modules. We compute the Loewy and socle series of Verma modules under a mild restriction on the datum of a lifting. We find bases and dimensions of simple modules.
We generalize various properties of Yetter-Drinfeld modules over Hopf algebras to quasi-Hopf algebras. The dual of a finite dimensional Yetter-Drinfeld module is again a Yetter-Drinfeld module. The algebra $H_0$ in the category of Yetter-Drinfeld modules that can be obtained by modifying the multiplication in a proper way is quantum commutative. We give a Structure Theorem for Hopf modules in the category of Yetter-Drinfeld modules, and deduce the existence and uniqueness of integrals from it.
For a finite dimensional Hopf algebra we show that an associated natural inclusion of infinite crossed products is the crossed product by the Drinfeld double, and that this is a characterisation of the double.
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.
Let $(R^{\vee},R)$ be a dual pair of Hopf algebras in the category of Yetter-Drinfeld modules over a Hopf algebra $H$ with bijective antipode. We show that there is a braided monoidal isomorphism between rational left Yetter-Drinfeld modules over the bosonizations of $R$ and of $R^{\vee}$, respectively. As an application of this very general category isomorphism we obtain a natural proof of the existence of reflections of Nichols algebras of semisimple Yetter-Drinfeld modules over $H$. Key words: Hopf algebras, quantum groups, Weyl groupoid
Let $(H, β)$ be a monoidal Hom-Hopf algebra with the bijective antipode $S$, In this paper, we mainly construct the Drinfel'd codouble $T(H)=(H^{op}\otimes H^{*}, β\otimes β^{*-1})$ and $\widehat{T(H)}=( H^{*}\otimes H^{op}, β^{*-1}\otimes β)$ in the setting of monoidal Hom-Hopf algebras. Then we prove both $T(H)$ and $\widehat{T(H)}$ are coquasitriangular. Finally, we discuss the relation between Drinfel'd codouble and Heisenberg double in the setting of monoidal Hom-Hopf algebras, which is a generalization of the part results in \cite{L94}.
The Yangian of the Lie algebra sl_n is known to have different presentations, in particular the RTT realisation and the Drinfel'd realisation. Using the isomorphism between them, the explicit expressions of the comultiplication, the antipode and the counit in the Drinfel'd realisation of the Yangian Y(sl_n) are given. As examples, the cases of Y(sl_2) and Y(sl_3) are worked out.
If A is a bialgebra over a field k and M, N are either left-right Yetter-Drinfel'd modules or left-right Hopf modules over A, we construct deformation cohomologies H^*(M,N) as total cohomologies of certain double complexes Y(M,N) and C(M,N), respectively. In both cases, H^1(M,N) is isomorphic to the group of equivalence classes of extensions of M by N in the corresponding category. In the Yetter-Drinfel'd case, H^*(k,k) is just the Gerstenhaber-Schack cohomology of the bialgebra A. If M, N are Hopf bimodules we construct a natural subbicomplex of the above C(M,N), yielding a cohomology theory …
Let $G$ be any group and let $K(G)$ denote the multiplier Hopf algebra of complex functions with finite support in $G$. The product in $K(G)$ is pointwise. The comultiplication on $K(G)$ is defined with values in the multiplier algebra $M(K(G) \otimes K(G))$ by the formula $(Δ(f)) (p,q) = f(pq)$ for all $f \in K(G)$ and $p, q \in G$. In this paper we consider multiplier Hopf algebras $B$ (over $\Bbb C$) such that there is an embedding $I: K(G) \to M(B)$. This embedding is a non-degenerate algebra homomorphism which respects the comultiplication and maps $K(G)$ into the center of $M(B)$. These …
We produce an explicit embedding of the planar algebra of the Drinfeld double of a finite-dimensional, semisimple and cosemisimple Hopf algebra $H$ into the two-cabling of the planar algebra of the dual Hopf algebra $H^*$ and characterise the image.
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…
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.
For a quasi-Hopf algebra $H$, a left $H$-comodule algebra $\mf{B}$ and a right $H$-module coalgebra $C$ we will characterize the category of Doi-Hopf modules ${}^C{\cal M}(H)_{\mf{B}}$ in terms of modules. We will also show that for an $H$-bicomodule algebra $\mb{A}$ and an $H$-bimodule coalgebra $C$ the category of generalized Yetter-Drinfeld modules ${}_{\mb{A}}{\cal YD}(H)^C$ is isomorphic to a certain category of Doi-Hopf modules. Using this isomorphism we will transport the properties from the category of Doi-Hopf modules to the category of generalized Yetter-Drinfeld modules.
We introduce Yetter-Drinfeld modules over a weak Hopf algebra $H$, and show that the category of Yetter-Drinfeld modules is isomorphic to the center of the category of $H$-modules. The categories of left-left, left-right, right-left and right-right Yetter-Drinfeld modules are isomorphic as braided monoidal categories. Yetter-Drinfeld modules can be viewed as weak Doi-Hopf modules, and, a fortiori, as weak entwined modules. If $H$ is finitely generated and projective, then we introduce the Drinfeld double using duality results between entwining structures and smash product structures, and show …
We study the Calabi-Yau property of pointed Hopf algebra $U(\mc{D},\lmd)$ of finite Cartan type. It turns out that this class of pointed Hopf algebras constructed by N. Andruskiewitsch and H.-J. Schneider contains many Calabi-Yau Hopf algebras. To give concrete examples of new Calabi-Yau Hopf algebras, we classify the Calabi-Yau pointed Hopf algebras $U(\mc{D},\lmd)$ of dimension less than 5.
A new quantization of groupoids under the name of \times-Hopf coalgebras is introduced. We develop a Hopf cyclic theory with coefficients in stable-anti-Yetter-Drinfeld modules for \times-Hopf coalgebras. We use \times-Hopf coalgebras to study coextensions of coalgebras. Finally, equivariant \times-Hopf coalgebra Galois coextensions are defined and applied as functors between categories of stable anti-Yetter-Drinfeld modules over \times-Hopf coalgebras involved in the coextension.
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.
A Hopf algebra object in Loday and Pirashvili's category of linear maps entails an ordinary Hopf algebra and a Yetter-Drinfel'd module. We equip the latter with a structure of a braided Leibniz algebra. This provides a unified framework for examples of racks in the category of coalgebras discussed recently by Carter, Crans, Elhamdadi and Saito.
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.
In this paper we prove a formula that relates Müger's centralizer in the category of representations of a factorizable Hopf algebra to the notion of Hopf kernel of a representation of the dual Hopf algebra. Using this relation we obtain a complete description for Müger's centralizer of some fusion subcategories of the fusion category of finite dimensional representations of a Drinfeld double of a semisimple Hopf algebra.
Based on a pairing of two regular multiplier Hopf algebras $A$ and $B$, Heisenberg double $\mathscr{H}$ is the smash product $A \# B$ with respect to the left regular action of $B$ on $A$. Let $\mathscr{D}=A\bowtie B$ be the Drinfel'd double, then Heisenberg double $\mathscr{H}$ is a Yetter-Drinfel'd $\mathscr{D}$-module algebra, and it is also braided commutative by the braiding of Yetter-Drinfel'd module, which generalizes the results in [10] to some infinite dimensional cases.
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 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.
In this work, we study another characterization of Yetter-Drinfeld algebras over finite-dimensional Hopf algebras. We show the equivalence between this characterization, called the "only coaction" characterization, and the standard "action-coaction" characterization. This modern approach for Yetter-Drinfeld algebras is one of the key ingredient in a self-dual theory of quantum transformation groupoids arising from actions of quantum groups.
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.
Given a Hopf algebra $H$ and a projection $H\to A$ to a Hopf subalgebra, we construct a Hopf algebra $r(H)$, called the partial dualization of $H$, with a projection to the Hopf algebra dual to $A$. This construction provides powerful techniques in the general setting of braided monoidal categories. The construction comprises in particular the reflections of generalized quantum groups, arxiv:1111.4673 . We prove a braided equivalence between the Yetter-Drinfel'd modules over a Hopf algebra and its partial dualization.
Let H be a Hopf algebra with bijective antipode, let α, βbe two Hopf algebra automorphisms of H and M a finite dimensional (α, β)-Yetter-Drinfeld module. We prove that End(M) endowed with certain structures becomes an H-Azumaya algebra, and the set of H-Azumaya algebras of this type is a subgroup of BQ(k, H), the Brauer group of H.
Under suitable assumptions on the base field, we prove that a commutative semisimple Yetter-Drinfel'd Hopf algebra over a finite abelian group is trivial, i.e., is an ordinary Hopf algebra, if its dimension is relatively prime to the order of the finite abelian group. Furthermore, we prove that a finite-dimensional cocommutative cosemisimple Yetter-Drinfel'd Hopf algebra contains a trivial Yetter-Drinfel'd Hopf subalgebra of dimension greater than one, at least if the Yetter-Drinfel'd Hopf algebra itself has dimension greater than one.
Let H be a finite-dimensional pointed Hopf algebra of rank one over an algebraically closed field of characteristic zero. In this paper we describe all annihilator ideals of indecomposable H-modules by generators. In particular, we give the classification of all ideals of finite-dimensional pointed Hopf algebra of rank one of nilpotent type over Klein 4-group.
A detailed presentation of the results obtained during my Ph.D. research. The main investigations concern explicit descriptions of classes of finite dimensional pointed Hopf algebras and their quasi-isomorphism types.
Let $\mathbb{k}$ be an algebraically closed field. We give a complete classification of non-connected pointed Hopf algebras of dimension $16$ with char$\,\mathbb{k}=2$ that are generated by group-like elements and skew-primitive elements. It turns out that there are infinitely many classes (up to isomorphism) of pointed Hopf algebras of dimension 16. In particular, we obtain infinitely many new examples of non-commutative non-cocommutative finite-dimensional pointed Hopf algebras.
We present techniques that allow to decide that the dimension of some pointed Hopf algebras associated with non-abelian groups is infinite. These results are consequences of arXiv:0803.2430v1. We illustrate each technique with applications.
We discuss the relationship between Hopf superalgebras and Hopf algebras. We list the braided vector spaces of diagonal type with generalized root system of super type and give the defining relations of the corresponding Nichols algebras.
By generalizing the Reshetikhin and Semenov-Tian-Shansky construction to supersymmetric cases, we obtain Drinfeld current realization for quantum affine superalgebra $U_q[gl(m|n)^{(1)}]$. We find a simple coproduct for the quantum current generators and establish the Hopf algebra structure of this super current algebra.
We compute higher Frobenius-Schur indicators of pq-dimensional pointed Hopf algebras in characteristic p through their associated graded Hopf algebras. These indicators are gauge invariants for the monoidal categories of representations of these algebras.
We study the Nichols algebra of a semisimple Yetter-Drinfeld module and introduce new invariants such as real roots. The crucial ingredient is a `reflection' in the class of such Nichols algebras. We conclude the classifications of finite-dimensional pointed Hopf algebras over S_3, and of finite-dimensional Nichols algebras over S_4. The revised version contains an extended introduction with references to recent applications, and a simplified definition of the Weyl groupoid of a semisimple Yetter-Drinfeld module. Key words: Hopf algebras, quantum groups, Weyl groupoid
We give a presentation in terms of generators and relations of Hopf algebras generated by skew-primitive elements and abelian group of group-like elements with action given via characters. This class of pointed Hopf algebras has shown great importance in the classification theory and can be seen as generalized quantum groups. As a consequence we get an analog presentation of Nichols algebras of diagonal type.
We investigate the Drinfel'd doubles $D(Λ_{n,d})$ of a certain family of Hopf algebras. We determine their simple modules and their indecomposable projective modules, and we obtain a presentation by quiver and relations of these Drinfel'd doubles, from which we deduce properties of their representations, including the Auslander-Reiten quivers of the $D(Λ_{n,d})$. We then determine decompositions of the tensor products of most of the representations described, and in particular give a complete description of the tensor product of two simple modules. This study also leads to explicit examples of…
A description of all normal Hopf subalgebras of a semisimple Drinfeld double is given. This is obtained by considering an analogue of Goursat's lemma concerning fusion subcategories of Deligne products of two fusion categories. As an application we show that the Drinfeld double of any abelian extension is also an abelian extension.
We show that a large class of finite dimensional pointed Hopf algebras is quasi-isomorphic to their associated graded version coming from the coradical filtration, i.e. they are 2-cocycle deformations of the latter. This supports a slightly specialized form of a conjecture of Masuoka.
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 classify finite-dimensional complex pointed Hopf algebra with group of group-like elements isomorphic to A_5. We show that any pointed Hopf algebra with infinitesimal braiding associated with the conjugacy class of $π$ \in $A_n$ is infinite-dimensional if the order of $π$ is odd except for $π=(1 2 3)$ in $A_4$. We also study pointed Hopf algebras over the dihedral 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 …
All -1-type pointed Hopf algebras and central quantum linear spaces with Weyl groups of exceptional type are found. It is proved that every non -1-type pointed Hopf algebra with real $G(H)$ is infinite dimensional and every central quantum linear space over finite group is finite dimensional. It is proved that except a few cases Nichols algebras of reducible Yetter-Drinfeld modules over Weyl groups of exceptional type are infinite dimensional.
We show that all finite dimensional pointed Hopf algebras with the same diagram in the classification scheme of Andruskiewitsch and Schneider are cocycle deformations of each other. This is done by giving first a suitable characterization of such Hopf algebras, which allows for the application of results by Masuoka about Morita-Takeuchi equivalence and by Schauenburg about Hopf Galois extensions. We also outline a method to describe the deforming cocycles involved using the exponential map and its q-analogue.
We give a necessary and sufficient PBW basis criterion for Hopf algebras generated by skew-primitive elements and abelian group of group-like elements with action given via characters. This class of pointed Hopf algebras has shown great importance in the classification theory and can be seen as generalized quantum groups. We apply the criterion to classical examples and liftings of Nichols algebras which were determined in arxiv.org:1003.5882.
Two new realizations, denoted $U_{q,x}(\widehat{gl_2})$ and $U(R_{q,x}(\widehat{gl_2}))$ of the trigonometric dynamical quantum affine algebra $U_{q,λ}(\widehat{gl_2})$ are proposed, based on Drinfeld-currents and $RLL$ relations respectively, along with a Heisenberg algebra $\left\{P,Q\right\}$, with $x=q^{2P}$. Here $P$ plays the role of the dynamical variable $λ$ and $Q=\frac{\partial}{\partial P}$. An explicit isomorphism from $U_{q,x}(\widehat{gl_2})$ to $U(R_{q,x}(\widehat{gl_2}))$ is established, which is a dynamical extension of the Ding-Frenkel isomorphism of $U_{q}(\widehat{gl_2})$ w…
We introduce the Hom-analogue of the L-R-smash product and use it to define the Hom-analogue of the diagonal crossed product. When H is a finite dimensional Hom-Hopf algebra with bijective antipode and bijective structure map, we define the Drinfeld double of H; its algebra structure is a Hom-diagonal crossed product and it has all expected properties, namely it is quasitriangular and modules over it coincide with left-right Yetter-Drinfeld modules over H.
By constructing explicit examples, we show that the core of a group-like element in a cocommutative cosemisimple Yetter-Drinfel'd Hopf algebra over the group ring of a finite abelian group is not always completely trivial.
Any finite-dimensional complex pointed Hopf algebra with group of group-likes isomorphic to a sporadic group, with the possible exception of the Fischer groups Fi22, the Baby Monster B and the Monster M, is a group algebra.
We give a complete classification of the 32-dimensional pointed Hopf algebras over an algebraically closed field k with characteristic different from 2. It turns out that there are infinite families of isomorphism classes of pointed Hopf algebras of dimension 32. In [Andruskiewitsch-Schneider, J. Alg 209], [Beattie-Dascalescu-Grunenfelder, Invent. Math. 136 (1)] and [Gelaki, J. Alg 209] are given families of counterexamples for the tenth Kaplansky conjecture. Up to now, 32 is the lowest dimension where Kaplansky conjecture fails.
We consider an interesting class of braidings defined by a combinatorial property in an earlier paper. We show that it consists exactly of those braidings that come from certain Yetter-Drinfeld module structures over pointed Hopf algebras with abelian coradical. As a tool we define a reduced version of the FRT construction. For braidings induced by U_q(g)-modules the reduced FRT construction is calculated explicitly.
If H is a Hopf algebra with bijective antipode and α, β\in Aut_{Hopf}(H), we introduce a category_H{\cal YD}^H(α, β), generalizing both Yetter-Drinfeld and anti-Yetter-Drinfeld modules. We construct a braided T-category {\cal YD}(H) having all these categories as components, which if H is finite dimensional coincides with the representations of a certain quasitriangular T-coalgebra DT(H) that we construct. We also prove that if (α, β) admits a so-called pair in involution, then_H{\cal YD}^H(α, β) is isomorphic to the category of usual Yetter-Drinfeld modules_H{\cal YD}^H.
