\(K\)-groups of the full group actions on one-sided topological Markov shifts (Q379530)

Let \((X_A, \sigma_A)\) be a one-sided irreducible Markov shift on finitely many symbols with transition matrix \(A\). Suppose \(A\) satisfies condition (I) in [\textit{J. Cuntz} and \textit{W. Krieger}, Invent. Math. 56, 251--268 (1980; Zbl 0434.46045)] (such that \(X_A\) is homeomorphic to a Cantor set). The author studies a subgroup \(\Gamma_A\) of the full group which is called continuous full group \(\Gamma_A\) and he also studies the \(K\)-group \(K^{0}(X_A, \Gamma_A)\), with connection to the study of orbit equivalence of one-sided topological Markov shifts. He first investigates algebraic properties of \(\Gamma_A\) using techniques of \(C^{*}\)-algebra. His main result is that ``the continuous full group \(\Gamma_A\) is a countable, non amendable group as a discrete group which contains every free group and every finite group.'' (cited from introduction) Then he further studies the \(K\)-group for the action of \(\Gamma_A\) on \(X_A\) and relates the results with the orbit equivalence of one-sided topological Markov shifts. To this end, under the condition that \(\det(I-A)(I-B)\geq 0\), where \(A,B\) are irreducible \(N\times N\) transition matrices satisfying condition (I), he proves that the following statements are equivalent: {\parindent=0.7cm\begin{itemize}\item[(i)] The actions \(\Gamma_A\) on \(X_A\) and \(\Gamma_B\) on \(X_B\) are topologically conjugate. \item[(ii)] There exists isomorphism from \(K^{0}(X_A, \Gamma_A)\) to \(K^{0}(X_A, \Gamma_A)\) mapping \([1]_{\Gamma_A}\) to \([1]_{\Gamma_B}\). \item[(iii)]\((X_A, \sigma_A)\)and \((X_B, \sigma_B)\) are orbit equivalent. \item[(iv)] The Cuntz-Krieger algebras \(O_A\) and \(O_B\) are isomorphic. \end{itemize}}