The classification of some generalised Bunce-Deddens algebras (Q517172)

From MaRDI portal
Revision as of 20:07, 9 December 2024 by Import241208061232 (talk | contribs) (Normalize DOI.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
The classification of some generalised Bunce-Deddens algebras
scientific article

    Statements

    The classification of some generalised Bunce-Deddens algebras (English)
    0 references
    0 references
    16 March 2017
    0 references
    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']. \]
    0 references
    graph \(C^\ast\)-algebra
    0 references
    \(K\)-theory
    0 references
    classification
    0 references
    generalised Bunce-Deddens algebra
    0 references

    Identifiers