On convergence in the subpower Higson corona of metric spaces (Q2295661)

Let \(\langle X, d\rangle\) be a metric space such that \(d\) is unbounded but every bounded closed set of \(\langle X, d\rangle\) is compact; that is, \(\langle X, d\rangle\) is an unbounded proper metric space. For a fixed point \(x_0\in X\), let \(|x|=d(x_0, x)\). For \(x\in X\) and a positive real number \(r\), let \(B_{r}(x)=\{y\in X: d(x,y) < r\}\). A function \(p:\mathbb{R}_+\to\mathbb{R}_+\) is called an asymptotically subpower function if, for every positive real number \(\alpha\), there exists a positive real number \(t_0\) such that, for every \(t> t_0\), \(p(t) < t^{\alpha}\). A bounded continuous function \(f: X\to\mathbb{R}\) is called a Higson subpower function if, for every asymptotically subpower function \(p\) and every \(\varepsilon>0\), there exists \(r_0>0\) such that, for every \(x\in X\) with \(|x|>r_0\) and for all \(y_1,y_2\in B_{p(|x|)}(x)\), \(|f(y_1)-f(y_2)|<\varepsilon\). Let \(X\) be equipped with the topology induced by \(d\). For the collection \(\mathcal{H}\) of all Higson subpower functions on \(X\), let \(h_P: X\to\mathbb{R}^{\mathcal{H}}\) be the evaluation mapping defined by \(h_P(x)(h)=h(x)\) for every \(x\in X\) and every \(h\in\mathcal{H}\). Then \(h_P X\) is the closure of \(h_P(X)\) in \(\mathbb{R}^{\mathcal{H}}\). In ZFC, the space \(h_P X\) is compact. The ordered pair \(\langle h_P X, h_P\rangle\) is called the Higson subpower compactification of \(X\). The remainder \(v_P X=h_P X\setminus h_P(X)\) is called the subpower Higson corona of \(X\). The main theorem of the article asserts that, in ZFC, there exists an unbounded proper metric space whose subpower Higson corona contains a \(\sigma\)-compact subspace which is not \(C^{\ast}\)-embedded in \(v_P X\). The authors give a detailed ZFC-proof to this theorem and inform that this proof has been suggested by Roman Pol. The authors conclude that, in ZFC, the closure of a \(\sigma\)-compact subspace \(Y\) of the subpower Higson corona of an unbounded proper metric space need not be homeomorphic to the Čech-Stone compactification of \(Y\). The authors remark that, by a slight modification of the proof of the main theorem, one can obtain an example of an unbounded proper metric space \(\langle X, d\rangle\) and a closed subspace \(Y\) of \(X\) such that there exists a Higson subpower function on \(Y\) which is not extendable to a Higson subpower function defined on \(X\). Similar arguments can be applied to Higson sublinear functions and sublinear Higson coronas.