Non-embeddability of Urysohn space
Theorem 1 (Pestov 2008) Urysohn space does not embed uniformly in any super-reflexive Banach space.
1. Urysohn space
Urysohn space is the universal complete separable metric space. It contains an isometric copy of every complete separable metric space. In particular, it contains . So Pestov’s theorem follows from Kalton’s non embeddability result for into reflexive Banach spaces. The point of the course is to study the method, different from Kalton’s.
As far as universality, is not so spectacular: Banach and Mazur observed that is also universal. However, Urysohn space is ultrahomogeneous: any isometry between finite subsets of extends to a global isometry (this generalizes to compact sets). Nevertheless, was long forgotten, until Katetov gave a new construction.
1.2. Katetov’s construction
For any finite subset , and any isometric embedding of into a finite metric space , also sits in containing . So any time a point is given with distances to points of that satisfy triangle inequality, that point in fact sits in . This is the basic step of Katetov’s construction, “one point extension”.
Given a metric space , let
It is equipped with the sup distance. sits there isometrically. Consider , and iterate. Let be the completion of
Actually, we take only those functions of which have finite support inthe following sense: if there is a finite subset such that is the , i.e. is the largest function compatible with its values on ,
This is necessary to get separable spaces.
Naturality: isometries of extend uniquely to isometries of . So they also extend to isometries of .
Theorem 2 (Uspensky) is universal for all Polish groups (i.e. separable and admit a complete compatible distance).
Example. contains .
Later, we shall use a result about that group (Megrelishvili 2001): The only continuous isometric linear representation of on a reflexive Banach space is the trivial representation.
Uspensky relies on the following theorem.
Theorem 3 (Gao-Kechris) Every Polish group is a closed subgroup of some , complete separable.
2. The extension property
Let us discuss a strenthening of ultrahomogeneity.
Say a metric space has the extension property if for every finite subset , there exists a finite subset containing it such that every partial isometry of (i.e. an isometry between subsets of ) extends to a global isometry of .
Example. with it usual distance has the extesion property. Hrushovski has shown that the random graph (percolation in the complete graph) has the extension property.
Theorem 4 (Solecki) has the extension property.
This a hard theorem.
By iterating the extension property applied to , and then adding points, one obtains ultrahomogeneity.
Here is one more property that we shall need tomorrow.
Theorem 5 contains a dense, locally finite subgroup.
Here, locally finite means that every finitely generated subgroup is finite.
This subgroup is obtained as an increasing union of finite groups, isometry groups of finite subsets, as a consequence of a strenghening of extension property: not only isometries do extend from to , but this is performed by a group homomorphism .