Mathematics – Metric Geometry
Scientific paper
2006-11-30
Mathematics
Metric Geometry
Scientific paper
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.
Cheeger Jeff
Kleiner Bruce
No associations
LandOfFree
Differentiating maps into L^1 and the geometry of BV functions does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Differentiating maps into L^1 and the geometry of BV functions, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Differentiating maps into L^1 and the geometry of BV functions will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-423108