Sharp quantitative nonembeddability of the Heisenberg group into superreflexive Banach spaces

DOI10.4171/GGD/193zbMATH Open1284.46019arXiv1007.4238MaRDI QIDQ374092FDOQ374092

Authors: Assaf Naor, Romain Tessera, Tim Austin 

Publication date: 28 October 2013

Published in: Groups, Geometry, and Dynamics (Search for Journal in Brave)

Abstract: Let $H$ denote the discrete Heisenberg group, equipped with a word metric $d_W$ associated to some finite symmetric generating set. We show that if $(X,|cdot|)$ is a $p$-convex Banach space then for any Lipschitz function $f:HoX$ there exist $x,yinH$ with $d_W(x,y)$ arbitrarily large and �egin{equation}label{eq:comp abs} frac{|f(x)-f(y)|}{d_W(x,y)}lesssim left(frac{loglog d_W(x,y)}{log d_W(x,y)} ight)^{1/p}. end{equation} We also show that any embedding into $X$ of a ball of radius $Rge4$ in $H$ incurs bi-Lipschitz distortion that grows at least as a constant multiple of �egin{equation}label{eq:dist abs} left(frac{log R}{loglog R} ight)^{1/p}. end{equation} Both~eqref{eq:comp abs} and~eqref{eq:dist abs} are sharp up to the iterated logarithm terms. When $X$ is Hilbert space we obtain a representation-theoretic proof yielding bounds corresponding to~eqref{eq:comp abs} and~eqref{eq:dist abs} which are sharp up to a universal constant.

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

Recommendations

• Vertical versus horizontal Poincaré inequalities on the Heisenberg group
• On the differentiability of Lipschitz maps from metric measure spaces to Banach spaces
• Realization of metric spaces as inverse limits, and bilipschitz embedding in \(L_1\)
• Compression bounds for Lipschitz maps from the Heisenberg group to \(L_{1}\)
• Embedding the Heisenberg group into a bounded-dimensional Euclidean space with optimal distortion
• Generalized differentiation and bi-Lipschitz nonembedding in \(L^{1}\)
• scientific article; zbMATH DE number 6761094
• Metric embeddings. Bilipschitz and coarse embeddings into Banach spaces
• Lipschitz extensions of maps between Heisenberg groups
• Differentiating maps into \(L^1\), and the geometry of BV functions

zbMATH Keywords

Hilbert spacebi-Lipschitz embeddingdiscrete Heisenberg groupsuperreflexive Banach space

Mathematics Subject Classification ID

Geometric group theory (20F65) Embeddings of discrete metric spaces into Banach spaces; applications in topology and computer science (46B85) Geometric embeddings of metric spaces (30L05)

Cites Work

• A course in metric geometry
• The Poincaré inequality for vector fields satisfying Hörmander's condition
• Harmonic Analysis in Phase Space. (AM-122)
• Compression bounds for Lipschitz maps from the Heisenberg group to \(L_{1}\)
• Title not available (Why is that?)
• On the differentiability of Lipschitz maps from metric measure spaces to Banach spaces
• Title not available (Why is that?)
• Plongements lipschitziens dans ${\bbfR}\sp n$
• Title not available (Why is that?)
• A $(\log n)^{\Omega(1)}$ Integrality Gap for the Sparsest Cut SDP
• Differentiating maps into \(L^1\), and the geometry of BV functions
• Sharp uniform convexity and smoothness inequalities for trace norms
• A new proof of Gromov’s theorem on groups of polynomial growth
• Isometric group actions on Hilbert spaces: growth of cocycles
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (24)

• Compression bounds for Lipschitz maps from the Heisenberg group to \(L_{1}\)
• A characterization of superreflexivity through embeddings of lamplighter groups
• Realization of metric spaces as inverse limits, and bilipschitz embedding in \(L_1\)
• Vertical versus horizontal Poincaré inequalities on the Heisenberg group
• Heat flow and quantitative differentiation
• Embedding the Heisenberg group into a bounded-dimensional Euclidean space with optimal distortion
• Dorronsoro's theorem in Heisenberg groups
• Stochastic approximation of lamplighter metrics
• Assouad's theorem with dimension independent of the snowflaking
• Vertical perimeter versus horizontal perimeter
• On the vanishing of reduced 1-cohomology for Banach representations
• A doubling subset of \(L_p\) for \(p>2\) that is inherently infinite dimensional
• Integrable measure equivalence and the central extension of surface groups
• Foliated corona decompositions
• No dimension reduction for doubling subsets of \(\ell_q\) when \(q>2\) revisited
• Coarse differentiation and quantitative nonembeddability for Carnot groups
• Vertical versus horizontal Sobolev spaces
• Nonpositive curvature is not coarsely universal
• Embedding snowflakes of Carnot groups into bounded dimensional Euclidean spaces with optimal distortion
• Estimates on the Markov convexity of Carnot groups and quantitative nonembeddability
• Markov convexity and nonembeddability of the Heisenberg group
• \(L_{1}\) embeddings of the Heisenberg group and fast estimation of graph isoperimetry
• Quantitative geometry
• Plongements quasiisom\'etriques du groupe de Heisenberg dans $L^p$, d'apr\`es Cheeger, Kleiner, Lee, Naor

This page was built for publication: Sharp quantitative nonembeddability of the Heisenberg group into superreflexive Banach spaces

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