The lazy homology of a Hopf algebra. (Q974394)

In this paper two commutative cocommutative Hopf algebras \(H^\ell_1(H)\) and \(H_2^\ell(H)\) are attached to any Hopf algebra \(H\). They are called the first and second lazy homology Hopf algebras of \(H\). When \(H\) is cocommutative these Hopf algebras are part of an infinite homology sequence of a simplicial commutative cocommutative Hopf algebra which, in turn, is defined using the free Hopf algebra over a coalgebra introduced by \textit{M. Takeuchi} [J. Math. Soc. Japan 23, 561-582 (1971; Zbl 0217.05902)]. One may also define a second cohomology group \(H^2_\ell(H)\) of a Hopf algebra \(H\) by considering only \(2\)-cocycles that have a good behavior with respect to the convolution product. This group was defined by \textit{P. Schauenburg}, [Adv. Math. 165, No. 2, 194-263 (2002; Zbl 1006.16054)], and it is nowadays known as the second lazy cohomology group of \(H\). When \(H\) is cocommutative it coincides with Sweedler's second cohomology group. The main results of the paper are universal coefficient theorems relating \(H^\ell_1(H)\) and \(H_2^\ell(H)\) to \(H^2_\ell(H)\). An application to the computation of the center of a compact group is provided. To better illustrate the construction of the newly introduced Hopf algebras it is shown that for Sweedler's Hopf algebra \(H_4\) one has \(H^\ell_1(H_4)\cong k\), the base field, and \(H^\ell_2(H_4)\cong k[X]\) where \(X\) is a primitive element.