Cuntz-Pimsner algebras, crossed products, and \(K\)-theory (Q495977): Difference between revisions

A correspondence consists of \(C^*\)-algebras \(A\) and \(B\) and an \(A\)-\(B\) bimodule \(H\) together with a complete \(B\)-valued inner product satisfying some extra conditions. Somehow, we can understand \(H\) as a generalized map from \(A\) to \(B\). When \(A=B\), Pimsner defined a \(C^*\)-algebra \(\mathcal{O}_A(H)\) -- the Cuntz-Pimsner algebra of the correspondence -- which plays the role of the crossed product of \(A\) by the ``action'' of \(H\). There is a large number of families of \(C^*\)-algebras that can be seen as Cuntz-Pimsner algebras. The principal advantage is that the structure of \(\mathcal{O}_A(H)\) can be mostly recovered from the \(A\)-correspondence \(H\): ideal structure (Katsura), or \(K\)-theory (Pimsner-Voiculescu) are examples of this fact. Also, there is a natural gauge action \(\gamma: \mathbb{T}\circlearrowright \mathcal{O}_A(H)\). By Takai duality, \(\mathcal{O}_A(H)\) is Morita equivalent to \((\mathcal{O}_A(H)\rtimes_{\gamma}\mathbb{T})\rtimes_{\widehat{\gamma}}\mathbb{Z}\). Hence, understanding the structure of \(\mathcal{O}_A(H)\rtimes_{\gamma}\mathbb{T}\) can help to study \(\mathcal{O}_A(H)\). In the paper under review, the author studies some particular questions on the structure of \(\mathcal{O}_A(H)\rtimes_{\gamma}\mathbb{T}\). Theorem A. Suppose that \(A\) is a \(C^*\)-algebra and \(H\) is a row-finite, faithful correspondence over \(A\). Then \[ K_{\ast}(\mathcal{O}_A(H)\rtimes_{\gamma}\mathbb{T})\cong \varinjlim (K_{\ast}(A),[H]). \] Moreover, the isomorphism preserves the order structure on \(K_0\) and intertwines the automorphism \([\widehat{\gamma}]\) on \(K_{\ast}(\mathcal{O}_A(H)\rtimes_{\gamma}\mathbb{T})\) and the automorphism of \(\varinjlim (K_{\ast}(A),[H])\) induced by \([H]\). When \(A\) is an AF-algebras, it is proved: Theorem B. If \(A\) is an AF-algebra and \(H\) is a separable correspondence over \(A\), then \(\mathcal{O}_A(H)\rtimes_{\gamma}\mathbb{T}\) is AF. As a consequence, the following result about AF-embeddability holds. Theorem C. Suppose \(A\) is an AF-algebra and \(H\) is a separable correspondence over \(A\). Then the following are equivalent: {\parindent=0.7cm\begin{itemize}\item[(1)] \(\mathcal{O}_A(H)\) is AF-embeddable. \item[(2)] \(\mathcal{O}_A(H)\) is quasidiagonal. \item[(3)] \(\mathcal{O}_A(H)\)is stably finite. \end{itemize}} Moreover, if \(H\) is row-finite and faithful, the above conditions are equivalent to:{\parindent=0.7cm\begin{itemize}\item[(4)] if \(x\in K_0(A)\) and \([H](x)\leq x\), then \([H](x)=x\). \end{itemize}}