Sharp quantitative nonembeddability of the Heisenberg group into superreflexive Banach spaces

DOI10.4171/GGD/193MaRDI QIDQ374092zbMATH OpenFDO

Authors Assaf Naor, Romain Tessera, Tim Austin

Publication date 28 October 2013

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

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

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)

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.

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₁
• 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

Cites work

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

Cited in

(24)

• Plongements quasiisom\'etriques du groupe de Heisenberg dans $L^p$, d'apr\`es Cheeger, Kleiner, Lee, Naor
• Compression bounds for Lipschitz maps from the Heisenberg group to \(L_{1}\)
• Realization of metric spaces as inverse limits, and bilipschitz embedding in L₁
• A characterization of superreflexivity through embeddings of lamplighter groups
• 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

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)