The invariance of analytic assembly maps under the groupoid equivalence (Q700284)

The author explains a smooth version of groupoid equivalence and the Morita equivalence of corresponding \(C^*\)-algebras in the sense of \textit{P. S. Muhly, J. N. Renault} and \textit{D. P. Williams} [J. Oper. Theory 17, 3-22 (1987; Zbl 0645.46040)] and then he gives a detailed construction of the analytic assembly map \(\mu_{\mathcal G}: K^*_{top}(\mathcal G)\to K_*(C^*(\mathcal G))\) for a Lie (that is differentiable) groupoid \(\mathcal G\), sketched by \textit{A. Connes} [`Noncommutative geometry', Academic Press, San Diego (1994; Zbl 0818.46076)] using \(E\)-theory. The group \(K^*_{top}(\mathcal G)\) consists of geometric cycles \((P, y)\) modulo the standard equivalence by Gysin maps of \(\mathcal G\)-equivariant maps, where \(P\) is a proper \(\mathcal G\)-manifold and \(y\in K_*(C^*(T_{\mathcal G}T\rtimes\mathcal G))\). The main theorem says that the map \(\mu_{\mathcal G}\) is invariant under the Lie groupoid equivalence and it gives an evidence for the Baum-Connes conjecture for Lie groupoids. In the proof, Morita equivalence of \(C^*\)-algebras obtained from the groupoid equivalences plays a central role.