Kirchberg \(X\)-algebras with real rank zero and intermediate cancellation (Q2264070): Difference between revisions

The contents of this paper, after the section 2 (``Preliminaries''), is as follows. 3. Vanishing boundary maps. Two \(K\)-theoretical conditions for a \(C^*\)-algebra \(A\) over an arbitrary finite \(T_0\)-space \(X\), with a continuous map from the primitive ideal space of \(A\) to \(X\), are introduced. One of them is that \(A\) has vanishing boundary (index or exponential) maps if the boundary (index or exponential) maps in the six-term exact sequence of \(K\)-theory groups of the \(C^*\)-algebra extension associated to any inclusion of open subsets of \(X\) vanish. The other of them is that \(A\) has intermediate cancellation if two projections of \(A\) which generate the same ideal and give rise to the same \(K_0\)-class, then they are Murray-von Neumann equivalent. In particular, it is shown that a separable purely infinite tight \(C^*\)-algebra \(A\) over \(X\) has vanishing exponential maps if and only if \(A\) has real rank zero, and \(A\) has vanishing index maps if and only if \(A\) has intermediate cancellation. 4. Representations and cosheaves. \(K\)-theoretical invariants for \(C^*\)-algebras \(A\) over \(X\) are introduced. As for these, a representation of \(X\) is a covariant functor from \(X\) with reversed partial ordering by inclusion for open subsets of \(X\) to the category of countable \(\mathbb Z_2\)-graded abelian groups. Also, a precosheaf \(M\) of \(X\) is a covariant functor from the collection of open subsets of \(X\) to the category, and a precosheaf is a cosheaf if for any open subset \(U\) of \(X\) and any open covering \(\{U_j\}\) of \(U\), the short sequence associated to \(M(U)\), \(M(U_j)\), and \(M(U_j \cap U_k)\) is exact. A representation of \(X\) extends to a cosheaf by taiking colimit, while a cosheaf reduces to a representaion by taking restriction. In particular, it is shown that for a representation of \(X\), if its associated cosheaf is flabby in the sense of \textit{G. E. Bredon} [Pac. J. Math. 25, 1--32 (1968; Zbl 0157.30101)], then it has a projective resolution of length one, and done that a \(C^*\)-algebra \(A\) over \(X\) has vanishing boundary maps if and only if the cosheaf defined by the \(K\)-theory groups for ideals of \(A\) corresponding to open subsets of \(X\) is flabby. As well, the functor XK (or \(K(X)\))-theory as \(K\)-theoretical invariants for \(C^*\)-algebras \(A\) over \(X\) are given by the \(K\)-theory groups for the ideals of \(A\). 5. A universal coefficient theorem. A universal coefficient theorem (UCT) obtained (after \textit{J. Rosenberg} and \textit{C. Schochet} [Duke Math. J. 55, 431--474 (1987; Zbl 0644.46051)]) is that for two separable \(C^*\)-algebras \(A\) and \(B\) over \(X\), one of which \(A\) belongs to a certain bootstrap category and has vanishing boundary maps, there is a natural short exact sequence of \(\mathbb Z_2\)-graded abelian groups for XKK (or \(KK(X)\))-theory (or \(KK\)-theory over \(X\)) with \(XK\)-theory of \(A\) and \(B\) as the first and second variables. And if both \(A\) and \(B\) have vanishing boundary maps, then the UCT splits. Moreover, such \(A\) in the class that UCT holds is \(XKK\)-equivalent to and \(XK\)-equivalent to a commutative \(C^*\)-algebra over \(X\). For \(KK(X)\)-theory for \(C^*\)-algebras over \(X\), we refer to \textit{E. Kirchberg} [in: C\(^*\)-algebras. Proceedings of the SFB-workshop, Münster, Germany, March 8--12, 1999. Berlin: Springer. 92--141 (2000; Zbl 0976.46051)] or [\textit{R. Meyer} and \textit{R. Nest}, Münster J. Math. 2, No. 1, 215--252 (2009; Zbl 1191.46058)]. 6. Classification of certain Kirchberg \(X\)-algebras. A Kirchberg \(X\)-algebra is a \(C^*\)-algebra over \(X\) that is tight, nuclear, purely infinite, and separable. In particular, it is shown that for two stable, real rank zero Kirchberg \(X\)-algebras \(A\) and \(B\) with intermidiate cancellation and simple subquotients in the bootstrap class, the \(XK\) (or \(K(X)\))-theory equivalence between \(A\) and \(B\) implies their isomorphism as \(X\)-algebras. 7. Cosheaves arising as invariants of graph \(C^*\)-algebras. A tight, graph \(C^*\)-algebra over \(X\) is defined to be a graph \(C^*\)-algebra with a homeomorphism between the primitive ideal space of the graph \(C^*\)-algebra and \(X\). In particular, a fabbly cosheaf on open subsets of \(X\) is isomorphic to \(XK\)-theory for some purely infinite, tight graph \(C^*\)-algebra over \(X\) with intermediate cancellation if and only if the cosheaf has free quotients in odd degree. 8. Extensions of Cuntz-Krieger algebras. A \(C^*\)-algebra \(A\) over \(X\) looks like a Cuntz-Kriger algebra if \(A\) is a unital, real rank zero Kirhcberg \(X\)-algebra with simple subquotients in the bootstrap class such that \(XK_1\) is free and the rank of \(XK_0\) is the same as that of \(XK_1\) and is finite, pointwise over \(X\). In particular, it is shown that if a \(C^*\)-algebra \(A\) over \(X\) that looks like a (or stabilized) Cuntz-Krieger algebra and has intermediate cancellation, then \(A\) is isomorphic (or stably isomorphic) to a tight Cuntz-Krieger algebra over \(X\) with intermediate cancellation. It is deduced that a unital extension \(A\) of an ideal \(I\) by its quotient \(A/I\) is a Cuntz-Krieger algebra with intermediate cancellation if and only if the ideal \(I\) is stably isomorphic to a Cuntz-Kriger algebra with intermediate cacellation, the quotient \(A/I\) is a Cuntz-Kriger algebra with intermediate cacellation, and the boundary maps in the \(K\)-theory six-term exact sequence associated vanish, and as well, the same or similar hold for extensions of unital purely infinite graph \(C^*\)-algebras with intermediate cancellation or for stabilized purely infinite graph \(C^*\)-algebras written as extensions of \(C^*\)-algebras with finite ideal lattice.