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 that the category of Yetter-Drinfeld modules is isomorphic to the category of modules over the Drinfeld double.
We define and study a class of entwined modules (stable anti-Yetter-Drinfeld modules) that serve as coefficients for the Hopf-cyclic homology and cohomology. In particular, we explain their relationship with Yetter-Drinfeld modules and Drinfeld doubles. Among sources of examples of stable anti-Yetter-Drinfeld modules, we find Hopf-Galois extensions with a flipped version of the Miyashita-Ulbrich action.
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.
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 study the Yetter--Drinfeld D(B)-module algebra structure on the Heisenberg double H(B^*) endowed with a "heterotic" action of the Drinfeld double D(B). This action can be interpreted in the spirit of Lu's description of H(B^*) as a twist of D(B). In terms of the braiding of Yetter--Drinfeld modules, H(B^*) is braided commutative. By the Brzezinski--Militaru theorem, H(B^*)#D(B) is then a Hopf algebroid over H(B^*). For B a particular Taft Hopf algebra at a 2p-th root of unity, the construction is adapted to yield Yetter--Drinfeld module algebras over the 2p^3-dimensional quantum group U_q(s…
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 similar statement for the category of Long dimodules, without the assumption that $H$ is commutative.
We prove that a finite-dimensional Hopf algebra with the dual Chevalley Property over a field of characteristic zero is quasi-isomorphic to a Radford-Majid bosonization whenever the third Hochschild cohomology group in the category of Yetter-Drinfeld modules of its diagram with coefficients in the base field vanishes. Moreover we show that this vanishing occurs in meaningful examples where the diagram is a Nichols algebra.
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 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 Hopf algebra B with bijective antipode, we show that the Heisenberg double H(B^*) is a braided commutative Yetter--Drinfeld module algebra over the Drinfeld double D(B). The braiding structure allows generalizing H(B^*) = B^{*cop}\braid B to "Heisenberg n-tuples" and "chains" ...\braid B^{*cop}\braid B \braid B^{*cop}\braid B\braid..., all of which are Yetter--Drinfeld D(B)-module algebras. For B a particular Taft Hopf algebra at a 2p-th root of unity, the construction is adapted to yield Yetter--Drinfeld module algebras over the 2p^3-dimensional quantum group U_qsl(2).
Over fields of arbitrary characteristic we classify all braid-indecomposable tuples of at least two absolutely simple Yetter-Drinfeld modules over non-abelian groups such that the group is generated by the support of the tuple and the Nichols algebra of the tuple is finite-dimensional. Such tuples are classified in terms of analogs of Dynkin diagrams which encode much information about the Yetter-Drinfeld modules. We also compute the dimensions of these finite-dimensional Nichols algebras. Our proof uses the Weyl groupoid of a tuple of simple Yetter-Drinfeld modules.
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
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 continue the study of the representation theory of a regular weak multiplier bialgebra with full comultiplication, started in arXiv:1306.1466, arXiv:1311.2730. Yetter-Drinfeld modules are defined as modules and comodules, with compatibility conditions that are equivalent to a canonical object being (weakly) central in the category of modules, and equivalent also to another canonical object being (weakly) central in the category of comodules. Yetter-Drinfeld modules are shown to constitute a monoidal category via the (co)module tensor product over the base (co)algebra. Finite dimensional Yet…
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.
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
The aim of this paper is to define and study Yetter-Drinfeld modules over Hom-bialgebras, a generalized version of bialgebras obtained by modifying the algebra and coalgebra structures by a homomorphism. Yetter-Drinfeld modules over a Hom-bialgebra with bijective structure map provide solutions of the Hom-Yang-Baxter equation. The category $_H^H{\mathcal YD}$ of Yetter-Drinfeld modules with bijective structure maps over a Hom-bialgebra H with bijective structure map can be organized, in two different ways, as a quasi-braided pre-tensor category. If H is quasitriangular (respectively coquasitri…
We provide an analog of the Joyal-Street center construction and of the Kassel-Turaev categorical quantum double in the context of the crossed categories introduced by Turaev. Then, we focus or attention to the case of categories of representation. In particular, we introduce the notion of a Yetter-Drinfeld module over a crossed group coalgebra H and we prove that both the category of Yetter-Drinfeld modules over H and the center of the category of representations of H as well as the category of representations of the quantum double of H are isomorphic as braided crossed categories.
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.
We study a functor from anti-Yetter Drinfeld modules to contramodules in the case of a Hopf algebra $H$. Some byproducts of this investigation are the establishment of sufficient conditions for this functor to be an equivalence, verification that the center of the opposite category of $H$-comodules is equivalent to anti-Yetter Drinfeld modules, and the observation of two types of periodicities of the generalized Yetter-Drinfeld modules introduced previously. Finally, we give an example of a symmetric $2$-contratrace on $H$-comodules that does not arise from an anti-Yetter Drinfeld module.
In this paper, the author gives a complete set of simple Yetter-Drinfeld modules over Suzuki algebra $A_{N\,2n+1}^{μλ}$ and investigates the Nichols algebras over those irreducible Yetter-Drinfeld modules. The finite dimensional Nichols algebras of diagonal type are of Cartan type $A_1$, $A_1\times A_1$, $A_2$, Super type ${A}_{2}(q;I_2)$ and the Nichols algebra $\mathfrak{ufo}(8)$. And the involved finite dimensional Nichols algebras of non-diagonal type are $12$, $4m$ and $m^2$ dimensional. The left three unsolved cases are set as open problems.
We define notions of pivotal and ribbon objects in a monoidal category. These constructions give pivotal or ribbon monoidal categories from a monoidal category which is not necessarily with duals. We apply this construction to the braided monoidal category of Yetter--Drinfeld modules over a Hopf algebra. This gives rise to the notion of ribbon Yetter--Drinfeld modules over a Hopf algebra, which form ribbon categories. This gives an invariant of tangles.
The category of Yetter-Drinfeld modules over a Hopf algebra (with bijektive antipode over a field) is a braided monoidal category. Given a Hopf algebra in this category then the primitive elements of this Hopf algebra do not form an ordinary Lie algebra anymore. We introduce the notion of a (generalized) Lie algebra in the category of Yetter-Drinfeld modules such that the set of primitive elements of a Hopf algebra is a Lie algebra in this sense. It has n-ary partially defined Lie multiplications on certain symmetric submodules of n- fold tensor products. They satisfy antisymmetry and Jacobi i…
We construct reflection functors for Yetter-Drinfeld modules over Nichols systems and discuss their fundamental properties. We will obtain properties about the geometry of the support of Nichols systems and their Yetter-Drinfeld modules, by looking at iterated reflections. We will also study the maximal subobject of Yetter-Drinfeld modules over Nichols systems and find a special morphism, that we name Shapovalov morphism, whose kernel coincides with this maximal subobject. Moreover, we will use this morphism to characterize properties about the reflections of the Yetter-Drinfeld modules. We ca…
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 …
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.
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.
In this paper, we continue to investigate finite-dimensional Nichols algebras over simple Yetter-Drinfeld modules of the Suzuki algebras $A_{N\, n}^{μλ}$. It is finished for the case $A_{N\, 2n}^{μλ}$. As for the case $A_{N\, 2n+1}^{μλ}$, it boils down to the long-standing open problem: calculate dimensions of Nichols algebras of dihedral rack type $\Bbb D_{2n+1}$. It is interesting to see that the Suzuki algebras are of set-theoretical type. We pose some question or problems for our future research. In particular, we are curious about how to generalize the correspondence between braidings of …
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.
The Suzuki algebra $A_{Nn}^{μλ}$ was introduced by Suzuki Satoshi in 1998, which is a class of cosemisimple Hopf algebras. It is not categorically Morita-equivalent to a group algebra in general. In this paper, the author gives a complete set of simple Yetter-Drinfeld modules over the Suzuki algebra $A_{N\,2n}^{μλ}$ and investigates the Nichols algebras over those simple Yetter-Drinfeld modules. The involved finite dimensional Nichols algebras of diagonal type are of Cartan type $A_1$, $A_1\times A_1$, $A_2$, $A_2\times A_2$, Super type ${\bf A}_{2}(q;I_2)$ and the Nichols algebra ufo(8). Ther…
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.
We give an explicit formula for the correspondence between simple Yetter-Drinfeld modules for certain finite-dimensional pointed Hopf algebras $H$ and those for cocycle twists $H^σ$ of $H$. This implies an equivalence between modules for their Drinfeld doubles. To illustrate our results, we consider the restricted two-parameter quantum groups ${\mathfrak{u}}_{r,s}({\mathfrak{sl}}_n)$ under conditions on the parameters guaranteeing that ${\mathfrak{u}}_{r,s}({\mathfrak{sl}}_n)$ is a Drinfeld double of its Borel subalgebra. We determine explicit correspondences between ${\mathfrak{u}}_{r,s}({\ma…
We rederive a popular nonsemisimple fusion algebra in the braided context, from a Nichols algebra. Together with the decomposition that we find for the product of simple Yetter-Drinfeld modules, this strongly suggests that the relevant Nichols algebra furnishes an equivalence with the triplet W-algebra in the (p,1) logarithmic models of conformal field theory. For this, the category of Yetter-Drinfeld modules is to be regarded as an \textit{entwined} category (the one with monodromy, but not with braiding).
In this paper we relate a problem in representation theory - the study of Yetter-Drinfeld modules over certain braided Hopf algebras - to a problem in two-dimensional quantum field theory, namely the identification of integrable perturbations of a conformal field theory. A prescription that parallels Lusztig's construction allows one to read off the quantum group governing the integrable symmetry. As an example, we illustrate how the quantum group for the loop algebra of sl(2) appears in the integrable structure of the perturbed uncompactified and compactified free boson.
Let H be a bialgebra and D an H-bimodule algebra H-bicomodule coalgebra. We find sufficient conditions on D for the L-R-smash product algebra and coalgebra structures on D\otimes H to form a bialgebra (in this case we say that (H, D) is an L-R-admissible pair), called L-R-smash biproduct. The Radford biproduct is a particular case, and so is, up to isomorphism, a double biproduct with trivial pairing. We construct a prebraided monoidal category {\cal LR}(H), whose objects are H-bimodules H-bicomodules M endowed with left-left and right-right Yetter-Drinfeld module as well as left-right and rig…
We prove a structure theorem for Yetter-Drinfel'd Hopf algebras over groups of prime order that are nontrivial, cocommutative, and cosemisimple: Under certain assumptions on the base field, these algebras can be decomposed into a tensor product of the dual group ring of the group of prime order and an ordinary group ring of some other group. This tensor product is a crossed product as an algebra and an ordinary tensor product as a coalgebra. In particular, the dimension of such a Yetter-Drinfel'd Hopf algebra is divisible by the prime under consideration. We also find explicit examples of such…
An interesting open question is to determine the group of monoidal autoequivalences of the category of Yetter-Drinfeld modules over a finite group $G$, or equivalently the group of Bigalois objects over the dual of the Drinfeld double $DG$. In particular one would hope to decompose this group into terms related to monoidal autoequivalences for the group algebra, the dual group algebra and interaction terms. We report on our progress in this question: We first prove a decomposition of the group of Hopf algebra automorphisms of the Drinfeld double into three subgroups, which reduces in the case …
We define two-cocycles and cleft extensions in categories that are not necessarily braided, but where specific objects braid from one direction, like for a Hopf algebra $H$ a Yetter-Drinfeld module braids from the left with $H$-modules. We will generalize classical results to this context and give some application for the categories of Yetter-Drinfeld modules and $H$-modules. In particular we will describe liftings of coradically graded Hopf algebras in the category of Yetter-Drinfeld modules with these techniques.
Blatter-Montgomery duality theorem is generalized into braided tensor categories. It is shown that $Hom(V,W)$ is a braided Yetter-Drinfeld module for any two braided Yetter-Drinfeld modules $V$ and $W$.
In this paper, we show that total integrals and cointegrals are new sources of stable anti Yetter-Drinfeld modules. We explicitly show that how special types of total (co)integrals can be used to provide both (stable) anti Yetter-Drinfeld and Yetter- Drinfeld modules. We use these modules to classify total (co)integrals and (cleft) Hopf Galois (co)extensions for some examples of the Connes-Moscovici Hopf algebra, universal enveloping algebras and polynomial algebras.
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 …
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.
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.
We show that if $A$ and $H$ are Hopf algebras that have equivalent tensor categories of comodules, then one can transport what we call a free Yetter-Drinfeld resolution of the counit of $A$ to the same kind of resolution for the counit of $H$, exhibiting in this way strong links between the Hochschild homologies of $A$ and $H$. This enables us to get a finite free resolution of the counit of $\mathcal B(E)$, the Hopf algebra of the bilinear form associated to an invertible matrix $E$, generalizing an ealier construction of Collins, Hartel and Thom in the orthogonal case $E=I_n$. It follows tha…
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.
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.
We study some problems related to lazy 2-cocycles, such as: extension of (lazy) 2-cocycles to a Drinfeld double and to a Radford biproduct, Yetter-Drinfeld data obtained from lazy 2-cocycles, lifting of projective representations afforded by lazy 2-cocycles.
We report on two classes of autoequivalences of the category of Yetter-Drinfeld modules over a finite group, or, equivalently the Drinfeld center of the category of representations of a finite group. Both operations are related to the $r$-th power operation, with $r$ relatively prime to the exponent of the group. One is defined more generally for the group-theoretical fusion category defined by a finite group and an arbitrary subgroup, while the other seems particular to the case of Yetter-Drinfeld modules. Both autoequivalences preserve higher Frobenius-Schur indicators up to Galois conjugati…
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…
