Showing 1–17 of 17 results for author: Cheeger, J

Thin Loewner carpets and their quasisymmetric embeddings in $S^2$

Authors: Jeff Cheeger, Sylvester Eriksson-Bique

Abstract: A carpet is a metric space which is homeomorphic to the standard Sierpiński carpet in $\mathbb{R}^2$, or equivalently, in $S^2$. A carpet is called thin if its Hausdorff dimension is $<2$. A metric space is called Q-Loewner if its $Q$-dimensional Hausdorff measure is Q-Ahlfors regular and if it satisfies a $(1,Q)$-Poincaré inequality. As we will show, $Q$-Loewner planar metric spaces are always ca… ▽ More A carpet is a metric space which is homeomorphic to the standard Sierpiński carpet in $\mathbb{R}^2$, or equivalently, in $S^2$. A carpet is called thin if its Hausdorff dimension is $<2$. A metric space is called Q-Loewner if its $Q$-dimensional Hausdorff measure is Q-Ahlfors regular and if it satisfies a $(1,Q)$-Poincaré inequality. As we will show, $Q$-Loewner planar metric spaces are always carpets, and admit quasisymmetric embeddings into the plane. In this paper, for every pair $(Q,Q')$, with $1<Q<Q'< 2$ we construct infinitely many pairwise quasi-symmetrically distinct $Q$-Loewner carpets $X$ which admit explicit snowflake embeddings, $f: X\to S^2$, for which the image, $f(X)$, admits an explicit description and is $Q'$-Ahlfors regular. In particular, these $f$ are quasisymmetric embeddings. By a result of Tyson, the Hausdorff dimension of a Loewner space cannot be lowered by a quasisymmetric homeomorphism. By definition, this means that the carpets $X$ and $f(X)$ realize their conformal dimension. Each of images $f(X)$ can be further uniformized via post composition with a quasisymmetric homeomorphism of $S^2$, so as to yield a circle carpet and also a square carpet. Our Loewner carpets $X$ are constructed via what we call an admissable quotiented inverse system. This mechanism extends the inverse limit construction for PI spaces given in \cite{cheegerkleinerinverse}, which however, does not yield carpets. Loewner spaces are a particular subclass of PI spaces. They have strong rigidity properties which which do not hold for PI spaces in general. △ Less

Submitted 8 April, 2020; v1 submitted 6 October, 2019; originally announced October 2019.

Comments: 60 Pages, 9 figures, comments welcome. Edited with a slightly stronger result and correcting typos. Acknowledgements and relation to prior work by Bruce Kleiner and Mario Bonk clarified and expanded

MSC Class: 30L05; 30L10; 31E05; 30C62; 30L99; 26D10; 28A80; 20F65

Rectifiability of Singular Sets in Noncollapsed Spaces with Ricci Curvature bounded below

Authors: Jeff Cheeger, Wenshuai Jiang, Aaron Naber

Abstract: This paper is concerned with the structure of Gromov-Hausdorff limit spaces $(M^n_i,g_i,p_i)\stackrel{d_{GH}}{\longrightarrow} (X^n,d,p)$ of Riemannian manifolds satisfying a uniform lower Ricci curvature bound $Rc_{M^n_i}\geq -(n-1)$ as well as the noncollapsing assumption $Vol(B_1(p_i))>v>0$. In such cases, there is a filtration of the singular set, $S_0\subset S_1\cdots S_{n-1}:= S$, where… ▽ More This paper is concerned with the structure of Gromov-Hausdorff limit spaces $(M^n_i,g_i,p_i)\stackrel{d_{GH}}{\longrightarrow} (X^n,d,p)$ of Riemannian manifolds satisfying a uniform lower Ricci curvature bound $Rc_{M^n_i}\geq -(n-1)$ as well as the noncollapsing assumption $Vol(B_1(p_i))>v>0$. In such cases, there is a filtration of the singular set, $S_0\subset S_1\cdots S_{n-1}:= S$, where $S^k:= \{x\in X:\text{ no tangent cone at $x$ is }(k+1)\text{-symmetric}\}$; equivalently no tangent cone splits off a Euclidean factor $\mathbb{R}^{k+1}$ isometrically. Moreover, by \cite{ChCoI}, $\dim S^k\leq k$. However, little else has been understood about the structure of the singular set $S$. Our first result for such limit spaces $X^n$ states that $S^k$ is $k$-rectifiable. In fact, we will show that for $k$-a.e. $x\in S^k$, {\it every} tangent cone $X_x$ at $x$ is $k$-symmetric i.e. that $X_x= \mathbb{R}^k\times C(Y)$ where $C(Y)$ might depend on the particular $X_x$. We use this to show that there exists $ε=ε(n,v)$, and a $(n-2)$-rectifible set $S^{n-2}_ε$, with finite $(n-2)$-dimensional Hausdorff measure $H^{n-2}(S_ε^{n-2})<C(n,v)$, such that $X^n\setminus S^{n-2}_ε$ is bi-Hölder equivalent to a smooth riemannian manifold. This improves the regularity results of \cite{ChCoI}. Additionally, we will see that tangent cones are unique of a subset of Hausdorff $(n-2)$ dimensional measure zero. Our analysis is based on several new ideas, including a sharp cone-splitting theorem and a geometric transformation theorem, which will allow us to control the degeneration of harmonic functions on these neck regions. △ Less

Submitted 21 May, 2018; originally announced May 2018.

Infinitesimal structure of differentiability spaces, and metric differentiation

Authors: Jeff Cheeger, Bruce Kleiner, Andrea Schioppa

Abstract: We prove metric differentiation for differentiability spaces in the sense of Cheeger. As corollaries we give a new proof that the minimal generalized upper gradient coincides with the pointwise Lipschitz constant for Lipschitz functions on PI spaces, a proof that the Lip-lip constant of any Lip-lip space in the sense of Keith is equal to $1$, and new nonembeddability results. We prove metric differentiation for differentiability spaces in the sense of Cheeger. As corollaries we give a new proof that the minimal generalized upper gradient coincides with the pointwise Lipschitz constant for Lipschitz functions on PI spaces, a proof that the Lip-lip constant of any Lip-lip space in the sense of Keith is equal to $1$, and new nonembeddability results. △ Less

Submitted 11 February, 2016; v1 submitted 25 March, 2015; originally announced March 2015.

Comments: Corrections made in Section 9

Regularity of Einstein Manifolds and the Codimension 4 Conjecture

Authors: Jeff Cheeger, Aaron Naber

Abstract: In this paper, we are concerned with the regularity of noncollapsed Riemannian manifolds $(M^n,g)$ with bounded Ricci curvature, as well as their Gromov-Hausdorff limit spaces $(M^n_j,d_j)\stackrel{d_{GH}}{\longrightarrow} (X,d)$, where $d_j$ denotes the Riemannian distance. Our main result is a solution to the codimension $4$ conjecture, namely that $X$ is smooth away from a closed subset of codi… ▽ More In this paper, we are concerned with the regularity of noncollapsed Riemannian manifolds $(M^n,g)$ with bounded Ricci curvature, as well as their Gromov-Hausdorff limit spaces $(M^n_j,d_j)\stackrel{d_{GH}}{\longrightarrow} (X,d)$, where $d_j$ denotes the Riemannian distance. Our main result is a solution to the codimension $4$ conjecture, namely that $X$ is smooth away from a closed subset of codimension $4$. We combine this result with the ideas of quantitative stratification to prove a priori $L^q$ estimates on the full curvature $|Rm|$ for all $q<2$. In the case of Einstein manifolds, we improve this to estimates on the regularity scale. We apply this to prove a conjecture of Anderson that the collection of $4$-manifolds $(M^4,g)$ with $|Ric_{M^4}|\leq 3$, $Vol(M)>v>0$, and $diam(M)\leq D$ contains at most a finite number of diffeomorphism classes. A local version of this is used to show that noncollapsed $4$-manifolds with bounded Ricci curvature have a priori $L^2$ Riemannian curvature estimates. △ Less

Submitted 24 May, 2015; v1 submitted 25 June, 2014; originally announced June 2014.

Comments: Estimates in Theorem 1.9 shown to hold in the distribution sense; so interpreted in Definition 1.10

Inverse limit spaces satisfying a Poincare inequality

Authors: Jeff Cheeger, Bruce Kleiner

Abstract: We give conditions on Gromov-Hausdorff convergent inverse systems of metric measure graphs (and certain higher dimensional inverse systems of metric measure spaces) which imply that the measured Gromov-Hausdorff limit (equivalently, the inverse limit) is a PI space, i.e. it satisfies a doubling condition and a Poincare inequality in the sense of Heinonen-Koskela. We also give a systematic construc… ▽ More We give conditions on Gromov-Hausdorff convergent inverse systems of metric measure graphs (and certain higher dimensional inverse systems of metric measure spaces) which imply that the measured Gromov-Hausdorff limit (equivalently, the inverse limit) is a PI space, i.e. it satisfies a doubling condition and a Poincare inequality in the sense of Heinonen-Koskela. We also give a systematic construction of examples for which our conditions are satisfied. Included are known examples of PI spaces, such as Laakso spaces, and a large class of new examples. Generically our graph examples have the property that they do not bilipschitz embed in any Banach space with Radon-Nikodym property, but they do embed in the Banach space L_1. For Laakso spaces, these facts were discussed in our earlier papers. △ Less

Submitted 18 December, 2013; originally announced December 2013.

Quantitative Stratification and the Regularity of Harmonic Map Flow

Authors: Jeff Cheeger, Robert Haslhofer, Aaron Naber

Abstract: In this paper, we prove estimates and quantitative regularity results for the harmonic map flow. First, we consider H^1_loc-maps u defined on a parabolic ball P\subset M\times R and with target manifold N, that have bounded Dirichlet-energy and Struwe-energy. We define a quantitative stratification, which groups together points in the domain into quantitative weakly singular strata S^j_{η,r}(u) ac… ▽ More In this paper, we prove estimates and quantitative regularity results for the harmonic map flow. First, we consider H^1_loc-maps u defined on a parabolic ball P\subset M\times R and with target manifold N, that have bounded Dirichlet-energy and Struwe-energy. We define a quantitative stratification, which groups together points in the domain into quantitative weakly singular strata S^j_{η,r}(u) according to the number of approximate symmetries of u at certain scales, and prove that their tubular neighborhoods have small volume, namely Vol(T_r(\cS^j_{η,r}(u))< Cr^{m+2-j-\eps}. In particular, this generalizes the known Hausdorff estimate dim S^j(u)< j for the weakly singular strata of suitable weak solutions of the harmonic map flow. As an application, specializing to Chen-Struwe solutions with target manifolds that do not admit certain harmonic and quasi-harmonic spheres, we obtain refined Minkowski estimates for the singular set. This generalizes a result of Lin-Wang. We also obtain L^p-estimates for the reciprocal of the regularity scale. The results are analogous to our results for mean curvature flow that we recently proved. △ Less

Submitted 12 August, 2013; originally announced August 2013.

Comments: arXiv admin note: text overlap with arXiv:1207.3619

Critical sets of elliptic equations

Authors: Jeff Cheeger, Aaron Naber, Daniele Valtorta

Abstract: Given a solution $u$ to a linear homogeneous second order elliptic equation with Lipschitz coefficients, we introduce techniques for giving improved estimates of the critical set $\Cr(u)\equiv \{x:|\nabla u|(x)=0\}$. The results are new even for harmonic functions on $\dR^n$. Given such a $u$, the standard {\it first order} stratification $\{\cS^k\}$ of $u$ separates points $x$ based on the degree… ▽ More Given a solution $u$ to a linear homogeneous second order elliptic equation with Lipschitz coefficients, we introduce techniques for giving improved estimates of the critical set $\Cr(u)\equiv \{x:|\nabla u|(x)=0\}$. The results are new even for harmonic functions on $\dR^n$. Given such a $u$, the standard {\it first order} stratification $\{\cS^k\}$ of $u$ separates points $x$ based on the degrees of symmetry of the leading order polynomial of $u-u(x)$. In this paper we give a quantitative stratification $\{\cS^k_{η,r}\}$ of $u$, which separates points based on the number of {\it almost} symmetries of {\it approximate} leading order polynomials of $u$ at various scales. We prove effective estimates on the volume of the tubular neighborhood of each $\cS^k_{η,r}$, which lead directly to $(n-2+ε)$-Minkowski content estimates for the critical set of $u$. With some additional regularity assumptions on the coefficients of the equation, we refine the estimate to a uniform $(n-2)$-Hausdorff measure estimate on the critical set of $u$. △ Less

Submitted 8 August, 2013; v1 submitted 17 July, 2012; originally announced July 2012.

Quantitative Stratification and the Regularity of Mean Curvature Flow

Authors: Jeff Cheeger, Robert Haslhofer, Aaron Naber

Abstract: Let $\cM$ be a Brakke flow of $n$-dimensional surfaces in $R^N$. The singular set $\cS\subset\cM$ has a stratification $\cS^0\subset\cS^1\subset...\cS$, where $X\in \cS^j$ if no tangent flow at $X$ has more than $j$ symmetries. Here, we define quantitative singular strata $\cS^j_{η,r}$ satisfying $\cup_{η>0}\cap_{0<r} \cS^j_{η,r}=\cS^j$. Sharpening the known parabolic Hausdorff dimension bound… ▽ More Let $\cM$ be a Brakke flow of $n$-dimensional surfaces in $R^N$. The singular set $\cS\subset\cM$ has a stratification $\cS^0\subset\cS^1\subset...\cS$, where $X\in \cS^j$ if no tangent flow at $X$ has more than $j$ symmetries. Here, we define quantitative singular strata $\cS^j_{η,r}$ satisfying $\cup_{η>0}\cap_{0<r} \cS^j_{η,r}=\cS^j$. Sharpening the known parabolic Hausdorff dimension bound $\dim \cS^j\leq j$, we prove the effective Minkowski estimates that the volume of $r$-tubular neighborhoods of $\cS^j_{η,r}$ satisfies $\Vol (T_r(\cS^j_{η,r})\cap B_1)\leq Cr^{N+2-j-\varepsilon}$. Our primary application of this is to higher regularity of Brakke flows starting at $k$-convex smooth compact embedded hypersurfaces. To this end, we prove that for the flow of $k$-convex hypersurfaces, any backwards selfsimilar limit flow with at least $k$ symmetries is in fact a static multiplicity one plane. Then, denoting by $\cB_r\subset\cM$ the set of points with regularity scale less than $r$, we prove that $\Vol(T_r(\cB_r))\leq C r^{n+4-k-\varepsilon}$. This gives $L^p$-estimates for the second fundamental form for any $p<n+1-k$. In fact, the estimates are much stronger and give $L^p$-estimates for the inverse of the regularity scale. These estimates are sharp. The key technique that we develop and apply is a parabolic version of the quantitative stratification method introduced in Cheeger and Naber (arXiv:1103.1819v3) and Cheeger and Naber (arXiv:1107.3097v1). △ Less

Submitted 29 October, 2012; v1 submitted 16 July, 2012; originally announced July 2012.

Realization of metric spaces as inverse limits, and bilipschitz embedding in L_1

Authors: Jeff Cheeger, Bruce Kleiner

Abstract: We give sufficient conditions for a metric space to bilipschitz embed in L_1. In particular, if X is a length space and there is a Lipschitz map u:X--->R such that for every interval I in R, the connected components of the inverse image f^{-1}(I) have diameter at most a constant time the diameter of I, then X admits a bilipschitz embedding in L_1. As a corollary, well-known examples of Laakso bili… ▽ More We give sufficient conditions for a metric space to bilipschitz embed in L_1. In particular, if X is a length space and there is a Lipschitz map u:X--->R such that for every interval I in R, the connected components of the inverse image f^{-1}(I) have diameter at most a constant time the diameter of I, then X admits a bilipschitz embedding in L_1. As a corollary, well-known examples of Laakso bilipschitz embed in L_1, though they do not embed in any any Banach space with the Radon-Nikodym property (e.g. the space l_1 of summable sequences). The spaces appearing the statement of the bilipschitz embedding theorem have an alternate characterization as inverse limits of systems of metric graphs satisfying certain additional conditions. This representation, which may be of independent interest, is the initial part of the proof of the bilipschitz embedding theorem. The rest of the proof uses the combinatorial structure of the inverse system of graphs and a diffusion construction, to produce the embedding in L_1. △ Less

Submitted 11 October, 2011; originally announced October 2011.

Quantitative Stratification and the Regularity of Harmonic Maps and Minimal Currents

Authors: Jeff Cheeger, Aaron Naber

Abstract: We introduce techniques for turning estimates on the infinitesimal behavior of solutions to nonlinear equations (statements concerning tangent cones and blow ups) into more effective control. In the present paper, we focus on proving regularity theorems for stationary and minimizing harmonic maps and minimal currents. There are several aspects to our improvements of known estimates. First, we repl… ▽ More We introduce techniques for turning estimates on the infinitesimal behavior of solutions to nonlinear equations (statements concerning tangent cones and blow ups) into more effective control. In the present paper, we focus on proving regularity theorems for stationary and minimizing harmonic maps and minimal currents. There are several aspects to our improvements of known estimates. First, we replace known estimates on the Hausdorff dimension of singular sets by estimates on their Minkowski r-content, or equivalently, on the volumes of their r-tubular neighborhoods. Second, we give improved regularity control with respect to the number of derivatives bounded and/or on the norm in which the derivatives are bounded. As an example of the former, our results for minimizing harmonic maps f : M->N between riemannian manifolds include a priori bounds in W^{1,p}\cap W^{2,p} for all p < 3. These are the first such bounds involving second derivatives in general dimensions. Finally, the quantity we control is actually provides much stronger information than follows from a bound on the L^p norm of derivatives. Namely, we obtain L^p bounds for the inverse of the regularity scale r_f(x)=max{r:sup_{B_r(x)}(r|\nabla f|+r^2|\nabla^2 f|)\leq 1}. Applications to minimal hypersufaces include a priori L^p bounds for the second fundamental form A for all p < 7. Previously known bounds were for p < 2+ε(n). Again, the full theorem is much stronger and yields Lp bounds for the corresponding regularity scale r_A(x)=max{r:sup_{B_r(x)}rA\leq 1}. In outline, our discussion follows that of an earlier paper in which we proved analogous estimates in the context of noncollapsed riemannian manifolds with a lower bound on Ricci curvature. These were applied to Einstein manifolds. A key point in all of these arguments is to establish the relevant quantitative differentiation theorem. △ Less

Submitted 29 October, 2012; v1 submitted 15 July, 2011; originally announced July 2011.

Comments: 24 pages

MSC Class: 53-XX

Lower Bounds on Ricci Curvature and Quantitative Behavior of Singular Sets

Authors: Jeff Cheeger, Aaron Naber

Abstract: Let Y^n denote the Gromov-Hausdorff limit of a sequence M^n_i-> Y^n of v-noncollapsed riemannian manifolds with Ric_i\geq-(n-1). The singular set S of Y has a stratification S^0\subset S^1\subset\...\subset S, where y\in S^k if no tangent cone at y splits off a factor R^{k+1} isometrically. There is a known Hausdorff dimension bound dimS^k\leq k. Here, we define for all η>0, 0<r\leq 1, the {\it k-… ▽ More Let Y^n denote the Gromov-Hausdorff limit of a sequence M^n_i-> Y^n of v-noncollapsed riemannian manifolds with Ric_i\geq-(n-1). The singular set S of Y has a stratification S^0\subset S^1\subset\...\subset S, where y\in S^k if no tangent cone at y splits off a factor R^{k+1} isometrically. There is a known Hausdorff dimension bound dimS^k\leq k. Here, we define for all η>0, 0<r\leq 1, the {\it k-th effective singular stratum} S^k_{η,r} such that \bigcup_η\bigcap_r \,\cS^k_{η,r}= \cS^k. Sharpening the bound dim S^k\leq k, we prove that the r-tubular neighborhood satisfies: Vol(T_r(S^k_{η,r})\cap B_{1/2}(y))\leq c(n,v,η)r^{n-k-η}, for all y. The proof depends on a {\it quantitative differentiation} argument; for further explanation, see Section 2. The applications give new curvature estimates for Einstein manifolds. Let Rm denote the curvature tensor and regard |Rm(y)|= \infty unless Y^n is smooth in some neighborhood of y. Put \cB_r=\{y: |sup_{B_r(y)}|Rm|\geq r^{-2}\}. Assuming in addition that the M^n_i are Kähler-Einstein with ||Rm||_{L_2}\leq C, we get the volume bound Vol(\cB_r\cap B_{1/2}(y))\leq c(n,v,C)r^4$ for all y. In the Kähler-Einstein case, without assuming any integral curvature bound on the M^n_i, we obtain a slightly weaker volume bound on \cB_r, which yields an a priori L_p curvature bound for all p<2; see Section 1 the for the precise statement (which is sharper). △ Less

Submitted 29 October, 2012; v1 submitted 9 March, 2011; originally announced March 2011.

Comments: Additional explanation and new section outlining arguments

Compression bounds for Lipschitz maps from the Heisenberg group to $L_1$

Authors: Jeff Cheeger, Bruce Kleiner, Assaf Naor

Abstract: We prove a quantitative bi-Lipschitz nonembedding theorem for the Heisenberg group with its Carnot-Carathéodory metric and apply it to give a lower bound on the integrality gap of the Goemans-Linial semidefinite relaxation of the Sparsest Cut problem. We prove a quantitative bi-Lipschitz nonembedding theorem for the Heisenberg group with its Carnot-Carathéodory metric and apply it to give a lower bound on the integrality gap of the Goemans-Linial semidefinite relaxation of the Sparsest Cut problem. △ Less

Submitted 11 October, 2009; originally announced October 2009.

A $(\log n)^{Ω(1)}$ integrality gap for the Sparsest Cut SDP

Authors: Jeff Cheeger, Bruce Kleiner, Assaf Naor

Abstract: We show that the Goemans-Linial semidefinite relaxation of the Sparsest Cut problem with general demands has integrality gap $(\log n)^{Ω(1)}$. This is achieved by exhibiting $n$-point metric spaces of negative type whose $L_1$ distortion is $(\log n)^{Ω(1)}$. Our result is based on quantitative bounds on the rate of degeneration of Lipschitz maps from the Heisenberg group to $L_1$ when restrict… ▽ More We show that the Goemans-Linial semidefinite relaxation of the Sparsest Cut problem with general demands has integrality gap $(\log n)^{Ω(1)}$. This is achieved by exhibiting $n$-point metric spaces of negative type whose $L_1$ distortion is $(\log n)^{Ω(1)}$. Our result is based on quantitative bounds on the rate of degeneration of Lipschitz maps from the Heisenberg group to $L_1$ when restricted to cosets of the center. △ Less

Submitted 18 November, 2009; v1 submitted 11 October, 2009; originally announced October 2009.

Metric differentiation, monotonicity and maps to L^1

Authors: Jeff Cheeger, Bruce Kleiner

Abstract: We give a new approach to the infinitesimal structure of Lipschitz maps into L^1. As a first application, we give an alternative proof of the main theorem from an earlier paper, that the Heisenberg group does not admit a bi-Lipschitz embedding in L^1. The proof uses the metric differentiation theorem of Pauls and the cut metric decomposition to reduce the nonembedding argument to a classificatio… ▽ More We give a new approach to the infinitesimal structure of Lipschitz maps into L^1. As a first application, we give an alternative proof of the main theorem from an earlier paper, that the Heisenberg group does not admit a bi-Lipschitz embedding in L^1. The proof uses the metric differentiation theorem of Pauls and the cut metric decomposition to reduce the nonembedding argument to a classification of monotone subsets of the Heisenberg group. △ Less

Submitted 9 August, 2009; v1 submitted 19 July, 2009; originally announced July 2009.

Comments: Added a missing condition to Definition 5.3. Also made a number of minor corrections, and added a reference to a paper by Lee-Raghavendra

Differentiability of Lipschitz maps from metric measure spaces to Banach spaces with the Radon Nikodym property

Authors: Jeff Cheeger, Bruce Kleiner

Abstract: We prove the differentiability of Lipschitz maps X-->V, where X is a complete metric measure space satisfying a doubling condition and a Poincaré inequality, and V is a Banach space with the Radon Nikodym Property (RNP). The proof depends on a new characterization of the differentiable structure on such metric measure spaces, in terms of directional derivatives in the direction of tangent vector… ▽ More We prove the differentiability of Lipschitz maps X-->V, where X is a complete metric measure space satisfying a doubling condition and a Poincaré inequality, and V is a Banach space with the Radon Nikodym Property (RNP). The proof depends on a new characterization of the differentiable structure on such metric measure spaces, in terms of directional derivatives in the direction of tangent vectors to suitable rectifiable curves. △ Less

Submitted 24 August, 2008; originally announced August 2008.

MSC Class: 46B22 (Primary) 46G05 (Secondary)

Characterization of the Radon-Nikodym Property in terms of inverse limits

Authors: Jeff Cheeger, Bruce Kleiner

Abstract: We clarify the relation between inverse systems, the Radon-Nikodym property, the Asymptotic Norming Property of James-Ho, and the GFDA spaces introduced in our earlier paper on differentiability of Lipschitz maps into Banach spaces. We clarify the relation between inverse systems, the Radon-Nikodym property, the Asymptotic Norming Property of James-Ho, and the GFDA spaces introduced in our earlier paper on differentiability of Lipschitz maps into Banach spaces. △ Less

Submitted 11 January, 2008; v1 submitted 22 June, 2007; originally announced June 2007.

MSC Class: 46B22;46G05

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

Authors: Jeff Cheeger, Bruce Kleiner

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-Ca… ▽ More 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. △ Less

Submitted 12 December, 2006; v1 submitted 30 November, 2006; originally announced November 2006.