Structure Theorems for Bicomodule Algebras Over Quasi-Hopf Algebras,Weak Hopf Algebras,and Braided Hopf Algebras

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

Maschke Type Theorems for Nonassociative Hopf Algebras

In this article, we give necessary and sufficient conditions for a possibly nonassociative comodule algebra over a nonassociative Hopf algebra to have a total integral, thus extending the classical theory developed by Doi in the associative setting. Also, from this result we deduce a version of Maschke's Theorems and the consequent characterization of projectives for (H, B)-Hopf triples associated with a nonassociative Hopf algebra H and a nonassociative right H-comodule algebra B.     

The Structure Theorem of Weak Comodule Algebras

This article mainly gives the structure theorem of weak comodule algebras, that is, assume that H is a weak Hopf algebra, and B a weak right H-comodule algebra, if there exists a morphism φ: H → B of a weak right H-comodule algebras, then there exists an algebra isomorphism: B ? B ^coH #H, where B ^coH denotes the coinvariant subalgebra of B, and B ^coH #H denotes the weak smash product.     

Self-dual weak Hopf algebras

In this paper, we define the notion of self-dual graded weak Hopf algebra and self-dual semilattice graded weak Hopf algebra. We give characterization of finite-dimensional such algebras when they are in structually simple forms in the sense of E. L. Green and E. N. Morcos. We also give the definition of self-dual weak Hopf quiver and apply these types of quivers to classify the finite- dimensional self-dual semilattice graded weak Hopf algebras. Finally, we prove partially the conjecture given by N. Andruskiewitsch and H.-J. Schneider in the case of finite-dimensional pointed semilattice graded weak Hopf algebra H when grH is self-dual.     

Transmutation theory of a coquasitriangular weak Hopf algebra

Let H be a coquasitriangular quantum groupoid. In this paper, using a suitable idempotent element e in H, we prove that eH is a braided group (or a braided Hopf algebra in the category of right H-comodules), which generalizes Majid’s transmutation theory from a coquasitriangular Hopf algebra to a coquasitriangular weak Hopf algebra.     

A Generalized Drinfeld Quantum Double Construction Based on Weak Hopf Algebras

Let B and H be weak Hopf algebras with bijective antipodes S _B and S _H , respectively. Based on a compatible weak Hopf dual pairing (B, H, σ), we construct a generalized Drinfeld quantum double 𝔻(B, H) which is a weak T-coalgebra over a twisted semi-direct square of groups. In particular, when B and H are finite dimensional and the above pairing map σ is nondegenerate, 𝔻(B, H) admits a nontrivial quasitriangular structure. Some explicit examples are given as an application of our theory.     

Pairing and Quantum Double of Multiplier Hopf Algebras

We define and investigate pairings of multiplier Hopf (*-)algebras which are nonunital generalizations of Hopf algebras. Dual pairs of multiplier Hopf algebras arise naturally from any multiplier Hopf algebra A with integral and its dual Â. Pairings of multiplier Hopf algebras play a basic rôle, e.g., in the study of actions and coactions, and, in particular, in the relation between them. This aspect of the theory is treated elsewhere. In this paper we consider the quantum double construction out of a dual pair of multiplier Hopf algebras. We show that two dually paired regular multiplier Hopf (*-)algebras A and B yield a quantum double which is again a regular multiplier Hopf (*-)algebra. If A and B have integrals, then the quantum double also has an integral. If A and B are Hopf algebras, then the quantum double multiplier Hopf algebra is the usual quantum double. The quantum double construction for dually paired multiplier Hopf (*-)algebras yields new nontrivial examples of multiplier Hopf (*-)algebras.     

Hom-弱Hopf代数上的Hom-smash积

本文研究了在Hom-Hopf代数上引入Hom-弱Hop代数的问题.通过建立弱左H-模Hom-代数的方法,构造Hom-smash积,证明Hom-smash积是Hom-代数,且给出使之成为Hom-弱Hopf代数的充分条件,推广了由Bohm等人定义的弱Hop代数.     

Multiplier Hopf Algebras in Categories and the Biproduct Construction

Let B be a regular multiplier Hopf algebra. Let A be an algebra with a non-degenerate multiplication such that A is a left B-module algebra and a left B-comodule algebra. By the use of the left action and the left coaction of B on A, we determine when a comultiplication on A makes A into a “B-admissible regular multiplier Hopf algebra.” If A is a B-admissible regular multiplier Hopf algebra, we prove that the smash product A # B is again a regular multiplier Hopf algebra. The comultiplication on A # B is a cotwisting (induced by the left coaction of B on A) of the given comultiplications on A and B. When we restrict to the framework of ordinary Hopf algebra theory, we recover Majid’s braided interpretation of Radford’s biproduct. Presented by K. Goodearl.     

Hom-弱Hopf代数上的Hom-smash余积

本文研究了在Hom-Hopf代数上引入Hom-弱Hopf代数的问题.利用建立弱左H-Hom-余模双代数的方法,获得了Hom-smash余积的代数结构,并证明了Hom-smash余积是Hom-余代数和Hom-弱Hopf代数,推广了由Molnar定义的smash余积Hopf代数.     

A proof that commutative artinian rings are noetherian

Abstract

Integrals in Hopf algebras are an essential tool in studying finite dimensional Hopf algebras and their action on rings. Over fields it has been shown by Sweedler that the existence of integrals in a Hopf algebra is equivalent to the Hopf algebra being finite dimensional. In this paper we examine how much of this is true Hopf algebras over rings. We show that over any commutative ring R that is not a field there exists a Hopf algebra H over R containing a non-zero integral but not being finitely generated as R-module. On the contrary we show that Sweedler's equivalence is still valid for free Hopf algebras or projective Hopf algebras over integral domains. Analogously for a left H-module algebra A we study the influence of non-zero left A#H-linear maps from A to A#H on H being finitely generated as R-module. Examples and application to separability are given.     

Faithfully Flat Hopf Bi-Galois Extensions

This article is devoted to faithfully flat Hopf bi-Galois extensions defined by Fischman, Montgomery, and Schneider. Let H be a Hopf algebra with bijective antipode. Given a faithfully flat right H-Galois extension A/R and a right H-comodule subalgebra C ? A such that A is faithfully flat over C, we provide necessary and sufficient conditions for the existence of a Hopf algebra W so that A/C is a left W-Galois extension and A a (W, H)-bicomodule algebra. As a consequence, we prove that if R = k, there is a Hopf algebra W such that A/C is a left W-Galois extension and A a (W, H)-bicomodule algebra if and only if C is an H-submodule of A with respect to the Miyashita–Ulbrich action.     

The quantum double of a factorizable weak Hopf algebra

Let (H,R) be a finite dimensional quasitriangular weak Hopf algebra over a field k. We first construct a weak Hopf algebra [Δ(1)(H?H)Δ(1)]^R, which is based on the subalgebra of the tensor product algebra H?H. Next we verify that if H is factorizable, then the Drinfeld’s quantum double of H is isomorphic to [Δ(1)(H?H)Δ(1)]^R.     

The Miyashita–Ulbrich Action for Weak Hopf Algebras

In this article we extend the Miyashita–Ulbrich action for weak H-Galois extensions associated to a weak bialgebra H. Also, if H is a weak Hopf algebra, we prove that this action induces a monoidal connection with the category of right-right Yetter–Drinfeld modules over H.     

Faà di Bruno subalgebras of the Hopf algebra of planar trees from combinatorial Dyson-Schwinger equations

We consider the combinatorial Dyson-Schwinger equation X=B⁺(P(X)) in the non-commutative Connes-Kreimer Hopf algebra of planar rooted trees HNCK, where B⁺ is the operator of grafting on a root, and P a formal series. The unique solution X of this equation generates a graded subalgebra AN,P of HNCK. We describe all the formal series P such that AN,P is a Hopf subalgebra. We obtain in this way a 2-parameters family of Hopf subalgebras of HNCK, organized into three isomorphism classes: a first one, restricted to a polynomial ring in one variable; a second one, restricted to the Hopf subalgebra of ladders, isomorphic to the Hopf algebra of quasi-symmetric functions; a last (infinite) one, which gives a non-commutative version of the Faà di Bruno Hopf algebra. By taking the quotient, the last class gives an infinite set of embeddings of the Faà di Bruno algebra into the Connes-Kreimer Hopf algebra of rooted trees. Moreover, we give an embedding of the free Faà di Bruno Hopf algebra on D variables into a Hopf algebra of decorated rooted trees, together with a non-commutative version of this embedding.     

Homological dimension of weak Hopf�CGalois extensions

Let H be a weak Hopf algebra, A a right weak H-comodule algebra and B the subalgebra of the H-coinvariant elements of?A. Let A/B be a right weak H-Galois extension. We prove that A/B is a separable extension if H is semisimple. Using this, we show that the global dimension and weak dimension of A are less than those of?B. As an application, we obtain Maschke-type theorems for weak Hopf?CGalois extensions and weak smash products.     

On twisted smash products for bimodule algebras and the drinfeld double 1

In this paper we construct a new algebra AHof an H- bimodule algebra Aby a Hopf algebra Hand study some of its properties. The smash product, the Drinfel'd double D(H) and the Doi-Takeuchi's algebra B?,H, are all special cases of AH. Moreover,we find a necessary and sufficient condition for A Hto be a Hopf algebra and also consider the dual situation     

Hopf Algebras on Schurian Quivers

Let H be a Hopf algebra with a finite-dimensional, nontrivial space of skew primitive elements, over an algebraically closed field of characteristic zero. We prove that H contains either the polynomial algebra as a Hopf subalgebra, or a certain Schurian simple-pointed Hopf subalgebra. As a consequence, a complete list of the locally finite, simple-pointed Hopf algebras is obtained. Also, the graded automorphism group of a Hopf algebra on a Schurian Hopf quiver is determined, and the relation between this group and the automorphism groups of the corresponding Hopf quiver, is clarified.     

Doi–Hopf Modules and Yetter–Drinfeld Modules for Quasi-Hopf Algebras

For a quasi-Hopf algebra H, a left H-comodule algebra  and a right H-module coalgebra C we will characterize the category of Doi–Hopf modules ^C ?(H) in terms of modules. We will also show that for an H-bicomodule algebra  and an H-bimodule coalgebra C the category of generalized Yetter–Drinfeld modules (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.