A descent principle for the Dirac--dual-Dirac method (Q882484)

It is shown in the last corollary of this paper that a torsion-free discrete group \(G\) with its classifying space finite-dimensional has a dual-Dirac morphism if and only if the coarse co-assembly map with coefficients \(C_0(\mathbb N)\) is an isomorphism, i.e., its existence is a coarse property. This is deduced from a more general \(H\)-equivariant version that they obtained, where \(H\) is taken from all finite subgroups of \(G\). Moreover, it holds for \(G\) a locally compact group with a \(G\)-compact, universal proper \(G\)-space and \(H\) all smooth compact subgroups of \(G\). This is their descent principle. A dual-Dirac morphism is a class \(\eta\) of the \(G\)-equivariant K-homology \(KK^G(\mathbb C, P)\) such that \(\eta \circ D =1_P\), where \(D\) is a Dirac morphism defined as a certain class (a weak equivalence) of \(KK^G(P, \mathbb C)\), and \(P\) is in the localising subcategory generated by the class of compactly induced \(G\)-\(C^*\)-algebras. The subcategory is closed under \(KK^G\)-equivalence, suspensions, and \(G\)-extensions with sections (i.e., triangulated) and closed under countable direct sums. Refer to \textit{R. R. Meyer} and \textit{Nest} [Topology 45, 209-259 (2006; Zbl 1092.19004)]. Also, it is shown that for \(G\) a locally compact group and \(H\) a compact subgroup and \(D\) an \(H\)-\(C^*\)-algebra, the \(H\)-equivariant coarce co-assembly map with coefficients \(D\) is equivalent to the map from the \(G\)-equivariant K-homology for the induced \(G\)-\(C^*\)-algebra \(\text{ ind}_H^G (D)\) to the bivariant Kasparov group as in \textit{G. G. Kasparov} [Invent. Math. 91, 147-201 (1988; Zbl 0647.46053)], induced by the constant map from a universal proper \(G\)-space to a point.