The classification of some generalised Bunce-Deddens algebras (Q517172): Difference between revisions

The author obtains information about the \(K\)-theory of certain generalized Bunce-Deddens algebras and uses this to classify them. More precisely, consider a strongly connected, directed finite graph \(E\), that is, the vertex set \(E^0\) of \(E\) is finite and two mutually different vertices are connectable by a path in \(E\). A multiplicative sequence is a sequence \(\omega=(n_k)_{k \geq 1}\) of natural numbers where \(n_{k+1}\) is a multiple of \(n_k\) for all \(k \geq 1\). Associated to \(E\) and \(\omega\) one may define the generalized Bunce-Deddens \(C^*\)-algebra \[ C^*(E,\omega) = \lim_{k \geq 1} C^* \big (E(n_k) \big) \] as a direct limit of certain graph \(C^*\)-algebras \(C^* \big (E(n_k) \big )\) associated to \(E\) and \(n_k\). Since the \(K\)-theory of graph \(C^*\)-algebras is known and \(K\)-theory respects direct limits, the \(K\)-theory of generalized Bunce-Deddens algebras is tractable. Indeed, assume further that if \(\root m \of {1}\) is an eigenvalue of the transposed transition matrix \(A_E^t\) of \(E\), then \(m\) is the period \(P_E\) of \(E\). Then the author shows that \[ K_1\big (C^*(E,\omega) \big) = \bigoplus_{i=1}^{\gcd(P_E,\omega)} \ker (1-A_E^t) \] and, if \(1\) is an eigenvalue of \(A_E^t\), \[ K_0 \big (C^*(E,\omega) \big)/\text{tor} = \bigoplus_{i=1}^{\gcd(P_E,\omega)} \Big ( K_0 \big (C^*(E) \big )/\text{tor} \Big) \left [\frac{1}{\omega} \right]. \] He uses this to demonstrate that, if \(1\) is an eigenvalue of \(A_E^t\), then \[ C^*(E,\omega) \cong C^*(E,\omega') \quad \Longleftrightarrow \quad [\omega] = [\omega']. \]