Curve-flat functions and Lipschitz quotients

Abstract

We show that for every complete metric space $M$ there exists another complete metric space $N$ of the same density character such that the curve-flat quotient of $N$ is isometric to $M$. Moreover, we show that if $M$ is compact and $α$ is any countable ordinal, there exists a compact $N$ such that its curve-flat quotient of order $α$ is bi-Lipschitz equivalent to $M$, with arbitrarily small distortion. Our constructions rely on a new method for constructing (compact) metric spaces, which consists in attaching iteratively compact spaces at countably many pairs of points to a snowflake-like distortion of a given (compact) metric space. We apply our results on high-order curve-flat quotients to obtain a new result concerning universality of Lipschitz quotients. Specifically, we show that there cannot exist a compact metric space $K$ such that every compact metric space is a Lipschitz quotient of $K$. This result stands in contrast to a theorem of Johnson, Lindenstrauss, Preiss and Schechtman, who showed that any separable Banach space containing $\ell_1$ has every separable geodesic complete metric space as a Lipschitz quotient.

Theorems & Definitions (45)

• Theorem A
• Theorem B
• Theorem C
• Proposition 2.1
• Definition 3.1: Complete geodesic graph
• Definition 3.2: Gapped graph
• Proposition 3.3
• proof
• Theorem 3.4
• proof