A description of the assembly map for the Baum-Connes conjecture with coefficients (Q2329072)

Given a \(G\)-\(C^*\)-algebra \(B\) for a discrete group \(G\) one can form the reduced crossed product algebra \(B \rtimes \mathbb{C}\). The Baum-Connes conjecture with coefficient then predicts that the \(K\)-theory of the reduced crossed product \(B \rtimes \mathbb{C}\) is given by the representable equivariant \(K\)-theory group \(RKK^G_*(C_0(E(G,Fin)),B)\) of the universal space \(E(G,Fin)\) of proper \(G\)-actions on spaces, and that a corresponding isomorphism is induced by the so-called Baum-Connes assembly map; for a precise definition of he conjecture e.g. see Section 2.3 of [\textit{A. Valette}, Introduction to the Baum-Connes conjecture. With notes taken by Indira Chatterji. With an appendix by Guido Mislin. Basel: Birkhäuser (2002; Zbl 1136.58013)]. In the present article, the author provides a functor from the category of proper \(G\)-spaces to the category of spectra representing representable equivariant \(K\)-theory. His approach is based on Segal's idea of building connective \(K\)-homology for a space \(X\) with respect to the category of \(R\)-modules for a ring \(R\) by means of configurations of finitely generated projective \(R\)-modules over the given space \(X\) (see [\textit{G. Segal}, Lect. Notes Math. 575, 113--127 (1977; Zbl 0363.55002)]). Segal's approach can be carried over to an equivariant setting, thus providing a suitable model for representable equivariant \(K\)-theory for proper \(G\)-spaces \(X\) in the present context. Configuration as they show up here nicely translate into cycles in Kasparov \(KK\)-theory, which then allows to give a clear description of the assembly map. The author already used this concept to build the common Baum-Connes assembly map (which corresponds to the case \(B=\mathbb{C}\)) in [\textit{M. Velásquez}, J. Noncommut. Geom. 9, No. 4, 1343--1382 (2015; Zbl 1337.19006)]. The main result of the present article is that arguments in [ibid.] carry over to the case with coeffcients with no difficulty.