Flatness of Noetherian Hopf algebras over coideal subalgebras

It is proved in the paper that a Noetherian residually finite-dimensional Hopf algebra H is a flat module over any right Noetherian right coideal subalgebra A. In the case when A is a Hopf subalgebra we get faithful flatness. These results are obtained by verifying the existence of classical quotient rings of A and H. It is also proved that the antipode of either right or left Noetherian residually finite-dimensional Hopf algebra is bijective. As a consequence, such a Hopf algebra is right and left Noetherian simultaneously.

     

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.     

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 Morita Context and Galois Extensions for Quasi-Hopf Algebras

If H is a finite dimensional quasi-Hopf algebra and A is a left H-module algebra, we show that there is a Morita context connecting the smash product A#H and the subalgebra of invariants A ^H . We define also Galois extensions and prove the connection with this Morita context, as in the Hopf case.     

Representation theory of Hopf galois extensions

LetH be a Hopf algebra over the fieldk andB ⊂A a right faithfully flat rightH-Galois extension. The aim of this paper is to study some questions of representation theory connected with the ring extensionB ⊂A, such as induction and restriction of simple or indecomposable modules. In particular, generalizations are given of classical results of Clifford, Green and Blattner on representations of groups and Lie algebras. The stabilizer of a leftB-module is introduced as a subcoalgebra ofH. Very often the stabilizer is a Hopf subalgebra. The special case whenA is a finite dimensional cocommutative Hopf algebra over an algebraically closed field,B is a normal Hopf subalgebra andH is the quotient Hopf algebra was studied before by Voigt using the language of finite group schemes.     

Relative PBW Type Theorems for Symmetrically Braided Hopf Algebras

We show that, for any irreducible symmetrically braided Hopf algebra over a field of characteristic zero, the associated graded algebra with respect to the coradical filtration is a braided symmetric algebra. Consequently, we obtain conditions for a braided Hopf algebra to be of Poincaré–Birkhoff–Witt (PBW) type as module over a braided Hopf subalgebra containing the coradical.     

Quantum doubles in monoidal categories

Let H be a Hopf algebra in a rigid symmetric monoidal category C then the evaluation map τis a convolution-invertible skew pairing. In the previous paper, we constructed a Hopf algebra D(H)=H ? _r H ^?cop in C. In this paper, we first show that D(H) is a quasitriangular Hopf algebra in C. Next, let H be an ordinary triangular finite-dimensional Hopf algebra. Then one can form quasitriangular Hopf algebras B(H,H) and B(H,D(H)) (in a rigid braided monoidal category) by Majid’s method associated to the ordinary Hopf algebra maps H →H and i_H H → D(H), where D(H) is the Drin-fePd quantum double. We show that D (B(H,H)) and B(H,D(H)) are isomorphic Hopf algebras in the braided monoidal category.     

Smash coproduct and braided groups in braided monoidal category

A smash coproduct in braided monoidal category C is constructed and some conditions making the smash coproduct a Hopf algebra or braided Hopf algebra are given. It is shown that the smash coproductB ×H in ^HM is equivalent to the transmutation of Hopf algebra. Thus a method for transmutation theory is provided. Let σ be 2-co-cycle andH a commutation Hopf algebra. A Hopf algebraHσ is constructed.Hσ?Hσ whereHσ is a transmutation ofHσ. The braided groups from some solutions of quantum Yang-Baxter equation are obtained.     

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.     

Invariants of the action of a semisimple finite-dimensional Hopf algebra on special algebras

In this paper we extend classical results of the invariant theory of finite groups to the action of a finite-dimensional semisimple Hopf algebra H on a special algebra A, which is homomorphically mapped onto a commutative integral domain, and the kernel of this map contains no nonzero H-stable ideals. We prove that the algebra A is finitely generated as a module over a subalgebra of invariants, and the latter is finitely generated as a k-algebra. We give a counterexample to the finite generation of a non-semisimple Hopf algebra.     

Larson–Sweedler theorem and the role of grouplike elements in weak Hopf algebras

We extend the Larson–Sweedler theorem [Amer. J. Math. 91 (1969) 75] 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 [Amer. J. Math. 98 (1976) 333] for the fourth power of the antipode in a weak Hopf algebra and prove that the order of the antipode is finite up to an inner automorphism by a grouplike element in the trivial subalgebra A^T of the underlying weak Hopf algebra A.     

关于(f,τ) -相容Hopf代数对(B,H)

该文定义了(f,τ) -相容Hopf代数对(B,H),利用这样的对(B,H),给出了左H -余模范畴^HM的一个辫子张量子范畴,从而得到一个量子Yang-Baxter算子,并且通过扭曲Hopf代数$B$的乘法,构造出Yetter-Drinfeld范畴中^H_HYD的Hopf代数.     

Braided bosonization and inhomogeneous quantum groups

We consider quasitriangular Hopf algebras in braided tensor categories introduced by Majid. It is known that a quasitriangular Hopf algebra H in a braided monoidal category C induces a braiding in a full monoidal subcategory of the category of H-modules in C. Within this subcategory, a braided version of the bosonization theorem with respect to the category C will be proved. An example of braided monoidal categories with quasitriangular structure deviating from the ordinary case of symmetric tensor categories of vector spaces is provided by certain braided supersymmetric tensor categories. Braided inhomogeneous quantum groups like the dilaton free q-Poincaré group are explicit applications.Supported in part by the Deutsche Forschungsgemeinschaft (DFG) through a research fellowship.     

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.     

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.     

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.     

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.     

Locality Criteria for Cocommutative Hopf Algebras

We prove that a finite-dimensional cocommutative Hopf algebra H is local, if and only if the subalgebra generated by the first term of its coradical filtration H ₁ is local. In particular if H is connected, H is local if and only if all the primitive elements of H are nilpotent.     

Principal homogeneous spaces for arbitrary Hopf algebras

LetH be a Hopf algebra over a field with bijective antipode,A a rightH-comodule algebra,B the subalgebra ofH-coinvariant elements and can:A ⊗ _B A →A ⊗H the canonical map. ThenA is a faithfully flat (as left or rightB-module) Hopf Galois extension iffA is coflat asH-comodule and can is surjective (Theorem I). This generalizes results on affine quotients of affine schemes by Oberst and Cline, Parshall and Scott to the case of non-commutative algebras. The dual of Theorem I holds and generalizes results of Gabriel on quotients of formal schemes to the case of non-cocommutative coalgebras (Theorem II). Furthermore, in the dual situation, a normal basis theorem is proved (Theorem III) generalizing results of Oberst-Schneider, Radford and Takeuchi.     

Invariants of the action of a semisimple Hopf algebra on PI-algebra

We extend several classical results in the theory of invariants of finite groups to the case of action of a finite-dimensional Hopf algebra H on an algebra satisfying a polynomial identity. In particular, we prove that an H-module algebra A over an algebraically closed field k is integral over the subalgebra of invariants, if H is a semisimple and cosemisimple Hopf algebra. We show that for char k > 0, the algebra Z\({\left( A \right)^{{H_0}}}\) is integral over the subalgebra of central invariants Z(A)^H, where Z(A) is the center of algebra A, H⁰ is the coradical of H. This result allowed us to prove that the algebra A is integral over the subalgebra Z(A)^H in some special case. We also construct a counterexample to the integrality of the algebra \({A^{{H_0}}}\) over the subalgebra of invariants A^H for a pointed Hopf algebra over a field of non-zero characteristic.