Cyclic cohomology of crossed products with \({\mathbb{Z}}\) (Q1111137): Difference between revisions

Let A be a \(C^*\)-algebra with unit \(e_ A\), let \({\mathcal A}\) be a smooth subalgebra of A, i.e. a dense subalgebra \({\mathcal A}\subset A\), which is a Fréchet algebra in some nuclear topology stronger than the norm topoloy induced from A, and let \(e_ A\in {\mathcal A}\). Finally, let \(\alpha\) be an automorphism of A mapping \({\mathcal A}\) onto \({\mathcal A}\) such that \(\alpha |_{{\mathcal A}}\) and \(\alpha^{-1}|_{{\mathcal A}}\) are continuous with respect to each seminorm defining the topology of \({\mathcal A}.\) Under these assumptions the author defines the smooth crossed product \({\mathcal A}\times_{\alpha}{\mathbb{Z}}\) of \({\mathcal A}\) and \(\alpha\) and studies the cyclic cohomology of the smooth crossed product. This smooth crossed product is a smooth subalgebra of the \(C^*\)-crossed product A\({\hat \times}_{\alpha}{\mathbb{Z}}\) and the algebraic crossed product of \({\mathcal A}\) and \(\alpha\) is a subset of \({\mathcal A}{\hat \times}_{\alpha}{\mathbb{Z}}.\) Next the author constructs a convenient representation for the Hochschild cohomology of the smooth crossed product \({\mathcal A}{\hat \times}_{\alpha}{\mathbb{Z}}\) and analyses the \({\mathbb{E}}_ 1\)-terms of the spectral sequence associated to the exact couple of \textit{A. Connes}' theory [Publ. Math., Inst. Hautes Etud. Sci. 62, 41-144 (1985; Zbl 0592.46056)] \[ \begin{matrix} H_\lambda(\mathcal A \widehat\times_\alpha \mathbb{Z} & \longrightarrow & H_\lambda(\mathcal A \widehat\times_\alpha \mathbb{Z} \\ \nwarrow && \swarrow \\ & H(\mathcal A \widehat\times_\alpha \mathbb{Z}, (\mathcal A \widehat\times_\alpha \mathbb{Z})^*). \end{matrix} \] Aa an example the author applies these reseults to the \(C^*\)-algebra \(\mathcal A :=C^{\infty}(X)\), where \(X\) is a compact \(C^{\infty}\)-manifold and where \({\mathcal A}\) is equipped with the \(C^{\infty}\)-topology of uniform convergence of derivatives. In this case a fairly complete description of the cyclic cohomology of the smooth crossed product is given by the author. Furthermore, the author is able to compute the periodic cyclic cohomology of \({\mathcal A}{\hat \times}_{\alpha}{\mathbb{Z}}\) using only the homogeneous cochains on \({\mathcal A}{\hat \times}_{\alpha}{\mathbb{Z}}\). The last sections are devoted to the construction of a map {\#}:H\({}^ n_{\lambda}({\mathcal A})\to H_{\lambda}^{n+1}({\mathcal A}{\hat \times}_{\alpha}{\mathbb{Z}})\), and the direct proof of the exactness of the long cohomology sequence \[ ...\to H_{\lambda}^{n-1}({\mathcal A})\to^{1- \alpha}H_{\lambda}^{n-1}({\mathcal A})\to^{\#}H^ n_{\lambda}({\mathcal A}{\hat \times}_{\alpha}{\mathbb{Z}})_{\hom}\to^{i}H^ n_{\lambda}({\mathcal A})\to^{1-\alpha}..., \] where the subscript hom denotes cohomology groups computed with the help of homogeneous cochains. Finally, the author couples his results with some results of K-theory of \(C^*\)-crossed products \({\mathcal A}{\hat \times}_{\alpha}{\mathbb{Z}}\) obtained by \textit{M. V. Pimsner} and \textit{D. Voiculecu} [J. Oper. Theory 4, 93-118 (1980; Zbl 0474.46059)], this main result can be stated as follows: i) the map {\#}:H\({}^ n_{\lambda}({\mathcal A})\to H_{\lambda}^{n+1}({\mathcal A}{\hat \times}_{\alpha}{\mathbb{Z}})\) is compatible with the boundary map in the Pismner-Voiculescu six-term exact sequence of K-theory of the \(C^*\)-crossed product; and ii) the sequence \[ \begin{matrix} HC^{\text{even}}(\mathcal a) & \overset\#\longrightarrow & HC^{\text{odd}}(\mathcal A \widehat\times sb\alpha \mathbb{Z}) & \overset {i}\longrightarrow & HC^{\text{odd}}(\mathcal A) \\ \\ \text{\llap{\(1-\alpha\)}}\uparrow &&&& \downarrow\text{\rlap{\(1-\alpha\)}} \\ \\ HC^{\text{even}}(\mathcal a) & \overset {i}\longleftarrow & HC^{\text{odd}}(\mathcal A \widehat\times sb\alpha \mathbb{Z}) & \overset\#\longleftarrow & HC^{\text{odd}}(\mathcal A) \end{matrix} \] is exact.