A characterization of bi-Lipschitz embeddable metric spaces in terms of local bi-Lipschitz embeddability

DOI10.4310/MRL.2011.V18.N6.A9MaRDI QIDQ2391567zbMATH OpenFDO

Authors Jeehyeon Seo

Publication date 5 August 2013

Published in Mathematical Research Letters (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1105.2529

zbMATH Keywords

bi-Lipschitz embeddingcoloring mapuniformly perfectWhitney decomposition, the Grushin plane

Mathematics Subject Classification ID

Geometric embeddings of metric spaces (30L05) Sub-Riemannian geometry (53C17)

Abstract: We characterize uniformly perfect, complete, doubling metric spaces which embed bi- Lipschitzly into Euclidean space. Our result applies in particular to spaces of Grushin type equipped with Carnot-Carath'eodory distance. Hence we obtain the first example of a sub-Riemannian mani- fold admitting such a bi-Lipschitz embedding. Our techniques involve a passage from local to global information, building on work of Christ and McShane. A new feature of our proof is the verification of the co-Lipschitz condition. This verification splits into a large scale case and a local case. These cases are distinguished by a relative distance map which is associated to a Whitney-type decom- position of an open subset {Omega} of the space. We prove that if the Whitney cubes embed uniformly bi-Lipschitzly into a fixed Euclidean space, and if the complement of {Omega} also embeds, then so does the full space.

Review text

This paper gives a characterization of uniformly perfect, complete doubling metric spaces that embed bi-Lipschitzly into Euclidean spaces. Theorem. A uniformly perfect complete metric space \((X, d)\) admits a bi-Lipschitz embedding into some Euclidean space if and only if the following conditions hold: (1) it supports a doubling measure \(\mu\), (2) there exists a closed subset \(Y\) of \(X\) which admits a bi-Lipschitz embedding into some \(\mathbb R^{M_{1}}\), (3) \(\Omega=X\setminus Y\) admits uniformly Christ-local bi-Lipschitz embeddings into some \(\mathbb R^{M_{2}}\).\newline The bi-Lipschitz constant and dimension of receiving Euclidean space depend on the data of the metric space \(X\), the doubling constant of \(\mu\), \(M_{1}\), \(M_{2}\) and the bi-Lipschitz constants in conditions \((2)\) and \((3)\). A domain is said to admit uniformly Christ-local bi-Lipschitz embeddings if there exist bi-Lipschitz embeddings of certain Christ-Whitney cubes with uniform bi-Lipschitz constants. The techniques used involve a passage from local to global information, building on work of Christ and McShane, and a verification of a Lipschitz condition for the inverse function, which splits into large-scale and local cases. The cases are distinguished by a relative distance associated to a Whitney-type decomposition. The author proves that if the Whitney cubes embed uniformly and if the complement also embeds, then so does the whole space. As an application of Theorem 1, the author proves that the Grushin plane equipped with Carnot-Carathéodory distance admits a bi-Lipschitz embedding into some Euclidean space. This is the first example of a sub-Riemannian manifold that embeds bi-Lipschitzly into Euclidean space.

Recommendations

• Bi-Lipschitz embeddings of Heisenberg submanifolds into Euclidean spaces
• Lipschitz and path isometric embeddings of metric spaces
• Conformal Grushin spaces
• Geometry of Grushin spaces
• Bilipschitz embeddings of metric spaces into Euclidean spaces

Cited in

(19)

• Bi-Lipschitz embedding of the generalized Grushin plane into Euclidean spaces
• Quantitative bi-Lipschitz embeddings of bounded-curvature manifolds and orbifolds
• On the locally branched Euclidean metric gauge
• Bilipschitz embeddings of metric spaces into Euclidean spaces
• Bi-Lipschitz geometry of quasiconformal trees
• On bi-Lipschitz embeddings
• Sparse domination of singular Radon transform
• Conformal Grushin spaces
• Dimension distortion by Sobolev mappings in foliated metric spaces
• Bi-Lipschitz embeddings into Euclidian spaces, Q-curvature and quasi-conformal flow.
• Lipschitz and path isometric embeddings of metric spaces
• scientific article; zbMATH DE number 64771 (Why is no real title available?)
• Isometric embeddings of snowflakes into finite-dimensional Banach spaces
• Bi-Lipschitz embeddings of Heisenberg submanifolds into Euclidean spaces
• Bi-Lipschitz-equivalent Aleksandrov surfaces, I
• Bi-Lipschitz embeddings of hyperspaces of compact sets
• Geometry of Grushin spaces
• On the existence of bi-Lipschitz equivalent metrics in semimetric spaces
• Infinitesimal splitting for spaces with thick curve families and Euclidean embeddings

This page was built for publication: A characterization of bi-Lipschitz embeddable metric spaces in terms of local bi-Lipschitz embeddability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2391567)