Asymptotic filtered colimits (Q2291594): Difference between revisions

Let \(\{(X_s,\mathcal{LSS}_s)\}_{s\in S}\) be a collection of large scale spaces satisfying the following conditions: for any \(r, s\in S\), the restrictions of \(\mathcal{LSS}_r\) and \(\mathcal{LSS}_s\) to \(X_r\cap X_s\) coincide, and for any \(r, s\in S\), there exists \(t\in S\) such that \(X_r\cup X_s \subset X_t\). Then, the authors introduce a large scale structure \(\mathcal{LSS}\) on \(X = \cup_{s\in S} X_s\), called the asymptotic filtered colimit, in such a way that every function on \(X\) is large scale continuous if and only if the function restricted to each \(X_s\) is large scale continuous. Here the large scale structure is in the sense of \textit{J. Dydak} and \textit{C. S. Hoffland} [Topology Appl. 155, No. 9, 1013--1021 (2008; Zbl 1145.54032)]. It turns out that a function \(f: X\to Y\) is slowly oscillating if and only if the restrictions \(f|X_s: X_s\to Y\) (\(s\in S\)) are slowly oscillating. In this paper, the authors study whether the following coarse invariants are preserved between \(\{(X_s,\mathcal{LSS}_s)\}_{s\in S}\) and the asymptotic filtered colimits \((X,\mathcal{LSS})\): metrizability, the asymptotic dimension being at most \(n\), asymptotic property C, coarse embeddability, coarse amenability, being a bounded geometry coarse space with property A.