Invariant cyclic homology (Q1406001)

A noncommutative analogue of invariant de Rham cohomology is defined as the cyclic homology of a Hopf triple. A left (right) Hopf triple is a triple \((A,{\mathcal H},M)\), where \({\mathcal H}\) is a Hopf algebra, \(A\) a left (right) \({\mathcal H}\)-comodule algebra and \(M\) a left \({\mathcal H}\)-module. In this paper, the antipode of \({\mathcal H}\) is assumed to be bijective. This is satisfied for quantum groups. Let \(C_n(A,M)\) be \(M\otimes A^{\otimes (n+1)}\), where \((A,{\mathcal H},M)\) where \((A,{\mathcal H},M)\) is a Hopf triple. Then a paracyclic module \(\{C_n(A,M) \}_n\) is defined (Prop. 3.3). Then fixing a grouplike element \(\sigma\in{\mathcal H} \); \(\Delta (\sigma)= \sigma\otimes \sigma\), \(\varepsilon (\sigma)=1\), the space \(C^{\mathcal H}_n(A,M)\) of coinvariants of \(C_n(A,M)\) with respect to \(\sigma\) is defined and it is shown that \(\{C_n^{\mathcal H}(A,M)\}_n\) is a cyclic module if \((A,{\mathcal H}, M)\) is a \(\sigma\)-compatible Hopf triple (Th. 3.12). Here \((A,{\mathcal H},M)\) is said to be \(\sigma\)-compatible, if \((\widehat S)^2= \text{id}\), \[ \widehat S(m \otimes h)=h^{(2)}m \otimes\sigma S(h^{(1)}),\quad \Delta(h)=h^{(1)} \otimes h^{(2)}, \] where \(S\) is the antipode of \({\mathcal H}\). The resulting Hochschild, cyclic and periodic homology groups of the cyclic module \(\{C_n^{\mathcal H}(A, M) \}_n\) are denoted by \(HH_\bullet^{\mathcal H}(A,M)\), \(HC^{\mathcal H}_\bullet (A,M)\) and \(HP_\bullet^{\mathcal H}(A,M)\), respectively. If \(({\mathcal H},{\mathcal H},M)\) is a \(\sigma\)-compatible Hopf triple, properties of \(HC_n^{\mathcal H}({\mathcal H},M)\) are examined and the Morita invariance \[ HC_n^{\mathcal H}({\mathcal H},M)\cong HC_n^{\mathcal H}\bigl(M_k({\mathcal H}),M\bigr),n\geq 0,\quad M_n({\mathcal H})={\mathcal H}\otimes M_n(k), \] is proved (Th. 3.19). \(HP_n^{\mathcal H}({\mathcal H},\mathbb{C})\), \({\mathcal H}=\mathbb{C} [G]\) recovers the invariant de Rham cohomology of \(G\). This is shown in Sect. 3.2. The rest of Sect. 3 is devoted to the study of the commutative case and the construction of the spectral sequence that converges to \(HC^H_\bullet(A,M)\) whose \(E^2\)-term is given by \[ E^2_{p,q}=HC_q\bigl(H_p({\mathcal H},M\otimes B^{\otimes(q+1)})\bigr). \] Here \(\{X_{p,q}\}_{p,q}\), \(X_{p,q}=M\otimes{\mathcal H}^{\otimes p}\otimes B^{ \otimes (q+1)}\), is a cylindrical module whose diagonal is isomorphic to the cyclic module \(\{C_n^{\mathcal H} (A,M)\}_n\) (Th. 3.29. cf. \textit{R. Akbarpour} and \textit{M. Khalkhali} Hopf algebra equivariant cyclic homology and cyclic homology of crossed product algebras, arXiv:math.KT/0011248). In Sect. 4, invariant cyclic cohomology of Hopf module coalgebras is defined. It is a generalization of Connes-Moscovici cyclic homology of a Hopf algebra with a modular pair in involution. The paper includes many examples. Especially, it is stated that if \(q\) is not a root of unity, then \[ HC_1^{\mathcal H}\biggl( A\bigl(\text{SL}_q (2) \bigr), M\biggr)=k \oplus k,\quad HC_n^{\mathcal H}\biggl( A\bigl(\text{SL}_q (2) \bigr), M\biggr)=0,\;n\neq 1, \] (Th. 3.15. cf. \textit{T. Masuda}, \textit{Y. Nakagami} and \textit{J. Watanabe}, K-theory 4, 157-180 (1990; Zbl 0719.46042)].