Embedding the Heisenberg group into a bounded-dimensional Euclidean space with optimal distortion

DOI10.4171/RMI/1200MaRDI QIDQ1998705zbMATH OpenOpenAlexWikidataFDO

Authors Terence Tao

Publication date 7 March 2021

Published in Revista Matemática Iberoamericana (Search for Journal in Brave)

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

zbMATH Keywords

Heisenberg groupdistortionNash-Moser iteration

Mathematics Subject Classification ID

Geometric embeddings of metric spaces (30L05)

Abstract: Let $$ denote the Heisenberg group with the usual Carnot-Carath'eodory metric $d$. It is known (since the work of Pansu and Semmes) that the metric space $(H,d)$ cannot be embedded in a bilipchitz fashion into a Hilbert space; however, from a general theorem of Assouad, for any $0<varepsilon<1$, the snowflaked metric space $(H,d^{1-varepsilon})$ embeds into an infinite-dimensional Hilbert space with distortion $O(varepsilo{n}^{-1/2})$. This distortion bound was shown by Austin, Naor, and Tessera to be sharp for the Heisenberg group $H$. Assouad's argument allows $el{l}^2$ to be replaced by ${mathbfR}^{D(varepsilon)}$ for some dimension $D(varepsilon)$ dependent on $varepsilon$. Naor and Neiman showed that $D$ could be taken independent of $varepsilon$, at the cost of worsening the bound on the distortion to $O(varepsilo{n}^{-1+c_D})$, where $c_{D}o0$ as $Doinfty$. In this paper we show that one can in fact retain the optimal distortion bound $O(varepsilo{n}^{-1/2})$ and still embed into a bounded dimensional space ${mathbfR}^D$, answering a question of Naor and Neiman. As a corollary, the discrete ball of radius $Rgeq2$ in $$ can be embedded into a bounded-dimensional space ${mathbfR}^D$ with the optimal distortion bound of $O(lo{g}^{1/2}R)$. The construction is iterative, and is inspired by the Nash-Moser iteration scheme as used in the isometric embedding problem; this scheme is needed in order to counteract a certain ``loss of derivatives problem in the iteration.

Recommendations

• Sharp quantitative nonembeddability of the Heisenberg group into superreflexive Banach spaces
• Embedding snowflakes of Carnot groups into bounded dimensional Euclidean spaces with optimal distortion
• Markov convexity and nonembeddability of the Heisenberg group
• Vertical versus horizontal Poincaré inequalities on the Heisenberg group
• Compression bounds for Lipschitz maps from the Heisenberg group to \(L_{1}\)

Cites work

• scientific article; zbMATH DE number 3740133 (Why is no real title available?)
• scientific article; zbMATH DE number 66584 (Why is no real title available?)
• scientific article; zbMATH DE number 1303706 (Why is no real title available?)
• scientific article; zbMATH DE number 1998143 (Why is no real title available?)
• scientific article; zbMATH DE number 3232484 (Why is no real title available?)
• A constructive proof of the Fefferman-Stein decomposition of BMO(R**n)
• A doubling subset of \(L_p\) for \(p>2\) that is inherently infinite dimensional
• A functional calculus for Rockland operators on nilpotent Lie groups
• A geometric approach to the Littlewood-Paley theory
• A multiplier theorem for the sublaplacian on the Heisenberg group
• Approximating a helix in finitely many dimensions
• Assouad's theorem with dimension independent of the snowflaking
• Besov spaces and Strichartz estimates on the Heisenberg group
• Bilipschitz embeddings of metric spaces into space forms
• Carnot-Carathéodory metrics and quasiisometries of symmetric spaces of rank 1
• Note on cross-sections in Stiefel manifolds
• On the nonexistence of bilipschitz parameterizations and geometric problems about \(A_ \infty\)-weights
• Paraproduct on the Heisenberg group and applications
• Plongements lipschitziens dans ${\bbfR}\sp n$
• Quantitative null-cobordism
• Quantitative nullhomotopy and rational homotopy type
• Sharp quantitative nonembeddability of the Heisenberg group into superreflexive Banach spaces
• The imbedding problem for Riemannian manifolds
• \(C^1\) isometric imbeddings

Cited in

(8)

• Dimension distortion by right coset projections in the Heisenberg group
• Compression bounds for Lipschitz maps from the Heisenberg group to \(L_{1}\)
• Vertical versus horizontal Poincaré inequalities on the Heisenberg group
• Isometric embeddings into Heisenberg groups
• Sharp quantitative nonembeddability of the Heisenberg group into superreflexive Banach spaces
• Embedding snowflakes of Carnot groups into bounded dimensional Euclidean spaces with optimal distortion
• Markov convexity and nonembeddability of the Heisenberg group
• \(L_{1}\) embeddings of the Heisenberg group and fast estimation of graph isoperimetry

This page was built for publication: Embedding the Heisenberg group into a bounded-dimensional Euclidean space with optimal distortion

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