The \(K\)-theory of Cuntz-Krieger algebras for infinite matrices (Q1568679)

The Cuntz-Krieger C*-algebra associated to a 0-1 matrix \(A = \{A(ij)\}_{i,j \in \mathcal G}\) is the universal uintal C*-algebra \(\widetilde{\mathcal O}_A\) generated by partial isometries \(\{ S_i\), \(i \in \mathcal G \}\) with some natural relations. \textit{J. Cuntz} has shown [Invent. Math. 63, 25-40 (1981; Zbl 0461.46047)] that \(K_1(\mathcal O_A)\) and \(K_0(\mathcal O_A)\) are respectively the kernel and cokernel of the transformation \((I - A^t) : \mathbb Z^n \to \mathbb Z^n\) if \(\mathcal G\) is finite namely, \(\mathcal G = \{ 1,2, \dots , n\}\). In the case of countable infinite matrix \(A\) with finitely many 1's in each row, this result has been extended with replacing \(\mathbb Z^n\) by the countably infinite direct sum \(\mathbb Z^\infty\) of copies of \(\mathbb Z\) [\textit{D. Pask} and \textit{I. Raeburn}, Publ. Res. Inst. Math. Sci. 32, No. 3, 415-443 (1996; 862.46043); \textit{A. Kumjian, D. Pask} and \textit{I. Raeburn}, Pac. J. Math. 184, No. 1, 161-174 (1998; Zbl 0917.46056)]. In the paper under reviewing the authors extend this result for an infinite matrix \(A\) with infinitely many 1's. The authors present \(\widetilde{\mathbb O}_A\) as the crossed product \(C(\widetilde{\Omega}_A) \rtimes \mathbb F\) by a partial action \(\alpha\) of the free group \(\mathbb F\) generated on \(\mathcal G\) on the commutative algebra \(C(\widetilde{\Omega}_A)\), where \(\widetilde{\Omega}_A\) is some subset of \(2^{\mathbb F}\). The authors use the 6-term exact sequences for finite \(\mathcal G\) and then derive the same for the infinite \(\mathcal G\) case by using the continuity of K-theory with respect to direct limits.