Some classifiable groupoid \(C^{*}\)-algebras with prescribed \(K\)-theory (Q1709772)

The main theorem obtained in this paper is stated as follows. Let \(G\) be a simple (as being order units of nonzero elements), acyclic (or non-cyclic) dimension group (as an inductive limit of ordered free abelian groups) with order unit and let \(H\) be a countable, torsion free, abelian group. Then there exists an étale equivalence relation \(R\) on a Cantor set \(X\), within this category, such that (1) \(R\) is minimal, (2) \(R\) is amenable, (3) the \(K\)-theory \(K_0\)-group of the \(C^*\)-algebra \(C^*(R)\) of \(R\) is isomorphic to \(G\), as ordered abelian groups with order unit, (4) the \(K_1\) of \(C^*(R)\) is isomorphic to \(H\), as groups, and (5) the \(C^*\)-algebra \(C^*(R)\) is tracially AF (TrAF), in the sense of \textit{M. Dadarlat} [Int. J. Math. 15, No.~9, 919--957 (2004; Zbl 1071.46036)] or \textit{H.-X. Lin} [Trans. Am. Math. Soc. 353, No.~2, 693--722 (2001; Zbl 0964.46044)]. Recall below some basic details for the convenience of the readers. An equivalence relation \(R\) on a set \(X\) can be a groupoid in a suitable way, so that the diagonal in \(R\) is identified with \(X\) and the range and source maps from \(R\) to \(X\) are defined. A topology on \(R\) on a space \(X\) is said to be étale if the two maps are local homeomorphisms. Then \(R\) is minimal if any equivalence class is dense in \(X\). The \(C^*\)-algebra of \(R\) is defined to be the suitable \(C^*\)-norm closure of the \(\ast\)-algebra of continuous, complex-valued functions on \(R\) of compact support, with suitable convolution and involution. Namely, it is the groupoid \(C^*\)-algebra of the groupoid \(R\). The groupoid \(R\) is said to be amenable if there is a sequence of functions \(g_n\) on \(R\) which are non-negative, continuous, and compactly supported (within \(C^*(R)\)) such that the restrictive summation of \(g_n\) on \(R\) for any element of \(X\) is one, and the summation function on \(R\) of sorts of differences with respect to \(g_n\) converges uniformly to zero on compact subsets of \(R\). If \(R\) is amenable, then \(C^*(R)\) is amenable as a \(C^*\)-algebra. In this case, \(R\) is minimal if and only if \(C^*(R)\) is simple. If such \(C^*\)-algebras are TrAF, then they are isomorphic as \(C^*\)-algebras if and only if their \(K\)-theory groups in those senses are isomorphic, as a monumental classification result by \textit{H.-X. Lin} [Duke Math. J. 125, No.~1, 91--119 (2004; Zbl 1068.46032)]. As well, as for the \(K\)-theory group computation, in particular, used in a way for the proof is the six-term exact sequence diagram chasing, involving the relative \(K\)-theory for the mapping cone of an inclusion of \(C^*\)-algebras.