\(K\)-groups of a \(C^\ast\)-algebra generated by a single operator (Q484215)

From MaRDI portal
scientific article
Language Label Description Also known as
English
\(K\)-groups of a \(C^\ast\)-algebra generated by a single operator
scientific article

    Statements

    \(K\)-groups of a \(C^\ast\)-algebra generated by a single operator (English)
    0 references
    0 references
    18 December 2014
    0 references
    Let \(X\in B(\mathcal H)\) be a single operator in a separable infinite-dimensional Hilbert space \(\mathcal H\), \(X=AQ\) the polar decomposition into a product of its partial isometry part \(A\) and the positive part \(Q\). The partial isometry part \(A\) generates a natural graph \(G_A\) with the vertex set \(V(G_A) = \{A^{(n)*}A^{(n)}, A^{(n)}A^{(n)*}: n\in \mathbb N \}\) and the edge set \(E(G_A) = \{ A^{(n)}: n\in \mathbb N \}\), where \(A^{(n)}\) are defined recursively by the restrictions \(A^{(n+1)} := A|_{A^{(n)}A^{(n)*}\mathcal H}\). There are three possible cases. Case 1: the graph consists of one vertex and one edge only, i.e., \(AA^*=A^*A\). Case 2.1: the graph is nilpotent, i.e., there exists an \(n\in\mathbb N\) such that \(A^n = 0\). Case 2.2: the graph is linear and infinite, i.e., for every \(n\in \mathbb N\), \(A^n \neq 0\) (Theorem 2.1). Let \(\mathcal G_A\) be the subgroupoid of \(B(\mathcal H)\) generated by \(A\) under operator multiplication and \(\mathbb G_A\) be the groupoid of the graph \(G_A\). It is known (Theorem 2.3) that the \(C^\ast\)-algebra \(C^*(X)\) of a single operator \(X\) is isomorphic to the crossed product \(C^*(Q) \rtimes_A \mathcal G_A\) of the \(C^\ast\)-algebra of \(Q\), which is commutative and isomorphic to \(\mathbb C(\mathrm{Spec} Q)\), under the action of the groupoid \(\mathcal G_A\). From this, the author characterizes the \(K\)-groups of \(C^*(X)\) by those of \(C^*(Q)\): \[ K_n(C^*(X)) \cong K_n(C^*(Q)) \text{ or } K_{n+1}(C^*(Q)), \] case-by-case for all \(n=0,1,\dots\) in \S\S\, 3,4 and 5.
    0 references
    0 references
    \(K\)-theory
    0 references
    graph groupoids
    0 references
    groupoid \(C^\ast\)-algebras
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references