Convergence of metric measure spaces via embeddings in the Urysohn universal space

Milica Cakovi\'{c}; Enrico Pasqualetto; Timo Schultz

In the authors' words

We study different notions of convergence of metric measure spaces by means of isometric embeddings into the Urysohn universal metric space $U$ . Due to the universality of $U$ , the collection $X_{1}$ of isomorphism classes of normalised metric measure spaces can be canonically identified with the quotient (set) $P_{\sim} (U) = P (U) / \sim$ of the space $P (U)$ of Borel probability measures on $U$ , where $μ \sim ν$ if $ν$ is the pushforward of $μ$ under an isometry between their respective supports. By making crucial use of the ultrahomogeneity of $U$ , we show that, under the above identification, Gromov's box topology on $X_{1}$ coincides with the quotient topology induced by the weak topology of $P (U)$ . More quantitatively, the truncated $1$ -Wasserstein distance on $P (U)$ induces a complete and separable distance $d_{mG}$ on $X_{1} ≅ P_{\sim} (U)$ , which metrises the quotient topology of $P_{\sim} (U)$ and is H\"{o}lder equivalent to the box distance $□$ .

Main resultThe abstract does not state a limitation.

Convergence of metric measure spaces via embeddings in the Urysohn universal space

In the authors' words

More on Geometry & topology that day

Fractional illumination and the optimal exponential rate in Hadwiger's covering conjecture

Nonsmoothable Embedded Surfaces in 4-Manifolds That Become Smoothable after a Single Stabilization

Quasihyperbolic domains are CAT(2)

Chain-level decoupling of the physical heterotic G2​ deformation complex at the standard embedding

A Differential-Geometric Framework for Risk-Optimal Asset Reallocation

Chain-level decoupling of the physical heterotic $G_{2}$ deformation complex at the standard embedding