Abstract:Let H be a Hopf algebra over a field k. We study O(H), the subalgebra of invariants of H under the adjoint coaction, and prove that it is closely related to questions about the antipode and the integral. It may differ from C(H), the subalgebra of cocommutative elements of H. In fact, we prove that if H is unimodular then C(H)=O(H) is equivalent to assuming that the antipode is an involution. We prove that if H is a semisimple Hopf algebra over an algebraically closed field then O(H∗) is a symmetric Frobenius algebra containing the left integral of H∗. This enables us to prove that if H is also cosemisimple then C(H∗),C(H) are all separable algebras. It has been recently shown by Etingof and Gelaki (On finite-dimensional semisimple and cosemisimple Hopf algebras in positive characteristic, preprint) that in this situation S2=id and hence O(H)=C(H). In characteristic 0 semisimple Hopf algebras are cosemisimple and O(H∗) and C(H∗) coincide (and equal the so-called “character ring”). In positive characteristic O(H)≠C(H) in some cases, and O(H) may be a more natural object. For example, quasitriangular Hopf algebras are endowed with an algebra homomorphism between O(H∗) and the center of H. We show that if this homomorphism is a monomorphism then H is factorizable (a notion connected to computing invariants of 3-manifolds). We prove that if (H,R) is factorizable and semisimple then it is cosemisimple and so C(H∗) and C(H) are separable algebras. We apply these results to the associated Yetter–Drinfeld category.

Doi-Hopf Modules, Yetter-Drinfel'D Modules And Frobenius Type Properties

Alternative Doi-Hopf Modules over Weak Hopf Algebras

Separable functors for Doi-Hopf modules. Applications

Rudiment of Weak Doi-Hopf Π-Modules

Frobenius and Mashke type Theorems for Doi-Hopf modules and entwined modules revisited: a unified approach

(Non-Symmetric) Yetter–Drinfel’d Module Category and Invariant Coinvariant Jacobians

Separable Functors for the Category of Doi–Hopf Modules, Applications

Frobenius monoidal functors from (co)Hopf adjunctions

Invariants of the adjoint coaction and Yetter–Drinfeld categories

Hopf quasicomodules and Yetter-Drinfel'd quasicomodules

Frobenius monoidal functors from ambiadjunctions and their lifts to Drinfeld centers

Hopf bimodules and Yetter-Drinfeld modules of Hopf algebroids

A Maschke Type Theorem for Doi–Hopf Modules and Applications

The Near Centre of Doi-Hopf Module Categorya M (H) C

Hopf Quasimodules and Yetter-Drinfeld Modules over Hopf Quasigroups

Separable Functors for the Category of Doi-Hopf Π-Modules

Crossed modules and doi-hopf modules

Structure theorem of a right Hopf module over a right Hopf algebra

Structures of Adjoint-Stable Algebras over Factorizable Hopf Algebras

Doi-hopf modules over weak hopf algebras