Generalized differentiation and bi-Lipschitz nonembedding in L1

Research output: Contribution to journalArticle

Abstract

We consider Lipschitz mappings, f : X → V, where X is a doubling metric measure space which satisfies a Poincaré inequality, and V is a Banach space. We show that earlier differentiability and bi-Lipschitz nonembedding results for maps, f : X → RN, remain valid when RN is replaced by any separable dual space. We exhibit spaces which bi-Lipschitz embed in L1, but not in any separable dual V. For certain domains, including the Heisenberg group with its Carnot-Caratheodory metric, we establish a new notion of differentiability for maps into L1. This implies that the Heisenberg group does not bi-Lipschitz embed in L1, thereby proving a conjecture of J. Lee and A. Naor. When combined with their work, this has implications for theoretical computer science. To cite this article: J. Cheeger, B. Kleiner, C. R. Acad. Sci. Paris, Ser. I 343 (2006).

Original languageEnglish (US)
Pages (from-to)297-301
Number of pages5
JournalComptes Rendus Mathematique
Volume343
Issue number5
DOIs
StatePublished - Sep 1 2006

Fingerprint

Generalized Differentiation
Lipschitz
Heisenberg Group
Differentiability
Lipschitz Mapping
Metric Measure Space
Dual space
Doubling
Computer Science
Banach space
Valid
Imply
Metric

ASJC Scopus subject areas

  • Mathematics(all)

Cite this

Generalized differentiation and bi-Lipschitz nonembedding in L1. / Cheeger, Jeff; Kleiner, Bruce.

In: Comptes Rendus Mathematique, Vol. 343, No. 5, 01.09.2006, p. 297-301.

Research output: Contribution to journalArticle

@article{fd4e57fcf07141169d4961d737ab6c8a,
title = "Generalized differentiation and bi-Lipschitz nonembedding in L1",
abstract = "We consider Lipschitz mappings, f : X → V, where X is a doubling metric measure space which satisfies a Poincar{\'e} inequality, and V is a Banach space. We show that earlier differentiability and bi-Lipschitz nonembedding results for maps, f : X → RN, remain valid when RN is replaced by any separable dual space. We exhibit spaces which bi-Lipschitz embed in L1, but not in any separable dual V. For certain domains, including the Heisenberg group with its Carnot-Caratheodory metric, we establish a new notion of differentiability for maps into L1. This implies that the Heisenberg group does not bi-Lipschitz embed in L1, thereby proving a conjecture of J. Lee and A. Naor. When combined with their work, this has implications for theoretical computer science. To cite this article: J. Cheeger, B. Kleiner, C. R. Acad. Sci. Paris, Ser. I 343 (2006).",
author = "Jeff Cheeger and Bruce Kleiner",
year = "2006",
month = "9",
day = "1",
doi = "10.1016/j.crma.2006.07.001",
language = "English (US)",
volume = "343",
pages = "297--301",
journal = "Comptes Rendus Mathematique",
issn = "1631-073X",
publisher = "Elsevier Masson",
number = "5",

}

TY - JOUR

T1 - Generalized differentiation and bi-Lipschitz nonembedding in L1

AU - Cheeger, Jeff

AU - Kleiner, Bruce

PY - 2006/9/1

Y1 - 2006/9/1

N2 - We consider Lipschitz mappings, f : X → V, where X is a doubling metric measure space which satisfies a Poincaré inequality, and V is a Banach space. We show that earlier differentiability and bi-Lipschitz nonembedding results for maps, f : X → RN, remain valid when RN is replaced by any separable dual space. We exhibit spaces which bi-Lipschitz embed in L1, but not in any separable dual V. For certain domains, including the Heisenberg group with its Carnot-Caratheodory metric, we establish a new notion of differentiability for maps into L1. This implies that the Heisenberg group does not bi-Lipschitz embed in L1, thereby proving a conjecture of J. Lee and A. Naor. When combined with their work, this has implications for theoretical computer science. To cite this article: J. Cheeger, B. Kleiner, C. R. Acad. Sci. Paris, Ser. I 343 (2006).

AB - We consider Lipschitz mappings, f : X → V, where X is a doubling metric measure space which satisfies a Poincaré inequality, and V is a Banach space. We show that earlier differentiability and bi-Lipschitz nonembedding results for maps, f : X → RN, remain valid when RN is replaced by any separable dual space. We exhibit spaces which bi-Lipschitz embed in L1, but not in any separable dual V. For certain domains, including the Heisenberg group with its Carnot-Caratheodory metric, we establish a new notion of differentiability for maps into L1. This implies that the Heisenberg group does not bi-Lipschitz embed in L1, thereby proving a conjecture of J. Lee and A. Naor. When combined with their work, this has implications for theoretical computer science. To cite this article: J. Cheeger, B. Kleiner, C. R. Acad. Sci. Paris, Ser. I 343 (2006).

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

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

U2 - 10.1016/j.crma.2006.07.001

DO - 10.1016/j.crma.2006.07.001

M3 - Article

VL - 343

SP - 297

EP - 301

JO - Comptes Rendus Mathematique

JF - Comptes Rendus Mathematique

SN - 1631-073X

IS - 5

ER -