On quantitative operator \(K\)-theory (Q748389)

Crossed products for group actions and Roe algebras of coarse spaces are defined as completions of dense \(^*\)-subalgebras, which are filtered, that is, of the form \(\bigcup_{r>0} A_r\) for subspaces \(A_r\) with \(A_r\cdot A_s\subseteq A_{r+s}\). In this situation, the \(K\)-theory of~\(A\) may be enriched to an inductive system of abelian groups indexed by \(r,\varepsilon\), where the \(K\)-theory group for \(r,\varepsilon\) considers matrices with entries in~\(A_r\) that are almost projections or unitaries up to~\(\varepsilon\), and homotopies of them with the same control. The colimit of the resulting inductive system of abelian groups for \(r\to\infty\), \(\varepsilon\searrow0\) is the usual \(K\)-theory of the \(C^*\)-algebra \(A\). This article introduces this enriched variant of \(K\)-theory and carries over many general features of ordinary \(K\)-theory. This includes the long exact sequence for an extension of \(C^*\)-algebras, assuming suitable compatibility of the filtrations, and Bott periodicity. The latter is proved through an exterior product with Kasparov's KK-theory. The domain of the Baum-Connes assembly map (with coefficients) is defined as a colimit of equivariant \(K\)-homology groups for \(G\)-compact, \(G\)-invariant closed subspaces of the universal proper \(G\)-space. The quantitative Baum-Connes assembly map is a morphism from this inductive systems of \(K\)-homology groups to the quantitative \(K\)-theory of the crossed product. The main result of the article characterises when this morphism of inductive systems is a monomorphism or an epimorphism: this is the meaning of the technical conditions QI and QS studied in Section 6.2 of the article. Thus it characterises when the quantitative Baum-Connes assembly map is an isomorphism of inductive systems. Namely, the quantitative map is a monomorphism, and epimorphism or an isomorphism if and only if the usual Baum-Connes assembly map with coefficients in \(\ell^\infty(\mathbb{N},A\otimes \mathcal{K}(\mathcal{H}))\) is injective, surjective, or bijective, respectively. Here \(\mathcal{K}(\mathcal{H})\) denotes the \(C^*\)-algebra of compact operators. Hence the quantitative Baum-Connes assembly map is an isomorphism of inductive systems for all coefficients if and only the usual Baum-Connes assembly map is an isomorphism for all coefficients.