Differentiating maps into L^1, and the geometry of BV functions

DOI10.4007/ANNALS.2010.171.1347zbMATH Open1194.22009arXivmath/0611954OpenAlexW2049600041MaRDI QIDQ974067FDOQ974067

Bruce Kleiner, Jeff Cheeger

Publication date: 27 May 2010

Published in: Annals of Mathematics. Second Series (Search for Journal in Brave)

Abstract: This is one of a series of papers examining the interplay between differentiation theory for Lipschitz maps, X-->V, and bi-Lipschitz nonembeddability, where X is a metric measure space and V is a Banach space. Here, we consider the case V=L^1 where differentiability fails. We establish another kind of differentiability for certain X, including R^n and H, the Heisenberg group with its Carnot-Cartheodory metric. It follows that H does not bi-Lipschitz embed into L^1, as conjectured by J. Lee and A. Naor. When combined with their work, this provides a natural counter example to the Goemans-Linial conjecture in theoretical computer science; the first such counterexample was found by Khot-Vishnoi. A key ingredient in the proof of our main theorem is a new connection between Lipschitz maps to L^1 and functions of bounded variation, which permits us to exploit recent work on the structure of BV functions on the Heisenberg group.

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

Recommendations

• Generalized differentiation and bi-Lipschitz nonembedding in \(L^{1}\)
• Metric differentiation, monotonicity and maps to \(L^{1}\)
• Coarse differentiation and quantitative nonembeddability for Carnot groups
• On the differentiability of Lipschitz maps from metric measure spaces to Banach spaces
• Compression bounds for Lipschitz maps from the Heisenberg group to \(L_{1}\)

zbMATH Keywords

Heisenberg groupLipschitz mapfunction of bounded variationdifferentiation theorytotal perimeter

Mathematics Subject Classification ID

Absolutely continuous real functions of several variables, functions of bounded variation (26B30) Geometry and structure of normed linear spaces (46B20) Analysis on real and complex Lie groups (22E30) Geometric measure and integration theory, integral and normal currents in optimization (49Q15)

Cites Work

• Carnot-Carathéodory metrics and quasiisometries of symmetric spaces of rank 1
• Differentiability of Lipschitz functions on metric measure spaces
• Sobolev classes of Banach space-valued functions and quasiconformal mappings
• Differentiability of Lipschitz maps from metric measure spaces to Banach spaces with the Radon-Nikodym property
• Title not available (Why is that?)
• Weakly Differentiable Functions
• Compression bounds for Lipschitz maps from the Heisenberg group to \(L_{1}\)
• Poincaré inequalities and quasiconformal structure on the boundary of some hyperbolic buildings
• Title not available (Why is that?)
• Title not available (Why is that?)
• Functions of bounded variation on ``good metric spaces
• On the structure of finite perimeter sets in step 2 Carnot groups
• On the nonexistence of bilipschitz parameterizations and geometric problems about \(A_ \infty\)-weights
• Title not available (Why is that?)
• Geometry of cuts and metrics
• Some fine properties of sets of finite perimeter in Ahlfors regular metric measure spaces
• Rectifiability and perimeter in the Heisenberg group
• Metric differentiation, monotonicity and maps to \(L^{1}\)
• Nuovi teoremi relativi alle misure \((r - 1)\)-dimensionali in uno spazio ad \(r\) dimensioni
• Ahlfors \(Q\)-regular spaces with arbitrary \(Q>1\) admitting weak Poincaré inequality
• Rectifiable Metric Spaces: Local Structure and Regularity of the Hausdorff Measure
• The large scale geometry in nilpotent Lie groups
• Applications of ultrapowers to the uniform and Lipschitz classification of Banach spaces
• Differentiability of Lipschitzian mappings between Banach spaces
• Title not available (Why is that?)
• Fine properties of sets of finite perimeter in doubling metric measure spaces
• Generalized differentiation and bi-Lipschitz nonembedding in \(L^{1}\)
• From local to global in quasiconformal structures.
• Characterization of the Radon-Nikodym Property in terms of inverse limits
• The Unique Games Conjecture, Integrality Gap for Cut Problems and Embeddability of Negative-Type Metrics into ℓ ₁
• Mean ergodic theorem in abstract $\left( L \right)$-spaces
• Fréchet differentiability of Lipschitz functions (a survey).

Cited In (43)

• Compression bounds for Lipschitz maps from the Heisenberg group to \(L_{1}\)
• Low dimensional embeddings of doubling metrics
• The Lip-lip equality is stable under blow-up
• Coarse differentiation and multi-flows in planar graphs
• Infinitesimal structure of differentiability spaces, and metric differentiation
• Realization of metric spaces as inverse limits, and bilipschitz embedding in \(L_1\)
• Blow-up estimates at horizontal points and applications
• Vertical versus horizontal Poincaré inequalities on the Heisenberg group
• Metric differentiation, monotonicity and maps to \(L^{1}\)
• Intrinsic Lipschitz graphs within Carnot groups
• Lipschitz and bilipschitz maps on Carnot groups
• Generalized differentiation and bi-Lipschitz nonembedding in \(L^{1}\)
• Heat flow and quantitative differentiation
• On metric characterizations of some classes of Banach spaces
• Rectifiability of sets of finite perimeter in Carnot groups: existence of a tangent hyperplane
• Vertical perimeter versus horizontal perimeter
• Sets with constant normal in Carnot groups: properties and examples
• The Unique Games Conjecture, Integrality Gap for Cut Problems and Embeddability of Negative-Type Metrics into ℓ ₁
• Markov type and threshold embeddings
• Differentiability of intrinsic Lipschitz functions within Heisenberg groups
• Contact equations, Lipschitz extensions and isoperimetric inequalities
• New characterizations of Sobolev spaces on the Heisenberg group
• The Euclidean distortion of the lamplighter group.
• Equivalent definitions of \(BV\) space and of total variation on metric measure spaces
• Intrinsic Lipschitz graphs in Heisenberg groups and continuous solutions of a balance equation
• Sharp quantitative nonembeddability of the Heisenberg group into superreflexive Banach spaces
• Smooth approximation for intrinsic Lipschitz functions in the Heisenberg group
• Inverse limit spaces satisfying a Poincaré inequality
• Besicovitch covering property for homogeneous distances on the Heisenberg groups
• Coarse differentiation and quantitative nonembeddability for Carnot groups
• Isomorphisms between spaces of Lipschitz functions
• Bourgain's discretization theorem
• Diffusion by optimal transport in Heisenberg groups
• Semigenerated Carnot algebras and applications to sub-Riemannian perimeter
• A primer on Carnot groups: homogenous groups, Carnot-Carathéodory spaces, and regularity of their isometries
• Compression bounds for wreath products
• Sketching and Embedding are Equivalent for Norms
• Tangent Halfspaces to Sets of Finite Perimeter in Carnot Groups
• Markov convexity and nonembeddability of the Heisenberg group
• Isometric embeddings of snowflakes into finite-dimensional Banach spaces
• An introduction to the Ribe program
• \(L_p\) compression, traveling salesmen, and stable walks.
• Composing and decomposing surfaces and functions

This page was built for publication: Differentiating maps into \(L^1\), and the geometry of BV functions

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