The analytical assembly map and index theory (Q2354793)

For discrete torsion free groups, the author proves, that the maximal assembly map à la \textit{G. G. Kasparov} [Invent. Math. 91, No. 1, 147--201 (1988; Zbl 0647.46053)]) \[ RK_*^G(EG) \longrightarrow K_*(C^*G) \] can be identified (using the dual version of the Green-Julg theorem on the domains) with an index theoretical map: \[ RKK_*(C_0(BG),\mathbb{C}) \longrightarrow KK_*(\mathbb{C},C^*G). \] This second map associates to a cycle, in the Baum Douglas model for \(K\)-homology, the \(C^*\)-algebraic index of the Dirac operator in the sense of \textit{A. S. Mishchenko} and \textit{A. T. Fomenko} [Izv. Akad. Nauk SSSR, Ser. Mat. 43, 831--859 (1979; Zbl 0416.46052)]. This passage involves the twisting of the operator with the Mishchenko bundle \(\mathcal{L}_{X/G}\) of a free and proper \(G\)-space \(X\). Indeed the main difficulty, in identifying the two maps, is the comparison between the module of sections of \(\mathcal{L}_{X/G}\) with the so called Kasparov projection \(p \in C(X_0) \rtimes G\), used in the definition of the first assembly map. In this paper, the relation between \(p_X\) and \(\mathcal{L}_{X/G}\), is expressed in terms of an equality of two Kasparov products; a non trivial result following from the work of \textit{A. Buss} and \textit{S. Echterho} (see [``Imprimitivity theorems for weakly proper actions of locally compact groups'', Preprint, \url{arXiv:1305.5100}] ) on fixed points modules.