Coarse infinite-dimensionality of hyperspaces of finite subsets (Q2115341)

The authors consider hyperspaces consisting of finite subsets of metric spaces with the Hausdorff metric. They see that several coarse infinite-dimensional properties are preserved by taking the hyperspace of subsets with at most \(n\) points. On the other hand, they prove that if a metric space contains a sequence of long intervals coarsely, then its hyperspace of finite subsets contains a coarse disjoint union of any sequence of finite metric spaces (Theorem 5.2). As a corollary, such a hyperspace is not coarsely embeddable into any uniformly convex Banach space (Corollary 5.4). They also construct an unbounded 1-connected locally finite metric space that does not contain a sequence of long intervals coarsely and whose asymptotic dimension is equal to one (Example 6.1). In an appendix, they show that every (not necessarily bounded geometry) metric space with straight finite decomposition complexity has the metric sparsification property (Theorem 6.5).