Non-Hausdorff groupoids, proper actions and \(K\)-theory (Q1769053)

Let \(G\) be a topological groupoid, \(G^{(0)}\) its set of units and \(r,s:G\to G^{(0)}\) the range and the source maps, respectively. \(G\) is called {proper} if the map \((r,s):G\to G^{(0)}\times G^{(0)}\) is proper. It is shown that properness is invariant under Morita equivalence. Let \(T\) be a topological space and \(\rho:G^{(0)}\to T\) a \(G\)-invariant map. Then \(G\) is {\(\rho\)-proper} if the map \((r,s):G\to G^{(0)}\times_T G^{(0)}\) is proper. If \(G\) acts on a space \(Z\) and \(\rho:Z\to T\) is \(G\)-invariant then the action is {\(\rho\)-proper} if \(Z\rtimes G\) is proper. Let \(G_1\), \(G_2\) be two groupoids. A generalized morphism from \(G_1\) to \(G_2\) is a triple \((Z,\rho,\sigma)\), where \(Z\) is endowed with a left action of \(G_1\), with momentum map \(\rho:Z\to G_1^{(0)}\), and a right action of \(G_2\), with momentum map \(\sigma:Z\to G_2^{(0)}\), which commute, the action of \(G_2\) is free and \(\rho\)-proper and \(\rho\) induces a homeomorphism \(Z/G_2\cong G_1^{(0)}\). A generalized morphism is {proper} if the action of \(G_1\) on \(Z\) is \(\sigma\)-proper and if \(\sigma^{-1}(K)\) is \(G_1\)-compact for any quasicompact subset \(K\subset G_2^{(0)}\). Under the assumption that \(G_1\) and \(G_2\) are locally compact groupoids with open range maps and with Haar systems and that \(G_1^{(0)}\) and \(G_2^{(0)}\) are Hausdorff, the author shows that any proper generalized morphism from \(G_1\) to \(G_2\) gives rise to a \(C^*\)-correspondence, i.e. to an element of \(KK(C^*_r(G_1),C^*_r(G_2))\). In particular, this implies that two Morita equivalent groupoids have Morita equivalent \(C^*\)-algebras.