2025-11-18T20:16:14.046679

Characterizing rectifiability via biLipschitz pieces of Lipschitz mappings on the space

Li, Schul

We give the following characterization of rectifiable metric spaces. A metric space with positive lower Hausdorff density is rectifiable if and only if, for any subset $F$ and $f:F\to Y$, a Lipschitz map into a metric space with positive measure image (of the same dimension), there exists a positive measure subset $A\subset F$ so that $f$ is biLipschitz on $A$. We also give a characterization in terms of a full biLipschitz decomposition. These characterizations are new even for subsets of Euclidean space. One of our tools is Alberti representations. On the way we give a method for constructing independent Alberti representations, which may be of independent interest. We use this to characterize unrectifiable metric spaces as those spaces for which there exist a positive measure subset $S$ and a Lipschitz map $Ï$ into a lower dimensional Euclidean space so that $S$ is $\cH^1$-null with respect to all curve fragments that are quantitatively transversal to $Ï$.

academic

Lipschitz मानचित्रों के biLipschitz टुकड़ों के माध्यम से सुधारणीयता की विशेषता

मूल जानकारी

पेपर ID: 2510.13525
शीर्षक: Lipschitz मानचित्रों के biLipschitz टुकड़ों के माध्यम से सुधारणीयता की विशेषता
लेखक: Sean Li, Raanan Schul
वर्गीकरण: math.MG (मेट्रिक ज्यामिति), math.CA (शास्त्रीय विश्लेषण)
प्रकाशन समय: 16 अक्टूबर, 2025 (arXiv प्रीप्रिंट)
पेपर लिंक: https://arxiv.org/abs/2510.13525

सारांश

यह पेपर सुधारणीय मेट्रिक स्पेस की नई विशेषता प्रदान करता है: सकारात्मक निम्न Hausdorff घनत्व वाला मेट्रिक स्पेस सुधारणीय है, यदि और केवल यदि किसी भी उपसमुच्चय $F$ और Lipschitz मानचित्र $f:F\to Y$ (सकारात्मक माप वाली छवि वाले मेट्रिक स्पेस में) के लिए, एक सकारात्मक माप उपसमुच्चय $A\subset F$ मौजूद है जैसे कि $f$ $A$ पर biLipschitz है। लेख पूर्ण biLipschitz अपघटन की विशेषता भी प्रदान करता है। ये विशेषताएं यूक्लिडीय स्पेस के उपसमुच्चय के लिए भी नई हैं। लेखक मुख्य उपकरण के रूप में Alberti प्रतिनिधित्व का उपयोग करते हैं और स्वतंत्र Alberti प्रतिनिधित्व के निर्माण की विधि प्रदान करते हैं।

अनुसंधान पृष्ठभूमि और प्रेरणा

समस्या की महत्ता

सुधारणीयता सिद्धांत की केंद्रीय स्थिति: सुधारणीयता ज्यामितीय माप सिद्धांत में एक मौलिक अवधारणा है, जो मेट्रिक स्पेस को स्थानीय रूप से यूक्लिडीय स्पेस के समान होने की डिग्री को चिह्नित करती है।
biLipschitz अपघटन की महत्ता: Kirchheim के 1994 के शास्त्रीय परिणाम (लेम्मा 1.1) से पता चलता है कि किसी भी Lipschitz मानचित्र को biLipschitz अपघटन में विभाजित किया जा सकता है, अर्थात् $A = N \cup \bigcup_{i\in\mathbb{N}} E_i$ , जहां $\mathcal{H}^p(f(N)) = 0$ और $f|_{E_i}$ सभी biLipschitz हैं।
मौजूदा सिद्धांत की सीमाएं: हालांकि यह ज्ञात है कि सुधारणीय स्पेस पर Lipschitz मानचित्र को biLipschitz अपघटन स्वीकार करना चाहिए, लेकिन विपरीत दिशा की विशेषता हमेशा गायब रही है।

अनुसंधान प्रेरणा

संपूर्ण विशेषता की खोज: यह पेपर सुधारणीयता की संपूर्ण विशेषता प्रदान करना चाहता है, अर्थात् यह साबित करना कि biLipschitz अपघटन संपत्ति वास्तव में सुधारणीयता के बराबर है।
मौजूदा परिणामों का विस्तार: Le Donne, Li और Rajala ने 2017 में साबित किया कि Heisenberg समूह biLipschitz अपघटन संपत्ति को संतुष्ट नहीं करता है, यह पेपर इस अवलोकन को सामान्य गैर-सुधारणीय स्पेस तक सामान्यीकृत करता है।
उपकरणों का नवाचार: Alberti प्रतिनिधित्व सिद्धांत को विकसित करके, मेट्रिक स्पेस की ज्यामितीय संपत्तियों के अध्ययन के लिए नए उपकरण प्रदान करता है।

मुख्य योगदान

मुख्य प्रमेय (प्रमेय 1.2): कॉम्पैक्ट मेट्रिक स्पेस $X$ के लिए साबित करता है, यदि $0 < \mathcal{H}^p(X) < \infty$ और $\theta_*^p(X,x) > 0$ $\mathcal{H}^p$ -लगभग सभी $x \in X$ के लिए सत्य है, लेकिन $X$ $p$ -सुधारणीय नहीं है, तो सकारात्मक माप समुच्चय $F \subset X$ और Lipschitz मानचित्र $f: F \to Y$ मौजूद हैं, जैसे कि $\mathcal{H}^p_d(f(F)) > 0$ लेकिन $f|_A$ सभी सकारात्मक माप $A \subseteq F$ के लिए biLipschitz नहीं है।
सुधारणीयता की संपूर्ण विशेषता (परिणाम 1.3 और 1.4): सुधारणीयता की दो समतुल्य शर्तें प्रदान करता है:
- पूर्ण biLipschitz अपघटन का अस्तित्व
- एकल biLipschitz टुकड़े का अस्तित्व
स्वतंत्र Alberti प्रतिनिधित्व के निर्माण की विधि (प्रस्ताव 3.2): स्वतंत्र Alberti प्रतिनिधित्व के निर्माण की व्यवस्थित विधि प्रदान करता है, जिसका ज्यामितीय माप सिद्धांत में स्वतंत्र मूल्य है।
गैर-सुधारणीय स्पेस की ज्यामितीय विशेषता (प्रमेय 1.6): अनुप्रस्थ वक्र टुकड़ों का उपयोग करके गैर-सुधारणीयता की ज्यामितीय विशेषता प्रदान करता है।

विधि विवरण

कार्य परिभाषा

इस पेपर का मुख्य कार्य मेट्रिक स्पेस की सुधारणीयता को चिह्नित करना है। विशेष रूप से:

इनपुट: कॉम्पैक्ट मेट्रिक स्पेस $(X,d)$ , जो $0 < \mathcal{H}^p(X) < \infty$ और सकारात्मक निम्न घनत्व शर्त को संतुष्ट करता है
आउटपुट: यह निर्धारित करना कि $X$ $p$ -सुधारणीय है या नहीं
बाधा शर्तें: Lipschitz मानचित्रों के biLipschitz अपघटन संपत्ति के माध्यम से चिह्नित करना

मुख्य तकनीकी ढांचा

1. Alberti प्रतिनिधित्व सिद्धांत का अनुप्रयोग

Alberti प्रतिनिधित्व वक्र टुकड़ों पर माप के अभिन्न प्रतिनिधित्व में माप को विघटित करता है: $\mu(B) = \int_{\Gamma(X)} \mu_\gamma(B) dP(\gamma)$

जहां $P$ $\Gamma(X)$ पर एक संभाव्यता माप है, $\mu_\gamma$ वक्र $\gamma$ पर माप है।

2. विलक्षण समुच्चय का निर्माण

विलक्षण समुच्चयों का एक परिवार $\tilde{D}(\phi,\kappa)$ परिभाषित किया गया है, जिसमें सभी समुच्चय $S$ शामिल हैं जो Lipschitz मानचित्र $\phi$ के साथ "अनुप्रस्थ" हैं: $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. मेट्रिक निर्माण की मुख्य तकनीक

गैर-सुधारणीय स्पेस के लिए, निम्नलिखित चरणों के माध्यम से नया मेट्रिक $d$ निर्मित किया जाता है:

चरण 1: शॉर्टकट पथ प्रणाली का निर्माण

अनुक्रम $\{S_k\}$ को परिभाषित करें, प्रत्येक $S_k = \{\{x_i, y_i\}\}_{i=1}^{m_k}$ बिंदु जोड़ी का एक परिमित समुच्चय है
शर्त को संतुष्ट करता है: $y \in E_\phi(x, \theta_k)$ (अनुप्रस्थ शंकु शर्त)
स्केल को नियंत्रित करता है: $\lambda_{k+1} < \min_{\{x,y\} \in S_k} \rho(x,y)$

चरण 2: लागत फलन को परिभाषित करें