Vertical versus horizontal Poincaré inequalities on the Heisenberg group

DOI10.1007/S11856-014-1088-XzbMATH Open1312.46032OpenAlexW2060280149MaRDI QIDQ476505FDOQ476505

Authors Vincent Lafforgue, Assaf Naor

Publication date 2 December 2014

Published in Israel Journal of Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

Banach spacePoisson semigroupsparsest cut problemdistortion of a bilipschitz mapGoemans-Linial algorithmmodulus of uniform convexity of power type \(q\)

Mathematics Subject Classification ID

Geometric group theory (20F65) Embeddings of discrete metric spaces into Banach spaces; applications in topology and computer science (46B85) Analysis on other specific Lie groups (43A80) Geometric embeddings of metric spaces (30L05)

Abstract: Let $H=<a,b|a[a,b]=[a,b]awedgeb[a,b]=[a,b]b>$ be the discrete Heisenberg group, equipped with the left-invariant word metric $d_W(cdot,cdot)$ associated to the generating set $a,b,a^{-1},b^{-1}$. Letting $B_n=xinH:d_W(x,e_H)len$ denote the corresponding closed ball of radius $ninN$, and writing $c=[a,b]=ab{a}^{-1}{b}^{-1}$, we prove that if $(X,|cdot{|}_X)$ is a Banach space whose modulus of uniform convexity has power type $qin[2,infty)$ then there exists $Kin(0,infty)$ such that every $f:HoX$ satisfies {multline*} sum_{k=1}^{n^2}sum_{xin B_n}frac{|f(xc^k)-f(x)|_X^q}{k^{1+q/2}}le Ksum_{xin B_{21n}} Big(|f(xa)-f(x)|^q_X+|f(xb)-f(x)|^q_XBig). {multline*} It follows that for every $ninN$ the bi-Lipschitz distortion of every $f:B_{n}oX$ is at least a constant multiple of $(logn{)}^{1/q}$, an asymptotically optimal estimate as $noinfty$.

Recommendations

• Sharp quantitative nonembeddability of the Heisenberg group into superreflexive Banach spaces
• \(L_{1}\) embeddings of the Heisenberg group and fast estimation of graph isoperimetry
• Compression bounds for Lipschitz maps from the Heisenberg group to \(L_{1}\)
• Markov convexity and nonembeddability of the Heisenberg group
• Embedding the Heisenberg group into a bounded-dimensional Euclidean space with optimal distortion

Cites work

• scientific article; zbMATH DE number 1749054 (Why is no real title available?)
• scientific article; zbMATH DE number 1789916 (Why is no real title available?)
• scientific article; zbMATH DE number 3442634 (Why is no real title available?)
• scientific article; zbMATH DE number 3329342 (Why is no real title available?)
• scientific article; zbMATH DE number 3385023 (Why is no real title available?)
• A new proof of Gromov’s theorem on groups of polynomial growth
• Carnot-Carathéodory metrics and quasiisometries of symmetric spaces of rank 1
• Coarse differentiation and quantitative nonembeddability for Carnot groups
• Compression bounds for Lipschitz maps from the Heisenberg group to \(L_{1}\)
• Differentiability of Lipschitz functions on metric measure spaces
• Differentiating maps into \(L^1\), and the geometry of BV functions
• Euclidean distortion and the sparsest cut
• Isometric group actions on Hilbert spaces: growth of cocycles
• Martingales with values in uniformly convex spaces
• Metric differentiation, monotonicity and maps to \(L^{1}\)
• Nonlinear spectral calculus and super-expanders
• On the differentiability of Lipschitz maps from metric measure spaces to Banach spaces
• On the moduli of convexity and smoothness
• On the nonexistence of bilipschitz parameterizations and geometric problems about \(A_ \infty\)-weights
• On the uniform convexity of \(L^p\) and \(l^p\)
• Plongements lipschitziens dans ${\bbfR}\sp n$
• Quantitative property A, Poincaré inequalities, \(L^p\)-compression and \(L^p\)-distortion for metric measure spaces
• Semidefinite programming in combinatorial optimization
• Sharp quantitative nonembeddability of the Heisenberg group into superreflexive Banach spaces
• Some fine properties of sets of finite perimeter in Ahlfors regular metric measure spaces
• The large scale geometry in nilpotent Lie groups
• Uniform embeddings of metric spaces and of Banach spaces into Hilbert spaces
• Vector-valued Littlewood--Paley--Stein theory for semigroups
• Word distance on the discrete Heisenberg group
• \(L_p\) compression, traveling salesmen, and stable walks.
• \(L_{1}\) embeddings of the Heisenberg group and fast estimation of graph isoperimetry

Cited in

(20)

• Foliated corona decompositions
• Sharp quantitative nonembeddability of the Heisenberg group into superreflexive Banach spaces
• Embedding the Heisenberg group into a bounded-dimensional Euclidean space with optimal distortion
• No dimension reduction for doubling subsets of \(\ell_q\) when \(q>2\) revisited
• Isomorphisms between spaces of Lipschitz functions
• Dorronsoro's theorem in Heisenberg groups
• Coercive inequalities in higher-dimensional anisotropic Heisenberg group
• \(L_{1}\) embeddings of the Heisenberg group and fast estimation of graph isoperimetry
• Heat flow and quantitative differentiation
• Nonpositive curvature is not coarsely universal
• Riesz transform and vertical oscillation in the Heisenberg group
• Vertical versus horizontal Sobolev spaces
• Estimates on the Markov convexity of Carnot groups and quantitative nonembeddability
• A doubling subset of \(L_p\) for \(p>2\) that is inherently infinite dimensional
• Compression bounds for Lipschitz maps from the Heisenberg group to \(L_{1}\)
• Markov convexity and nonembeddability of the Heisenberg group
• Vertical perimeter versus horizontal perimeter
• Plongements quasiisom\'etriques du groupe de Heisenberg dans $L^p$, d'apr\`es Cheeger, Kleiner, Lee, Naor
• Coarse differentiation and quantitative nonembeddability for Carnot groups
• Umbel convexity and the geometry of trees

This page was built for publication: Vertical versus horizontal Poincaré inequalities on the Heisenberg group

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