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.

Type invariants for non-abelian odometers

$Z^{d}$-odometers and cohomology

Odometers in non-compact spaces

Rank-one non-singular actions of countable groups and their odometer factors

Invariants under Stable Equivalences of Morita Type

Rank-one nonsingular actions of countable groups and their odometer factors

Large normalizers of -odometer systems and realization on substitutive subshifts

Geometric Quantization for Proper Actions

Large normalizers of ${\mathbb Z}^{d}$-odometers systems and realization on substitutive subshifts

Pairs of knot invariants

Invariants for Second Type Almost Geodesic Mappings of Symmetric Affine Connection Space

Classical Invariants for Global Actions and Groupoid Atlases

Invariants of Finite Orthogonal Groups of Plus Type in Odd Characteristic

Invariants of the adjoint coaction and Yetter–Drinfeld categories

Invariants of almost complex and almost Kähler manifolds

On invariants of a map germ from n-space to 2n-space

New Invariants for Complex Manifolds and Isolated Singularities

Combinatorial invariants for certain classes of non-abelian groups

Invariants of identity-tangent diffeomorphisms: explicit formulae and effective computation

Finite Type Link Homotopy Invariants

The Invariant Measure for a Countable Generalized Iterated Function System