Paper detail

Sequential ends and nonstandard infinite boundaries of coarse spaces

This paper is an addendum to the author's previous paper [#Im20a]. Miller et al. [#MSM10] introduced a functor $σ\colon\mathbf{pCoarse}\to\mathbf{Sets}$, where $\mathbf{pCoarse}$ is the category of pointed coarse spaces and coarse maps. DeLyser et al. [#DLT13] introduced a functor $\varepsilon\colon\mathbf{pCoarse}\to\mathbf{Sets}$, and proved that $\varepsilon$ coincides with $σ$ on $\mathbf{pMetr}$ (the full subcategory of metrisable spaces). Using techniques of nonstandard analysis, the author in [#Ima20a] provided a functor $ι\colon\mathscr{C}\subseteq\mathbf{pCoarse}\to\mathbf{Sets}$, where $\mathscr{C}$ is an arbitrary small full subcategory, and a natural transformation $ω\colonσ\restriction\mathscr{C}\Rightarrowι$. The surjectivity of $ω$ has been proved for all proper geodesic metrisable spaces, while the injectivity has remained open. In this note, we first pointed out that $ω$ is the composition of two natural transformations $φ\restriction\mathscr{C}\colonσ\restriction\mathscr{C}\Rightarrow\varepsilon\restriction\mathscr{C}$ and $ω'\colon\varepsilon\restriction\mathscr{C}\Rightarrowι$, and then show that $ω'$ is injective for all spaces in $\mathscr{C}$. As a corollary, $ω$ is injective for all metrisable spaces in $\mathscr{C}$. This partially answers some of the problems posed in [#Ima20a].