On the cohomology of modules over Hopf algebras

Abstract

Let R be a commutative ring. Define an FH-algebra H to be a Hopf algebra and a Frobenius algebra over R with a Frobenius homomorphism ψ such that ∑ ( h) h (1) ψ( h (2)) = ψ( h) · 1 for all h ϵ H. This is essentially the same as to consider finitely generated projective Hopf algebras with antipode. For modules over FH-algebras we develop a cohomology theory which is a generalization of the cohomology of finite groups. It generalizes also the cohomology of finite-dimensional restricted Lie algebras. In particular the following results are shown. The complete homology can be described in terms of the complete cohomology. There is a cup-product for the complete cohomology and some of the theorems for periodic cohomology of finite groups can be generalized. We also prove a duality theorem which expresses the cohomology of the “dual” of an H-module as the “dual” of the cohomology of the module. The last section provides techniques to describe under certain conditions the cohomology of H by the cohomology of sub- and quotient-algebras of H. In particular we have a generalization of the Hochschild-Serre spectral sequence for the cohomology of groups.