Characterizing Rectifiability via BiLipschitz Pieces of Lipschitz Mappings on Metric Spaces

Basic Information

• Paper ID: 2510.13525
• Title: Characterizing rectifiability via biLipschitz pieces of Lipschitz mappings on metric spaces
• Authors: Sean Li, Raanan Schul
• Classification: math.MG (Metric Geometry), math.CA (Classical Analysis)
• Publication Date: October 16, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2510.13525

Abstract

This paper provides a novel characterization of rectifiable metric spaces: a metric space with positive lower Hausdorff density is rectifiable if and only if for any subset $F$ and Lipschitz mapping $f:F\to Y$ (mapping into a metric space with positive measure image), there exists a positive measure subset $A\subset F$ such that $f$ is biLipschitz on $A$. The paper also provides a characterization of complete biLipschitz decompositions. These characterizations are new even for subsets of Euclidean space. The authors employ Alberti representations as the primary tool and provide a method for constructing independent Alberti representations.

Research Background and Motivation

Importance of the Problem

1. Central role of rectifiability theory: Rectifiability is a fundamental concept in geometric measure theory that characterizes the extent to which metric spaces locally resemble Euclidean space.
2. Significance of biLipschitz decomposition: Kirchheim's classical result (Lemma 1.1) from 1994 shows that any Lipschitz mapping admits a biLipschitz decomposition, i.e., $A = N \cup \bigcup_{i\in\mathbb{N}} E_i$, where $\mathcal{H}^p(f(N)) = 0$ and $f|_{E_i}$ are all biLipschitz.
3. Limitations of existing theory: While it is known that Lipschitz mappings on rectifiable spaces must admit biLipschitz decompositions, the converse characterization has been missing.

Research Motivation

1. Seeking complete characterization: This paper aims to provide a complete characterization of rectifiability, namely to prove that the biLipschitz decomposition property is actually equivalent to rectifiability.
2. Extending existing results: Le Donne, Li, and Rajala proved in 2017 that the Heisenberg group does not satisfy the biLipschitz decomposition property; this paper generalizes this observation to general non-rectifiable spaces.
3. Innovation in tools: By developing Alberti representation theory, new tools are provided for studying geometric properties of metric spaces.

Core Contributions

1. Main Theorem (Theorem 1.2): For a compact metric space $X$, if $0 < \mathcal{H}^p(X) < \infty$ and $\theta_*^p(X,x) > 0$ for $\mathcal{H}^p$-almost every $x \in X$, but $X$ is not $p$-rectifiable, then there exist a positive measure set $F \subset X$ and a Lipschitz mapping $f: F \to Y$ such that $\mathcal{H}^p_d(f(F)) > 0$ but $f|_A$ is not biLipschitz for any positive measure $A \subseteq F$.
2. Complete characterization of rectifiability (Corollaries 1.3 and 1.4): Two equivalent conditions for rectifiability are provided:
   • Existence of complete biLipschitz decomposition
   • Existence of single biLipschitz pieces
3. Construction method for independent Alberti representations (Proposition 3.2): A systematic method for constructing independent Alberti representations is provided, which has independent value in geometric measure theory.
4. Geometric characterization of non-rectifiable spaces (Theorem 1.6): Non-rectifiability is characterized geometrically via transverse curve pieces.

Detailed Methodology

Task Definition

The core task of this paper is to characterize rectifiability of metric spaces. Specifically:

• Input: Compact metric space $(X,d)$ satisfying $0 < \mathcal{H}^p(X) < \infty$ and positive lower density condition
• Output: Determine whether $X$ is $p$-rectifiable
• Constraints: Characterize via the biLipschitz decomposition property of Lipschitz mappings

Core Technical Framework

1. Application of Alberti Representation Theory

An Alberti representation decomposes a measure as an integral of measures on curve pieces: $\mu(B) = \int_{\Gamma(X)} \mu_\gamma(B) dP(\gamma)$

where $P$ is a probability measure on $\Gamma(X)$ and $\mu_\gamma$ is the measure on curve $\gamma$.

2. Construction of Singular Sets

A family of singular sets $\tilde{D}(\phi,\kappa)$ is defined, containing all sets $S$ for which curve pieces transverse to Lipschitz mapping $\phi$ have $\mathcal{H}^1$-measure zero: $T_\kappa(\phi) = \{\gamma \in \Gamma(X) : \|(\phi \circ \gamma)'(t)\| \leq \kappa \text{Lip}(\phi, \gamma(x)) \text{Lip}(\gamma, x) \text{ a.e. } t\}$

3. Key Techniques in Metric Construction

For non-rectifiable spaces, a new metric $d$ is constructed through the following steps:

Step 1: Construction of shortcut path system

• Define sequence $\{S_k\}$, where each $S_k = \{\{x_i, y_i\}\}_{i=1}^{m_k}$ is a finite set of point pairs
• Satisfy condition: $y \in E_\phi(x, \theta_k)$ (transverse cone condition)
• Control scale: $\lambda_{k+1} < \min_{\{x,y\} \in S_k} \rho(x,y)$

Step 2: Define cost function