Doi-Hopf Modules over Weak Hopf Algebras

Hopf代数胚的Hopf双模与Yetter-Drinfeld模

Hopf bimodules and Yetter-Drinfeld modules of Hopf algebroids

本文将Hopf代数中的Hopf双模与Yetter-Drinfeld模理论推广到Hopf代数胚，证明二者范畴等价为（预）辫子幺半范畴，并研究有限生成投射模的对偶性。

Strong Hopf modules for weak Hopf quasigroups

In this paper we introduce the category of strong Hopf modules for a weak Hopf quasigroup H in a braided monoidal category. We also prove that this category is equivalent to the category of right modules over the image of the target morphism of H.

Morita invariance of equivariant and Hopf-cyclic cohomology of module algebras over Hopf algebroids

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

Separable functors for Doi-Hopf modules. Applications

There are theorems in the literature which are referred as Maschke type theorems, because of the attempt to generalize Maschke's classical theorem. Our remark is that all these theorems are in fact providing sufficient conditions for the separability of a certain forgetful functor. But, unlike classical Maschke's theorem, where the sufficient condition is also necessary, none of these theorems gives any necessary condition for the separability of the forgeful functor in question. Our job is to find a necessary and sufficient condition for the separability of the forgetful functor from the cate…

Rota-Baxter paired modules and their constructions from Hopf algebras

In this paper, we introduce the concept of a Rota-Baxter paired module to study Rota-Baxter modules without necessarily a Rota-Baxter operator. We obtain two characterizations of Rota-Baxter paired modules, and give some basic properties of Rota-Baxter paired modules. Beginning with the connection between the notion of integrals in the representations of Hopf algebra and of the notion of an integral algebra as a motivation and special case of Rota-Baxter algebra of weight zero, we obtain a large number of Rota-Baxter paired modules from Hopf related algebras and modules, including semisimple H…

Rota-Bater paried comodule and Rota-Bater paired Hopf module

In this paper, we introduce the conception of Rota-Baxter paired comodules, which is dual to Rota-Baxter paired modules in [14]. We mainly discuss some properties of Rota-Baxter paired comodules, especially we give the characterization of generic Rota-Baxter paired comodules, which has important application for the construction of Rota-Baxter comodules. Moreover, we construct Rota-Baxter paired comodules on Hopf algebras, weak Hopf algebras, weak Hopf modules, dimodules, relative Hopf modules and Rota-Baxter paired comodules. And then we finally introduce the conception of Rota-Baxter paired H…

More properties of Yetter-Drinfeld modules over quasi-Hopf algebras

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.

Quasitriangular (G-cograded) multiplier Hopf algebras

We put the known results on the antipode of a usual quasitriangular Hopf algebra into the framework of multiplier Hopf algebras. We illustrate with examples which can not be obtained using classical Hopf Algebras. The focus of the present paper lies on the class of the so-called group cograded multiplier Hopf algebras. By doing so, we bring the results of quasitriangular Hopf group-coalgebras (as introduced by Turaev) to the more general framework of multiplier Hopf algebras.

Yetter-Drinfeld modules over bosonizations of dually paired Hopf algebras

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

Annihilator ideals of indecomposable modules of finite-dimensional pointed Hopf algebras of rank 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.

Deformation cohomology for Yetter-Drinfel'd modules and Hopf (bi)modules

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 …

Hopf 交叉模（余）代数

Hopf crossed module (co)algebras

本文引入 Hopf 交叉模（余）代数，推广 Hopf 代数与 Hopf 群（余）代数，并证明其表示范畴为幺半且 χ-分级。

关于Hopf代数的双交叉模

On bicrossed modules of Hopf algebras

本文利用Hopf代数胚定义非交换非余交换的Hopf 2-代数，证明带Peiffer恒等式的双交叉积Hopf代数可产生此类结构，并给出Sweedler Hopf代数的应用实例。

Hopf bimodules are modules over a diagonal crossed product algebra

If H is a finite dimensional Hopf algebra, C. Cibils and M. Rosso found an algebra X having the property that Hopf bimodules over H^* coincide with left X-modules. We find two other algebras, Y and Z, having the same property; namely, Y is the "two-sided crossed product" H^*#(H\otimes H^{op})# H^{* op} and Z is the "diagonal crossed product" (H^*\otimes H^{*op})\bowtie (H\otimes H^{op}) (both concepts are due to F. Hausser and F. Nill). We also find explicit isomorphisms between the algebras X, Y, Z.

Two characterizations of finite quasi-Hopf algebras

Let H be a finite-dimensional quasibialgebra. We show that H is a quasi-Hopf algebra if and only if the category of its finite-dimensional left modules is rigid if and only if a structure theorem for Hopf modules over H holds. We also show that a dual structure theorem for Hopf modules over a coquasibialgebra H holds if and only if the category of finite-dimensional right H-comodules is rigid; this is not equivalent to H being a coquasi-Hopf algebra.

Hopfological algebra and categorification at a root of unity: the first steps

Any finite-dimensional Hopf algebra H is Frobenius and the stable category of H-modules is triangulated monoidal. To H-comodule algebras we assign triangulated module-categories over the stable category of H-modules. These module-categories are generalizations of homotopy and derived categories of modules over a differential graded algebra. We expect that, for suitable H, our construction could be a starting point in the program of categorifying quantum invariants of 3-manifolds.

The doubles of a braided Hopf algebra

Let A be a Hopf algebra in a braided rigid category B. In the case B admits a coend C, which is a Hopf algebra in B, we defined in 2008 the double D(A) of A, which is a quasitriangular Hopf algebra in B whose category of modules is isomorphic to the center of the category of A-modules as a braided category. Here, quasitriangular means endowed with an R-matrix (our notion of R-matrix for a Hopf algebra in B involves the coend C of B). In general, i.e. when B does not necessarily admit a coend, we construct a quasitriangular Hopf monad d_A on the center Z(B) of B whose category of modules is iso…

Representations of pointed Hopf algebras and their Drinfel'd quantum doubles

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.

Transparency condition in the categories of Yetter-Drinfel'd modules over Hopf algebras in braided categories

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…

Representations of pointed Hopf algebras over S_3

The classification of finite-dimensional pointed Hopf algebras with group S_3 was finished in "The Nichols algebra of a semisimple Yetter-Drinfeld module", arXiv:0803.2430v1 [math.QA], by Andruskiewitsch, Heckenberger and Schneider: there are exactly two of them, the bosonization of a Nichols algebra of dimension 12 and a non-trivial lifting. Here we determine all simple modules over any of these Hopf algebras. We also find the Gabriel quivers, the projective covers of the simple modules, and prove that they are not of finite representation type. To this end, we first investigate the modules o…

Twisted derivations of Hopf algebras

In the paper we introduce the notion of twisted derivation of a bialgebra. Twisted derivations appear as infinitesimal symmetries of the category of representations. More precisely they are infinitesimal versions of twisted automorphisms of bialgebras. Twisted derivations naturally form a Lie algebra (the tangent algebra of the group of twisted automorphisms). Moreover this Lie algebra fits into a crossed module (tangent to the crossed module of twisted automorphisms). Here we calculate this crossed module for universal enveloping algebras and for the Sweedler's Hopf algebra.

弱Hopf代数的Poisson $(A,H)$-Hopf模基本定理

Fundamental theorem of Poisson $(A,H)$-Hopf module for weak Hopf algebras

该研究将Poisson Hopf模基本定理推广至弱Hopf代数情形，同时推导了Poisson Hopf模范畴的相对投射性，拓展了相关代数结构理论的适用范围。

Frobenius properties and Maschke-type theorems for entwined modules

Entwined modules arose from the coalgebra-Galois theory. They are a generalisation of unified Doi-Hopf modules. In this paper, Frobenius properties and Maschke-type theorems, known for Doi-Hopf modules are extended to the case of entwined modules.

Hopf (Bi-)Modules and Crossed Modules in Braided Monoidal Categories

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…

Larson-Sweedler Theorem and the Role of Grouplike Elements in Weak Hopf Algebras

We extend the Larson-Sweedler theorem to weak Hopf algebras by proving that a finite dimensional weak bialgebra is a weak Hopf algebra iff it possesses a non-degenerate left integral. We show that the category of modules over a weak Hopf algebra is autonomous monoidal with semisimple unit and invertible modules. We also reveal the connection of invertible modules to left and right grouplike elements in the dual weak Hopf algebra. Defining distinguished left and right grouplike elements we derive the Radford formula for the fourth power of the antipode in a weak Hopf algebra and prove that the …

Yetter-Drinfeld categories for quasi-Hopf algebras

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.

Crossed products and cleft extensions for coquasi-Hopf algebras

The notion of crossed product by a coquasi-bialgebra H is introduced and studied. The resulting crossed product is an algebra in the monoidal category of right H-comodules. We give an interpretation of the crossed product as an action of a monoidal category. In particular, necessary and sufficient conditions for two crossed products to be equivalent are provided. Then, two structure theorems for coquasi Hopf modules are given. First, these are relative Hopf modules over the crossed product. Second, the category of coquasi-Hopf modules is trivial, namely equivalent to the category of modules ov…

The Hopf modules category and the Hopf equation

We study the Hopf equation which is equivalent to the pentagonal equation, from operator algebras. A FRT type theorem is given and new types of quantum groups are constructed. The key role is played now by the classical Hopf modules category. As an application, a five dimensional noncommutative noncocommutative bialgebra is given.

Hopf 代数余作用的 Hopf 像

Hopf Images of Hopf algebra Coactions

本文定义了 Hopf 代数余作用的 Hopf 像为最小可分解子代数，证明其内忠实性，并针对 Nichols 代数给出检测结果及玻色化实例。

Projectivity of a relative Hopf module over the subring of coinvariants

Let $k$ be a commutative ring, $H$ a faithfully flat Hopf algebra with bijective antipode, $A$ a $k$-flat right $H$-comodule algebra. We investigate when a relative Hopf module is projective over the subring of coinvariants $B=A^{{\rm co}H}$, and we study the semisimplicity of the category of relative Hopf modules.

Representations of copointed Hopf algebras arising from the tetrahedron rack

We study the copointed Hopf algebras attached to the Nichols algebra of the affine rack $\Aff(\F_4,ω)$, also known as tetrahedron rack, and the 2-cocycle -1. We investigate the so-called Verma modules and classify all the simple modules. We conclude that these algebras are of wild representation type and not quasitriangular, also we analyze when these are spherical.

Triangular braidings and pointed Hopf algebras

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.

On a family of Hopf algebras of dimension 72

We investigate a family of Hopf algebras of dimension 72 whose coradical is isomorphic to the algebra of functions on S_3. We determine the lattice of submodules of the so-called Verma modules and as a consequence we classify all simple modules. We show that these Hopf algebras are unimodular (as well as their duals) but not quasitriangular; also, they are cocycle deformations of each other.

On braided co-Frobenius Hopf algebras

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.

BiHom四角Hopf模与BiHom-Yetter-Drinfel'd模

BiHom-four-angle Hopf modules and BiHom-Yetter-Drinfel'd modules

本文定义BiHom四角Hopf模范畴，证明其在两种BiHom积下为严格幺半范畴，建立其与特定BiHom-Yetter-Drinfel'd模范畴的幺半等价，并为前者构造辫结构。

Hopf 代数与 Frobenius 代数情境下的 Lie 对应

A Lie Correspondence in the Setting of Hopf and Frobenius Algebras

本文在 Hopf 与 Frobenius 代数框架下引入 Hopf-Frobenius 模，构造相应的 Lie 群与 Lie 代数，并证明经典 Lie 对应是该构造的特例。

The Radicals of Hopf Module Algebras

The characterization of $H$-prime radical is given in many ways. Meantime, the relations between the radical of smash product $R # H$ and the $H$-radical of Hopf module algebra $R$ are obtained.

Hom-entwining structures and Hom-Hopf-type modules

The notions of Hom-coring, Hom-entwining structure and associated entwined Hom-module are introduced. A theorem regarding base ring extension of a Hom-coring is proven and then is used to acquire the Hom-version of Sweedler coring. Motivated by the work of T. Brzezinski, a Hom-coring associated to an entwining Hom-structure is constructed and an identification of entwined Hom-modules with Hom-comodules of this Hom-coring is shown. The dual algebra of this Hom-coring is proven to be a $ψ$-twisted convolution algebra. By a construction, it is shown that a Hom-Doi-Koppinen datum comes from a Hom-…

Hopf Modules and Noncommutative Differential Geometry

We define a new algebra of noncommutative differential forms for any Hopf algebra with an invertible antipode. We prove that there is a one to one correspondence between anti-Yetter-Drinfeld modules, which serve as coefficients for the Hopf cyclic (co)homology, and modules which admit a flat connection with respect to our differential calculus. Thus we show that these coefficient modules can be regarded as ``flat bundles'' in the sense of Connes' noncommutative differential geometry.

Partially dualized Hopf algebras have equivalent Yetter-Drinfel'd modules

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.

Doi-Koppinen modules for quantum groupoids

A definition of a Doi-Koppinen datum over a noncommutative algebra is proposed. The idea is to replace a bialgebra in a standard Doi-Koppinen datum with a bialgebroid. The corresponding category of Doi-Koppinen modules over a noncommutative algebra is introduced. A weak Doi-Koppinen datum and module of [G. Bohm. Comm. Algebra, 28:4687--4698, 2000] are shown to be examples of a Doi-Koppinen datum and module over an algebra. A coring associated to a Doi-Koppinen datum over an algebra is constructed and various properties of induction and forgetful functors for Doi-Koppinen modules over an algebr…

Yetter-Drinfeld modules over weak Hopf algebras and the center construction

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 …

Construction of Rota-Baxter algebras via Hopf module algebras

We propose the notion of Hopf module algebras and show that the projection onto the subspace of coinvariants is an idempotent Rota-Baxter operator of weight -1. We also provide a construction of Hopf module algebras by using Yetter-Drinfeld module algebras. As an application, we prove that the positive part of a quantum group admits idempotent Rota-Baxter algebra structures.

Module categories over pointed Hopf algebras

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)$.

Hopf-cyclic cohomology of bicrossed product Hopf algebras

In this dissertation we study the coefficients spaces (SAYD modules) of Hopf-cyclic cohomology theory over a certain family of bicrossed product Hopf algebras, and we compute the Hopf-cyclic cohomology of such Hopf algebras with coefficients. We associate a Hopf algebra, what we call a Lie-Hopf algebra, to any matched pair of Lie groups, Lie algebras and affine algebraic groups via the semi-dualization procedure of Majid. We then identify the SAYD modules over Lie-Hopf algebras with the representations and corepresentations of the total Lie group, Lie algebra or the affine algebraic group of t…

Representations of the category of modules over pointed Hopf algebras over S_3 and S_4

We classify exact indecomposable module categories over the representation category of all non-trivial Hopf algebras with coradical S_3 and S_4. As a byproduct, we compute all its Hopf-Galois extensions and we show that these Hopf algebras are cocycle deformations of their graded versions.

Module categories, weak Hopf algebras and modular invariants

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.

Examples of support varieties for Hopf algebras with noncommutative tensor products

The representations of some Hopf algebras have curious behavior: Nonprojective modules may have projective tensor powers, and the variety of a tensor product of modules may not be contained in the intersection of their varieties. We explain a family of examples of such Hopf algebras and their modules, and classify left, right, and two-sided ideals in their stable module categories.

Varieties for modules of finite dimensional Hopf algebras

We survey variety theory for modules of finite dimensional Hopf algebras, recalling some definitions and basic properties of support and rank varieties where they are known. We focus specifically on properties known for classes of examples such as finite group algebras and finite group schemes. We list open questions about tensor products of modules and projectivity, where varieties may play a role in finding answers.

Module traces and Hopf group-coalgebras

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…

Galois functors and generalised Hopf modules

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…

The monoidal category of Yetter-Drinfeld modules over a weak braided Hopf algebra

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.

Hopf modules for autonomous pseudomonoids and the monoidal centre

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…

SAYD modules over Lie-Hopf algebras

In this paper a general van Est type isomorphism is established. The isomorphism is between the Lie algebra cohomology of a bicrossed sum Lie algebra and the Hopf cyclic cohomology of its Hopf algebra. We first prove a one to one correspondence between stable-anti-Yetter-Drinfeld (SAYD) modules over the total Lie algebra and SAYD modules over the associated Hopf algebra. In contrast to the non-general case done in our previous work, here the van Est isomorphism is found at the first level of a natural spectral sequence, rather than at the level of complexes. It is proved that the Connes-Moscov…