Coarse assembly maps

TL;DR

This paper constructs a general coarse assembly map for strong coarse homology theories, providing conditions for it to be an equivalence and explicitly calculating its domain, thus generalizing known results in coarse geometry.

Contribution

It introduces a universal construction of coarse assembly maps for broad classes of coarse homology theories and extends known equivalence results.

Findings

Conditions under which the assembly map is an equivalence

Explicit calculation of the domain of the assembly map

Generalization of analytic coarse assembly map results

Abstract

For every strong coarse homology theory we construct a coarse assembly map as a natural transformation between coarse homology theories. We provide various conditions implying that this assembly map is an equivalence. These results generalize known results for the analytic coarse assembly map for K-homology to general coarse homology theories. Furthermore, we calculate the domain of the coarse assembly map explicitly in terms of locally finite homology theory.

Figures

Equations

$$E:\mathbf{BornCoarse}\to \mathbf{C}$$

$${\mathrm{Yo}}^s:\mathbf{BornCoarse}\to \mathbf{Sp}\mathcal{X}$$

$$E:\mathbf{Sp}\mathcal{X}\to \mathbf{C}.$$

$$H^{lf}:\mathbf{TopBorn}\to \mathbf{C}$$

$$H^{lf}(X)\to \underset{B}{\lim }\mathrm{Cofib}(H^{lf}(X\setminus B)\to H^{lf}(X))$$

$$\mu :Q{K}^{an,lf}(X)\to K\mathcal{X}(X),$$

$$F:\mathbf{UBC}\to \mathbf{C}$$

$$\mathrm{Yo}{\mathcal{B}}^s:\mathbf{UBC}\to \mathbf{Sp}\mathcal{B}$$

$$F:\mathbf{Sp}\mathcal{B}\to \mathbf{C}.$$

$$\mathcal{O}:\mathbf{UBC}\to \mathbf{BornCoarse}.$$

$${\mathcal{O}}^{\infty }:\mathbf{UBC}\to \mathbf{Sp}\mathcal{X}$$

$$E{\mathcal{O}}^{\infty }:\mathbf{UBC}\stackrel{{\mathcal{O}}^{\infty }}{\to }\mathbf{Sp}\mathcal{X}\stackrel{E}{\to }\mathbf{C}.$$

$$\mathbf{P}:\mathbf{BornCoarse}\to \mathbf{Sp}\mathcal{B}$$

$$\mathbf{P}(X)\simeq {\mathrm{colim}}_{U\in \mathcal{C}}{\mathrm{Yo}}^s\mathcal{B}(P_U(X)).$$

$$\mathbf{P}:\mathbf{Sp}\mathcal{X}\to \mathbf{Sp}\mathcal{B}.$$

$$Q{H}^{lf}\simeq (H^{lf}\circ {\mathcal{F}}_{\mathcal{C},\mathcal{U}/2})\mathbf{P}.$$

$$E\circ F_{\mathcal{U}}\to E\mathcal{O}\to E{\mathcal{O}}^{\infty }\stackrel{\partial }{\to }\Sigma E\circ F_{\mathcal{U}}$$

$${\mu }_E:E{\mathcal{O}}^{\infty }\mathbf{P}\to \Sigma E,$$

$${\mu }_{X,E}:E{\mathcal{O}}^{\infty }\mathbf{P}(X)\to \Sigma E(X)$$

$$(\Sigma E(\ast )\wedge {\Sigma }_{+}^{\infty }{)}^{lf}(X)\simeq E{\mathcal{O}}^{\infty }(X).$$

$$((\Sigma E(\ast )\wedge {\Sigma }_{+}^{\infty }{)}^{lf}\circ F_{\mathcal{C},\mathcal{U}/2}){\mathbf{P}}^o(X)\simeq E{\mathcal{O}}^{\infty }\mathbf{P}(X).$$

$$F_{\mathcal{C},\mathcal{U}/2}:\mathbf{UBC}\to \mathbf{TopBorn}$$

$$\mathcal{C}(\mathcal{U}):=\bigcap _{V\in \mathcal{U}}\mathcal{C}⟨\{V\}⟩.$$

$$V[A]\cap V[B]\subseteq (U^{2n+1}\circ \kappa (U))(A\cap B).$$

$$E(A\cap B)\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}$$

$$F_{\mathcal{U}}:\mathbf{UBC}\to \mathbf{BornCoarse}$$

$$\mathbf{PSh}(\mathbf{D}):=\mathbf{Fun}({\mathbf{D}}^{op},\mathbf{Spc})$$

$$E(X)\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}\text{ignorespaces}$$

$$L:\mathbf{PSh}(\mathbf{UBC})\leftrightarrows \mathbf{Sh}(\mathbf{UBC}):inclusion.$$

$$Y(A){\bigsqcup }_{Y(A\cap B)}Y(B)\to Y(X)$$

Full text

1. 1 Introduction

2. 1.1 Construction of the coarse assembly maps

3. 1.2 Isomorphism results and computations

4. 2 Uniform bornological coarse spaces

5. 3 Local homology theories

6. 4 Motives and the universal local homology theory

7. 5 The universal coarsification functor $\mathbf{P}$

8. 6 From coarse to local homology theories via ${\mathbf{F}}$

9. 7 Coarsifying spaces

10. 8 Cone functors

11. 9 The coarse assembly map

12. 10 Isomorphism results

13. 10.1 Finite asymptotic dimension

14. 10.2 Finite decomposition complexity

15. 10.3 Scaleable spaces

16. 11 Calculation of $\bm{E{\mathcal{O}}^{\infty}}$

17. 12 Comparison of coarse homology theories

1 Introduction

In this paper we propose a construction of a coarse assembly map as a natural transformation between coarse homology theories and study conditions under which it is an equivalence.

The classical instance of the coarse assembly map is the coarse analytic assembly map featuring in the coarse Baum–Connes conjecture (Higson–Roe [HR95]). For a proper metric space it is constructed as a homomorphisms of ${\mathbb{Z}}$-graded groups from the coarsification of the locally finite $K$-homology groups of this space to the coarse $K$-homology groups of the same space.

In [BE20] we refined the domain and the target of the coarse analytic assembly map to spectrum-valued coarse homology theories defined on the category of bornological coarse spaces. We then tried to understand the coarse analytic assembly map as a transformation between coarse homology theories. We observed that the solution of this task would imply the coarse Baum-Connes conjecture in the case of finite asymptotic dimension as a formal consequence of comparison theorems [BE20, Thm. 6.115]. More generally, given a general coarse homology theory one can define the coarsification of an associated locally finite homology theory and ask for an analogue of the coarse analytic assembly map. In this case we would obtain an analogue of the coarse Baum–Connes conjecture for the coarse homology in question.

As we shall observe in the present paper the successful solution of these problems involves modifying the domain of the coarse assembly map. Instead of coarsifying locally finite homology theories we coarsify local homology theories. The first goal of the present paper is to introduce this notion and to develop a motivic picture of the coarsification process. We then define the assembly map using the forget-control map of the cone sequence. For more details we refer to Subsection 1.1. The second goal of the paper explained in greater detail in Subsection 1.2 is to provide various conditions implying that the coarse assembly map is an equivalence. Furthermore, under suitable assumptions, we can calculate the domain of the coarse assembly map in terms of locally finite homology. These calculations show that the construction of the present paper solves the original problem in many cases. In a separate paper [BEL] we consider the case of coarse $K$-homology theory. We will show that for nice spaces the new assembly map is equivalent to the classical coarse analytic assembly map.

1.1 Construction of the coarse assembly maps

In the following we describe the set-up in which we will construct the coarse assembly map. The basic category is the category $\mathbf{BornCoarse}$ of bornological coarse spaces introduced in [BE20]. Let ${\mathbf{C}}$ be a cocomplete, stable $\infty$-category, e.g., the $\infty$-category of spectra $\mathbf{Sp}$. A ${\mathbf{C}}$-valued coarse homology theory is a functor

[TABLE]

which is coarsely invariant, coarsely excisive, $u$-continuous, and vanishes on flasques. We refer to [BE20] for a detailed description of these properties. In order to study properties of coarse homology theories in general we constructed in [BE20] a universal coarse homology theory

[TABLE]

with values in the stable $\infty$-category of motivic coarse spectra $\mathbf{Sp}{\mathcal{X}}$. A ${\mathbf{C}}$-valued coarse homology theory as above is then equivalently described as a colimit preserving functor

[TABLE]

Locally finite homology theories are defined on the category $\mathbf{TopBorn}$ of topological bornological spaces and proper continuous maps [BE20, Sec. 7.1]. The target ${\mathbf{C}}$ of a locally finite homology theory will in addition be assumed to be complete. A functor

[TABLE]

is a locally finite homology theory if, in addition to the usual homological conditions of excision and homotopy invariance, it satisfies the local finiteness condition. It requires that the natural map

[TABLE]

is an equivalence for every bornological topological space $X$, where the limit runs over the bounded subsets of $X$. Every homology theory $H$ has a corresponding locally finite version $H^{{l\!f}}$ [BE20, Def. 7.15 and Prop. 7.37].

A particular class of coarse homology theories are coarsifications $QH^{{l\!f}}$ of locally finite homology theories $H^{{l\!f}}$ [BE20, Def. 7.44 and Prop. 7.46]. In contrast to general coarse homology theories, coarsifications of locally finite homology theories seem to be much more tractable because they can be studied by well-established methods of homotopy theory.

Analytic $K$-homology $K^{\mathit{an},{l\!f}}\colon\mathbf{TopBorn}\to\mathbf{BornCoarse}$ is an example of a locally finite homology theory [BE20, Sec. 7.66]. For a bornological coarse space $X$ of locally bounded geometry in [BE20, Def. 8.139] we constructed a version of the coarse analytic assembly map

[TABLE]

where $K\!\mathcal{X}\colon\mathbf{BornCoarse}\to\mathbf{Sp}$ is the coarse $K$-homology. We were not able to construct such a morphism for arbitrary spaces $X$. In particular, we do not have a natural transformation between coarse homology theories.

The construction of $\mu$ uses specialities of topological $K$-theory. One could ask whether there are other pairs of a coarse homology theory $E$ and a locally finite homology theory $H^{{l\!f}}$ which are related by a version of a coarse assembly map $QH^{{l\!f}}(X)\to E(X)$. In the present paper we will see that, if interpreted in the appropriate sense, such pairs exist in abundance. One of the difficulties seems to be the fact that locally finite homology theories are characterized by a limit condition (1.1). It is therefore complicated to construct maps out of locally finite homology theories. The main novelty of the present paper is to introduce the notion of a local homology theory, essentially by replacing the condition of being locally finite by the weaker condition of vanishing on flasques, see Definition 3.12.

In the following we explain this in greater detail. We introduce the category of uniform bornological coarse spaces $\mathbf{UBC}$. A local homology theory is then a functor

[TABLE]

which is homotopy invariant, excisive, $u$-continuous, and vanishes on flasques. We will construct a universal local homology theory

[TABLE]

with values in motivic uniform bornological coarse spectra (Corollary 4.16). In fact, we will consider two versions of local homology theories distinguished by the condition that the descent axiom involves open or closed decompositions. The open version will be indicated by adding a superscript “$o$”. Similarly as in the case of coarse homology theories, a ${\mathbf{C}}$-valued local homology theory is equivalently described as a colimit preserving functor

[TABLE]

The nature of the local finiteness condition (1.1) makes it impossible to construct a universal locally finite homology theory in a similar manner.

Any locally finite homology theory $H^{{l\!f}}$ gives rise to a local homology theory which in the notation of the present paper appears as $H^{{l\!f}}\circ F_{{\mathcal{C}},{\mathcal{U}}/2}$ in Lemma 3.16.

A uniform bornological coarse space has an underlying bornological coarse space. But if we simply forget the uniform structure, then we completely lose the local topological structure of the space. A more interesting transition from uniform bornological coarse spaces to bornological coarse spaces keeping the local structure is given by the cone construction. Indeed, with the help of the cone one can encode the uniform structure into a suitable coarse structure.

The cone construction will be investigated in various versions in Section 8; the main version is the one in Definition 8.1, [BE20, Ex. 5.16] and [BEKW20, Def. 9.24]. It provides a functor

[TABLE]

The cone and the germs at infinity

[TABLE]

of the cone (see Definition 8.2, [BE20, Sec. 5.2.3] and [BEKW20, Sec. 9.5]) can be used to pull-back coarse homology theories to functors defined on $\mathbf{UBC}$.

Let $E\colon\mathbf{BornCoarse}\to{\mathbf{C}}$ be a coarse homology theory. It is strong [BEKW20, Def. 4.19] if it annihilates not only flasque but also weakly flasque bornological coarse spaces. We interpret $E$ as a colimit preserving functor on $\mathbf{Sp}{\mathcal{X}}$ and consider the composition

[TABLE]

Lemma 1.1** (Lemma 9.6).**

If $E$ is strong, then $E{\mathcal{O}}^{\infty}$ is a local homology theory.

The idea to use some version of cones in order to pull-back coarse homology theories has some history. We refer to Higson–Pederson–Roe [HPR96, Prop. 12.1] (coarse $K$-homology), Mitchener [Mit10, Thm. 4.9] (coarsely excisive theories), Bartels–Farrell–Jones–Reich [BFJR04, Sec. 5] (equivariant coarse algebraic $K$-homology), [HP04] (coarse topological and algebraic $K$-theory and $L$-theory), or Weiss [Wei02] (algebraic $K$-theory of additive categories and retractive spaces) as entry points to the literature.

Given an entourage $U$ of a bornological coarse space $X$ we can form the Rips complex $P_{U}(X)$ at scale $U$, see Example 2.6. It is a simplicial complex which will be equipped with the path quasi metric induced by the spherical metric on its simplices. The metric induces a coarse and a uniform structure on $P_{U}(X)$, and the family of subsets $(P_{U}(B))_{B\in{\mathcal{B}}}$ (where ${\mathcal{B}}$ denotes the bornology of $X$) generates the bornology of the uniform bornological coarse space $P_{U}(X)$. There is a canonical embedding $X\hookrightarrow P_{U}(X)$ of $X$ into the zero skeleton of $P_{U}(X)$ which induces an equivalence of bornological coarse spaces $X_{U}\to F_{{\mathcal{U}}}(P_{U}(X))$, where $F_{{\mathcal{U}}}$ forgets the uniform structure.

On the one hand the family $(F_{{\mathcal{U}}}(P_{U}(X)))_{U\in{\mathcal{C}}}$ (where ${\mathcal{C}}$ denotes the coarse structure of $X$) of underlying bornological coarse spaces of the Rips complexes is coarsely equivalent to the constant family on $X$. One the other hand, forming the colimit of the motivic uniform bornological coarse spectra represented by the Rips complexes, we obtain a functor

[TABLE]

called the universal coarsification, see Definition 5.1. In detail,

[TABLE]

By Proposition 5.2 the functor $\mathbf{P}$ is a $\mathbf{Sp}{\mathcal{B}}$-valued coarse homology theory and can therefore be interpreted as a colimit preserving functor

[TABLE]

Pull-back along $\mathbf{P}$ associates to every ${\mathbf{C}}$-valued local homology theory $F$ a ${\mathbf{C}}$-valued coarse homology theory $F\mathbf{P}$, see Definition 5.3.

For a locally finite homology theory $H^{{l\!f}}$ the coarsification of the local homology theory $H^{{l\!f}}\circ F_{{\mathcal{C}},{\mathcal{U}}/2}$ induced from $H^{{l\!f}}$ coincides with the coarsification $QH^{{l\!f}}$ from [BE20, Def. 7.44] which we have discussed earlier, i.e., we have an equivalence

[TABLE]

We now state the main construction of this paper. Let $E\colon G\mathbf{BornCoarse}\to{\mathbf{C}}$ be a strong coarse homology theory. The cone construction gives rise to a fibre sequence

[TABLE]

of local homology theories $\mathbf{UBC}\to{\mathbf{C}}$. For the following definition we interpret (1.3) as a fibre sequence of colimit preserving functors $\mathbf{Sp}{\mathcal{B}}\to{\mathbf{C}}$.

Definition 1.2** (Definition 9.7).**

The coarse assembly map for $E$ is the natural transformation between coarse homology theories

[TABLE]

derived from the boundary map $\partial$ of the cone sequence (1.3) by precomposition with $\mathbf{P}$ and using the identification $\Sigma E\simeq\Sigma E\circ{\mathbf{F}}\circ\mathbf{P}$ (see Proposition 6.2).

1.2 Isomorphism results and computations

In Section 10 we study various conditions on the strong coarse homology theory $E$ and the bornological coarse space $X$ which imply that the coarse assembly map

[TABLE]

is an equivalence. Let us mention three results which are analogues of instances of the coarse Baum–Connes and the coarse Farrell–Jones conjecture. We refer to Section 10 for a detailed description of the assumptions occuring in the following theorems.

Let $X$ be a bornological coarse space and let $E\colon\mathbf{BornCoarse}\to{\mathbf{C}}$ be a strong coarse homology theory.

Theorem 1.3** (Theorem 10.4).**

If $X$ admits a cofinal set of entourages $U$ such that $X_{U}$ has finite asymptotic dimension, then the coarse assembly map $\mu_{E,X}$ is an equivalence.

Theorem 1.4** (Theorem 10.11).**

Assume:

${\mathbf{C}}$* is compactly generated.* 2. 2.

$E$* is weakly additive.* 3. 3.

$E$* admits transfers.* 4. 4.

$X$* admits a cofinal set of entourages $U$ such that $X_{U}$ has finite decomposition complexity.*

Then the coarse assembly map $\mu_{E,X}$ is an equivalence.

Let $K$ be a simplicial complex, and let $K_{d}$ be the corresponding uniform bornological coarse space whose structures are induced from the path quasi-metric induced by the spherical metric on the simplices. We say that $K_{d}$ is obtained from $K$ by equipping this complex with the metric structures. The symbol $F_{{\mathcal{U}}}(K_{d})$ denotes the underlying bornological coarse space of $K_{d}$.

Theorem 1.5** (Corollary 10.24).**

Assume:

${\mathbf{C}}$* is complete.* 2. 2.

$E$* is additive and admits transfers.* 3. 3.

$K$* has bounded geometry.* 4. 4.

$K_{d}$* is equicontinuously contractible.* 5. 5.

$K_{d}$* admits a coarse scaling.*

Then the coarse assembly map $\mu_{E,F_{{\mathcal{U}}}(K_{d})}$ is an equivalence.

Let $E\colon\mathbf{BornCoarse}\to{\mathbf{C}}$ be a strong coarse homology theory. Then $E{\mathcal{O}}^{\infty}$ is a local homology theory, but in general it seems to be difficult to understand its values. Fortunately, if $E$ is in addition additive, then on nice spaces it behaves like a locally finite homology theory. Concretely, we have the following result.

Let $X$ be a uniform bornological coarse space.

Proposition 1.6** (Proposition 11.23).**

Assume:

${\mathbf{C}}$* is complete.* 2. 2.

$E$* is additive.* 3. 3.

$X$* is homotopy equivalent in $\mathbf{UBC}$ to a countable, locally finite, finite-dimensional simplicial complex equipped with the metric structures.*

Then we have a natural equivalence

[TABLE]

The left-hand side of (1.4) is the value on the underlying topological bornological space of $X$ of the locally finite version of the homology represented by the object $\Sigma E(*)$, see Definition 11.1.

The next proposition is a consequence of Proposition 11.23 applied to Rips complexes. It provides, under appropriate conditions, a calculation of the domain of the coarse assembly map.

Let $E$ be a strong coarse homology theory and $X$ be a bornological coarse space.

Proposition 1.7** (Proposition 12.2).**

Assume:

${\mathbf{C}}$* is complete.* 2. 2.

$E$* is countably additive.* 3. 3.

$X$* has bounded geometry.*

Then we have a natural equivalence

[TABLE]

Note that $\mathbf{P}^{o}$ denotes the open version of the universal coarsification.

Assume that $E\to E^{\prime}$ is a natural transformation of strong coarse homology theories such that $E(*)\to E^{\prime}(*)$ is an equivalence. Then we can use Proposition 1.7 to show for a bornological coarse space $X$ that $E(X)\to E^{\prime}(X)$ is an equivalence if the assembly maps $\mu_{E,X}$ and $\mu_{E^{\prime},X}$ are equivalences, see Theorem 12.3. The precise statement is the following:

Theorem 1.8** (Theorem 12.3).**

Assume:

${\mathbf{C}}$* is complete.* 2. 2.

$E$* and $E^{\prime}$ are additive.* 3. 3.

$E(*)\to E^{\prime}(*)$* is an equivalence.* 4. 4.

$X$* has bounded geometry.* 5. 5.

The assembly maps $\mu_{E,X}$ and $\mu_{E^{\prime},X}$ are equivalences.

Then $E(X)\to E^{\prime}(X)$ is an equivalence.

It is tempting to apply Theorem 1.8 to the transformation $\mu_{E}\colon E{\mathcal{O}}^{\infty}\mathbf{P}\to\Sigma E$ in order to show that $\mu_{E,X}$ is an equivalence. But in view of Assumption 1.8.5 this would lead to a circular argument.

Acknowledgements

The authors were supported by the SFB 1085 “Higher Invariants” funded by the Deutsche Forschungsgemeinschaft DFG. The second named author was also supported by the Research Fellowship EN 1163/1-1 “Mapping Analysis to Homology” of the Deutsche Forschungsgemeinschaft DFG.

The first named author profited from many critical remarks by Denis-Charles Cisinski, Markus Land and the participants of the course on “Coarse Geometry” held in Regensburg in the years 2016/17, where parts of this material were first presented.

2 Uniform bornological coarse spaces

In this section we introduce the category of uniform bornological coarse spaces and then discuss some basic constructions and examples.

Let $X$ be a set. A bornology on $X$ is a subset ${\mathcal{B}}$ of the power set $\mathcal{P}_{X}$ which is closed under forming finite unions, taking subsets, and which contains all one-point sets. The elements of ${\mathcal{B}}$ are called the bounded subsets of $X$. A map between sets equipped with bornologies is said to be proper if preimages of bounded subsets are bounded.

A coarse structure on $X$ is a subset ${\mathcal{C}}$ of $\mathcal{P}_{X\times X}$ which contains the diagonal, is closed under forming finite unions and compositions (in the sense of correspondences), the symmetry, and taking subsets. The elements of ${\mathcal{C}}$ are called coarse entourages of $X$. A map between sets equipped with coarse structures is said to be controlled if it sends coarse entourages to coarse entourages.

A bornology ${\mathcal{B}}$ and a coarse structure ${\mathcal{C}}$ on the same set are said to be compatible if ${\mathcal{B}}$ is stable under forming thickenings by coarse entourages in ${\mathcal{C}}$ (see [BE20, Def. 2.6]).

A set equipped with compatible bornological and coarse structures is an object of the category $\mathbf{BornCoarse}$ of bornological coarse spaces. A morphism between bornological coarse spaces is a proper and controlled map. We refer to [BE20, Ch. 2] for a detailed study of the category $\mathbf{BornCoarse}$.

Finally, a uniform structure on a set $X$ is a subset ${\mathcal{U}}$ of $\mathcal{P}_{X\times X}$ which is closed under forming finite intersections, compositions, the symmetry, and taking supersets. In addition we require that every element $U$ of ${\mathcal{U}}$ contains the diagonal and admits a subset $V$ in ${\mathcal{U}}$ such that $V\circ V\subseteq U$ ($V\circ V$ denotes the composition of $V$ with itself). The elements of ${\mathcal{U}}$ are called uniform entourages. A uniform space is a set equipped with a uniform structure. A map between the underlying sets of uniform spaces is called uniformly continuous if preimages of uniform entourages are uniform entourages.

A uniform structure ${\mathcal{U}}$ and a coarse structure ${\mathcal{C}}$ on the same set are said to be compatible if ${\mathcal{U}}\cap{\mathcal{C}}\not=\emptyset$ (see [BE20, Def. 5.4]). For more details we refer to [BE20, Ch. 5.1] and [BEKW20, Sec. 9.1].

A bornological coarse space with an additional compatible uniform structure is called a uniform bornological coarse space. We let $\mathbf{UBC}$ denote the category of uniform bornological coarse spaces and proper, controlled and uniformly continuous maps.

A bornology ${\mathcal{B}}$ and a topology ${\mathcal{S}}$ on the same set $X$ are called compatible if ${\mathcal{B}}\cap{\mathcal{S}}$ is cofinal in ${\mathcal{B}}$, and ${\mathcal{B}}$ is closed under forming closures ([BE20, Def. 7.1]). A set with a bornology ${\mathcal{B}}$ and a compatible topology ${\mathcal{S}}$ is called a topological bornological space. We let $\mathbf{\mathbf{TopBorn}}$ be the category of topological bornological spaces and continuous and proper maps, see [BE20, Sec. 7.1.1].

A uniform structure ${\mathcal{U}}$ on a set naturally induces a topology generated by the $U$-thickenings $U[\{x\}]$ of the one-points sets for all $U$ in ${\mathcal{U}}$ and $x$ in $X$. We have a forgetful functor

[TABLE]

which forgets the coarse structure and only remembers the bornology and the topology induced from the uniform structure.

Let $(X,{\mathcal{U}})$ be a uniform space.

Definition 2.1**.**

The coarse structure associated to the uniform structure is defined by

[TABLE]

*Here ${\mathcal{C}}\langle\{V\}\rangle$ denotes the coarse structure generated by $V$ ([BE20, Ex. 2.12]). *

Example 2.2**.**

The coarse structure ${\mathcal{C}}({\mathcal{U}})$ is not necessarily compatible with the uniform structure ${\mathcal{U}}$, as the following example shows. We let $X:=\{0\}\cup\{1/n\>|\>n\in\mathbb{N}\}$. We further define the uniform structure ${\mathcal{U}}$ of $X$ to be the one induced from the metric on $X$ induced from the canonical inclusion $X\subseteq\mathbb{R}$. This uniform structure is generated by the uniform entourages $U_{r}$ for all $r>0$ given by $U_{r}:=\{(x,y)\in X\>|\>d(x,y)<r\}$. We now observe that ${\mathcal{C}}({\mathcal{U}})$ is the minimal coarse structure consisting of all subsets of the diagonal. It is not compatible with ${\mathcal{U}}$. ∎

Example 2.3**.**

The notion of a quasi-metric on a set is defined similary as the notion of a metric where one in addition allows that points have infinite distance. For example, a disjoint union of metric spaces is naturally a quasi-metric space. The definition of a coarse structure associated to a metric [BE20, Ex. 2.18] generalizes immediately to the case of quasi-metric spaces. Similarly, a quasi-metric also induces a uniform structure.

We consider a quasi-metric space with the induced coarse and uniform structures ${\mathcal{C}}$ and ${\mathcal{U}}$. They are compatible. If the space is in addition a path quasi-metric space (i.e. each path component is a path metric space, and different path components have infinite distance to each other), then we have the equality ${\mathcal{C}}={\mathcal{C}}({\mathcal{U}})$. In particular, in this case ${\mathcal{C}}({\mathcal{U}})$ is compatible with ${\mathcal{U}}$. ∎

Remark 2.4**.**

A map between metric spaces $f:(X,d)\to(X^{\prime},d^{\prime})$ is called uniformly continuous if for every $\delta$ in $(0,\infty)$ there exists an $\epsilon$ in $(0,\infty)$ such that for all pairs of points $x,y$ of $X$ with $d(x,y)\leq\epsilon$ we have $d(f(x),f(y))\leq\delta$. A uniformly continuous map between metric spaces in this sense is uniformly continuous as a map between the associated uniform spaces. ∎

Example 2.5**.**

Let $X$ be a simplicial complex. Then $X$ has a canonical spherical path quasi metric which induces a coarse structure ${\mathcal{C}}$ and a compatible uniform structure ${\mathcal{U}}$.

A choice of a set $A$ of sub-complexes generates a bornology ${\mathcal{B}}\coloneqq{\mathcal{B}}\langle A\rangle$. It is compatible with the coarse structure if for every entourage $U$ in ${\mathcal{C}}$ and every sub-complex $K$ in $A$ there exists another sub-complex $K^{\prime}$ in $A$ with $U[K]\subseteq K^{\prime}$. The triple $(X,{\mathcal{C}},{\mathcal{B}},{\mathcal{U}})$ is a uniform bornological coarse space.

If $X^{\prime}$ is a second simplicial complex with a choice of a set $A^{\prime}$ of sub-complexes and $f\colon X\to X^{\prime}$ is a simplicial map such that for every $Y^{\prime}$ in $A^{\prime}$ we have $f^{-1}(Y^{\prime})\in{\mathcal{B}}\langle A\rangle$, then $f$ is a morphism of uniform bornological coarse spaces. ∎

Example 2.6**.**

If $X$ is a bornological coarse space and $U$ is a coarse entourage of $X$, then we consider the simplicial complex $P_{U}(X)$ of probability measures on $X$ which have finite, $U$-bounded support. For a subset $Y$ of $X$ we let $P_{U}(Y)$ denote the sub-complex of $P_{U}(X)$ of measures supported on $Y$. We let $A$ be the set of sub-complexes $P_{U}(B)$ for all bounded subsets $B$ of $X$. The constructions explained in Example 2.5 turn $P_{U}(X)$ into a uniform bornological coarse space.

Let $f\colon X\to X^{\prime}$ be a morphism between bornological coarse spaces. Then there exists a coarse entourage $U^{\prime}$ of $X^{\prime}$ such that $(f\times f)(U)\subseteq U^{\prime}$. The push-forward of measures provides a morphism $P_{U}(X)\to P_{U^{\prime}}(X^{\prime})$ between uniform bornological coarse spaces in a functorial way. ∎

Example 2.7**.**

Let $X$ be a uniform bornological coarse space. If $Y$ is a subset of $X$, then $Y$ has an induced uniform bornological coarse structure. If not said differently, we will always consider subsets with the induced structures. The inclusion $Y\to X$ is then a morphism between uniform bornological coarse spaces. ∎

3 Local homology theories

In this section we introduce the notion of a local homology theory. We will actually consider two variants which are distinguished by the details of the excision axiom which involves closed or open decompositions.

Remark 3.1**.**

The reason for considering two variants is that we want to apply the theory to two examples with different properties. On the one hand, analytic $K$-homology naturally satisfies excision for closed decompositions [BE20, Prop. 7.62] (applied to $K^{\mathit{an},{l\!f}}$). On the other hand, the suspension spectrum functor $\Sigma^{\infty}_{+}$ naturally satisfies open excision [BE20, Ex. 7.40]. ∎

Let $(X,{\mathcal{U}})$ be a uniform space, and let $A$ and $B$ be subsets of $X$ with $A\cup B=X$.

Definition 3.2**.**

$(A,B)$* is called a closed (or open) decomposition, if $A$ and $B$ are closed (resp. open).*

For an entourage $U$ let $\mathcal{P}_{X\times X}^{\subseteq U}$ denote the set of elements of $\mathcal{P}_{X\times X}$ (the power set of $X\times X$) which are contained in $U$. The following is taken from [BE20, Def. 5.19]:

Definition 3.3**.**

The pair $(A,B)$ is a uniformly excisive decomposition of $X$ if there exists a uniform entourage $U$ and a function $\kappa\colon\mathcal{P}_{X\times X}^{\subseteq U}\to\mathcal{P}_{X\times X}$ such that:

The restriction of $\kappa$ to ${\mathcal{U}}\cap\mathcal{P}_{X\times X}^{\subseteq U}$ is ${\mathcal{U}}$-admissible (see Remark 3.4). 2. 2.

For every $W$ in $\mathcal{P}_{X\times X}^{\subseteq U}$ we have $W[A]\cap W[B]\subseteq\kappa(W)(A\cap B)$.

Remark 3.4**.**

Note that in Definition 3.3 we consider $\mathcal{P}_{X\times X}^{\subseteq U}$ and $\mathcal{P}_{X\times X}$ as partially ordered sets with the order relation given by the opposite of the inclusion relation. By definition, a function between partially ordered sets is order preserving.

Condition 3.3.1 means that for every $V$ in ${\mathcal{U}}$ there exists $W$ in ${\mathcal{U}}\cap\mathcal{P}_{X\times X}^{\subseteq U}$ such that $\kappa(W)\subseteq V$. ∎

For a coarse space $(X,{\mathcal{C}})$ the notion of a coarsely excisive decomposition [BE20, Def. 3.40] is defined similarly. We again consider two subsets $A$ and $B$ of $X$ such that $X=A\cup B$.

Definition 3.5**.**

The pair $(A,B)$ is a coarsely excisive decomposition of the space $X$ if for every $V$ in ${\mathcal{C}}$ there exists a $W$ in ${\mathcal{C}}$ such that we have $V[A]\cap V[B]\subseteq W(A\cap B)$.

Let $(X,{\mathcal{U}})$ be a uniform space.

Lemma 3.6**.**

If ${\mathcal{C}}({\mathcal{U}})$ is compatible with ${\mathcal{U}}$, then any uniformly excisive decomposition $(A,B)$ of $X$ is coarsely excisive for the coarse structure ${\mathcal{C}}({\mathcal{U}})$.

Proof.

Let $U$ and $\kappa$ be as in Definition 3.3. Since ${\mathcal{C}}({\mathcal{U}})$ is compatible with ${\mathcal{U}}$, after replacing $U$ by a smaller uniform entourage if necessary, we can assume that $U$ is also a coarse entourage, and that $\kappa(W)$ is a coarse entourage for every $W$ in ${\mathcal{U}}\cap\mathcal{P}_{X\times X}^{\subseteq U}$.

Let $V$ be an entourage in ${\mathcal{C}}({\mathcal{U}})$. Then there exists an integer $n$ such that $V\subseteq U^{n}$. We claim that

[TABLE]

Let $z$ be a point in $V[A]\cap V[B]$. Then there exists integers $r$ and $s$ with $r\leq n$ and $s\leq n$ and a sequence of points $(x_{0},\dots,x_{r+s})$ in $X$ such that $x_{0}\in A$, $x_{r+s}\in B$, and $(x_{i},x_{i+1})\in U$ for all $i=0,\dots,r+s-1$. There exists $i_{0}$ in $\{0,\dots,r+s-1\}$ such that $x_{i_{0}}\in A$ and $x_{i_{0}+1}\in B$. But then $x_{i_{0}+1}\in U[x_{i}]$, i.e., $x_{i_{0}+1}\in U[A]\cap U[B]$. Since $(A,B)$ is uniformly excisive by assumption there exists a point $y$ in $A\cap B$ such that $(x_{i_{0}+1},y)\in\kappa(U)$. This now implies that $z\in(U^{2n+1}\circ\kappa(U))(A\cap B)$ as asserted. ∎

Example 3.7**.**

On a path quasi-metric space every closed decomposition is coarsely and uniformly excisive [BE20, Ex. 5.21]. ∎

Let ${\mathbf{C}}$ be a cocomplete stable $\infty$-category and consider a functor $E\colon\mathbf{UBC}\to{\mathbf{C}}$.

Definition 3.8**.**

We say that $E$ satisfies closed (open) excision if $E(\emptyset)\simeq 0$ and for every uniform bornological coarse space $X$ and uniformly and coarsely excisive closed (open) decomposition $(A,B)$ of $X$ the square

[TABLE]

is cocartesian.

The categories $\mathbf{BornCoarse}$ and $\mathbf{UBC}$ have symmetric monoidal structures denoted by $\otimes$ (see [BE20, Ex. 2.32] for the latter) such that the forgetful functor $\mathbf{UBC}\to\mathbf{BornCoarse}$ has a symmetric monoidal refinement and the underlying uniform space of a tensor product is a cartesian product of the underlying uniform space of the factors.

The unit interval $[0,1]$ has a canonical uniform bornological coarse structure (the maximal coarse and bornological structure, and the metric uniform structure). The product $[0,1]\otimes X$ is now defined, and the projection $[0,1]\otimes X\to X$ is a morphism of uniform bornological coarse spaces since $[0,1]$ is bounded.

Let $E\colon\mathbf{UBC}\to{\mathbf{C}}$ be a functor.

Definition 3.9**.**

We say that $E$ is homotopy invariant if for every uniform bornological coarse space $X$ the morphism $E([0,1]\otimes X)\to E(X)$ induced by the projection is an equivalence.

A homotopy between morphisms $f_{0},f_{1}:X\to Y$ of uniform bornological coarse spaces is a morphism $h:[0,1]\otimes X\to Y$ which restricts to $f_{i}$ at the endpoints of the interval. If $E$ is homotopy invariant, then for homotopic morphisms $f_{0},f_{1}$ we have $E(f_{0})\simeq E(f_{1})$.

A uniform bornological coarse space $X$ is called flasque with flasqueness implemented by a morphism $f\colon X\to X$ if $f$ implements flasqueness in the sense of bornological coarse spaces [BE20, Def. 3.21] and $f$ is in addition homotopic to the identity.

Let $E\colon\mathbf{UBC}\to{\mathbf{C}}$ be a functor.

Definition 3.10**.**

We say that $E$ vanishes on flasques if $E(X)\simeq 0$ for every flasque uniform bornological coarse space $X$.

Let $X$ be a uniform bornological coarse space and $U$ be an entourage which is both coarse and uniform. Then for every coarse entourage $V$ such that $U\subseteq V$ we can replace the coarse structure by the coarse structure generated by $V$ and obtain a uniform bornological coarse space $X_{V}$. Hence, for a uniform bornological coarse space $X$ the uniform bornological coarse space $X_{V}$ is well-defined for sufficiently large coarse entourages $V$. We have a canonical morphism $X_{V}\to X$ given by the identity of the underlying sets. Hence the colimit and the canonical morphism in the following definition have a well-defined interpretation.

Let $E\colon\mathbf{UBC}\to{\mathbf{C}}$ be a functor.

Definition 3.11**.**

We say that $E$ is $u$-continuous if for every uniform bornological coarse space $X$ the canonical morphism $\mathrm{colim}_{V\in{\mathcal{C}}}E(X_{V})\to E(X)$ is an equivalence.

Let ${\mathbf{C}}$ be a cocomplete stable $\infty$-category, and let $E:\mathbf{UBC}\to{\mathbf{C}}$ be a functor.

Definition 3.12**.**

$E$* is called a closed (open) local homology theory if the following conditions are satisfied:*

$E$* satisfies closed (open) excision.* 2. 2.

$E$* is homotopy invariant.* 3. 3.

$E$* vanishes on flasques.* 4. 4.

$E$* is $u$-continuous.*

We have a forgetful functor

[TABLE]

which forgets the uniform structure.

Let $E:\mathbf{BornCoarse}\to{\mathbf{C}}$ be a functor.

Lemma 3.13**.**

If $E$ is a coarse homology theory, then $E\circ F_{{\mathcal{U}}}\colon\mathbf{UBC}\to{\mathbf{C}}$ is a closed and open local homology theory.

Proof.

It follows from the definition of a coarse homology theory [BE20, Def. 4.22] that $E\circ F_{{\mathcal{U}}}$ is homotopy invariant, $u$-continuous, and vanishes on flasques. The functor $F_{{\mathcal{U}}}$ sends uniformly and coarsely excisive closed or open decompositions to coarsely excisive ones. Hence by [BE20, Cor. 4.28] the composition $E\circ F_{{\mathcal{U}}}$ is excisive. ∎

Remark 3.14**.**

The reason that the proof of the Lemma 3.13 is not completely trivial is that excision for coarse homology theories was not defined in terms of coarsely excisive decompositions but with complementary pairs, see [BE20, Def. 4.22.1]. Our main reason for doing this was that the intersection of a coarsely excisive decomposition with a subset needs not to be coarsely excisive, while the intersection with subsets preserves complementary pairs. ∎

A locally finite homology theory in the sense of [BE20, Def. 7.27] is a functor $\mathbf{\mathbf{TopBorn}}\to{\mathbf{C}}$ with a complete and cocomplete stable target which is homotopy invariant, locally finite and satisfies weak excision [BE20, Def. 7.26]. It will will be called closed or open if it satisfies excision for closed or open, respectively, decompositions.

Example 3.15**.**

An example of a closed spectrum-valued locally finite homology theory is the analytic $K$-homology $K^{\mathit{an},{l\!f}}$ constructed in [BE20, Def. 7.66].

An example of a locally finite homology theory satisfying open excision is the locally finite version of stable homotopy $\Sigma^{\infty}_{+}(-)^{{l\!f}}$, see [BE20, Ex. 7.40]. ∎

We assume that ${\mathbf{C}}$ is a complete and cocomplete stable $\infty$-category. Let $E\colon\mathbf{\mathbf{TopBorn}}\to{\mathbf{C}}$ be a locally finite homology theory.

Lemma 3.16**.**

If $E$ is closed (open), then $E\circ F_{{\mathcal{C}},{\mathcal{U}}/2}$ is a closed (open) local homology theory.

Proof.

Homotopy invariance of $E$ implies homotopy invariance of $E\circ F_{{\mathcal{C}},{\mathcal{U}}/2}$. The functor $F_{{\mathcal{U}}}$ sends uniformly and coarsely excisive closed (open) decompositions to closed (open) decompositions. Since we assume that $E$ is closed (open) the composition $E\circ F_{{\mathcal{C}},{\mathcal{U}}/2}$ satisfies closed (open) excision. Since $F_{{\mathcal{C}},{\mathcal{U}}/2}$ forgets the coarse structure, the composition $E\circ F_{{\mathcal{C}},{\mathcal{U}}/2}$ is $u$-continuous.

The functor $F_{{\mathcal{C}},{\mathcal{U}}/2}$ sends flasque uniform bornological coarse space to topological bornological spaces which are flasque in the sense of [BE20, Def. 7.19]. Since $E$ vanishes on flasque topological bornological spaces by [BE20, Lem. 7.21] we conclude that $E\circ F_{{\mathcal{C}},{\mathcal{U}}/2}$ vanishes on flasques. ∎

4 Motives and the universal local homology theory

In this section we construct the universal closed and open local homology theories. We will write out the details for the closed case. The open case is completely analogous and is obtained by replacing the word “closed” by the word “open” at the appropriate places.

The construction of the universal local homology theories is completely analogous to the construction of the universal coarse homology theory carried out in [BE20, Sec. 3 & 4]. We keep the present section as short as possible and refer to [BE20] for more background and references to the $\infty$-category literature.

Remark 4.1**.**

In order to fix set-theoretic size issues we fix a sequence of three Grothendieck universes whose elements will be called very small sets, small sets, and large sets, respectively. The geometric objects in $\mathbf{BornCoarse}$, $\mathbf{TopBorn}$ or $\mathbf{UBC}$, and the indexing families of big familes, etc. are assumed to belong to the very small universe. The three categories themselves are small.

For a small $\infty$-category ${\mathbf{D}}$ we use the standard notation

[TABLE]

for the presentable $\infty$-category of space-valued presheaves, where $\mathbf{Spc}$ is the large category of small spaces. The $\infty$-category ${\mathbf{PSh}}({\mathbf{D}})$ is large. If ${\mathbf{D}}$ is an ordinary category, then we consider it as an $\infty$-category using the nerve.

If not said differently, completeness or cocompleteness requires the existence of all limits or colimits indexed by very small index categories, respectively. ∎

Let $E$ be in ${\mathbf{PSh}}(\mathbf{UBC})$.

Definition 4.2**.**

$E$* satisfies closed descent if $E(\emptyset)\simeq*$ and for any uniform bornological coarse space $X$ and uniformly and coarsely excisive closed decomposition $(A,B)$ of $X$ the square*

[TABLE]

is cartesian.

Definition 4.3**.**

We let ${\mathbf{Sh}}(\mathbf{UBC})$ be the full subcategory of ${\mathbf{PSh}}(\mathbf{UBC})$ of presheaves which satisfy closed descent. Its objects will be called sheaves.

Lemma 4.4**.**

We have a localization

[TABLE]

Proof.

We use the theory developed in [Lur09, 5.5.4]. We let $Y\colon\mathbf{UBC}\to{\mathbf{PSh}}(\mathbf{UBC})$ denote the Yoneda embedding. For every $X$ in $\mathbf{UBC}$ and uniformly and coarsely excisive closed decomposition $(A,B)$ of $X$ we consider the morphism

[TABLE]

in ${\mathbf{PSh}}(\mathbf{UBC})$. Furthermore we consider $\emptyset\to Y(\emptyset)$. Then by definition ${\mathbf{Sh}}(\mathbf{UBC})$ is the full subcategory of ${\mathbf{PSh}}(\mathbf{UBC})$ of objects which are local with respect to the small set of all such maps. The existence of the localization now follows from [Lur09, 5.5.4.15]. ∎

Lemma 4.5**.**

For every uniform bornological coarse space $X$ the presheaf $Y(X)$ satisfies descent.

Proof.

See [BE20, Lem. 3.12] for a similar argument. ∎

Let $E$ be in ${\mathbf{Sh}}(\mathbf{UBC})$.

Definition 4.6**.**

$E$* is homotopy invariant if for any uniform bornological coarse space $X$ the morphism $E(X)\to E([0,1]\otimes X)$ induced by the projection is an equivalence.*

We let ${\mathbf{Sh}}^{h}(\mathbf{UBC})$ denote the full subcategory of ${\mathbf{Sh}}(\mathbf{UBC})$ of homotopy invariant sheaves.

Lemma 4.7**.**

We have a localization

[TABLE]

Proof.

For every $X$ in $\mathbf{UBC}$ we consider the map $Y([0,1]\otimes X)\to Y(X)$ in ${\mathbf{Sh}}(\mathbf{UBC})$ (using Lemma 4.5). Then ${\mathbf{Sh}}^{h}(\mathbf{UBC})$ is the full subcategory of ${\mathbf{Sh}}(\mathbf{UBC})$ of all objects which are local with respect to the small set of all such maps. The existence of the localization now follows from [Lur09, 5.5.4.15]. ∎

We call ${\mathcal{H}}$ the homotopification.

Let $E$ be in ${\mathbf{Sh}}^{h}(\mathbf{UBC})$ and let $*^{h}$ denote a final object of ${\mathbf{Sh}}^{h}(\mathbf{UBC})$.

Definition 4.8**.**

We say that $E$ vanishes on flasques if for every flasque uniform bornological coarse space $X$ we have an equivalence $E(X)\simeq*^{h}$.

We let ${\mathbf{Sh}}^{h,\mathit{fl}}(\mathbf{UBC})$ denote the full subcategory of ${\mathbf{Sh}}^{h}(\mathbf{UBC})$ of homotopy invariant sheaves which vanish on flasques.

Lemma 4.9**.**

We have a localization

[TABLE]

Proof.

Let $\emptyset^{h}$ denote an initial object of ${\mathbf{Sh}}^{h}(\mathbf{UBC})$. For every flasque $X$ in $\mathbf{UBC}$ we consider the morphism $\emptyset^{h}\to{\mathcal{H}}(Y(X))$ in ${\mathbf{Sh}}^{h}(\mathbf{UBC})$. Then by definition ${\mathbf{Sh}}^{h,\mathit{fl}}(\mathbf{UBC})$ is the full subcategory of ${\mathbf{Sh}}^{h}(\mathbf{UBC})$ of objects which are local with respect to the small set of all such maps. The existence of the localization now follows from [Lur09, 5.5.4.15]. ∎

For a uniform bornological coarse space $X$ let $\tilde{\mathcal{C}}$ denote the subset of coarse entourages which are also uniform. Note that this subset is cofinal in ${\mathcal{C}}$.

Let $E$ be in ${\mathbf{Sh}}^{h,\mathit{fl}}(\mathbf{UBC})$.

Definition 4.10**.**

We say that $E$ is $u$-continuous if for every uniform bornological coarse space $X$ the natural morphism $E(X)\to\operatorname*{\mathtt{lim}}_{U\in\tilde{\mathcal{C}}}E(X_{U})$ is an equivalence.

We let ${\mathbf{Sh}}^{h,\mathit{fl},u}(\mathbf{UBC})$ denote the full subcategory of ${\mathbf{Sh}}^{h,fl}(\mathbf{UBC})$ of homotopy invariant sheaves which vanish on flasques and are $u$-continuous.

Lemma 4.11**.**

We have an adjunction

[TABLE]

Proof.

For every $X$ in $\mathbf{UBC}$ we consider the morphism

[TABLE]

in ${\mathbf{Sh}}^{h,\mathit{fl}}(\mathbf{UBC})$. Then by definition ${\mathbf{Sh}}^{h,\mathit{fl},u}(\mathbf{UBC})$ is the full subcategory of objects which are local with respect to the small set of all maps as above. The existence of the localization now follows from [Lur09, 5.5.4.15]. ∎

Corollary 4.12**.**

The $\infty$-categories from above, i.e., ${\mathbf{Sh}}(\mathbf{UBC})$, ${\mathbf{Sh}}^{h}(\mathbf{UBC})$, ${\mathbf{Sh}}^{h,\mathit{fl}}(\mathbf{UBC})$ and ${\mathbf{Sh}}^{h,\mathit{fl},u}(\mathbf{UBC})$ are all presentable.

Definition 4.13**.**

We call ${\mathbf{Sh}}^{h,\mathit{fl},u}(\mathbf{UBC})$ the category of closed motivic uniform bornological coarse spaces and use the notation $\mathbf{Spc}{\mathcal{B}}$.

The following process of stabilization is analogous to the one described in [BE20, Sec. 4.1].

Definition 4.14**.**

We define the stable $\infty$-category of closed motivic uniform bornological coarse spectra $\mathbf{Sp}{\mathcal{B}}$ as the stabilization of $\mathbf{Spc}{\mathcal{B}}$ in the world of the presentable stable $\infty$-categories and left-adjoint functors.

We have a canonical functor

[TABLE]

By construction the category $\mathbf{Sp}{\mathcal{B}}$ is a presentable stable $\infty$-category.

We have a functor

[TABLE]

In view of Lemma 4.5 we could omit $L$ in this composition. For a uniform bornological coarse space $X$ we call $\mathrm{Yo}{\mathcal{B}}^{s}(X)$ the closed motive of $X$.

By construction the functor $\mathrm{Yo}{\mathcal{B}}^{s}$ is a $\mathbf{Sp}{\mathcal{B}}$-valued closed local homology theory. It is in fact the universal closed local homology theory.

Remark 4.15**.**

In order to distinguish the open case (constructed in an analogous manner using open decompositions in Definition 4.3) from the closed case we will use the notation

[TABLE]

for the corresponding functor in the open case. ∎

Corollary 4.16**.**

If ${\mathbf{C}}$ is a stable, small cocomplete $\infty$-category, then precomposition with $\mathrm{Yo}{\mathcal{B}}^{s}$ induces an equivalence between the $\infty$-categories of ${\mathbf{C}}$-valued closed local homology theories and small colimit preserving functors $\mathbf{Sp}{\mathcal{B}}\to{\mathbf{C}}$.

Remark 4.17**.**

If ${\mathbf{C}}$ is presentable, then the assertion of Corollary 4.16 is immediate from the universal properties of the localizations leading to ${\mathbf{Sh}}^{h,\mathit{fl},u}(\mathbf{UBC})$ and the process of stabilization. For the general case see [BE20, Lem. 4.4] and the discussion before. ∎

For a closed local homology theory $E$ we use the notation $E$ also to denote the corresponding colimit preserving functor $\mathbf{Sp}{\mathcal{B}}\to{\mathcal{C}}$.

Remark 4.18**.**

The existence of non-trivial closed local homology theories (see Lemma 3.13 and Lemma 3.16) shows that the category $\mathbf{Sp}{\mathcal{B}}$ is non-trivial. ∎

5 The universal coarsification functor $\mathbf{P}$

In this section we extend the construction given in Example 2.6 to a coarse homology theory $\mathbf{P}$ called the universal coarsification.

Let $\mathbf{BornCoarse}^{{\mathcal{C}}}$ be the category of pairs $(X,U)$ of bornological coarse spaces $X$ and coarse entourages $U$ of $X$. A morphisms $f\colon(X,U)\to(X^{\prime},U^{\prime})$ is a morphism $f\colon X\to X^{\prime}$ of bornological coarse spaces such that $(f\times f)(U)\subseteq U^{\prime}$. By Example 2.6 we have a functor

[TABLE]

which sends $(X,U)$ to the uniform bornological coarse space $P(X,U)$ associated to the simplical complex $P_{U}(X)$ and the family $A$ of sub-complexes $P_{U}(B)$ for all bounded subsets $B$ of $X$. We furthermore have a forgetful functor

[TABLE]

which sends the pair $(X,U)$ to $X$.

Definition 5.1**.**

We define the universal coarsification functor $\mathbf{P}\colon\mathbf{BornCoarse}\to\mathbf{Sp}{\mathcal{B}}$ as the left Kan-extension

[TABLE]

By the following proposition we can interpret $\mathbf{P}$ also as a colimit preserving functor

[TABLE]

Proposition 5.2**.**

The universal coarsification functor $\mathbf{P}$ is a $\mathbf{Sp}{\mathcal{B}}$-valued coarse homology theory.

Proof.

We verify the axioms for a coarse homology theory [BE20, Def. 4.22]. If $X$ is a bornological coarse space with coarse structure ${\mathcal{C}}$, then by the point-wise formula for the left Kan extension

[TABLE]

We have equivalences

[TABLE]

where for the second equivalence we use a cofinality consideration. Hence $\mathbf{P}$ is $u$-continuous.

Consider two morphisms $f_{0},f_{1}\colon(X,U)\to(X^{\prime},U^{\prime})$ in $\mathbf{BornCoarse}^{{\mathcal{C}}}$. If $f_{0}$ and $f_{1}$ are $U^{\prime}$-close to each other, i.e., $(f_{0},f_{1})({\mathtt{diag}}(X))\subseteq U^{\prime}$, then $P(f_{0})$ and $P(f_{1})$ are homotopic and $\mathrm{Yo}{\mathcal{B}}^{s}(P(f_{0}))\simeq\mathrm{Yo}{\mathcal{B}}^{s}(P(f_{1}))$ by the homotopy invariance of $\mathrm{Yo}{\mathcal{B}}^{s}$. This implies that $\mathbf{P}$ is coarsely invariant.

Note that $\mathbf{P}(\emptyset)\simeq\mathrm{Yo}{\mathcal{B}}^{s}(\emptyset)\simeq 0$. Let $(X,U)$ be an object of $\mathbf{BornCoarse}^{{\mathcal{C}}}$ such that $U$ contains the diagonal of $X$. For a subset $Y$ of $X$ note that $P_{U}(Y)$ is a closed subset of $P_{U}(X)$. If $(Z,{\mathcal{Y}})$ with ${\mathcal{Y}}=(Y_{i})_{i\in I}$ is a complementary pair, then for every $i,j$ in $I$ such that $Z\cup Y_{i}=X$ and $U[Y_{i}]\subseteq Y_{j}$ the pair $(P_{U}(Z),P_{U}(Y_{j}))$ is a closed decomposition of the path quasi-metric space $P_{U}(X)$ and hence uniformly and coarsely excisive (see Example 3.7). For sufficiently large $j$ in $I$ and since $\mathrm{Yo}{\mathcal{B}}^{s}$ is excisive in the sense of Definition 3.8 for closed uniformly and coarsely excisive decompositions we get a cocartesian square

[TABLE]

We form the colimit over $j$ in $I$ and over $U$ in the coarse structure of $X$. The lower right corner yields $\mathbf{P}(X)$. For the lower left corner we first take the $U$-colimit and then the $j$-colimit. Then we obtain the object $\mathbf{P}({\mathcal{Y}})$. In the upper right corner we get $\mathbf{P}(Z)$. For the upper left corner we note that $P_{U}(Z)\cap P_{U}(Y_{j})=P_{U}(Z\cap Y_{j})$ and finally get $\mathbf{P}(Z\cap{\mathcal{Y}})$. Since we have exhibited the square

[TABLE]

as a colimit of cocartesian squares it is cocartesian itself. In view of [BE20, Rem. 4.23] we can conclude that the functor $\mathbf{P}$ satisfies excision.

Finally, assume that a bornological coarse space $X$ is flasque with flasqueness implemented by $f\colon X\to X$. Let $U$ be an entourage of $X$ such that ${\mathtt{id}}_{X}$ and $f$ are $U$-close to each other. Then $V\coloneqq\bigcup_{n\in{\rm Nature}}(f^{n}\times f^{n})(U)$ is again an entourage of $X$ which contains $U$. Now note that $(f\times f)(V)\subseteq V$. Therefore $P(f):P(X,V)\to P(X,V)$ is defined. This map implements flasqueness of $P(X,V)$, hence $\mathrm{Yo}{\mathcal{B}}^{s}(P(X,V))\simeq 0$. In view of (5.2) by cofinality we see that $\mathbf{P}$ vanishes on flasques. ∎

If $E$ be a closed ${\mathbf{C}}$-valued local homology theory, then we can define the coarse homology theory

[TABLE]

Definition 5.3**.**

The coarse homology theory $E\mathbf{P}$ will be called the coarsification of $E$.

Example 5.4**.**

In Example 3.16 we have seen that for any closed locally finite homology theory $E\colon\mathbf{\mathbf{TopBorn}}\to{\mathbf{C}}$ we get a closed local homology theory $E\circ F_{{\mathcal{C}},{\mathcal{U}}/2}\colon\mathbf{UBC}\to{\mathbf{C}}$. The coarsification $(E\circ F_{{\mathcal{C}},{\mathcal{U}}/2})\mathbf{P}$ is equivalent to the coarse homology theory $QE$, which is the coarsification of $E$ from [BE20, Def. 7.44]. ∎

Remark 5.5**.**

Proposition 5.2 is also true (with a slightly different argument for excision using open tubular neighbourhoods of the subsets and in addition homotopy invariance) if we work with $\mathbf{Sp}{\mathcal{B}}^{o}$ instead of $\mathbf{Sp}{\mathcal{B}}$. ∎

Using the open version we can define the coarsification

[TABLE]

for open local homology theories $E$.

Lemma 5.6**.**

If $E\colon\mathbf{UBC}\to{\mathbf{C}}$ is a closed and open local homology theory, then we have an equivalence $E\mathbf{P}^{o}\simeq E\mathbf{P}$.

Proof.

Let $X$ be in $\mathbf{BornCoarse}$ with coarse structure ${\mathcal{C}}$. We can view $E$ as a colimit preserving functor $\mathbf{Sp}{\mathcal{B}}\to{\mathbf{C}}$ and also $\mathbf{Sp}{\mathcal{B}}^{o}\to{\mathbf{C}}$. The chain

[TABLE]

gives now the desired equivalence. ∎

6 From coarse to local homology theories via ${\mathbf{F}}$

In this section we refine the forgetful functor $F_{{\mathcal{U}}}\colon\mathbf{UBC}\to\mathbf{BornCoarse}$ from (3.1) to a local homology theory. We define

[TABLE]

Lemma 6.1**.**

${\mathbf{F}}$* is a closed and open local homology theory.*

Proof.

The proof is straightforward and similar to the one of Lemma 3.13. ∎

We get a colimit-preserving functor

[TABLE]

For a ${\mathbf{C}}$-valued coarse homology theory $E$ we write

[TABLE]

for the associated local homology theory (compare with Lemma 3.13 where the notation $E\circ F_{{\mathcal{U}}}$ was used).

Proposition 6.2**.**

We have a canonical equivalence

[TABLE]

Proof.

We have a functor

[TABLE]

that is defined on objects by $I(X,U)\coloneqq X_{U}$. By $u$-continuity of $\mathrm{Yo}^{s}$ the left Kan extension of $\mathrm{Yo}^{s}\circ I$ along $F_{{\mathcal{C}}}$ (see (5.1) for the definition of $F_{{\mathcal{C}}}$) is equivalent to $\mathrm{Yo}^{s}$. Let $(X,U)$ be in $\mathbf{BornCoarse}^{{\mathcal{C}}}$. Dirac measures provide a canonical inclusion $X\to P_{U}(X)$ of sets. This map is an equivalence

[TABLE]

of bornological coarse spaces. Hence we get an equivalence of functors from $\mathbf{BornCoarse}^{{\mathcal{C}}}$ to $\mathbf{Sp}{\mathcal{X}}$

[TABLE]

Since ${\mathbf{F}}$ is colimit preserving, the equivalence (6.5) induces an equivalence of left Kan extensions along $F_{{\mathcal{C}}}$:

[TABLE]

We finally interpret $\mathbf{P}$ as a colimit preserving functor $\mathbf{Sp}{\mathcal{X}}\to\mathbf{Sp}{\mathcal{B}}$ to get the desired equivalence. ∎

Corollary 6.3**.**

Every coarse homology theory $E$ is equivalent to the coarsification of the closed local homology theory $E{\mathbf{F}}$. Similarly, every morphism between coarse homology theories is induced by coarsification from a morphism between the associated closed local homology theories.

7 Coarsifying spaces

Under certain finiteness conditions on the uniform bornological coarse space $X$ we can construct a morphism

[TABLE]

called the comparison morphism. We will furthermore show that it is an equivalence for simplicial complexes of bounded geometry which are uniformly contractible. Part of the material here is inspired by Roe [Roe96, Ch. 2, Part “Coarse algebraic topology”].

Let $X$ be a coarse space with a uniform structure.

Definition 7.1**.**

We say that the uniform structure is numerable if there is an entourage $U$ which is both coarse and uniform, and an equicontinuous and uniformly point-wise locally finite partition of unity $(\chi_{\alpha})_{\alpha\in A}$ such that ${\mathtt{supp}}(\chi_{\alpha})$ is $U$-bounded for all $\alpha$ in $A$.

Remark 7.2**.**

Here uniform point-wise local finiteness means that

[TABLE]

The condition of equicontinuity requires that for every positive real number $\varepsilon$ there exists a uniform entourage $V$ of $X$ such that for all $\alpha$ in $A$ and $(x,x^{\prime})$ in $V$ we have the inequality $|\chi_{\alpha}(x)-\chi_{\alpha}(x^{\prime})|\leq\varepsilon$. ∎

Let $X$ be a simplicial complex with the coarse and uniform structures both induced from the spherical path quasi metric.

Lemma 7.3**.**

If $X$ is finite-dimensional, then $X$ is numerable.

Proof.

We consider the entourage $U_{2}$ of width $2$. We define the equicontinuous partition of unity $(\chi_{v})_{v\in X^{(0)}}$ using the baricentric coordinates of the simplices, where $X^{(0)}$ is the set of vertices of $X$. If $\sigma$ is a simplex in $X$ and $x$ is a point in the interior of $\sigma$, then $\chi_{v}(x)\not=0$ exactly if $v$ is a vertex of $\sigma$. Hence for every point $x$ the number of vertices $v$ of $X$ with $\chi_{v}(x)\not=0$ is bounded by $\dim(X)+1$.

The support of $\chi_{v}$ is $U_{2}$-bounded for every vertex $v$ of $X$. ∎

Let $X$ be a numerable uniform bornological coarse space. By numerability of the uniform structure we can choose an entourage $U$ which is coarse and uniform such that there exists an equicontinuous and uniformly point-wise locally finite partition of unity $(\chi_{\alpha})_{\alpha\in A}$ on $X$ such that ${\mathtt{supp}}(\chi_{\alpha})$ is $U$-bounded for every $\alpha$ in $A$. We choose a family of points $(x_{\alpha})_{\alpha\in A}$ in $X$ such that $x_{\alpha}\in{\mathtt{supp}}(\chi_{\alpha})$ for all $\alpha$ in $A$. We can then define a map (not necessarily controlled)

[TABLE]

This map is uniform. Note that at this point we use the uniformity of the point-wise local finiteness condition, because we measure distances in the simplices of $P_{U^{2}}(F_{{\mathcal{U}}}(X))$ in the spherical metric and not in the maximum metric with respect to baricentric coordinates, cf. [BE20, Ex. 5.37].

The map defined in (7.1) can also be regarded as a morphism of uniform bornological coarse spaces $\tilde{c}:X_{U}\to P_{U^{2}}(F_{{\mathcal{U}}}(X))$. It induces a compatible system of morphisms

[TABLE]

for all sufficiently large entourages $U$ of $X$, and by $u$-continuity of $\mathrm{Yo}{\mathcal{B}}^{s}$, a morphism

[TABLE]

Definition 7.4**.**

For a numerable uniform bornological coarse space the morphism $c_{X}$ is called the comparison map. ∎

Remark 7.5**.**

We must assume that $X$ is numerable in order to produce a uniform map $X\to P_{U^{2}}(F_{{\mathcal{U}}}(X))$ by (7.1).

In the classical approach to the coarsification of locally finite homology theories (see, e.g., Higson–Roe [HR95, Sec. 3]) one only needs a coarse and continuous map. In this case the same formula works, and we only have to assume that the members of the partition of unity have uniformly controlled support. The existence of such a partition of unity follows from the compatibility of the uniform and the coarse structure if we in addition assume that the underlying topological space of $X$ is paracompact.

In our approach we must work with uniform maps since this is required by functoriality of the cone functor ${\mathcal{O}}$ which we employ below in order to construct the assembly map. ∎

Lemma 7.6**.**

Up to equivalence the comparison map does not depend on the choice of the partition of unity.

Proof.

We consider a second choice of partition of unity (without loss of generality for the same entourage $U$) and denote the associated morphism by $\tilde{c}^{\prime}\colon X_{U}\to P_{U^{2}}(F_{{\mathcal{U}}}(X))$. Then $\tilde{c}$ and $\tilde{c}^{\prime}$ are $\pi/2$-close to each other and $s\mapsto(1-s)\tilde{c}+s\tilde{c}^{\prime}$ is a uniform homotopy between $\tilde{c}$ and $\tilde{c}^{\prime}$. We now use that $\mathrm{Yo}{\mathcal{B}}^{s}$ is homotopy invariant. ∎

Let $f\colon X\to X^{\prime}$ be a morphism of uniform bornological coarse spaces which are assumed to be numerable.

Lemma 7.7**.**

We have an equivalence

[TABLE]

Proof.

After choosing partitions of unity for $X$ and $X^{\prime}$ with bounds $U$ and $U^{\prime}$ such that $(f\times f)(U)\subseteq U^{\prime}$ we have a square (not necessarily commuting) of morphisms of uniform bornological coarse spaces

[TABLE]

We now observe that the compositions $P(F_{{\mathcal{U}}}(f))\circ\tilde{c}_{X}$ and $\tilde{c}_{X^{\prime}}\circ f$ are close to each other and (linearly) homotopic. Hence they become equivalent after application of $\mathrm{Yo}{\mathcal{B}}^{s}$. ∎

Let $Y$ be a uniform bornological coarse space.

Definition 7.8**.**

We say that $Y$ is coarsifying if it is numerable and the comparison map $c_{Y}$ is an equivalence.

Let $E$ be a local homology theory. If $Y$ is coarsifying, then the comparison map induces an equivalence

[TABLE]

Let $X$ be a numerable uniform bornological coarse space.

Definition 7.9**.**

A morphism $f\colon X\to Y$ in $\mathbf{UBC}$ is called a coarsifying approximation if $Y$ is coarsifying and $(\mathbf{P}\circ{\mathbf{F}})(f)$ is an equivalence.

Let $E$ be a local homology theory. If $X\to Y$ is a coarsifying approximation, then by construction we have an equivalence

[TABLE]

In the following we discuss an important class of examples of coarsifying spaces, see also [BE20, Sec. 7.4].

Below $B^{q+1}$ is the unit ball in $\mathbb{R}^{q+1}$ and $S^{q}$ is its boundary.

Definition 7.10**.**

A simplicial complex $K$ has bounded geometry if the number of vertices in the stars of its vertices is uniformly bounded. 2. 2.

A metric space $X$ is equicontinuously contractible, if for every $q$ in $\mathbb{N}$ and for every equicontinuous family of maps $\{\varphi_{i}\colon S^{q}\to X\}_{i\in I}$ there exists an equicontinuous family of maps $\{\Phi_{i}\colon B^{q+1}\to X\}_{i\in I}$ with ${\Phi_{i}}|_{\partial B^{q+1}}=\varphi_{i}$.111This is a slight strengthening of the notion of uniform contractibility which is commonly used in the coarse geometry literature.

Let $K$ be a simplicial complex. We get a uniform bornological coarse space $K_{d}$ by equipping $K$ with the bornology of bounded subsets and the metric coarse and uniform structures.

Let $A$ be a subcomplex of $K$, $X$ be a metric space and $f\colon K_{d}\to X_{d}$ be a morphism of bornological coarse spaces such that $f|_{A}$ is uniformly continuous.

Lemma 7.11**.**

If $K$ is finite-dimensional and $X$ is equicontinuously contractible, then $f$ is close to a morphism of uniform bornological coarse spaces which extends $f|_{A}$, and which is in addition uniformly continuous.

Proof.

The proof given in [BE20, Lem. 7.72] (which covers the non-uniform version of this lemma) also works literally here. ∎

Let $K$ and $K^{\prime}$ be two simplicial complexes and $f\colon K_{d}\to K^{\prime}_{d}$ be a morphism between the underlying bornological coarse spaces.

Lemma 7.12**.**

If $K$ and $K^{\prime}$ are equicontinuously contractible and $f$ is a coarse equivalence, then $f$ is close to a homotopy equivalence in $\mathbf{UBC}$ and any two such homotopy equivalences are homotopic to each other.

Proof.

The proof is the same as for [BE20, Lem. 7.73] where we use Lemma 7.11 instead of Lemma [BE20, Lem. 7.72] in order to get the additional uniformity. ∎

Proposition 7.13**.**

If $K$ is a simplicial complex of bounded geometry which is equicontinuously contractible as a metric space, then the uniform bornological coarse space $K_{d}$ is coarsifying.

Proof.

Note that $K$ is finite-dimensional and hence $K_{d}$ is numerable by Lemma 7.3. The verification that the comparison map for $K_{d}$ is an equivalence is the core of the argument of [BE20, Prop. 7.80], which is itself taken from Nowak–Yu [NY12, Proof of Thm. 7.6.2].

As in the beginning of the proof of [BE20, Prop. 7.80] we construct a diagram of maps

[TABLE]

with $g_{n}\circ(f_{n}\circ\dots\circ f_{0}\circ f)$ being homotopic in $\mathbf{UBC}$ to ${\mathtt{id}}_{K_{d}}$, and $(f_{n}\circ\dots\circ f_{0}\circ f)\circ g_{n-1}$ being homotopic to $f_{n}$ in $\mathbf{UBC}$. Here we use the Lemmas 7.11 and 7.12 instead of [BE20, Lem. 7.72 and 7.73]. The stronger assumption that $K$ is equicontinuously contractible (instead of just uniformly contractible as in [BE20]) implies that the resulting maps are uniformly continuous (instead of just continuous as in [BE20]).

We claim that the induced comparison map

[TABLE]

is an equivalence. This is in fact an instance of the following general fact222We thank the referee for suggesting this simple argument.. Assume that we have a diagram

[TABLE]

in a stable $\infty$-category such that the maps $A_{0}\to A_{i}$ admit retracts $g_{i}$ for all $i$ in ${\rm Nature}$ and such that $f_{i}$ is equivalent to $A_{i}\xrightarrow{g_{i}}A_{0}\to A_{i+1}$. Since in a stable $\infty$-category retracts split as sums the diagram is equivalent to a sum of a constant diagram build from $A_{0}$ and identity maps and a diagram with zero transition maps. This implies that $A_{0}\to\mathrm{colim}_{{\rm Nature}}A_{i}$ is an equivalence.

The inclusion $K_{d}^{(0)}\to K_{d}$ is an equivalence of the underlying bornological coarse spaces and therefore induces the second equivalence in

[TABLE]

Example 7.14**.**

The following is taken from [BE20, Ex. 7.71] and originally goes back to Gromov [Gro93, Ex. 1.D1]:

Let $G$ be a finitely generated group admitting a model for its classifying space $BG$ which is a finite simplicial complex. Then the universal cover $EG$ of $BG$ is a simplicial complex of bounded geometry which is equicontinuously contractible, i.e., $EG_{d}$ is coarsifying by the above Proposition 7.13.

The group $G$ quipped with a word-metric becomes a metric space and hence a uniform bornological coarse space $G_{d}$. The action of $G$ on $EG$ provides a morphism $f\colon G_{d}\to EG_{d}$ in $\mathbf{UBC}$ which depends on the choice of a base-point in $EG$. The morphism $(\mathbf{P}\circ{\mathbf{F}})(f)$ is an equivalence since $f$ is a coarse equivalence between the underlying bornological coarse spaces and hence ${\mathbf{F}}(f)$ is an equivalence. Therefore we have shown that $f\colon G_{d}\to EG_{d}$ is a coarsifying approximation. ∎

8 Cone functors

In this section we describe the cone functor ${\mathcal{O}}\colon\mathbf{UBC}\to\mathbf{BornCoarse}$ and its germs at infinity ${\mathcal{O}}^{\infty}\colon\mathbf{UBC}\to\mathbf{Sp}{\mathcal{X}}$. These functors play a crucial role in the construction of the coarse assembly map. After the introduction of the cone functor, we compare it with variants which occur in the literature on coarse geometry and which are useful in certain arguments.

In short, the cone of a uniform bornological coarse space $X$ is the bornological coarse space ${\mathcal{O}}(X)$ obtained from the bornological coarse space $F_{{\mathcal{U}}}([0,\infty)\otimes X)$ by replacing the coarse structure by the hybrid structure (cf. [BE20, Sec. 5.1]) associated to the family of subsets ${\mathcal{Y}}:=([0,n]\times X)_{n\in{\rm Nature}}$ and the uniform structure on $[0,\infty)\otimes X$.

In the following we spell out the definition of the cone explicitly. Let ${\mathcal{T}}$ denote the uniform structure of $X$. We consider $\mathcal{P}_{X\times X}$ and its subset ${\mathcal{T}}$ with the opposite of the inclusion relation. By [BE20, Def. 5.9] a function (i.e., an order preserving map) $\phi\colon[0,\infty)\to\mathcal{P}_{X\times X}$ is called ${\mathcal{T}}$-admissible if for every uniform entourage $U$ in ${\mathcal{T}}$ there exists an element $t$ in $[0,\infty)$ such that $\phi(s)\subseteq U$ for all $s$ in $[t,\infty)$.

Definition 8.1**.**

We let ${\mathcal{O}}(X)$ be the bornological coarse space defined as follows:

The underlying set of ${\mathcal{O}}(X)$ is $[0,\infty)\times X$. 2. 2.

The bornology of ${\mathcal{O}}(X)$ is generated by the subsets $[0,n]\times B$ for all $n$ in ${\rm Nature}$ and bounded subsets $B$ of $X$. 3. 3.

The coarse structure of ${\mathcal{O}}(X)$ is generated by the entourages of the form $V\cap U_{(\kappa,\phi)}$, where $V$ is a coarse entourage of $[0,\infty)\otimes X$ and

[TABLE]

for all ${\mathcal{T}}$-admissible functions $\phi\colon[0,\infty)\to\mathcal{P}_{X\times X}$ and functions $\kappa\colon[0,\infty)\to[0,\infty)$ satisfying $\operatorname*{\mathtt{lim}}_{t\to\infty}\kappa(t)=0$.

If $f:X\to X^{\prime}$ is a morphism of uniform bornological coarse spaces, then the map

[TABLE]

is a morphism of bornological coarse spaces

[TABLE]

We thus have described the cone functor

[TABLE]

The maps of sets $X\to\{0\}\times X\to[0,\infty)\times X$ for $X$ in $\mathbf{UBC}$ induce a natural transformation of functors

[TABLE]

We apply $\mathrm{Yo}^{s}$ and take the cofibre in order to get a cofibre sequence (called the cone sequence)

[TABLE]

in $\mathbf{Sp}{\mathcal{X}}$ which is functorial for $X$ in $\mathbf{UBC}$, where, by definiton

[TABLE]

Definition 8.2**.**

We call the resulting functor ${\mathcal{O}}^{\infty}\colon\mathbf{UBC}\to\mathbf{Sp}{\mathcal{X}}$ the germs at infinity of the cone.

In order to connect with [BE20, Sec. 5.2.3] note the following. Let $X$ be a uniform bornological coarse space. Then ${\mathcal{Y}}(X):=([0,n]\times X)_{n\in{\rm Nature}}$ is a big family in ${\mathcal{O}}(X)$. For every $n$ in ${\rm Nature}$ the inclusion $X\to\{0\}\times X\to[0,n]\times X$ induces a coarse equivalence, and hence an equivalence $\mathrm{Yo}^{s}(F_{{\mathcal{U}}}(X))\to\mathrm{Yo}^{s}(([0,n]\times X)_{{\mathcal{O}}(X)})$ in $\mathbf{Sp}{\mathcal{X}}$, where the subscript ${\mathcal{O}}(X)$ indicates that the structures on the subset are induced from ${\mathcal{O}}(X)$. The collection of these equivalences for all $n$ in ${\rm Nature}$ induces an equivalence

[TABLE]

in $\mathbf{Sp}{\mathcal{X}}$. The pair sequence of $({\mathcal{O}}(X),{\mathcal{Y}}(X))$ is therefore equivalent to the cone sequence (8.1), in particular we have an equivalence

[TABLE]

where the right-hand side is interpreted as in [BE20, (4.5)].

We refer to [BE20, Ex. 5.16] and [BEKW20, Sec. 9] for more details. In particular, in [BEKW20, Prop. 9.31] we show that ${\mathcal{O}}^{\infty}$ is represented by the bornological coarse space

[TABLE]

where the push-out is interpreted in $\mathbf{BornCoarse}$.

In the proof of Proposition 10.15 below it is useful to use a modified version of the cone over a uniform bornological coarse space $X$ which we will denote by $\tilde{\mathcal{O}}(X)$.

Definition 8.3**.**

We let $\tilde{\mathcal{O}}(X)$ be the bornological coarse space defined as follows:

The underlying set of $\tilde{\mathcal{O}}(X)$ is $[0,\infty)\times X$. 2. 2.

The bornology of $\tilde{\mathcal{O}}(X)$ is generated by the subsets $[0,n]\times B$ for all $n$ in ${\rm Nature}$ and bounded subsets $B$ of $X$ 3. 3.

The coarse structure of $\tilde{\mathcal{O}}(X)$ is generated by the entourages of the form $V\cap U_{\phi}$, where $V$ is a coarse entourage of $[0,\infty)\otimes X$ and

[TABLE]

for all ${\mathcal{T}}$-admissible functions $\phi\colon[0,\infty)\to\mathcal{P}_{X\times X}$.

Note that the underlying bornological spaces of ${\mathcal{O}}(X)$, $\tilde{\mathcal{O}}(X)$ and $[0,\infty)\otimes X$ coincide. The identity map of the underlying sets induces a morphism

[TABLE]

which is natural in $X$.

Lemma 8.4**.**

The morphism (8.3) induces an equivalence

[TABLE]

Proof.

We define a map of sets

[TABLE]

The map $q$ induces a morphism of bornological coarse spaces $j\colon\tilde{\mathcal{O}}(X)\to{\mathcal{O}}(X)$. Note that the compositions $i\circ j$ and $j\circ i$ are both given on the level of sets by the map $q$. It suffices to show that the morphisms on $\mathrm{Yo}^{s}({\mathcal{O}}(X))$ or $\mathrm{Yo}^{s}(\tilde{\mathcal{O}}(X))$, respectively, induced by $q$ are equivalent to the respective identities.

We first consider the case of the modified cone $\tilde{\mathcal{O}}(X)$. In this case we shall see that $q$ is coarsely homotopic to the identity (see [BE20, Defn. 4.17]). In order to define the homotopy we let the map $p_{+}\colon\tilde{\mathcal{O}}(X)\to[0,\infty)$ be given by

[TABLE]

and set $p\coloneqq(p_{+},0)$. Note that $p_{+}$ is bornological and controlled. Then we define the coarse homotopy

[TABLE]

(see [BE20, Defn. 4.14] for notation of coarse cylinders). One easily checks that this map is proper and controlled. Since $\mathrm{Yo}^{s}$ is invariant under coarse homotopies (in particular using [BE20, Cor. 4.18]) we conclude that

[TABLE]

is equivalent to the identity.

The case of the cone ${\mathcal{O}}(X)$ is more involved. By Definition 8.1 the hybrid structure on ${\mathcal{O}}(X)$ is generated by entourages of the form $V\cap U_{(\kappa,\phi)}$. We fix the pair $(\kappa,\phi)$ and $V$. We can now choose a differentiable function $\sigma\colon[0,\infty)\to[0,\infty)$ such that $\operatorname*{\mathtt{lim}}_{t\to\infty}\sigma(t)=\infty$ and $p_{+}\colon{\mathcal{O}}(X)_{V\cap U_{(\kappa,\phi)}}\to[0,\infty)$ given by

[TABLE]

is controlled. To this end we must make sure that $(1+t)\sigma^{\prime}(t)$ and $\sigma\kappa$ are both uniformly bounded. Note that $p_{+}$ is also bornological. We then define the coarse homotopy

[TABLE]

between the maps induced by ${\mathtt{id}}_{[0,\infty)\times X}$ and $q$ by the same formula as in (8.4) as above. Indeed one checks that this map is proper and controlled. Hence we have an equivalence of morphisms

[TABLE]

We now perform the colimit of these equivalences over the poset of data $(V,(\kappa,\phi))$. By $u$-continuity we get the desired equivalence of

[TABLE]

with the identity. ∎

Note that in the definition of the modified cone $\tilde{\mathcal{O}}(X)$ we have not fixed the decay rate (encoded in the function $\phi$ in Definition 8.3.3) of the entourages in the $X$-direction as $t$ and $s$ tend to $\infty$. Let us fix a ${\mathcal{T}}$-admissible function $\phi\colon[0,\infty)\to{\mathcal{T}}$ which we assume to be monotone and such that $\phi(0)=X\times X$. Note that here we assume that $\phi$ takes values in ${\mathcal{T}}$ (instead of $\mathcal{P}_{X\times X}$), and therefore ${\mathcal{T}}$-admissibility is the same as cofinality.

Definition 8.5**.**

We let $\tilde{\mathcal{O}}_{\phi}(X)$ be the bornological coarse space defined as follows:

The underlying set of $\tilde{\mathcal{O}}_{\phi}(X)$ is $[0,\infty)\times X$. 2. 2.

The bornology of $\tilde{\mathcal{O}}_{\phi}(X)$ is generated by the subsets $[0,n]\times B$ for all $n$ in ${\rm Nature}$ and bounded subsets $B$ of $X$. 3. 3.

The coarse structure of $\tilde{\mathcal{O}}_{\phi}(X)$ is generated by entourages of the form $V\cap U_{\phi}$, where $V$ is a coarse entourage of $[0,\infty)\otimes X$.

Example 8.6**.**

Let $X$ be a metric space. Recall that its coarse structure is generated by the collection of entourages $W_{r}:=\{(x,y)\in X\times X\>|\>d(x,y)\leq r\}$ for all $r>0$. If we set $\phi(t)=W_{1/t}$, then $\tilde{\mathcal{O}}_{\phi}(X)$ is the open cone over $X$ as considered at many places in the coarse geometry literature and usually called the Euclidean cone over $X$. ∎

We have a canonical morphism

[TABLE]

given by the identity of the underlying sets.

Lemma 8.7**.**

If $\phi$ is monotone and satisfies $\phi(0)=X\times X$, then the map (8.5) induces an equivalence

[TABLE]

Proof.

If $\phi^{\prime}$ is a second monotone function as in 8.3.3 such that $\phi(t)\subseteq\phi^{\prime}(t)$ for all $t$ in $[0,\infty)$, then $U_{\phi}\subseteq U_{\phi^{\prime}}$. Therefore the identity of the underlying maps induces a morphism

[TABLE]

By $u$-continuity we have an equivalence

[TABLE]

It therefore suffices to show that

[TABLE]

is an equivalence for all pairs $\phi,\phi^{\prime}$ such that $\phi(t)\subseteq\phi^{\prime}(t)$ for all $t$ in $[0,\infty)$.

We will show now that there exists a controlled function $\sigma\colon[0,\infty)\to[0,\infty)$ such that $\phi^{\prime}(t)\subseteq\phi(\sigma(t))$ and $\operatorname*{\mathtt{lim}}_{t\to\infty}\sigma(t)=\infty$. To this end set

[TABLE]

This function is monotonically increasing and satisfies $\operatorname*{\mathtt{lim}}_{s\to\infty}\delta(s)=\infty$. The idea is now to define $\sigma$ to be $\delta$. But to ensure that $\sigma$ is controlled, we have to modify this idea slightly. We choose $t_{0}\in[0,\infty)$ such that $\delta(t_{0})\geq 2$. We can find $\sigma(t)$ for all $t$ in $[t_{0},\infty)$ by solving the equation

[TABLE]

where $h$ is a function with $h\geq 1$ and

[TABLE]

More concretely, we can take

[TABLE]

where we set $\delta^{-1}(u)\coloneqq\sup\{r\in[0,\infty)\>|\>\delta(r)\leq u\}$. Note that if $t\in[t_{0},\infty)$, then the interval $[\delta(t)/2,\delta(t)]$ in the domain of integration yields the estimate

[TABLE]

For $t\in[0,t_{0}]$ we set $\sigma(t)=0$. The Lipschitz constant of $\sigma$ on $[t_{0},\infty)$ is bounded by $1$. It follows that $\sigma$ is controlled.

We consider the map of sets

[TABLE]

By construction it induces a morphism

[TABLE]

We now note that the compositions

[TABLE]

are both induced by $q$.

It suffices to show that these morphisms are both coarsely homotopic to the identity.

We set $p:=(\sigma+1,0)$ and observe that the map

[TABLE]

is a suitable homotopy (i.e., proper and controlled) that does the job. The same construction also works in the case of $\phi^{\prime}$. ∎

Remark 8.8**.**

The cone $\tilde{\mathcal{O}}(X)$ has a big family ${\mathcal{Y}}(X):=([0,n]\otimes X)_{n\in{\rm Nature}}$ and we can define a modified version of the germs at infinity

[TABLE]

Similarly we can define

[TABLE]

The inclusion $X\to[0,n]\times X$ is a coarse equivalence for every $n$ in ${\rm Nature}$ and the structure induced by $\tilde{\mathcal{O}}(X)$ or $\tilde{\mathcal{O}}_{\phi}(X)$, respectively. In the latter case this is granted by the condition that $\phi(0)=X\times X$. Therefore we get fibre sequences

[TABLE]

and

[TABLE]

respectively. By a comparison with the cone sequence (8.1) and by Lemmas 8.4 and 8.7 we get induced equivalences

[TABLE]

So we could have defined the germs at infinity of the cone using a modified version of the cone. But since the modified cones do not come from a hybrid structure construction we can not apply the general theorems (Homotopy Theorem and Decomposition Theorem) for hybrid spaces shown in [BE20, Sec. 5.2 & 5.3] in order to deduce the properties of this functor, see e.g. Lemma 9.2 below. For this reason we prefer to work with ${\mathcal{O}}(X)$ instead of $\tilde{\mathcal{O}}(X)$ or $\tilde{\mathcal{O}}_{\phi}(X)$. ∎

Example 8.9**.**

Let $X$ be a geodesic, locally compact hyperbolic metric space. One can construct a nice compactification of $X$ by attaching the Gromov boundary $\partial X$. Note that $\partial X$ is a compact metric space. Higson–Roe [HR95] showed that $X$ is coarsely homotopy equivalent to the Euclidean cone $\tilde{\mathcal{O}}_{\phi}(\partial X)$ over its Gromov boundary $\partial X$. Together with the results of the present section we therefore get the equivalence

[TABLE]

Fukaya–Oguni [FO17] generalized the result of Higson–Roe to all proper coarsely convex spaces (examples are hyperbolic spaces, $\mathrm{CAT}(0)$ spaces and systolic complexes). Especially, we have the equivalence (8.6) where $\partial X$ is a suitable version of Gromov’s boundary. ∎

9 The coarse assembly map

In this section we define the coarse assembly map.

Taking the functoriality of the cone sequence (8.1) into account and using the notation (6.1) we get a fibre sequence of functors from $\mathbf{UBC}$ to $\mathbf{Sp}{\mathcal{X}}$

[TABLE]

which we call the cone sequence.

Remark 9.1**.**

The cone boundary map $\partial$ in the cone sequence (9.1) has a very nice interpretation as a forget-control map. For $X$ in $\mathbf{UBC}$ the identity of the underlying sets induces a map

[TABLE]

see (8.2) for the domain. The difference between the domain and the target is that the domain has a smaller coarse structure. By [BEKW20, Prop. 9.31] the induced map

[TABLE]

is equivalent to the cone boundary. ∎

Lemma 9.2**.**

The functors $\mathrm{Yo}^{s}\circ{\mathcal{O}},{\mathcal{O}}^{\infty}\colon\mathbf{UBC}\to\mathbf{Sp}{\mathcal{X}}$ satisfy excision for uniformly and coarsely excisive decompositions, and they are homotopy invariant.

Proof.

This is shown in [BEKW20, Sec. 9.4 & 9.5]. ∎

Remark 9.3**.**

Since we consider excision for decompositions which are uniform and coarse at the same time it is not necessary to assume that our uniform spaces are Hausdorff, see [BEKW20, Rem. 9.28].

Note further that we do not have to add adjectives like open or closed in the assumptions of Lemma 9.2. ∎

By Lemma 6.1 the functor ${\mathbf{F}}$ vanishes on flasque spaces, but we do not expect that ${\mathcal{O}}$ vanishes on them. Assume that $X$ is a flasque uniform bornological coarse space with flasqueness witnessed by the self-map $f$. Then in general ${\mathcal{O}}(f)$ is not close to the identity, nevertheless $\mathrm{Yo}^{s}({\mathcal{O}}(f))$ is equivalent to $\mathrm{Yo}^{s}({\mathcal{O}}({\mathtt{id}}_{X}))$ [BE20, Cor. 5.31]. In fact, the map ${\mathcal{O}}(f)$ exhibits the cone ${\mathcal{O}}(X)$ as a weakly flasque bornological coarse space in the sense of [BEKW20, Def. 4.18], see [BEKW20, Proof of Prop. 11.22].

Definition 9.4** ([BEKW20, Def. 4.19]).**

A coarse homology theory is called strong if it vanishes on weakly flasque bornological coarse spaces.

Example 9.5**.**

Here is a list of examples of coarse homology theories which are strong:

Coarse ordinary homology [BEKW20]. 2. 2.

Coarse algebraic $K$-homology with coefficients in an additive category [BEKW20]. 3. 3.

Coarse Waldhausen $K$-homology of spaces with coefficients in a space [BKW]. 4. 4.

Coarse algebraic $K$-homology with coefficients in a left-exact $\infty$-category [BCKW]. 5. 5.

Coarse topological $K$-homology with coefficients in a $C^{*}$-category [BE].

In these references we actually consider the equivariant case for a group $G$. For the present application we just need the case of the trivial group $G=\{1\}$. ∎

Let ${\mathbf{C}}$ be a cocomplete stable $\infty$-category, and let $E\colon\mathbf{BornCoarse}\to{\mathbf{C}}$ be a coarse homology theory. We consider the compositions

[TABLE]

where for $E{\mathcal{O}}^{\infty}$ we interpret $E$ as a colimit preserving functor $E\colon\mathbf{Sp}{\mathcal{X}}\to{\mathbf{C}}$, see [BE20, Cor. 4.24].

Lemma 9.6**.**

If $E$ is strong, then the functors

[TABLE]

are closed and open local homology theories.

Proof.

For a uniform bornological coarse space $X$ we have a natural fibre sequence

[TABLE]

By Lemma 9.2 both functors $E{\mathcal{O}}$ and $E{\mathcal{O}}^{\infty}$ are homotopy invariant and satisfy excision. It remains to show that $E{\mathcal{O}}$ and $E{\mathcal{O}}^{\infty}$ are $u$-continuous and vanish on flasques.

By Lemma 3.13 the functor $E\circ F_{{\mathcal{U}}}$ is a closed and open local homology theory. In particular it is $u$-continuous and vanishes on flasques.

The functor ${\mathcal{O}}^{\infty}$ is invariant under coarsenings ([BEKW20, Prop. 9.33] and Definition 11.8) which implies the equivalence ${\mathcal{O}}^{\infty}(X_{U})\stackrel{{\scriptstyle\simeq}}{{\to}}{\mathcal{O}}^{\infty}(X)$ for sufficiently large entourages $U$ of $X$. In particular, the functor $E{\mathcal{O}}^{\infty}$ is $u$-continuous. It follows from the fibre sequence (9.2) that $E{\mathcal{O}}$ is $u$-continuous.

If $X$ is flasque, then ${\mathcal{O}}(X)$ is weakly flasque. Since $E(F_{{\mathcal{U}}}(X))\simeq 0$ and also $E{\mathcal{O}}(X)\simeq 0$ due to strongness of $E$, we conclude, using the fibre sequence (9.2), that $E{\mathcal{O}}^{\infty}(X)\simeq 0$. ∎

Let $E$ be a strong coarse homology theory. We first post-compose the cone sequence (9.1) with $E$. In view of the Lemmas 9.6 and 3.13 we get a fibre sequence of closed and open local homology theories

[TABLE]

We now pre-compose this fibre sequence with the the universal coarsification functor $\mathbf{P}$ from Definition 5.1 and get a fibre sequence of coarse homology theories

[TABLE]

Let $E$ be a strong coarse homology theory.

Definition 9.7**.**

The coarse assembly map is the natural transformation between coarse homology theories

[TABLE]

defined as the composition of $E(\partial)\mathbf{P}$ with the identification $E{\mathbf{F}}\mathbf{P}\simeq E$ from (6.3).

Remark 9.8**.**

Note that the universal coarsification functor $\mathbf{P}$ takes values in $\mathbf{Sp}{\mathcal{B}}$. Therefore, in order to ensure that the domain of the coarse assembly map is well-defined, we need that $E{\mathcal{O}}^{\infty}$ is a closed local homology theory, interpreted here as a colimit preserving functor $\mathbf{Sp}{\mathcal{B}}\to{\mathbf{C}}$, Corollary 4.16. For this reason we have to assume that $E$ is strong, because this is an assumption in Lemma 9.6. ∎

Remark 9.9**.**

It is easy to see by inspecting the constructions that the coarse assembly map is natural in the strong coarse homology theory $E$. If $E\to E^{\prime}$ is a natural transformation between strong coarse homology theories, then

[TABLE]

is a natural commuting square. ∎

Remark 9.10**.**

By Lemma 9.6 we know that $E{\mathcal{O}}^{\infty}$ is a closed and open local homology theory. In view of Lemma 5.6 we can replace $\mathbf{P}$ by the open variant $\mathbf{P}^{o}$ without changing the assembly map. ∎

Remark 9.11**.**

It follows from the above fibre sequence (9.1) that for a bornological coarse space $X$ the coarse assembly map

[TABLE]

is an equivalence if and only if $E{\mathcal{O}}\mathbf{P}(X)\simeq 0$. Therefore we have identified $E{\mathcal{O}}\mathbf{P}$ as the coarse homology theory which detects the obstructions to $\mu_{E}$ being an equivalence. ∎

Remark 9.12**.**

At the moment the local homology theory $E{\mathcal{O}}^{\infty}$ appearing in the domain of the coarse assembly map might appear mysterious. In Proposition 11.23 we calculate the evaluation of this homology theory on finite-dimensional, locally finite simplicial complexes under the assumption that $E$ is additive. ∎

Remark 9.13**.**

In the case of coarse $K$-homology there is the analytic coarse assembly map [HR95]. It is only defined for $X$ in $\mathbf{UBC}$ presented by a proper metric space. It is a homomorphism from the locally finite $K$-homology groups of $X$ to its coarse $K$-homology groups. It is a non-trivial matter to compare our proposed version of the assembly map with the one in [HR95]. We will discuss this problem in [BEL].333This comparison is also considered in Section 16 of the arXiv-preprint version v2 of the present paper.

The analytic coarse assembly map is closely related with index theory. In contrast, the coarse assembly map introduced in Definition 9.7 is of geometric and homotopy theoretic nature. In contrast to the analytic coarse assembly map it is a natural transformation between coarse homology theories. This fact allows to apply the comparison theorems shown in [BE20], see e.g. Theorem 10.4. ∎

10 Isomorphism results

In this section we discuss conditions which imply that the coarse assembly map $\mu_{E,X}$ in (9.4) is an equivalence. We will discuss the cases of finite asymptotic dimension, finite decomposition complexity, and scaleable spaces. Our goal is to show that in many cases the reasons for the validity of the coarse Baum–Connes or Farrell–Jones conjectures for $X$ in fact imply in greater generality that the coarse assembly map $\mu_{E,X}$ is an equivalence for suitable coarse homology theories $E$.

Note that the coarse assembly map $\mu_{E}\colon E{\mathcal{O}}^{\infty}\mathbf{P}\to\Sigma E$ (Definition 9.7) is a morphism between coarse homology theories. So it is clear from the outset that the property of $\mu_{E,X}$ of being an equivalence only depends on the coarse motivic spectrum $\mathrm{Yo}^{s}(X)$.

10.1 Finite asymptotic dimension

Let $X$ be a bornological coarse space with bornology ${\mathcal{B}}$ and coarse structure ${\mathcal{C}}$, see Section 2. Recall that $X$ is called discrete as a coarse space if ${\mathcal{C}}$ is the minimal coarse structure ${\mathcal{C}}_{min}$ consisting of all subsets of the diagonal.

Let $X$ be a bornological coarse space, and let $E$ be a strong coarse homology theory.

Proposition 10.1**.**

If $X$ is discrete as a coarse space, then the coarse assembly map $\mu_{E,X}$ is an equivalence.

Proof.

Since $X$ is discrete as a coarse space we have $X\cong P_{{\mathtt{diag}}}(X)$ as uniform bornological coarse spaces if we equip $X$ with the discrete uniform structure. By [BEKW20, Prop. 9.35] the boundary map of the cone sequence (9.1) induces an equivalence

[TABLE]

Let $\mathbf{Sp}{\mathcal{X}}\langle\mathrm{disc}\rangle$ denote the cocomplete stable full subcategory of $\mathbf{Sp}{\mathcal{X}}$ generated by the motives of all discrete bornological coarse spaces. Let $E$ be a strong coarse homology theory. Proposition 10.1 has the following immediate consequence.

Corollary 10.2**.**

The coarse assembly map $\mu_{X,E}$ is an equivalence for all bornological coarse spaces $X$ such that $\mathrm{Yo}^{s}(X)\in\mathbf{Sp}{\mathcal{X}}\langle\mathrm{disc}\rangle$.

Let $X$ be a coarse space with coarse structure ${\mathcal{C}}$.

Definition 10.3**.**

$X$* has weakly finite asymptotic dimension if there exists a cofinal set of entourages $U$ in ${\mathcal{C}}$ such that $X_{U}$ has finite asymptotic dimension.*

Let $X$ be a bornological coarse space. We apply Definition 10.3 to its underlying coarse space. Let $E$ be a strong coarse homology theory.

Theorem 10.4**.**

If $X$ has weakly finite asymptotic dimension, then the coarse assembly map $\mu_{E,X}:E{\mathcal{O}}^{\infty}\mathbf{P}(X)\to\Sigma E(X)$ is an equivalence.

Proof.

Since the coarse assembly map is a natural transformation between coarse homology theories, it extends to a natural transformation between colimit preserving functors defined on $\mathbf{Sp}{\mathcal{X}}$ (see [BE20, Cor. 4.24 and Rem. 4.27 ] for a precise interpretation of this statement). As a consequence of Corollary 10.2 this extension is an equivalence on motives in $\mathbf{Sp}{\mathcal{X}}\langle\mathrm{disc}\rangle$.

The assumptions on the space $X$ imply by [BE20, Thm. 5.59] that the motive $\mathrm{Yo}^{s}(X)$ belongs to $\mathbf{Sp}{\mathcal{X}}\langle\mathrm{disc}\rangle$. ∎

In the following we use Corollary 10.2 in order to show that the homology theory $E{\mathcal{O}}^{\infty}\mathbf{P}$ inherits some pleasant additional properties from $E$.

Let $E:\mathbf{BornCoarse}\to{\mathbf{C}}$ be a coarse homology theory and assume in addition that ${\mathbf{C}}$ is complete. If $X$ is a set and $x$ is a point in $X$, then we can define by excision a projection

[TABLE]

The family of these projections for all $x$ in $X$ induces a map

[TABLE]

Definition 10.5** ([BE20, Def. 6.4]).**

$E$* is called additive if (10.2) is an equivalence for every set $X$.*

Let $E$ be a strong coarse homology theory.

Proposition 10.6**.**

If $E$ is additive, then $E{\mathcal{O}}^{\infty}\mathbf{P}$ is additive.

Proof.

Since $X_{min,min}$ and $\{x\}$ are discrete, the coarse assembly maps $\mu_{E,X_{min,min}}$ and $\mu_{E,\{x\}}$ are equivalences. We have the following diagram

[TABLE]

which commmutes by the naturality of the assembly map. For the right vertical equivalence we use that $E$ is additive, and that $\Sigma$ preserves products by stability of ${\mathbf{C}}$. We conclude that the morphism marked by $?$ is an equivalence and hence the additivity of $E{\mathcal{O}}^{\infty}\mathbf{P}$. ∎

In [BE20, Lem. 2.25] we observed that $\mathbf{BornCoarse}$ admits (very small) coproducts. If $E\colon\mathbf{BornCoarse}\to{\mathbf{C}}$ is a coarse homology theory, then implicitly ${\mathbf{C}}$ is cocomplete and therefore admits (very small) coproducts as well. We can consider the property that $E$ preserves coproducts [BE20, Def. 6.9].

Let $E$ be a strong coarse homology theory.

Proposition 10.7**.**

If $E$ preserves coproducts, then $E{\mathcal{O}}^{\infty}\mathbf{P}$ preserves coproducts.

Proof.

Let $(X_{i})_{i\in I}$ be a family in $\mathbf{BornCoarse}$. In [BE20, Lem. 4.12] it is shown that the fibre $F$ of the canonical map

[TABLE]

belongs to $\mathbf{Sp}{\mathcal{X}}\langle\mathrm{disc}\rangle$. We apply the extension of the assembly $\mu_{E}$ map to the corresponding fibre sequence and obtain the following commuting diagram:

[TABLE]

The left vertical morphism is an equivalence since $F$ belongs to $\mathbf{Sp}{\mathcal{X}}\langle\mathrm{disc}\rangle$. This implies that the right square is a pull-back square. The lower right horizontal morphism is an equivalence since $E$ preserves coproducts. We conclude that the morphism marked by $?$ is an equivalence. Hence $E{\mathcal{O}}^{\infty}\mathbf{P}$ preserves coproducts. ∎

Remark 10.8**.**

If $X$ is a set, then we have an isomorphism $X_{min,max}\cong\bigsqcup_{x\in X}\{x\}$, where the coproduct is taken in $\mathbf{BornCoarse}$. In particular, if $X$ is infinite, then the natural morphism $X_{min,max}\to X_{min,min}$ (given by the identity map of $X$) is not an isomorphism. Additivity of a coarse homology theory is a condition which differs from the condition of being coproduct preserving. A coarse homology theory $E$ may have both properties at the same time, and in this case $E(X_{min,max})\to E(X_{min,min})$ is equivalent to the natural inclusion

[TABLE]

10.2 Finite decomposition complexity

Guentner, Tessera and Yu [GTY12] introduced a weaker condition than finite asymptotic dimension called finite decomposition complexity (FDC). In [BEKW19] we investigated under which assumptions on $E$ the condition that a bornological coarse space $X$ has FDC implies that $E{\mathcal{O}}\mathbf{P}(X)\simeq 0$ (even in the equivariant case).

The results in [BEKW19] require the additional assumptions that $E$ is weakly additive and admits transfers. In the following we explain these conditions.

In [BEKW] we introduced the category $\mathbf{BornCoarse}_{tr}$ of bornological coarse spaces with transfers. It is an enlargement of the category $\mathbf{BornCoarse}$ by adding transfer morphisms.

Given a set $I$ and a bornological coarse space we can form the bornological coarse space $I_{min,min}\otimes X$ (see [BEKW20, Ex. 2.17]). Let $j_{i}\colon X\to I_{min,min}\otimes X$ denote the inclusion of the component with index $i$ which is a morphism in $\mathbf{BornCoarse}$. By design $\mathbf{BornCoarse}_{tr}$ contains a transfer morphism

[TABLE]

which morally is the sum $\sum_{i\in I}j_{i}$ of the inclusion morphisms.

If $E$ is a coarse homology theory, then the construction of an extension $E_{tr}$ to the category $\mathbf{BornCoarse}_{tr}$ should be guided by the idea that the morphism

[TABLE]

places identical copies of a cycle for $E_{tr}(X)$ on each copy $\{i\}\times X$ of $X$ in $I_{min,min}\otimes X$.

A coarse homology theory with transfers is a functor $E_{tr}:\mathbf{BornCoarse}_{tr}\to{\mathbf{C}}$ such that its restriction $E\colon\mathbf{BornCoarse}\to{\mathbf{C}}$ along the inclusion $\mathbf{BornCoarse}\to\mathbf{BornCoarse}_{tr}$ is a coarse homology theory. We say that $E_{tr}$ extends $E$.

One can show that for every $i$ in $I$ the composition

[TABLE]

is equivalent to

[TABLE]

Let $E$ be a coarse homology theory.

Definition 10.9** ([BEKW, Def. 1.2]).**

$E$* admits transfers if it has an extension $E_{tr}$ to a coarse cohomology theory with transfers.*

A coarse homology theory $E\colon\mathbf{BornCoarse}\to{\mathbf{C}}$ is called strongly additive [BEKW20, Def. 3.12] if ${\mathbf{C}}$ admits products and $E$ sends free unions to products, i.e., if

[TABLE]

for every family $(X_{i})_{i\in I}$ of bornological coarse spaces, where the map is induced by the family of projections $(E(\bigsqcup^{\mathit{free}}_{i\in I}X_{i})\to E(X_{i}))_{i\in I}$ given by excision. For the definition of weak additivity (appearing in the assumptions of Theorem 10.11 below) we refer to [BEKW19, Def. 2.23]. Note that strong additivity implies weak additivity and additivity in the sense of Definition 10.5.

Example 10.10**.**

The coarse homology theories listed in the Example 9.5 are all strongly additive and admit transfers:

Coarse ordinary homology [BEKW]. 2. 2.

Coarse algebraic $K$-homology with coefficients in an additive category [BEKW]. 3. 3.

Coarse Waldhausen $K$-homology of spaces with coefficients in a space [BKW]. 4. 4.

Coarse algebraic $K$-homology with coefficients in a left-exact $\infty$-category [BCKW]. 5. 5.

Coarse topological $K$-homology with coefficients in a $C^{*}$-category [BE].

Let $X$ be a bornological coarse space, and let $E\colon\mathbf{BornCoarse}\to{\mathbf{C}}$ be a strong coarse homology theory.

Theorem 10.11**.**

Assume:

${\mathbf{C}}$* is compactly generated.* 2. 2.

$E$* is weakly additive.* 3. 3.

$E$* admits transfers.* 4. 4.

$X_{U}$* has FDC for a cofinal set of entourages $U$ of $X$.*

Then the coarse assembly map $\mu_{E,X}$ is an equivalence.

Proof.

This follows from [BEKW19, Thm. 1.3] and Remark 9.11. ∎

Remark 10.12**.**

Finite asymptotic dimension implies FDC. Therefore the above Theorem 10.11 generalizes Theorem 10.4 provided $E$ has the required additional properties. ∎

10.3 Scaleable spaces

In the literature on the coarse Baum–Connes conjecture it is an important observation that the existence of a suitable scaling implies that the analytic coarse assembly map in coarse $K$-homology is an isomorphism [HR95]. In the following we show analogous results for general coarse homology theories.

Let $X$ be a uniform bornological coarse space, and let $s\colon X\to X$ be a morphism of uniform bornological coarse spaces. We assume that the uniform structure of $X$ is induced by a metric.

Definition 10.13**.**

The morphism $s$ is a scaling if it satisfies the following conditions:

$s$* is $1$-Lipschitz.* 2. 2.

*For every coarse entourage $W$ and uniform entourage $V$ of $X$ there exists $k$ in ${\rm Nature}$ such that $(s^{k}\times s^{k})(W)\subseteq V$. * 3. 3.

For every coarse entourage $U$ of $X$ the union $\bigcup_{k\in{\rm Nature}}(s^{k}\times s^{k})(U)$ is also a coarse entourage of $X$.

Example 10.14**.**

Assume that $X$ is a proper metric space whose structures are induced from the metric. If $s\colon X\to X$ is a map which is $1/2$-Lipschitz and proper, then $s$ is a scaling in the sense of Definition 10.13. Note that in order to be a scaling in the sense of [HR95, Def. 7.1] one must in addition assume that $s$ is coarsely and properly homotopic to the identity. These conditions will be added in Definition 10.18 which characterizes coarse scalings. ∎

Using the existence of a scaling for $X$ we want to deduce that $E{\mathcal{O}}(X)\simeq 0$ for suitable coarse homology theories $E$. Similarly as in the proof of [HR95, Thm. 7.2] the argument is based on an Eilenberg swindle. In order to make this work in our abstract setting we need to assume that the homology theory admits transfers (Definition 10.9).

Let $X$ be a uniform bornological coarse space, and let $s\colon X\to X$ be a morphism. Furthermore let $E$ be a coarse homology theory.

Proposition 10.15**.**

Assume:

$s:X\to X$* is a scaling.* 2. 2.

$E(F_{{\mathcal{U}}}(s))\simeq{\mathtt{id}}_{E(F_{{\mathcal{U}}}(X))}$. 3. 3.

$E$* admits transfers.* 4. 4.

$E{\mathcal{O}}^{\infty}(s)\simeq{\mathtt{id}}_{E{\mathcal{O}}^{\infty}(X)}$.

Then $E{\mathcal{O}}(X)\simeq 0$.

Before starting with the proof of the above proposition, let us first prove the following statement. Recall Definition 8.3 of the modified cone $\tilde{\mathcal{O}}(X)$. Let $s\colon X\to X$ be a scaling. We define the map of sets

[TABLE]

Lemma 10.16**.**

The map $\Phi$ is a morphism of bornological coarse spaces

[TABLE]

Proof.

First we show that $\Phi$ is proper. Let $B$ be a bounded subset in $X$ and $u$ be in ${\rm Nature}$ and consider the bounded subset $[0,u]\times B$ in $\tilde{\mathcal{O}}(X)$. Then $\Phi^{-1}([0,u]\times B)$ is contained in $[0,u]\times[0,\infty)\times X$. The restriction of $\Phi$ to $\{n\}\times\tilde{\mathcal{O}}(X)$ is proper for every $n$ in ${\rm Nature}$ since the maps $s^{n}:X\to X$ and $t\mapsto n+t:[0,\infty)\to[0,\infty)$ are proper. Therefore we can conclude that $\Phi^{-1}([0,u]\times B)$ is bounded.

We now show that $\Phi$ is controlled. It is easy to check using 10.13.3 and the fact that $t\mapsto n+t$ is $1$-Lipschitz that $\Phi$ is a morphism of bornological coarse spaces

[TABLE]

Let $\psi\colon[0,\infty)\to[0,\infty)$ be a function such that $\operatorname*{\mathtt{lim}}_{t\to\infty}\psi(t)=0$. For simplicity we can assume that $\psi$ is monotonously decreasing. It determines a function $\phi\colon[0,\infty)\to{\mathcal{T}}$ by $\phi(t)\coloneqq U_{\psi(t)}$ as used in Definition 8.3.3. Let $W$ be a coarse entourage of $X$ and $V\coloneqq U_{r}\times W$ be a coarse entourage of $[0,\infty)\otimes X$ for $r$ in $(0,\infty)$. Then we must show that

[TABLE]

for $\phi^{\prime}(t)=U_{\psi^{\prime}(t)}$ for some function $\psi^{\prime}$ having the same properties as $\psi$. This boils down to the assertion that for all $t$ in $[0,\infty)$ we have $d(s^{n}(x),s^{n}(y))\leq\psi^{\prime}(t)$ for all $n$ in ${\rm Nature}$ with $t\geq n$ and $(x,y)\in W$ with $d(x,y)\leq\psi(t-n-r)$ (here we use the monotonicity of $\psi$). Here we set $\psi(t)\coloneqq\psi(0)$ for negative $t$.

We define the monotonously decreasing function

[TABLE]

By 10.13.2 we have $\operatorname*{\mathtt{lim}}_{n\to\infty}e(n)=0$. We define

[TABLE]

In view of 10.13.1 this function would do the job if $\operatorname*{\mathtt{lim}}_{t\to\infty}\psi^{\prime}(t)=0$. Let $\epsilon$ in $(0,\infty)$ be given. Then we choose $n_{0}$ in ${\rm Nature}$ so large that $e(n)\leq\epsilon$ for all $n$ in ${\rm Nature}$ with $n\geq n_{0}$. Let furthermore $t_{0}$ in $[0,\infty)$ be so large that $\psi(t)\leq\epsilon$ for all $t$ in $[t_{0},\infty)$. If $t$ in $[0,\infty)$ satisfies $t\geq n_{0}+t_{0}+r$, then $\psi^{\prime}(t)\leq\epsilon$. ∎

Proof of Proposition 10.15.

Let $E_{tr}$ be an extension of $E$ to a coarse homology theory with transfers. An application of the relation (10.4) yields a decomposition

[TABLE]

where $\Phi^{\prime}$ is the restriction of $\Phi$ to ${\rm Nature}^{\geq 1}_{min,min}\otimes\tilde{\mathcal{O}}(X)$. We consider the following commuting diagram in $\mathbf{BornCoarse}_{tr}$:

[TABLE]

where $T\colon\tilde{\mathcal{O}}(X)\to\tilde{\mathcal{O}}(X)$ is given by $T(t,x)\coloneqq(t+1,x)$. Note that the morphism $T$ is close to the identity.

Since $T$ is close to the identity the commutativity of the above diagram implies

[TABLE]

from which we get, using (10.5),

[TABLE]

We now consider the diagram (note that we are now using the cone instead of the modified cone as above)

[TABLE]

whose horizontal sequences are two copies of the cone sequence and the non-labeled vertical maps are induced by the identity. The diagram is a picture of two morphisms between fibre sequences (one is the identity) which we want to compare. The Condition 4 yields a morphism $\delta\colon E{\mathcal{O}}(X)\to E(F_{{\mathcal{U}}}(X))$ such that

[TABLE]

We then have

[TABLE]

where the equivalence marked by $!$ follows from the commutativity of the left squares in (10.7), and the last equivalence is a consequence of Condition 2.

In view of Lemma 8.4 we get the same relations if we replace the cone by the modified cone. The equivalence (10.6) implies that (using in the second line (10.8) for the modified cone)

[TABLE]

If we compose this equivalence from the right with $\iota$ and use (10.9), then we get

[TABLE]

From (10.10) we conclude that

[TABLE]

which in view of Lemma 8.4 implies $E{\mathcal{O}}(X)\simeq 0$. ∎

Our next concern are the conditions 10.15.2 and 10.15.4. Condition 10.15.2 is satisfied, e.g., if $F_{{\mathcal{U}}}(s)$ is coarsely homotopic to the identity map. In the literature this is a standard assumption on a scaling; see, e.g., Higson–Roe [HR95].

Condition 10.15.4 is more problematic. If $s$ is homotopic to the identity in the sense of $\mathbf{UBC}$, then 10.15.4 is satisfied by the homotopy invariance of the functor $E{\mathcal{O}}^{\infty}\colon\mathbf{UBC}\to{\mathbf{C}}$, Unfortunately, in applications $s$ is rarely homotopic to the identity in the sense of $\mathbf{UBC}$. The standard assumption made e.g. in Higson–Roe [HR95] is that $F_{{\mathcal{C}},{\mathcal{U}}/2}(s)$ is homotopic to the identity map, i.e., that $s$ is homotopic to the identity in the sense of $\mathbf{TopBorn}$ (i.e., after forgetting the coarse and the uniform structures, but the homotopies are still required to be proper). If $E$ is additive, then $E{\mathcal{O}}^{\infty}$ has better homotopy invariance properties on nice spaces which we will use in the following to make the standard assumption of Higson–Roe also work in our situation.

Let $X$ be a uniform bornological coarse space, and let $E\colon\mathbf{BornCoarse}\to{\mathbf{C}}$ be a coarse homology theory. Note that this implicitly implies that ${\mathbf{C}}$ is stable and cocomplete.

Lemma 10.17**.**

Assume:

$X$* is homotopy equivalent (in $\mathbf{UBC}$) to a locally finite, finite-dimensional simplicial complex equipped with the metric structures.* 2. 2.

${\mathbf{C}}$* is complete.* 3. 3.

$E$* is additive.* 4. 4.

$F_{{\mathcal{C}},{\mathcal{U}}/2}(s)$* is homotopic to ${\mathtt{id}}_{F_{{\mathcal{C}},{\mathcal{U}}/2}(X)}$.*

Then $E{\mathcal{O}}^{\infty}(s)\simeq{\mathtt{id}}_{E{\mathcal{O}}^{\infty}(X)}$.

Proof.

This is an immediate consequence of Corollary 11.24 which will be shown below. ∎

In the following definition of a coarse scaling we introduce a class of scalings with additional properties ensuring that Proposition 10.15 is applicable.

Let $X$ be a uniform bornological coarse space whose uniform structure is induced by a metric, and let $s\colon X\to X$ be a scaling.

Definition 10.18**.**

The scaling $s$ is a coarse scaling if it satisfies in addition:

$F_{{\mathcal{U}}}(s)$* is coarsely homotopic to the identity.* 2. 2.

$F_{{\mathcal{C}},{\mathcal{U}}/2}(s)$* is properly homotopic to the identity.*

Remark 10.19**.**

A scaling in the sense of [HR95, Def. 7.1] is a coarse scaling; see also Example 10.14. ∎

The following corollary is an analog of Higson–Roe [HR95, Thm. 7.2]. Assumption 10.20.4 does not occur in [HR95] because the analogue of our $E{\mathcal{O}}^{\infty}$ is the functor $X\mapsto K_{*}(D^{*}(X))$ in the notation of [HR95] which has good homotopy invariance properties replacing the application of our Lemma 10.17.

Corollary 10.20**.**

Assume:

${\mathbf{C}}$* is complete.* 2. 2.

$E$* is additive and admits transfers.* 3. 3.

The uniform structure of $X$ is induced by a metric. 4. 4.

$X$* is homotopy equivalent (in $\mathbf{UBC}$) to a locally finite, finite-dimensional simplicial complex equipped with the metric structures.* 5. 5.

$X$* admits a coarse scaling (see Definition 10.18). *

Then $E{\mathcal{O}}(X)\simeq 0$ and the cone boundary $E{\mathcal{O}}^{\infty}(X)\to\Sigma E(X)$ is an equivalence.

Proof.

This follows from Proposition 10.15. Lemma 10.17 verifies Assumption 10.15.4. ∎

Example 10.21**.**

A typical example of a uniform bornological coarse space which admits a coarse scaling is a Euclidean cone. Let $Y$ be a subset of the unit sphere in a Hilbert space, and let $X$ be the cone over $Y$ with the metric induced from the Hilbert space. We consider $X$ as a uniform bornological coarse space with all structures induced from the metric. Then the map

[TABLE]

is a coarse scaling.

If $Y$ has a finite-dimensional, locally finite triangulation with a uniform bound on the size of its simplices, then so does $X$. In this case Corollary 10.20 can be applied to $X$. ∎

Let $X$ be a uniform bornological coarse space, and let $E\colon\mathbf{BornCoarse}\to{\mathbf{C}}$ be a strong coarse homology theory.

Theorem 10.22**.**

Assume:

${\mathbf{C}}$* is complete.* 2. 2.

$E$* is additive and admits transfers.* 3. 3.

The uniform structure of $X$ is induced by a metric. 4. 4.

$X$* is homotopy equivalent (in $\mathbf{UBC}$) to a locally finite, finite-dimensional simplicial complex equipped with the metric structures.* 5. 5.

$X$* admits a coarse scaling (see Definition 10.18).* 6. 6.

$X$* is coarsifying (Definition 7.8).*

Then $E{\mathcal{O}}\mathbf{P}(F_{{\mathcal{U}}}(X))\simeq 0$ and therefore the coarse assembly map $\mu_{E,F_{{\mathcal{U}}}(X)}$ is an equivalence.

Proof.

Since $X$ is coarsifying and $E{\mathcal{O}}$ is a local homology theory (Lemma 9.6) we have an equivalence $E{\mathcal{O}}\mathbf{P}(F_{{\mathcal{U}}}(X))\simeq E{\mathcal{O}}(X)$. We now apply Corollary 10.20 in order to conclude that $E{\mathcal{O}}(X)\simeq 0$. ∎

Example 10.23**.**

Let $Y$ and $X$ be as in Example 10.21. In general we can not expect $X$ to be coarsifying even if $Y$ is compact and the Hilbert space is finite-dimensional. Especially, we do not know if the analogue of [HR95, Prop. 4.3] is true in our generality. By using Proposition 7.13 one can prove that $X$ is coarsifying if $Y$ is a finite simplicial complex. Hence one can apply Theorem 10.22 to Euclidean cones over finite complexes.

Therefore we get the analogue of [HR95, Cor. 7.3] under the additional assumption of $Y$ being a finite simplicial complex (instead of a finite-dimensional compact metric space).

Every complete, simply-connected, non-positively curved Riemannian manifold is coarsely homotopy equivalent to the Euclidean cone over a finite-dimensional sphere. Since a finite-dimensional sphere has a finite triangulation, Theorem 10.22 provides a generalization of [HR95, Cor. 7.4].

Because of the Assumptions 10.22.4 and 10.22.6 we are not able to apply Theorem 10.22 to cones over arbitrary compact metric spaces. In particular, we do not obtain the analogue of [HR95, Cor. 8.2] asserting the coarse Baum–Connes conjecture for all hyperbolic (proper) metric spaces.

We do not know whether we should expect that the assmbly map $\mu_{E,F_{{\mathcal{U}}}(X)}$ is an equivalence for all hyperbolic (proper) metric spaces or Euclidean cones over finite-dimensional compact metric spaces and arbitrary coarse homology theories $E$ satisfying the Assumptions 10.22.2 and 10.22.1. ∎

The next corollary specializes Theorem 10.22 by utilizing a convenient condition on the space $X$ to be coarsifying. Let $E\colon\mathbf{BornCoarse}\to{\mathbf{C}}$ be a strong coarse homology theory. Let $K$ be a simplicial complex, and let $K_{d}$ be the associated uniform bornological coarse space.

Corollary 10.24**.**

Assume:

${\mathbf{C}}$* is complete.* 2. 2.

$E$* is additive and admits transfers.* 3. 3.

$K$* has bounded geometry.* 4. 4.

$K_{d}$* is equicontinuously contractible.* 5. 5.

$K_{d}$* admits a coarse scaling.*

Then the coarse assembly map $\mu_{E,F_{{\mathcal{U}}}(K_{d})}$ is an equivalence.

Proof.

Combine Proposition 7.13 with Proposition 10.22. ∎

Example 10.25**.**

If $X$ is a tree or an affine Bruhat–Tits building of bounded geometry, then Corollary 10.24 applies to $X$. Hence we obtain the analogue of [HR95, Cor. 7.5]. ∎

Example 10.26**.**

All coarse homology theories listed in Example 10.10 are strong, additive, and admit transfers. Moreover, their target categories are complete. Therefore the above theorems apply to them.

Examples of spaces admitting coarse scalings and which are homotopy equivalent (in $\mathbf{UBC}$) to uniformly contractible simplicial complexes of bounded geometry are simply-connected complete Riemannian manifolds $M$ with sectional curvatures satisfying $-C\leq\mathrm{sec}\leq 0$ for a positive constant $C$. The coarse scaling $s$ is in this case given by, e.g., $s(x)\coloneqq\exp(\log(x)/2)$, where we have fixed a base point $x_{0}$ in $M$, $\exp\colon T_{x_{0}}M\to M$ is the Riemannian exponential map, and $\log\colon M\to T_{x_{0}}M$ is its inverse. ∎

11 Calculation of $\bm{E{\mathcal{O}}^{\infty}}$

The goal of this section is to provide a computation of $E{\mathcal{O}}^{\infty}(X)$ in terms of the value $E(\ast)$ of $E$ at the one-point space (see Proposition 11.23). For this calculation we must require that $E$ is additive

In this section we assume that ${\mathbf{C}}$ is a stable and complete $\infty$-category. For the moment this suffices to construct the locally finite evaluation. Later we will in addition assume that ${\mathbf{C}}$ is cocomplete.

Let $F\colon\mathbf{UBC}\to{\mathbf{C}}$ be a functor and $X$ a small uniform bornological coarse space.

Definition 11.1**.**

We define the locally finite evaluation of $F$ at $X$ by

[TABLE]

where $W$ runs over all bounded subsets of $X$.

Similary as in [BE20, Rem. 7.16] one can turn the above definition into a construction of a functor $F^{{l\!f}}\colon\mathbf{UBC}\to{\mathbf{C}}$.

Remark 11.2**.**

Here are the details. We consider the category $\mathbf{UBC}^{{\mathcal{B}}}$ of pairs $(X,W)$, where $X$ is in $\mathbf{UBC}$ and $W$ is a bounded subset of $X$. A morphism $f\colon(X,W)\to(X^{\prime},W^{\prime})$ is a morphism $f\colon X\to X^{\prime}$ in $\mathbf{UBC}$ with $f(W)\subseteq W^{\prime}$. We have the functors

[TABLE]

and

[TABLE]

We then define the functor $F^{{l\!f}}$ as the right Kan extension of $\tilde{F}$ along $p$:

[TABLE]

This right Kan extension exists by our assumption on ${\mathbf{C}}$, and the formula (11.1) follows from the pointwise formula for the evaluation of the right Kan extension. ∎

Remark 11.3**.**

If $F$ is induced from a functor $F^{\prime}\colon\mathbf{TopBorn}\to{\mathbf{C}}$ by $F=F^{\prime}\circ F_{{\mathcal{C}},{\mathcal{U}}/2}$, then we have an equivalence

[TABLE]

where $F^{\prime,{l\!f}}$ is exactly the locally finite evaluation as defined in [BE20, Def. 7.15]. ∎

We have a natural morphism $F(X)\to F^{{l\!f}}(X)$.

Lemma 11.4**.**

If $F$ is homotopy invariant, then so is $F^{{l\!f}}$.

Proof.

The proof is the same as the one of [BE20, Lem. 7.35]. One has just to observe that the subsets of the form $[0,1]\times W$ of $[0,1]\otimes X$ are cofinal in the bounded subsets of $[0,1]\otimes X$. ∎

Lemma 11.5**.**

If $F$ satisfies excision for decompositions into closed or open subsets, then so does $F^{{l\!f}}$.

Proof.

The argument is the same as for [BE20, Lem. 7.36]. ∎

Remark 11.6**.**

Note that open or closed excision in the sense of Definition 3.8 involves additional assumptions on the subsets. If $F$ satisfies excision in the sense of this Definition, then it is not clear what kind of excision properties $F^{{l\!f}}$ has. The problem is that the intersection with $X\setminus W$ does not necessarily preserve coarsely or uniformly excisive pairs.

In Lemma 11.11 below we show that under the additional assumption that $F$ is invariant under coarsening the functor $F^{{l\!f}}$ at least satisfies excision for decompositions of simplicial complexes into closed subsets. ∎

Let $X$ be a uniform bornological coarse space.

Definition 11.7**.**

A coarsening $X^{\prime}$ of $X$ is a uniform bornological coarse space obtained from $X$ by replacing the coarse structure by a larger one which is still compatible with the bornology.

Note that the identity of the underlying sets is a morphism $X\to X^{\prime}$ of uniform bornological coarse spaces.

Let $F\colon\mathbf{UBC}\to{\mathbf{C}}$ be a functor.

Definition 11.8**.**

We say that $F$ is invariant under coarsening if for every uniform bornological coarse space $X$ and coarsening $X\to X^{\prime}$ the induced morphism $F(X)\to F(X^{\prime})$ is an equivalence.

Example 11.9**.**

The functor ${\mathcal{O}}^{\infty}\colon\mathbf{UBC}\to\mathbf{Sp}{\mathcal{X}}$ is invariant under coarsening, see [BEKW20, Prop. 9.33]. ∎

Lemma 11.10**.**

If $F$ is invariant under coarsening, then so is $F^{{l\!f}}$.

Proof.

The assertion follows immediately from the defining formula (11.1). ∎

A simplicial complex has a spherical path quasi metric which induces a metric uniform, a metric coarse, and a metric bornological structure. If we consider a simplicial complex as an object of $\mathbf{UBC}$ equipped with these structures, then we say that it has the metric structures.

Let $X$ be a simplicial complex with the metric uniform and coarse structures, a compatible bornology (not necessarily the metric one), and with a decomposition $(A,B)$ into closed subsets.

Lemma 11.11**.**

If $F$ satisfies closed excision in the sense of Definition 3.8 and is invariant under coarsening, then we have a push-out square

[TABLE]

Proof.

We use that the cofibre of a map of cocartesian squares is a cocartesian square.

In the limit (11.1) we can restrict $W$ to run only over the interiors of subcomplexes. Then $X\setminus W$ is again a simplicial complex and $(A\setminus W,B\setminus W)$ is a decomposition of $X\setminus W$ into closed subsets.

Note that in the terms $F(X\setminus W)$ in (11.1) we must equip the set $X\setminus W$ with the uniform bornological coarse structures induced from $X$. The uniform structure on $X\setminus W$ is also induced from the path-metric of $X\setminus W$, but this is in general not true for the coarse structure. Since $F$ is invariant under coarsening, we can, without changing the value of $F$ on the spaces $X\setminus W$, equip these spaces with the smaller coarse structures associated to the intrinsic path metrics.

Using Example 3.7 we now see that excisiveness of $F$ in the sense of Definition 3.8 can be applied to the decompositions $(A\setminus W,B\setminus W)$ of the complexes $X\setminus W$ occuring in the limit (11.1). We therefore have expressed the square (11.2) as a limit of cofibres of maps of cocartesian squares, i.e., as a limit of cocartesian squares. Since ${\mathbf{C}}$ is stable, cartesian and cocartesian squares in ${\mathbf{C}}$ are the same. Hence (11.2) itself is a cocartesian square. ∎

Remark 11.12**.**

If $F$ is homotopy invariant, is invariant under coarsening, and satisfies open excision in the sense of Definition 3.8, then a modified argument shows that also in this case the square (11.2) is a push-out provided we restrict to decompositions $(A,B)$ of $X$ into subcomplexes. ∎

Let $F\colon\mathbf{UBC}\to{\mathbf{C}}$ be a functor and assume that $F$ is excisive (in any of the senses discussed above). If $X$ is a uniform bornological coarse space with the discrete uniform and coarse structures and $x$ is a point in $X$, then analogously as in (10.1) we have a natural projection morphism $F(X)\to F(\{x\})$.

Definition 11.13**.**

$F$* is called additive if for every uniform bornological coarse space $X$ with the discrete uniform and coarse structures and the minimal bornology the natural morphism*

[TABLE]

induced by the projections is an equivalence.

The product exists by our standing assumption for ${\mathbf{C}}$ in this section.

Let $F\colon\mathbf{UBC}\to{\mathbf{C}}$ be a functor.

Lemma 11.14**.**

If $F$ is excisive (in any of the senses discussed above), then $F^{{l\!f}}$ is additive.

Proof.

The argument is completely analogous to the proof of [BE20, Lem. 7.30]. ∎

Let $F:\mathbf{UBC}\to{\mathbf{C}}$ be a functor.

Lemma 11.15**.**

Assume:

$F$* satisfies closed excision in the sense of Definition 3.8.* 2. 2.

$F$* is homotopy invariant.* 3. 3.

$F$* invariant under coarsening.* 4. 4.

$F$* is additive.*

Then for every locally finite, finite-dimensional simplicial complex $X$ equipped with the metric structures the natural morphism $F(X)\to F^{{l\!f}}(X)$ is an equivalence.

Proof.

We argue by a finite induction over the dimension.

Assume that $X$ is zero-dimensional. Then $X$ is discrete as a uniform and coarse space and has the minimal bornology. The functor $F$ is additive by assumption, and the functor $F^{{l\!f}}$ is additive by Lemma 11.14. Since $F(*)\stackrel{{\scriptstyle\simeq}}{{\to}}F^{{l\!f}}(*)$ we can conclude that $F(X)\stackrel{{\scriptstyle\simeq}}{{\to}}F^{{l\!f}}(X)$.

In the higher-dimensional case we use that local finiteness of $X$ implies that its bornology is generated by the finite subcomplexes.

Assume now that the assertion is true for complexes of dimension $n-1$. If the complex $X$ is $n$-dimensional, then we can decompose $X$ into a closed tubular neighbourhood $Y$ of thickness $1/3$ of its $(n-1)$-skeleton and a disjoint union $Z$ of $n$-simplices of size $2/3$ (see the picture on Page 11). The intersection is then a disjoint union of tubular neighbourhoods of thickness $1/3$ of the boundaries of simplices of size $2/3$.

This closed decomposition is coarsely and uniformly excisive. Hence we can apply excision for $F$ in the sense of Definition 3.8. For $F^{{l\!f}}$ we use Lemma 11.11.

We use homotopy invariance in order to replace the evaluation on $Y$ by the evaluation on the $(n-1)$-skeleton $X^{n-1}$ itself. Furthermore, we can contract the $n$-simplices of size $2/3$ in $Z$ to the set $C$ of their centers. Finally, we contract $Y\cap Z$ to the set $W$ of the boundaries of these simplices of size $2/3$.

We use invariance under coarsening (note that $F^{{l\!f}}$ is also invariant under coarsening by Lemma 11.10) in order to replace the induced coarse structures by the coarse structures induced by the intrinsic path-quasi-metric on the $(n-1)$-skeleton $X^{n-1}$ and on $W$ and the discrete coarse structure on the set $C$ of centers of $n$-simplices. The bornology on $C$ induced from $X$ is the minimal one.

Then we can apply the induction assumption to $X^{n-1}$, $W$ (which is also $n-1$-dimensional) and $C$. ∎

Remark 11.16**.**

In Assumption 1 of Lemma 11.15 one could replace “closed” by “open” without changing the conclusion. The argument must be slightly modified by using the corresponding open versions of the decompositions in the induction steps. ∎

Let $E\colon\mathbf{BornCoarse}\to{\mathbf{C}}$ be a coarse homology theory such that ${\mathbf{C}}$ is complete. Recall Definition 10.5 of the notion of additivity and note that additivity follows from strong additivity [BEKW20, Def. 3.12].

Proposition 11.17**.**

If $E$ is additive and $X$ is a locally finite, finite-dimensional simplicial complex equipped with the metric structures, then the natural morphism

[TABLE]

is an equivalence.

Proof.

We will check that the assumptions of Lemma 11.15 are satisfied. By Lemma 9.2 the functor ${\mathcal{O}}^{\infty}$ satisfies excision in the sense of Definition 3.8 and is homotopy invariant. Hence $E{\mathcal{O}}^{\infty}$ has these properties. Further, by Example 11.9 the functor $E{\mathcal{O}}^{\infty}$ is invariant under coarsening.

Let $X$ be a uniform bornological coarse space which is discrete both as a uniform and as a coarse space. Then

[TABLE]

by [BEKW20, Prop. 9.33]. Using that $E$ is additive at the marked equivalence in the following chain of equivalences, we have for a uniform bornological coarse space $X$ with the discrete uniform and coarse structures and the minimal bornology

[TABLE]

showing that $E{\mathcal{O}}^{\infty}$ is additive. ∎

Following Weiss–Williams [WW95], for a homotopy invariant functor $F:\mathbf{UBC}\to{\mathbf{C}}$ we can construct a best approximation of $F$ by a homology theory. It is given by the Kan extension procedure described in the proof of [BE20, Prop. 7.43] which produces a functor and a natural transformation

[TABLE]

Here are the details. We assume that ${\mathbf{C}}$ is stable, complete and cocomplete. Let $\mathbf{UBC}^{\Delta}$ be the category of pairs $(X,\sigma)$, where $X$ is in $\mathbf{UBC}$ and $\sigma:\Delta^{n}\to X$ is a continuous map. On $\Delta^{n}$ we consider the uniform bornological coarse structure induced by the spherical metric. Then $\sigma$ is automatically a morphism in $\mathbf{UBC}$. A morphism $(X,\sigma)\to(X^{\prime},\sigma^{\prime})$ is a commutative diagram

[TABLE]

where $f$ is a morphism in $\mathbf{UBC}$ and $\phi$ is induced by a morphism $[n]\to[n^{\prime}]$ in the category $\mathbf{\Delta}$. We have functors

[TABLE]

Definition 11.18**.**

Then we define $F^{\%}$ by a left Kan-extension of $F\circ q$ along $p$:

[TABLE]

The objectwise formula for the left Kan extension yields the following formula for the values of $F^{\%}$:

[TABLE]

where the colimit runs over the category of simplices of $X$.

Since ${\mathbf{C}}$ is stable and cocomplete, it is tensored over the small category $\mathbf{Sp}^{\mathit{sm}}$ of very small spectra. We have a suspension spectrum functor $\Sigma_{+}^{\infty}\colon{\mathbf{Top}}\to\mathbf{Sp}^{\mathit{sm}}$, and we denote by ${\mathcal{F}}_{{\mathcal{C}},{\mathcal{U}}/2,{\mathcal{B}}}\colon\mathbf{UBC}\to{\mathbf{Top}}$ the canonical forgetful functor.

Lemma 11.19**.**

We have an equivalence of functors

[TABLE]

from $\mathbf{UBC}$ to ${\mathbf{C}}$. In particular, $F^{\%}$ is homotopy invariant and satisfies open excision.

Proof.

Since $F$ is homotopy invariant, the projection $\Delta^{n}\to*$ induces an equivalence

[TABLE]

Using the equivalence $\mathrm{colim}_{(\Delta^{n}\to X)}\Sigma^{\infty}_{+}(*)\simeq\Sigma^{\infty}_{+}(X)$ (which is natural in $X$) and the fact that $\wedge$ commutes with colimits, we get the equivalence (11.3).

The functor $\Sigma^{\infty}_{+}(-):{\mathbf{Top}}\to\mathbf{Sp}^{sm}$ is homotopy invariant and satisfies open excision. This implies that the functor $F^{\%}$ is homotopy invariant and satisfies open excision. ∎

Corollary 11.20**.**

*The functor $(F^{\%})^{{l\!f}}\colon\mathbf{UBC}\to{\mathbf{C}}$ is an open local homology theory, it is additive, and it is invariant under coarsening. *

Proof.

We let $(F(*)\wedge\Sigma_{+}^{\infty})^{{l\!f}}\colon\mathbf{TopBorn}\to{\mathbf{C}}$ be the open local homology theory associated to the object $F(*)$ of ${\mathbf{C}}$ [BE20, Ex. 7.40]. By Lemma 11.19 we have

[TABLE]

The right-hand side is an open local homology theory by Lemma 3.16. Additivity of $(F^{\%})^{{l\!f}}$ follows from Lemma 11.14 since $F^{\%}$ satisfies excision by Lemma 11.19. Finally, by (11.4) the functor $(F^{\%})^{{l\!f}}$ is completely independent of the coarse structure and hence in particular invariant under coarsening. ∎

Lemma 11.21**.**

If $F$ satisfies the assumptions stated in Lemma 11.15, and $X$ is a countable, locally finite, finite-dimensional simplicial complex equipped with the metric structures, then the natural morphism

[TABLE]

is an equivalence.

Proof.

The argument is the same as for Lemma 11.15. It is an induction over the dimension of $X$. In the zero-dimensional case we just need additivity of $F^{{l\!f}}$ and $(F^{\%})^{{l\!f}}$. Additivity of $F^{{l\!f}}$ follows from Lemma 11.14 and additivity of $(F^{\%})^{{l\!f}}$ was shown in Corollary 11.20.

For the induction step we need that the functors $(F^{\%})^{{l\!f}}$ and $F^{{l\!f}}$ are homotopy invariant, invariant under coarsenings and excisive for the decompositions of simplicial complexes as depicted on Page 11. That $F^{{l\!f}}$ has these properties was already explained in the proof of Lemma 11.15.

Homotopy invariance and invariance under coarsening of $(F^{\%})^{{l\!f}}$ is shown in Corollary 11.20. Only the required excisiveness of $(F^{\%})^{{l\!f}}$ is not completely obvious: here we have to use homotopy invariance of $(F^{\%})^{{l\!f}}$ to transform the closed decompositions into open ones. ∎

Remark 11.22**.**

The conclusion of Lemma 11.21 is also true if we assume that $F$ satisfies open excision instead of closed excision. In this case we have to slightly modify the proof similarly as in Remark 11.16. ∎

Let $E\colon\mathbf{BornCoarse}\to{\mathbf{C}}$ be a coarse homology theory, and let $X$ be a uniform bornological coarse space. In the following we omit to write the forgetful functor ${\mathcal{F}}_{{\mathcal{C}},{\mathcal{U}}/2,{\mathcal{B}}}$ in front of $\Sigma^{\infty}_{+}$ in order to simplify the notation.

Proposition 11.23**.**

Assume:

${\mathbf{C}}$* is complete.* 2. 2.

$E$* is additive.* 3. 3.

$X$* is homotopy equivalent in $\mathbf{UBC}$ to a locally finite, finite-dimensional simplicial complex equipped with the metric structures.*

Then we have an equivalence

[TABLE]

Proof.

We first observe that $\Sigma E(*)\simeq E{\mathcal{O}}^{\infty}(*)$. Then we just combine Proposition 11.17, Lemma 11.21 with $F\coloneqq E{\mathcal{O}}^{\infty}$, and (11.3). ∎

Note that the functor $X\mapsto(\Sigma E(*)\wedge\Sigma^{\infty}_{+})^{{l\!f}}(X)$ is naturally defined on ${\mathbf{Top}}\mathbf{Born}$ and is locally finite, homotopy invariant (in the sense of $\mathbf{TopBorn}$, i.e., for proper homotopies which are not necessarily uniform), and satisfies open excision. Therefore the functor $X\mapsto E{\mathcal{O}}^{\infty}(X)$ for spaces $X$ in $\mathbf{UBC}$ (which are homotopy equivalent in the sense of $\mathbf{UBC}$ to a locally finite, finite-dimensional simplicial complexes equipped with the metric structures), also has these stronger homological properties. In particular:

Let $E\colon\mathbf{BornCoarse}\to{\mathbf{C}}$ be a coarse homology theory. Furthermore, let $X,X^{\prime}$ be in $\mathbf{UBC}$ and $f,g\colon X\to X^{\prime}$ be morphisms in $\mathbf{UBC}$.

Corollary 11.24**.**

Assume:

${\mathbf{C}}$* is complete.* 2. 2.

$E$* is additive.* 3. 3.

$X$* and $X^{\prime}$ are homotopy equivalent in $\mathbf{UBC}$ to locally finite and finite-dimensional simplicial complexes equipped with the metric structures.* 4. 4.

$F_{{\mathcal{C}},{\mathcal{U}}/2}(f)$* and $F_{{\mathcal{C}},{\mathcal{U}}/2}(g)$ are properly homotopic (there is a homotopy $[0,1]\times X\to X^{\prime}$ which is continuous and proper after forgetting the coarse and uniform structures).*

Then $E{\mathcal{O}}^{\infty}(f)$ is equivalent to $E{\mathcal{O}}^{\infty}(g)$.

12 Comparison of coarse homology theories

In ordinary homotopy theory a transformation between spectrum-valued homology theories which induces an equivalence on a point is an equivalence at least on all $CW$-complexes. In the present section we consider an analogous statement for coarse homology theories.

Assume that we have a transformation $E\to E^{\prime}$ of ${\mathbf{C}}$-valued coarse homology theories which induces an equivalence $E(\ast)\to E^{\prime}(\ast)$. In this section we provide sufficient conditions on a bornological coarse space $X$ and on the theories $E$ and $E^{\prime}$ which imply that $E(X)\to E^{\prime}(X)$ is an equivalence. The main result is formulated in Theorem 12.3.

Let $X$ be a bornological coarse space. The following definitions are from [BE20, Def. 7.75], [BE20, Def. 7.77].

Definition 12.1**.**

**

$X$* has strongly bounded geometry if it has the minimal bornology compatible with the coarse structure and for every coarse entourage $U$ of $X$ the number of points in $U$-bounded subsets of $X$ is uniformly bounded.* 2. 2.

$X$* has bounded geometry if it is equivalent to a bornological coarse space with strongly bounded geometry.*

Let $X$ be a bornological coarse space, and let $E\colon\mathbf{BornCoarse}\to{\mathbf{C}}$ be a strong coarse homology theory.

Proposition 12.2**.**

Assume:

${\mathbf{C}}$* is complete.* 2. 2.

$E$* is additive.* 3. 3.

$X$* has bounded geometry.*

Then we have an equivalence

[TABLE]

Proof.

Since $(\Sigma E(*)\wedge\Sigma^{\infty}_{+})^{{l\!f}}\circ F_{{\mathcal{C}},{\mathcal{U}}/2}$ is by Lemma 3.16 an open local homology theory, it can be composed with the open version $\mathbf{P}^{o}$. Since both sides of the equivalence are coarsely invariant we can assume that $X$ is a bornological coarse space of strongly bounded geometry. Then for every entourage $U$ of $X$ the complex $P_{U}(X)$ is a locally finite, finite-dimensional simplicial complex. Hence by Proposition 11.23 we get an equivalence

[TABLE]

Forming the colimit over the entourages $U$ of $X$ and using (5.2) and its open version we get the claimed equivalence

[TABLE]

In the second equivalence Lemma 5.6 can be applied (with $E{\mathcal{O}}^{\infty}$ in place of $E$) since $E{\mathcal{O}}^{\infty}$ is a closed and open local homology theory by Lemma 9.6 and since $E$ is strong.∎

Let $E\to E^{\prime}$ be a transformation between strong ${\mathbf{C}}$-valued coarse homology theories, and let $X$ be a bornological coarse space.

Theorem 12.3**.**

Assume:

${\mathbf{C}}$* is complete.* 2. 2.

$E$* and $E^{\prime}$ are additive.* 3. 3.

$E(*)\to E^{\prime}(*)$* is an equivalence.* 4. 4.

$X$* is of bounded geometry.* 5. 5.

The coarse assembly maps $\mu_{E,X}$ and $\mu_{E^{\prime},X}$ are equivalences (Definition 9.7).

Then $E(X)\to E^{\prime}(X)$ is an equivalence.

Proof.

By an inspection of the arguments going into the proof of Proposition 12.2 one checks that the asserted equivalence is natural in $E$. This gives the left commuting square in the following diagram. Similarly for the right square we use that the coarse assembly map is natural in $E$.

[TABLE]

The left vertical morphism is an equivalence by Condition 3. We conclude that the right vertical morphism is an equivalence, too. ∎

We can use Theorems 10.4, 10.11 and 10.22 in order to check Condition 5 in the statement of Theorem 12.3.