Caracterización de la rectificabilidad mediante piezas biLipschitz de aplicaciones Lipschitz en el espacio

Información Básica

• ID del artículo: 2510.13525
• Título: Characterizing rectifiability via biLipschitz pieces of Lipschitz mappings on the space
• Autores: Sean Li, Raanan Schul
• Clasificación: math.MG (Geometría Métrica), math.CA (Análisis Clásico)
• Fecha de publicación: 16 de octubre de 2025 (preimpresión en arXiv)
• Enlace del artículo: https://arxiv.org/abs/2510.13525

Resumen

Este artículo proporciona una nueva caracterización de espacios métricos rectificables: un espacio métrico con densidad de Hausdorff inferior positiva es rectificable si y solo si para cualquier subconjunto $F$ y aplicación Lipschitz $f:F\to Y$ (mapeando a un espacio métrico con imagen de medida positiva), existe un subconjunto $A\subset F$ de medida positiva tal que $f$ es biLipschitz en $A$. El artículo también proporciona una caracterización de descomposiciones completamente biLipschitz. Estas caracterizaciones son nuevas incluso para subconjuntos del espacio euclídeo. Los autores utilizan representaciones de Alberti como herramienta principal y proporcionan un método para construir representaciones de Alberti independientes.

Antecedentes y Motivación de la Investigación

Importancia del Problema

1. Posición central de la teoría de rectificabilidad: La rectificabilidad es un concepto fundamental en teoría geométrica de la medida que caracteriza el grado en que un espacio métrico se asemeja localmente al espacio euclídeo.
2. Importancia de la descomposición biLipschitz: El resultado clásico de Kirchheim de 1994 (Lema 1.1) establece que cualquier aplicación Lipschitz admite una descomposición biLipschitz, es decir, $A = N \cup \bigcup_{i\in\mathbb{N}} E_i$, donde $\mathcal{H}^p(f(N)) = 0$ y $f|_{E_i}$ son todas biLipschitz.
3. Limitaciones de la teoría existente: Aunque se sabe que las aplicaciones Lipschitz en espacios rectificables deben admitir descomposiciones biLipschitz, la caracterización en la dirección inversa ha estado ausente.

Motivación de la Investigación

1. Búsqueda de una caracterización completa: Este artículo tiene como objetivo proporcionar una caracterización completa de la rectificabilidad, es decir, demostrar que la propiedad de descomposición biLipschitz es en realidad equivalente a la rectificabilidad.
2. Extensión de resultados existentes: Le Donne, Li y Rajala demostraron en 2017 que el grupo de Heisenberg no satisface la propiedad de descomposición biLipschitz; este artículo generaliza esta observación a espacios no rectificables arbitrarios.
3. Innovación en herramientas: Mediante el desarrollo de la teoría de representaciones de Alberti, se proporcionan nuevas herramientas para estudiar propiedades geométricas de espacios métricos.

Contribuciones Principales

1. Teorema principal (Teorema 1.2): Se demuestra que para un espacio métrico compacto $X$, si $0 < \mathcal{H}^p(X) < \infty$ y $\theta_*^p(X,x) > 0$ para $\mathcal{H}^p$-casi todo $x \in X$, pero $X$ no es $p$-rectificable, entonces existe un conjunto $F \subset X$ de medida positiva y una aplicación Lipschitz $f: F \to Y$ tales que $\mathcal{H}^p_d(f(F)) > 0$ pero $f|_A$ no es biLipschitz para todo $A \subseteq F$ de medida positiva.
2. Caracterización completa de rectificabilidad (Corolarios 1.3 y 1.4): Se proporcionan dos condiciones equivalentes para la rectificabilidad:
   • Existencia de descomposición completamente biLipschitz
   • Existencia de piezas biLipschitz individuales
3. Método de construcción de representaciones de Alberti independientes (Proposición 3.2): Se proporciona un método sistemático para construir representaciones de Alberti independientes, que tiene valor independiente en teoría geométrica de la medida.
4. Caracterización geométrica de espacios no rectificables (Teorema 1.6): Se proporciona una caracterización geométrica de la no rectificabilidad mediante piezas de curvas transversales.

Explicación Detallada de Métodos

Definición de la Tarea

La tarea central de este artículo es caracterizar la rectificabilidad de espacios métricos. Específicamente:

• Entrada: Espacio métrico compacto $(X,d)$ que satisface $0 < \mathcal{H}^p(X) < \infty$ y condición de densidad inferior positiva
• Salida: Determinar si $X$ es $p$-rectificable
• Restricciones: Caracterizar mediante la propiedad de descomposición biLipschitz de aplicaciones Lipschitz

Marco Técnico Central

1. Aplicación de la Teoría de Representaciones de Alberti

Una representación de Alberti es una descomposición de medida como integral de medidas en piezas de curvas: $\mu(B) = \int_{\Gamma(X)} \mu_\gamma(B) dP(\gamma)$

donde $P$ es una medida de probabilidad en $\Gamma(X)$ y $\mu_\gamma$ es la medida en la curva $\gamma$.

2. Construcción de Conjuntos Singulares

Se define una familia de conjuntos singulares $\tilde{D}(\phi,\kappa)$, que contiene todos los conjuntos $S$ tales que los piezas de curvas "transversales" a la aplicación Lipschitz $\phi$ son de medida $\mathcal{H}^1$-cero: $T_\kappa(\phi) = \{\gamma \in \Gamma(X) : \|(\phi \circ \gamma)'(t)\| \leq \kappa \text{Lip}(\phi, \gamma(x)) \text{Lip}(\gamma, x) \text{ c.t.p. } t\}$

3. Técnicas Clave de Construcción Métrica

Para espacios no rectificables, se construye una nueva métrica $d$ mediante los siguientes pasos:

Paso 1: Construcción de Sistema de Atajos

• Se define la secuencia $\{S_k\}$, donde cada $S_k = \{\{x_i, y_i\}\}_{i=1}^{m_k}$ es un conjunto finito de pares de puntos
• Se satisfacen las condiciones: $y \in E_\phi(x, \theta_k)$ (condición de cono transversal)
• Se controla la escala: $\lambda_{k+1} < \min_{\{x,y\} \in S_k} \rho(x,y)$

Paso 2: Definición de Función de Costo