Cyclic cohomology of crossed products with Z

cyclic cohomology of the smooth crossed product exactness of the long cohomology sequence Fréchet algebra Hochschild cohomology Pismner-Voiculescu six-term exact sequence of K- theory spectral sequence

Mathematics Subject Classification ID

Noncommutative dynamical systems (46L55) (K)-theory and operator algebras (including cyclic theory) (46L80) Methods of algebraic topology in functional analysis (cohomology, sheaf and bundle theory, etc.) (46M20) Spectral sequences in algebraic topology (55T99)

Review text

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.

Recommendations

Cites work

Cited in

(21)

This page was built for publication: Cyclic cohomology of crossed products with \({\mathbb{Z}}\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1111137)