Coarse property C and decomposition complexity (Q2363285)

In the introduction of their article, the authors nicely summarize the major themes of the entire article. The following are direct quotes of the authors' summary presented in the last two paragraphs of the introduction on page 31. The paper is organized as follows. In the next section, we give the precise definitions of the metric versions of asymptotic dimension, asymptotic property C, property A, and the various notations of decomposition complexity. In the third section we define our coarse property C based on the definition of coarse asymptotic dimension given in [\textit{J. Roe}, Lectures on coarse geometry. Providence, RI: American Mathematical Society (AMS) (2003; Zbl 1042.53027); \textit{B. Grave}, Coarse geometry and asymptotic dimension. Göttingen: Univ. Göttingen, Mathematisch-Naturwissenschaftliche Fakultäten (Dissertation) (2005; Zbl 1099.53502)]. The main result of this section is Theorem 3.10, which says that coarse property C implies Roe's coarse property A [Roe, loc. cit.]. This result is a natural extension of \textit{A. N. Dranishnikov}'s result that asymptotic property C implies property A for metric spaces [Russ. Math. Surv. 55, No. 6, 1085--1129 (2000; Zbl 1028.54032); translation from Usp. Mat. Nauk 55, No. 6, 71--116 (2000)]. Moreover we show that coarse property C is preserved by certain types of infinite unions and all finite unions (Theorem 3.15). In the fourth section we define various notations of coarse decomposition complexity. We relate these notions to each other and discuss how they are related to coarse asymptotic dimension and coarse property C. Much of this section follows the general outline from [\textit{E. Guentner}, in: Recent progress in general topology III. Based on the presentations at the Prague symposium, Prague, Czech Republic, 2001. Amsterdam: Atlantis Press. 507--533 (2014; Zbl 1300.54003)] regarding permanence properties in coarse geometry. The results of this section are permanence results of the following type: suppose \(X\) is a coarse space built in some way from coarse space \(Y\) with a coarse property \(\mathcal{P}\). Then, \(X\) inherits that coarse property \(\mathcal{P}\). For example, if \(X=Y \times Y'\) where \(Y\) and \(Y'\) are coarse spaces with finite coarse decomposition complexity, then \(X\) will have finite coarse decomposition complexity. The main results here are Theorem 4.14, and that theses notations of decomposition complexity are preserved by finite unions, some infinite unions, and Cartesian products.