Characterizations of rectifiable metric measure spaces

Abstract

We characterize $n$-rectifiable metric measure spaces as those spaces that admit a countable Borel decomposition so that each piece has positive and finite $n$-densities and one of the following: is an $n$-dimensional Lipschitz differentiability space; has $n$-independent Alberti representations; satisfies David's condition for an $n$-dimensional chart. The key tool is an iterative grid construction which allows us to show that the image of a ball with a high density of curves from the Alberti representations under a chart map contains a large portion of a uniformly large ball and hence satisfies David's condition. This allows us to apply previously known "biLipschitz pieces" results on the charts.

35 pages. Provided nine additional pages of details and mentioned a general biLipschitz decomposition theorem. Updated introduction to be more self-contained. No significant technical changes

Cited by in corpus (8)

• Purely 1-unrectifiable metric spaces and locally flat Lipschitz functions
• Differentiability and Poincaré-type inequalities in metric measure spaces
• The Rank-One Theorem on $\mathrm{RCD}$ spaces
• Cheeger's differentiation theorem via the multilinear Kakeya inequality
• Classifying Poincaré Inequalities and the local geometry of RNP-Differentiability Spaces
• Rigidity for convex-cocompact actions on rank-one symmetric spaces
• Rectifiability; a survey
• Metric Sobolev spaces I: equivalence of definitions