English

Coarse and Lipschitz universality

Metric Geometry 2020-04-15 v1 Functional Analysis

Abstract

In this paper we provide several \emph{metric universality} results. We exhibit for certain classes \cC\cC of metric spaces, families of metric spaces (Mi,di)iI(M_i, d_i)_{i\in I} which have the property that a metric space (X,dX)(X,d_X) in \cC\cC is coarsely, resp. Lipschitzly, universal for all spaces in \cC\cC if the collection of spaces (Mi,di)iI(M_i,d_i)_{i\in I} equi-coarsely, respectively equi-Lipschitzly, embeds into (X,dX)(X,d_X). Such families are built as certain Schreier-type metric subsets of \co\co. We deduce a metric analog to Bourgain's theorem, which generalized Szlenk's theorem, and prove that a space which is coarsely universal for all separable reflexive asymptotic-c0c_0 Banach spaces is coarsely universal for all separable metric spaces. One of our coarse universality results is valid under Martin's Axiom and the negation of the Continuum Hypothesis. We discuss the strength of the universality statements that can be obtained without these additional set theoretic assumptions. In the second part of the paper, we study universality properties of Kalton's interlacing graphs. In particular, we prove that every finite metric space embeds almost isometrically in some interlacing graph of large enough diameter.

Keywords

Cite

@article{arxiv.2004.04806,
  title  = {Coarse and Lipschitz universality},
  author = {Florent P. Baudier and Gilles Lancien and Pavlos Motakis and Thomas Schlumprecht},
  journal= {arXiv preprint arXiv:2004.04806},
  year   = {2020}
}

Comments

25 pages; this submission contains a preliminary result that has appeared earlier in Section 6 of arXiv:1806.00702v2 (but does not appear in arXiv:1806.00702v3)

R2 v1 2026-06-23T14:46:17.569Z