The Baum-Connes conjecture via localisation of categories (Q817492)

For a second countable locally compact group \(G\), the authors consider the \(G\)-equivariant Kasparov category \(KK^G\), whose objects are separable \(G\)-\(C^*\)-algebras and whose morphisms are the bivariant Kasparov groups \(KK^G(A,B)\), as a triangulated category. \(A\in KK^G\) is called compactly induced if it is \(KK^G\)-equivalent to \(\text{Ind}_H^G A'\) for some compact subgroup \(H\subset G\) and some \(H\)-\(C^*\)-algebra \(A'\). Let \(\mathcal C\mathcal I\subset KK^G\) be the full subcategory of compactly induced objects and \(\langle \mathcal C\mathcal I\rangle\) the localising subcategory generated by it. The objects of \(\langle \mathcal C\mathcal I\rangle\) can be considered as analogs for proper \(G\)-CW-complexes. A \(\mathcal C\mathcal I\)-simplicial approximation of \(A\in KK^G\) as a morphism \(\widetilde{A}\to A\) with \(\widetilde{A}\in \langle \mathcal C\mathcal I\rangle\) such that \(KK^G(P,\widetilde{A})\cong KK^G(P,A)\) for all \(P\in\langle \mathcal C\mathcal I\rangle\). For any homological functor \(F:KK^G\to\mathcal C\) into an abelian category, its localisation \(\mathbb LF(A)=F(\widetilde{A})\) is again a homological functor. It comes equipped with a natural transformation \(\mathbb LF(A)\to F(A)\). For the functor \(F(A)=K_*(A\rtimes_r G)\), this map is naturally isomorphic to the Baum-Connes assembly map. This interpretation is suitable for studying functorial properties and gives analogues of the Baum-Connes assembly map for other equivariant homology theories. Many of the known techniques for proving the Baum-Connes conjecture are extended to this setting and more reformulations and interpretations are given.