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.

Infinitesimal calculations in fundamental groups

Homological Integral of Hopf Algebras

Gorenstein Global Dimension and Hopf Algebroid Actions

Cohomology rings of extended powers and free infinite loop spaces

The cyclic bar construction and fundamental groups

On the First Hochschild Cohomology of Cocommutative Hopf Algebras of Finite Representation Type

Hopf algebras in the cohomology of $\mathcal{A}_g$, $\mathrm{GL}_n(\mathbb{Z})$, and $\mathrm{SL}_n(\mathbb{Z})$

The fundamental group(oid) in discrete homotopy theory

Monopoles, twisted integral homology, and Hirsch algebras

Hopf algebras and homotopy invariants

Coarse homological invariants of metric spaces

Structure algebras, Hopf algebroids and oriented cohomology of a group

Invariants of the adjoint coaction and Yetter–Drinfeld categories

Hopf algebras, Steinberg modules, and the unstable cohomology of $SL_n(\mathbb Z)$ and $GL_n(\mathbb Z)$

Hopf Algebra Equivariant Cyclic Cohomology, K-theory and Index Formulas

The definable content of homological invariants II: Čech cohomology and homotopy classification

Infinitesimal $\mathcal{R}$-matrices for some families of Hopf algebras

Infinitesimal K-theory

Etale Groupoids, eta invariants and index theory

Balloons and Hoops and their Universal Finite Type Invariant, BF Theory, and an Ultimate Alexander Invariant

Fundamental Groups of Hamming Graphs