Equivariant cyclic cohomology of \(\mathcal H\)-algebras. (Q1425196)

Let \(H\) be a Hopf algebra with bijective antipode, and \(F(H)=\Hom(H,k)\). If \(A\) is an \(H\)-module algebra, then we have an \(H\)-action on \(C^n(A,F(H))=\Hom(A^{\otimes(n+1)},F(H))\), and we can consider the subspace \(C_H^n(A)\) consisting of \(H\)-equivariant cochains. It is shown that \(C_n^\#(A)=\{C_H^n(A)\}_{n\geq 0}\) is a cocyclic module. There is a cocyclic map from \(C_n^\#(A)\) to the cocyclic module \(\Hom((A\rtimes H)^\#,k)\) associated to the crossed product \(A\rtimes H\). It induces natural maps between Hochschild, cyclic and periodic cyclic cohomologies of the two cocyclic modules. A spectral sequence converging to the cyclic cohomology of \(A\rtimes H\) is constructed. If \(H\) is semisimple, then we have an isomorphism of cyclic cohomology groups \(HC^\bullet(A\rtimes H)\cong HC_H^\bullet(A)\). If \(A\) is a Yetter-Drinfeld module algebra, then the authors introduce the equivariant \(K_0\)-theory \(K_0^H(A)\) as the Grothendieck group of a certain Abelian semigroup \({\mathcal S}_H(A)\). The main result is that we have a bilinear pairing \(K_0^H(A)\times HC_H^{2n}(A)\to{\mathcal R}(H)\), the space of invariant functionals \(H\to k\). In the final Section 6, the authors consider a quasitriangular Hopf algebra. The \(R\)-matrix induces a structure of Yetter-Drinfeld modules algebra on any \(H\)-module algebra \(A\). It is shown that the resulting \(K_0\)-theory on \(A\) is independent of the choice of the \(R\)-matrix.