Topological equivariant coarse \(K\)-homology (Q6156897)

This article further develops the framework for the study of general equivariant coarse cohomology theories. The main goal is to establish that an assembly map for a group with coefficients in a suitable cohomology theory is split-injective. Previously, the properties needed for that were formalised in [\textit{U. Bunke} et al., Proc. Lond. Math. Soc. (3) 121, No. 6, 1619--1684 (2020; Zbl 1485.19005)] in the notion of a CP-functor. This article provides more examples of such functors. Besides assumptions on the cohomology theory, the proof also needs the underlying group to have finite decomposition complexity. Since all coarse spaces with finite decomposition complexity embed coarsely into a Hilbert space, other methods show that the Baum-Connes assembly map for such groups is split injective. The focus of this article is in proving analogous results for other cohomology theories, by identifying the required properties of a cohomology theory for the proof to go through. An equivariant coarse homotopy theory is a functor from the category of bornological coarse \(G\)-spaces to a stable \(\infty\)-category with certain properties. The article constructs some such functors, which generalise coarse \(K\)-theory by adding coefficients and equivariance for a group action. Here the coefficients involve \(C^\ast\)-categories. These are useful in the context of assembly maps by allowing to improve the functoriality properties of the group \(C^\ast\)-algebra construction. The usual coarse Baum-Connes assembly map relates the \(K\)-theory of the Roe \(C^\ast\)-algebra of a coarse space to a more computable invariant, the coarse \(K\)-homology of the underlying space. One important ingredient in this article is the definition of an analogue of the Roe \(C^\ast\)-algebra of a coarse space with coefficients in a \(C^\ast\)-category. A key ingredient to define these Roe categories are (equivariant) controlled objects in a \(G\)-\(C^\ast\)-category. The control here is implemented by a map from subsets of a bornological coarse space~\(X\) to commuting projections, subject to some conditions. A typical example of this would be the map from subsets to their characteristic functions, viewed as elements in the Roe \(C^\ast\)-algebra of a bornological coarse space. The definition of Roe categories also needs the notion of a small object, which is an analogue of the local compactness condition for an operator to belong to the Roe \(C^\ast\)-algebra. Taking a closure of the controlled small objects in the natural \(C^\ast\)-norm then defines a functor from bornological coarse spaces to \(C^\ast\)-categories. These functors are shown to have various homological properties, which are analogous to known properties of Roe \(C^\ast\)-algebras. Composing this Roe \(C^\ast\)-category functor with a functor from \(C^\ast\)-categories to a stable \(\infty\)-category then provides the desired equivariant coarse homology theories. The rest of the article studies abstract properties of these equivariant cohomology theories. For instance, it is shown that they map ``weak'' coarse equivalences to equivalences in the target stable \(\infty\)-category. The reduced crossed product for a group action on a space may also be described as the \(G\)-fixed point subalgebra of the induced action on the Roe \(C^\ast\)-algebra. The calculations in Section~9 in the article provide analogues of these results for Roe \(C^\ast\)-categories. The main goal is to find sufficient conditions for the cohomology theories defined in the article to be ``CP-functors''. This property allows to prove split-injectivity results for the Baum-Connes assembly map. A key property required for CP-functors is that they admit transfers. This means that a functor on bornological coarse spaces extends to a larger category, whose arrows are spans of arrows where one of the maps is a bounded covering and the other is a bornological coarse map. The cohomology theories constructed in the article have this property under mild additivity assumptions on the coefficient \(C^\ast\)-category (see Theorem 13.4 in the article).