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.     

Semisimplicity of the Categories of Yetter–Drinfeld Modules and Long Dimodules

Abstract

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 𝒴𝒟 ^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.     

Subcoalgebras and endomorphisms of free Hopf algebras

For a matrix coalgebra C over some field, we determine all small subcoalgebras of the free Hopf algebra on C, the free Hopf algebra with a bijective antipode on C, and the free Hopf algebra with antipode S satisfying on C for some fixed d. We use this information to find the endomorphisms of these free Hopf algebras, and to determine the centers of the categories of Hopf algebras, Hopf algebras with bijective antipode, and Hopf algebras with antipode of order dividing 2d.     

Automorphism groups of pointed Hopf algebras

The group of Hopf algebra automorphisms for a finite-dimensional semisimple cosemisimple Hopf algebra over a field k was considered by Radford and Waterhouse. In this paper, the groups of Hopf algebra automorphisms for two classes of pointed Hopf algebras are determined. Note that the Hopf algebras we consider are not semisimple Hopf algebras.      

Maschke’s theorem for smash products of quasitriangular weak Hopf algebras

The paper is concerned with the semisimplicity of smash products of quasitriangular weak Hopf algebras. Let (H,R) be a finite dimensional quasitriangular weak Hopf algebra over a field k and A any semisimple and quantum commutative weak H-module algebra. Based on the work of Nikshych et al. (Topol. Appl. 127(1–2):91–123, 2003), we give Maschke’s theorem for smash products of quasitriangular weak Hopf algebras, stating that A#H is semisimple if and only if A is a projective left A#H-module, which extends the Theorem 3.2 given in Yang and Wang (Commun. Algebra 27(3):1165–1170, 1999).     

On the trace of the antipode and higher indicators

We introduce two kinds of gauge invariants for any finite-dimensional Hopf algebra H. When H is semisimple over C, these invariants are, respectively, the trace of the map induced by the antipode on the endomorphism ring of a self-dual simple module, and the higher Frobenius-Schur indicators of the regular representation. We further study the values of these higher indicators in the context of complex semisimple quasi-Hopf algebras H. We prove that these indicators are non-negative provided the module category over H is modular, and that for a prime p, the p-th indicator is equal to 1 if, and only if, p is a factor of dimH. As an application, we show the existence of a non-trivial self-dual simple H-module with bounded dimension which is determined by the value of the second indicator.     

THE DIMENSION OF IRREDUCIBLE MODULES FOR TRANSITIVE MODULE ALGEBRAS

We prove that for a semisimple Hopf algebra H, if A is a transitive H-module algebra and M is an irreducible A-module, then dim(A) divides dim(M)²dim(H).

     

Zimmermann type cancellation in the free Faà di Bruno algebra

Haiman and Schmitt showed that one can use the antipode SF of the colored Faà di Bruno Hopf algebra F to compute the (compositional) inverse of a multivariable formal power series. It is shown that the antipode SH of an algebraically free analogue H of F may be used to invert non-commutative power series. Whereas F is the incidence Hopf algebra of the colored partitions of finite colored sets, H is the incidence Hopf algebra of the colored interval partitions of finite totally ordered colored sets. Haiman and Schmitt showed that the monomials in the geometric series for SF are labeled by trees. By contrast, the non-commuting monomials of SH are labeled by colored planar trees. The order of the factors in each summand is determined by the breadth first ordering on the vertices of the planar tree. Finally there is a parallel to Haiman and Schmitt's reduced tree formula for the antipode, in which one uses reduced planar trees and the depth first ordering on the vertices. The reduced planar tree formula is proved by recursion, and again by an unusual cancellation technique. The one variable case of H has also been considered by Brouder, Frabetti, and Krattenthaler, who point out its relation to Foissy's free analogue of the Connes-Kreimer Hopf algebra.     

Duality Features of Left Hopf Algebroids

We explore special features of the pair (U ^?,U _?) formed by the right and left dual over a (left) bialgebroid U in case the bialgebroid is, in particular, a left Hopf algebroid. It turns out that there exists a bialgebroid morphism S ^? from one dual to another that extends the construction of the antipode on the dual of a Hopf algebra, and which is an isomorphism if U is both a left and right Hopf algebroid. This structure is derived from Phùng’s categorical equivalence between left and right comodules over U without the need of a (Hopf algebroid) antipode, a result which we review and extend. In the applications, we illustrate the difference between this construction and those involving antipodes and also deal with dualising modules and their quantisations.     

Relations Between Algebras and Their Subalgebras of Invariants

We prove that, if H is a finite-dimensional semisimple Hopf algebra, and A is an FCR H-module algebra over an algebraically closed field, then A is a PI-algebra, provided the subalgebra of invariants is a PI-algebra. We also show that if A is an affine algebra with an action of a finite group G by automorphisms, the subalgebra of the fixed points A^G is in the center of A, and the characteristic of the ground field is either zero or relatively prime to the order of G, then A^G is affine. Analogous results are proved for graded algebras and H-module algebras over a semisimple triangular Hopf algebra over a field of characteristic zero. We prove also that, if A is an H-module algebra with an identity element, and H is either a semisimple group algebra or its dual, then, if A is semiprimitive (semiprime), then so is A^H.     

Quasi-Piecewise-Koszul Modules

In this article we first study an equivariant cyclic cohomology for weak H-module agebras over a weak Hopf algebra H with a bijective antipode. Then we define an equivariant K-theory for weak quantum Yetter–Drinfeld algebras over H and establish a generalized Connes' pairing between the equivariant cyclic cohomology and the equivariant K-theory. As an application we consider our theory for groupoids.     

Equivariant Cyclic Cohomology of H-Algebras

We define an equivariant K ₀-theory for Yetter–Drinfeld algebras over a Hopf algebra with an invertible antipode. We then show that this definition can be generalized to all Hopf-module algebras. We show that there exists a pairing, generalizing Connes pairing, between this theory and a suitably defined Hopf algebra equivariant cyclic cohomology theory.     

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.     

Cyclic Homology of Hopf Comodule Algebras and Hopf Module Coalgebras

Abstract

In this paper we construct a cylindrical module A ? ? for an ?-comodule algebra A, where the antipode of the Hopf algebra ? is bijective. We show that the cyclic module associated to the diagonal of A ? ? is isomorphic with the cyclic module of the crossed product algebra A ? ?. This enables us to derive a spectral sequence for the cyclic homology of the crossed product algebra. We also construct a cocylindrical module for Hopf module coalgebras and establish a similar spectral sequence to compute the cyclic cohomology of crossed product coalgebras.     

On the Antipode of a Co-Frobenius (Co)Quasitriangular Hopf Algebra

For H a quasitriangular Hopf algebra, S ², the square of the antipode is the inner automorphism induced by the Drinfeld element u, and S ⁴ is the inner automorphism induced by the grouplike element g = uS(u)^?1. For H finite dimensional, results of Drinfeld and Radford express g in terms of the modular elements of H. This note supplies another proof which replaces the requirement of finite dimensionality with existence of a nonzero integral for H in H*. Similar results hold for the infinite dimensional coquasitriangular case; here we supply some interesting examples.     

弱 Hopf 超代数 wsldq(m|n)

该文依据弱Hopf代数的定义给出弱Hopf超代数的定义. 进而利用弱反极取代Hopf代数中反极的方法, 构造一类不是Hopf超代数的弱Hopf超代数wsl^d_q(m|n), 并给出了wsl^d_q(m|n)的PBW基.     

Actions of Ore extensions and growth of polynomial H-identities

We show that if A is a finite-dimensional associative H-module algebra for an arbitrary Hopf algebra H, then the proof of the analog of Amitsur’s conjecture for H-codimensions of A can be reduced to the case when A is H-simple. (Here we do not require that the Jacobson radical of A is an H-submodule.) As an application, we prove that if A is a finite-dimensional associative H-module algebra where H is a Hopf algebra H over a field of characteristic 0 such that H is constructed by an iterated Ore extension of a finite-dimensional semisimple Hopf algebra by skew-primitive elements (e.g., H is a Taft algebra), then there exists integer PIexp^H(A). In order to prove this, we study the structure of algebras simple with respect to an action of an Ore extension.     

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代数

作为拟三角弱Hopf代数的推广,我们引入了半拟三角弱Hopf代数的概念.令(H,R,v)是一个半拟三角弱Hopf代数,其中,R是其半拟三角结构.我们指明R保持了拟三角弱Hopf代数中泛R-矩阵的许多基本性质.特别地,讨论了Drinfeld元的性质,证明其是可逆的并且是余作用v的余不变量.另外,证明了半拟三角弱Hopf代数的对极平方是对合的.