An isoperimetric characterization of a new ADM-like mass for $C^0$-asymptotically flat manifolds

Resumen Técnico: Una Caracterización Isoperimétrica de una Nueva Masa de Tipo ADM para Variedades $C^0$-Asintóticamente Planas

Planteamiento del Problema
El artículo aborda la relación entre dos nociones distintas de masa en el contexto de las variedades riemannianas de dimensión 3 con baja regularidad. La masa ADM clásica, aunque fundamental, requiere un decaimiento asintótico fuerte y la diferenciabilidad de la métrica para estar bien definida e invariante por coordenadas. En contraste, la masa isoperimétrica, introducida por G. Huisken, se define puramente en términos de volúmenes y áreas, lo que la hace robusta bajo supuestos de regularidad $C^0$.

Recientemente, Mazurowski y Yao introdujeron una nueva masa "de tipo ADM" ($m_{MY}$) para métricas continuas con curvatura escalar no negativa, definida mediante una integral que involucra un tensor simétrico específico y una función de prueba $\psi$. Si bien $m_{MY}$ está bien planteada para variedades $C^\tau$-asintóticamente planas con $\tau > 1/2$, su equivalencia con la masa isoperimétrica de Huisken ($m_{iso}$) en el caso liso seguía siendo una cuestión abierta. Los autores pretenden demostrar que estas dos cantidades coinciden bajo supuestos de decaimiento óptimos ($\tau > 1/2$) para métricas lisas.

Metodología
La demostración se basa en un marco de teoría de potenciales no lineal centrado en el flujo de curvatura media $p$ ($p$-IMCF) y las masas de Hawking $p$ asociadas. La metodología avanza a través de pasos clave:

1. $p$-IMCF y Regularización: Los autores utilizan el potencial capacitario $p$ ($u_p$) y el flujo asociado $w_p = -(p-1)\log u_p$. Para manejar la baja regularidad de los conjuntos de nivel $\Sigma^{(p)}_t$ en el límite, emplean una regularización elíptica ($w_{p,\varepsilon}$) para aproximar el flujo con superficies lisas, permitiendo la aplicación de herramientas estándar de análisis geométrico.
2. Análisis Asintótico: Un componente técnico crítico es establecer el comportamiento asintótico del $p$-IMCF bajo una ausencia de planitud meramente $C^0$. Los autores adaptan un procedimiento de blow-down y utilizan la estimación de gradiente de Kinnunen–Zhou para funciones $p$-armónicas. Esta estimación, que se mantiene bajo convergencia $C^0$ de las métricas, les permite derivar una convergencia fuerte $W^{1,q}_{loc}$ de los potenciales reescalados hacia la solución fundamental euclídea.
3. Monotonía y Comparación: Los autores establecen propiedades de monotonía para una masa de Hawking $p$ modificada a lo largo del flujo. Demuestran que el límite de la masa de Hawking $p$ cuando $t \to \infty$ está acotado superiormente por la masa de Mazurowski–Yao ($m_{MY}$). Esto se logra relacionando el comportamiento asintótico de la masa de Hawking $p$ con la definición integral de $m_{MY}$ (Proposición 2.14).
4. Conexión con la Masa Isoperimétrica:
   • Cota Superior ($m_{iso} \leq m_{MY}$): Al mostrar que la masa de Hawking de los dominios de minimización exterior está acotada por $m_{MY}$, e invocando la maquinaria de Jauregui y Lee, deducen que la masa isoperimétrica también está acotada por $m_{MY}$.
   • Cota Inferior ($m_{iso} \geq m_{MY}$): Demuestran que $m_{MY}$ puede calcularse como el límite en el infinito de la masa de Hawking 2. Utilizando argumentos de comparación asintótica, acotan este límite por la masa isocapacitaria (una versión capacitante de la masa isoperimétrica). Los autores citan entonces su trabajo previo (Benatti [Ben25]), el cual establece la equivalencia entre la masa isocapacitaria y la masa isoperimétrica en este entorno.

Contribuciones Clave y Resultados

• Teorema 1.1: El resultado principal establece que para una variedad riemanniana de dimensión 3, conexa, completa, lisa y $C^\tau$-asintóticamente plana ($\tau > 1/2$) con curvatura escalar no negativa y frontera mínima, la masa de Mazurowski–Yao coincide con la masa isoperimétrica ($m_{MY} = m_{iso}$).
• Comparación Asintótica: El artículo refina los argumentos de comparación asintótica para las masas de Hawking $p$, probando que la masa de Hawking $p$ converge a la masa de Hawking clásica cuando $p \to 1$ y que estas cantidades están controladas por la masa isoperimétrica bajo la planitud asintótica $C^0$.
• Corolario 3.9 (Variedades Schwarzschildianas): Para variedades que son asintóticamente Schwarzschildianas (donde la desviación de la métrica admite un término principal $2m/|x|$), el parámetro $m$ se identifica tanto con $m_{MY}$ como con $m_{iso}$.
• Corolario 3.10 (Desigualdad de Penrose): Combinando la identificación de las masas con la desigualdad de Penrose riemanniana, los autores derivan una desigualdad de Penrose riemanniana para variedades asintóticamente Schwarzschildianas: $\sqrt{|N|/16\pi} \leq m$, donde $N$ es un componente de la frontera mínima más externa. La igualdad se cumple si y solo si la variedad es isométrica a una variedad de Schwarzschild espacial.

Significado y Reivindicaciones
El artículo afirma proporcionar un marco unificado para diferentes nociones de masa en el entorno de dimensión 3 con decaimiento $\tau > 2/3$ (y $\tau > 1/2$ para la equivalencia específica probada). Al demostrar que $m_{MY} = m_{iso}$, responden afirmativamente a una pregunta sobre la equivalencia de la masa introducida por Burkhardt-Guim y la masa isoperimétrica en este régimen.

La importancia radica en cerrar la brecha entre las definiciones analíticas de masa (que dependen de las derivadas e integrales de la métrica) y las definiciones geométricas (que dependen del volumen y el área). Esta equivalencia valida el uso de la masa isoperimétrica como un sustituto robusto para las masas de tipo ADM incluso cuando la métrica es solo continua, siempre que la curvatura escalar sea no negativa en un sentido apropiado. Los resultados también extienden la validez de la desigualdad de Penrose riemanniana a una clase más amplia de variedades asintóticamente planas definidas por su desviación de la métrica de Schwarzschild.

Los autores señalan que, si bien la equivalencia se establece para métricas lisas, la extensión a métricas asintóticamente planas continuas sigue siendo una cuestión abierta, aunque el presente trabajo proporciona las herramientas necesarias (específicamente las asíntotas $W^{1,q}$ para el $p$-IMCF bajo planitud $C^0$) para abordarlo potencialmente en el futuro.