APD profiles and transfinite asymptotic dimension (Q2215692)

\textit{T. Radul} [Topology Appl. 157, No. 14, 2292--2296 (2010; Zbl 1198.54064)] defined a transfinite extension of asymptotic dimension of \textit{M. Gromov} [Geometric group theory. Volume 2: Asymptotic invariants of infinite groups. Cambridge University Press (1993; Zbl 0841.20039)], which is called the transfinite asymptotic dimension \(\text{trasdim}\, X\) for a metric space \(X\). On the other hand, \textit{J. Dydak} [Rev. Mat. Complut. 33, No. 2, 373--388 (2020; Zbl 1443.54013)] introduced the notion of (integral) APD profile to define asymptotic property D for \(\infty\)-pseudometric spaces, where an \(\infty\)-pseudometric means a possibly infinite-valued pseudometric. In fact, an \(\infty\)-pseudometric space is said to have asymptotic property D if it has an (integral) APD profile. Note that asymptotic property D is weaker than finite asymptotic dimension and stronger than asymptotic property C introduced by \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)]. Dydak [loc. cit., Question 5.15] asked whether there is a metric space having asymptotic property C but not having asymptotic property D. Let \(\mathbb{N}\) be the set of all positive integers and \(\omega\) the first infinite ordinal number. In this paper, the author proves the following theorems which relate transfinite asymptotic dimensions and integral APD profiles: (Theorem 4.2) Let \(n\) be a non-negative integer. An \(\infty\)-pseudometric space \(X\) has an integral APD profile \((n+1,f)\) for some non-decreasing function \(f: \mathbb{N} \to \mathbb{N}\) if and only if \(\text{trasdim}\, X \leq \omega + n\). (Theorem 4.4) Let \(n\) be a non-negative integer and \(m \in \mathbb{N}\). If an \(\infty\)-pseudometric space \(X\) has an integral APD profile \((n+1,\alpha_1, \dots, \alpha_m)\) for some non-decreasing functions \(\alpha_1, \dots , \alpha_m : \mathbb{N} \to \mathbb{N}\), then \(\text{trasdim}\, X \leq m\cdot \omega +n\). (Corollary 4.5) If an \(\infty\)-pseudometric space \(X\) has asymptotic property D, then \(\text{trasdim}\, X < \omega\cdot\omega\). \textit{Y. Wu} et al. [``On metric spaces with given transfinite asymptotic dimensions'', Preprint, \url{arXiv:2007.07416}] have shown that for every countable ordinal number \(\xi\) there exists a metric space \(X_\xi\) with \(\text{trasdim}\, X_\xi =\xi\). This and Corollary 4.5 give an affirmative answer to the above question of J. Dydak.