\(K\)-theory of two-dimensional substitution tiling spaces from \textit{AF}-algebras (Q6141334)

The author associates to each 2-dimensional tiling space an AF-$C^*$-algebra and computes the $K$-theory groups through \(\check{\mathrm C}\)ech cohomology. The results are extracted from his PhD thesis. Let \(\Omega_T\) be a tiling space, with the substitution rule homeomorphism that induces a connecting map \(\sigma: \ AP_n \to AP_{n-1}\) on the inverse system \(\{ (AP_n,\sigma)\}\) and the Robinson homeomorphism \(\pi : \Omega_T \cong \varprojlim_n(AP_n,\sigma)\) from \(\Omega_T\) on the Anderson-Putnam inverse limit \(\varprojlim_n(AP_n,\sigma)\), where each \(AP_n\) is a product of finite dimensional matrix algebras. The associated groupoid AF-$C^*$-algebra \(C^*_r(\dot G_u)\) is therefore classified by $K$-theory following Elliott's classification of AF-algebras \(C^*_r(\dot G_{AF})\). The main results are Theorem~5.17 and Corollary~5.18 (Theorem~1.2): \[ K_0(C^*_r(\dot G_u)) = K_0(C^*_r(\dot G_{AF}))/ \mathrm{Im}\, K_0( C^*_r(\dot G_{AF}))\stackrel{\mathrm{ev}}{\longrightarrow} K_0(C^*_r(\dot G_u)) \oplus \mathbb Z, \] \[ K_1(C^*_r(\dot G_u))= \ker[ K_0(C^*_r(\dot G^{(1)}_{AF}))/ \mathrm{th}(K_0( C^*_r(\dot G^{(0)}_{AF}))\stackrel{\mathrm{ev}}{\longrightarrow} K_0(C^*_r(\dot G_{AF}))) \to K_0(C^*_r(\dot G_u))], \] where \(\mathrm{th}( K_0( C^*_r(\dot G^{(0)}_{AF}))\stackrel{\mathrm{ev}}{\longrightarrow}K_0(C^*_r(\dot G^{(1)}_{AF})))\) returns an alternating sum of elements of \(K_0( C^*_r(\dot G^{(1)}_{AF}))\), corresponding to the $k$-skeletons of the associated CW-complex.