Inductive dimensions of coarse proximity spaces
In this paper, the authors generalize the notion of asymptotic inductive dimension to coarse proximity spaces.\N\NLet \(\nu X\) be the Higson corona of a proper metric space \(X\), \(\dim (\nu X)\) the covering dimension of \(\nu X\), \(\operatorname{Ind}(\nu X)\) the large inductive dimension of \(\nu X\), and \(\operatorname{asdim}(X)\) the asymptotic dimension of \(X\). \textit{A. N. Dranishnikov} et al. [Topology 37, No. 4, 791--803 (1998; Zbl 0910.54026)] proved that \(\dim (\nu X) \leq \operatorname{asdim} (X)\) for every proper metric space \(X\). Furthermore, \textit{A. N. Dranishnikov} [Russ. Math. Surv. 55, No. 6, 1085--1129 (2000; Zbl 1028.54032); translation from Usp. Mat. Nauk 55, No. 6, 71--116 (2000)] proved that \(\dim (\nu X) = \operatorname{asdim} (X)\) provided that \(\operatorname{asdim} (X)< \infty\).\N\NIn [JP J. Geom. Topol. 1, No. 3, 239--247 (2001; Zbl 1059.54024)], \textit{A. N. Dranishnikov} introduced the asymptotic inductive dimension \(\operatorname{asInd} (X)\) for a proper metric space \(X\), proving that \(\operatorname{Ind} (\nu X)\leq\operatorname{asInd} (X)\) for every proper metric space \(X\), and that \(\dim (\nu X) =\operatorname{asdim} (X) =\operatorname{Ind} (\nu X) =\operatorname{asInd} (X)\) provided that \(\operatorname{asdim} (X)< \infty\) and \(X\) is of bounded geometry. The assumption that \(X\) is of bounded geometry was removed in [\textit{A. Dranishnikov} and \textit{M. Zarichnyi}, Topology Appl. 140, No. 2--3, 203--225 (2004; Zbl 1063.54027)].\N\NIn [\textit{P. Grzegrzolka} and \textit{J. Siegert}, Topology Appl. 251, 18--46 (2019; Zbl 1404.54021); \textit{P. Grzegrzolka} and \textit{J. Siegert}, Eur. J. Math. 9, No. 2, Paper No. 28, 26 p. (2023; Zbl 1515.54022)], the authors introduced coarse proximity spaces \((X,\mathcal{B},\mathbf{b})\) and their boundaries \(\mathcal{U}X\). If \((X,\mathcal{B},\mathbf{b})\) is the metric coarse proximity space induced by a proper metric space \(X\), then \(\mathcal{U}X\) coincides with the Higson corona of \(X\).\N\NIn this paper, the authors generalize the definition of asymptotic inductive dimension to coarse proximity spaces and prove that \(\operatorname{Ind}(\mathcal{U}X)\leq\operatorname{asInd}(X)\) for all coarse proximity spaces \((X,\mathcal{B},\mathbf{b})\). As a sufficient condition for the equality \(\operatorname{Ind}(\mathcal{U}X)=\operatorname{asInd}(X)\), they introduce the notion of complete traceability for boundaries of coarse proximity spaces. It is shown that spaces whose boundaries are \(Z\)-sets and spaces admitting metrizable compactifications have completely traceable boundaries. They also show that there exists a coarse proximity space \((X,\mathcal{B},\mathbf{b})\) such that \(\dim (\mathcal{U}X) < \operatorname{asInd} (X)\).
This page was built for publication: Inductive dimensions of coarse proximity spaces
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6875222)
