Geometry of a crossed product

From MaRDI portal





Let \(X\) be a Cantor set. Given a minimal homeomorphism \(\phi: X\to X\), one forms a crossed product \(C^*\)-algebra \(C(X)\rtimes_\phi\mathbb{Z}\). This is the object of the study. Motivation comes from the case of irrational rotation algebra \(A_\alpha\) (i.e. \(A_\alpha= C(S^1)\rtimes_\phi \mathbb{Z}\), where \(\phi(x)= x+\alpha\)), where \(\alpha\) has a continued fraction expansion, \[ \alpha= a_0+{1\over a_1+{1\over a_2+\cdots}}:= [a_0,a_1,a_2,\dots]. \] In this case, a result of Effros and Shen says that \(A_\alpha\) can be embedded into an AF \(C^*\)-algebra whose \(K_0\)-group is order isomorphic to a certain direct limit group \(P_\alpha\) associated with \(\alpha\). To study the aforementioned \(C(X)\rtimes_\phi \mathbb{Z}\), the author first defines the ``rotation number \(\alpha\) of the crossed product. He associates to \(\alpha\) a ``dimension group \((L,L^+)\), in terms of a direct limit of ordered Abelian groups. Let \(B_\alpha\) be an AF \(C^*\)-algebra whose \(K_0\)-group is order isomorphic to \((L,L^+)\). He then shows that there exists an embedding \(i: C(X)\rtimes_\phi \mathbb{Z}\to B_\alpha\) such that it induces an isomorphism of the ordered Abelian groups \(i: K_0(C(X)\rtimes_\phi \mathbb{Z})\to K_0(B_\alpha)\). The main tool behind the proof is a result of \textit{I. F. Putnam} [Pac. J. Math. 136, No. 2, 329-353 (1989; Zbl 0631.46068)]. Given two such crossed products \(C(X)\rtimes_\phi \mathbb{Z}\) and \(C(X)\rtimes_\phi\mathbb{Z}\) (with the rotation numbers \(\alpha\) and \(\beta\)), they are Morita equivalent if and only if the rotation numbers are ``modular equivalent (an equivalence established by using the continued fraction expansion of \(\alpha\) and \(\beta\)). The proof uses Giordano-Putnam-Skau theory [\textit{T. Giordano}, \textit{I. F. Putnam} and \textit{C. F. Skau}, J. Reine Angew. Math. 469, 51-111 (1995; Zbl 0834.46053)]. In the last section, the author discusses the topological equivalence of ``minimal flows \(\phi^t\) and \(\psi^t\) on a closed, orientable surface \(M\) of genus \(g> 1\). The idea is to associate to the flows the \(C^*\)-algebras \(C(X)\rtimes_\phi\mathbb{Z}\) and \(C(X)\rtimes_\psi\mathbb{Z}\). The topological equivalence of \(\phi^t\) and \(\psi^t\) can be discussed in terms of the modular equivalence of the corresponding rotation numbers.











This page was built for publication: Geometry of a crossed product

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