### 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{double-struck}^{n} and H{double-struck}, the Heisenberg group with its Carnot-Carathéodory metric. It follows that H{double-struck} 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 counterexample to the Goemans-Linial conjecture in theoretical computer science; the first such counterexample was found by Khot-Vishnoi [KV05]. 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 results on the structure of BV functions on the Heisenberg group [FSSC01].

Original language | English (US) |
---|---|

Pages (from-to) | 1347-1385 |

Number of pages | 39 |

Journal | Annals of Mathematics |

Volume | 171 |

Issue number | 2 |

DOIs | |

State | Published - 2010 |

### Fingerprint

### ASJC Scopus subject areas

- Statistics and Probability
- Statistics, Probability and Uncertainty

### Cite this

**Differentiating maps into L1, and the geometry of BV functions.** / Cheeger, Jeff; Kleiner, Bruce.

Research output: Contribution to journal › Article

*Annals of Mathematics*, vol. 171, no. 2, pp. 1347-1385. https://doi.org/10.4007/annals.2010.171.1347

}

TY - JOUR

T1 - Differentiating maps into L1, and the geometry of BV functions

AU - Cheeger, Jeff

AU - Kleiner, Bruce

PY - 2010

Y1 - 2010

N2 - 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 = L1, where differentiability fails. We establish another kind of differentiability for certain X, including R{double-struck}n and H{double-struck}, the Heisenberg group with its Carnot-Carathéodory metric. It follows that H{double-struck} does not bi-Lipschitz embed into L1, as conjectured by J. Lee and A. Naor. When combined with their work, this provides a natural counterexample to the Goemans-Linial conjecture in theoretical computer science; the first such counterexample was found by Khot-Vishnoi [KV05]. A key ingredient in the proof of our main theorem is a new connection between Lipschitz maps to L1 and functions of bounded variation, which permits us to exploit results on the structure of BV functions on the Heisenberg group [FSSC01].

AB - 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 = L1, where differentiability fails. We establish another kind of differentiability for certain X, including R{double-struck}n and H{double-struck}, the Heisenberg group with its Carnot-Carathéodory metric. It follows that H{double-struck} does not bi-Lipschitz embed into L1, as conjectured by J. Lee and A. Naor. When combined with their work, this provides a natural counterexample to the Goemans-Linial conjecture in theoretical computer science; the first such counterexample was found by Khot-Vishnoi [KV05]. A key ingredient in the proof of our main theorem is a new connection between Lipschitz maps to L1 and functions of bounded variation, which permits us to exploit results on the structure of BV functions on the Heisenberg group [FSSC01].

UR - http://www.scopus.com/inward/record.url?scp=77954158932&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=77954158932&partnerID=8YFLogxK

U2 - 10.4007/annals.2010.171.1347

DO - 10.4007/annals.2010.171.1347

M3 - Article

AN - SCOPUS:77954158932

VL - 171

SP - 1347

EP - 1385

JO - Annals of Mathematics

JF - Annals of Mathematics

SN - 0003-486X

IS - 2

ER -