Vladimir G. Pestov
Abstract:A theorem proved by Hrushovski for graphs and extended by Solecki and Vershik (independently from each other) to metric spaces leads to a stronger version of ultrahomogeneity of the infinite random graph $R$, the universal Urysohn metric space $\Ur$, and other related objects. We show how the result can be used to average out uniform and coarse embeddings of $\Ur$ (and its various counterparts) into normed spaces. Sometimes this leads to new embeddings of the same kind that are metric transforms and besides extend to affine representations of various isometry groups. As an application of this technique, we show that $\Ur$ admits neither a uniform nor a coarse embedding into a uniformly convex Banach space.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: to prove that the universal Urysohn metric space \(U\) neither admits uniform embedding nor coarse embedding into uniformly convex Banach spaces. Specifically, the author explores and analyzes the possibilities of these embeddings by applying the Hrushovski - Solecki - Vershik theorem and finally reaches a conclusion.
### Analysis of the Core Problem of the Paper
1. **Uniform Embedding**:
- Definition: For two metric spaces \(X\) and \(Y\), and an embedding mapping \(f:X\rightarrow Y\), if there exist non - decreasing functions \(\rho_1,\rho_2:\mathbb{R}^+\to\mathbb{R}^+\) such that \(0 < \rho_1(x)\leq\rho_2(x)\) for \(x > 0\) and \(\rho_2(x)\to0\) as \(x\to0\), so that for all \(x,y\in X\),
\[
\rho_1(d_X(x,y))\leq d_Y(f(x),f(y))\leq\rho_2(d_X(x,y))
\]
This inequality only needs to hold in a sufficiently small neighborhood of the distance \(d_X(x,y)\).
2. **Coarse Embedding**:
- Definition: For two metric spaces \(X\) and \(Y\), and a mapping \(f:X\rightarrow Y\) (not necessarily continuous), if there exist non - decreasing, unbounded functions \(\rho_1,\rho_2:\mathbb{R}^+\to\mathbb{R}^+\) such that \(\rho_1\leq\rho_2\), so that for all \(x,y\in X\),
\[
\rho_1(d_X(x,y))\leq d_Y(f(x),f(y))\leq\rho_2(d_X(x,y))
\]
3. **Uniformly Convex Banach Space**:
- Definition: A Banach space \(E\) is uniformly convex if for any \(\varepsilon\in(0, 2]\), the modulus \(\delta(\varepsilon)\) is defined as:
\[
\delta(\varepsilon)=\inf\left\{1-\left\|\frac{x + y}{2}\right\|:x,y\in E,\|x\|,\|y\|\leq1,\|x - y\|\geq\varepsilon\right\}
\]
and \(\delta(\varepsilon)\) is strictly positive for all \(\varepsilon\in(0, 2]\).
### Main Results
The main results of the paper are as follows:
- **Theorem 5.1**: The universal Urysohn metric space \(U\) cannot be embedded as a uniform subspace into a super - reflexive Banach space.
- **Theorem 6.4**: The universal Urysohn metric space \(U\) and its integer - valued version \(U_Z\) do not admit coarse embedding into a super - reflexive Banach space.
### Solution
The author utilizes the Hrushovski - Solecki - Vershik property, that is, each finite subspace can be extended to a larger subspace, so that partial isometries can be extended to global automorphisms. Through this property, the author constructs a...