Rigidity and positivity of Hawking quasi-local energy on area-constrained critical surfaces

Resumen Técnico: Rigidez y Positividad de la Energía de Hawking en Superficies Críticas con Restricción de Área

Planteamiento del Problema
Un desafío central en la relatividad general clásica es la definición de una energía cuasilocal robusta, que asigne una masa o energía físicamente significativa a una región finita del espacio-tiempo delimitada por una 2-superficie cerrada. Si bien las definiciones globales como las masas ADM y Bondi están bien establecidas en el infinito, no existe un análogo cuasilocal único que satisfaga criterios físicos fundamentales para superficies arbitrarias. Específicamente, una energía cuasilocal viable debe satisfacer:

1. Positividad: La energía debe ser no negativa bajo la condición de energía dominante.
2. Rigidez: La energía debe anularse si y solo si la región encerrada es plana (isométrica a una bola euclidiana).

La energía de Hawking (o masa de Hawking), introducida en 1968, es un candidato prominente definido a través de las expansiones nulas de una superficie. Sin embargo, no es positiva en general; por ejemplo, en el espacio euclidiano, las esferas no redondeadas poseen una masa de Hawking estrictamente negativa. Los resultados previos que establecen la positividad y la rigidez se limitaron mayoritariamente al caso simétrico en el tiempo ($k=0$) y a clases específicas de superficies, tales como esferas de curvatura media constante (CMC) estables. La extensión de estas propiedades al entorno plenamente dinámico ($k \neq 0$) e identificar la clase apropiada de superficies para su evaluación ha permanecido como un problema abierto.

Metodología
El artículo opera dentro del marco de los conjuntos de datos iniciales $(M, g, k)$, donde $M$ es una variedad riemanniana de 3 dimensiones, $g$ es la métrica y $k$ es el tensor 2-simétrico que representa la curvatura extrínseca. El autor analiza el funcional de la energía de Hawking:
$$E(\Sigma) = \sqrt{\frac{|\Sigma|}{16\pi}} \left( 1 - \frac{1}{16\pi} \int_\Sigma (H^2 - P^2) d\mu \right)$$
donde $H$ es la curvatura media de la superficie $\Sigma$, y $P = \text{tr}_\Sigma k$ es la traza de $k$ restringida a $\Sigma$.

El enfoque metodológico central consiste en estudiar las superficies críticas con restricción de área del funcional de Hawking asociado $\mathcal{H}(\Sigma) = \frac{1}{4} \int_\Sigma (H^2 - P^2) d\mu$.

• Caso Simétrico en el Tiempo ($k=0$): El funcional se reduce al funcional de Willmore. Las superficies críticas son superficies de Willmore con restricción de área, caracterizadas por la ecuación de Euler-Lagrange que involucra el Laplaciano de $H$, la segunda forma fundamental sin traza y la curvatura de Ricci ambiente.
• Caso Dinámico ($k \neq 0$): Las superficies críticas son denominadas superficies de Hawking. Su ecuación definitoria incluye términos adicionales dependientes de $k$, su traza y sus derivadas.

Las demostraciones se basan en técnicas variacionales, integrando las ecuaciones de Euler-Lagrange contra $H^{-1}$, aplicando la ecuación de Gauss para relacionar las curvaturas intrínsecas y extrínsecas, y utilizando el teorema de Gauss-Bonnet. Los resultados de rigidez se establecen combinando estas identidades integrales con los teoremas de rigidez para la energía de Brown-York (Shi-Tam) y la energía de Kijowski-Liu-Yau, junto con el Teorema de la Masa Positiva y resultados de rigidez específicos para formas de espacio (teoremas de Hang-Wang).

Contribuciones Clave y Resultados

1. Entorno Simétrico en el Tiempo ($k=0$)
El artículo establece la no negatividad y la rigidez para la energía de Hawking en superficies de Willmore con restricción de área bajo la condición de energía dominante (curvatura escalar no negativa).

• Teorema de Rigidez (Teorema 2.8): Si un dominio $\Omega$ tiene un componente de frontera $\Sigma$ que es una superficie de Willmore con restricción de área con parámetro de Lagrange $\lambda$ no negativo, y la energía de Hawking se anula, entonces $\partial\Omega$ es conexa e isométrica a una esfera redonda, y $\Omega$ es isométrica a una bola euclidiana en $\mathbb{R}^3$.
• Positividad: Consecuentemente, la energía de Hawking es no negativa en tales superficies, con igualdad solo en el caso plano.
• Generalizaciones:
  • Caso Cargado: La positividad y la rigidez se recuperan bajo la condición de energía dominante de Einstein-Maxwell ($Sc_M \geq 2|E|^2$).
  • Constante Cosmológica: Los resultados se extienden a geometrías de referencia hiperbólicas ($\Lambda < 0$) y esféricas ($\Lambda > 0$). Para $\Lambda > 0$, se requieren límites de Ricci ambiente más fuertes ($Ric_M \geq \frac{2}{3}\Lambda g$) para probar la rigidez, mostrando que el dominio es una bola geodésica en una esfera redonda.
  • Dimensiones Superiores: El autor define análogos de mayor dimensión de la energía de Hawking y prueba los correspondientes teoremas de positividad y rigidez para hipersuperficies de Willmore en entornos euclidianos y esféricos.
• Resultados de Foliación: El artículo confirma que las energías de Hawking y de Brown-York de la foliación de Willmore canónica en variedades asintóticamente planas son positivas, a menos que la variedad sea el espacio euclidiano.

2. Entorno Dinámico ($k \neq 0$)
Esta sección presenta los primeros teoremas de no negatividad y rigidez para la energía de Hawking en el entorno plenamente dinámico.

• Superficies de Hawking: El autor define las "superficies de Hawking" como los puntos críticos con restricción de área del funcional de Hawking en presencia de $k$.
• Condiciones Técnicas: Para probar la positividad y la rigidez, el artículo introduce condiciones integrales técnicas sobre una función $f$ (y una versión fortalecida $f_\beta$) que involucran a $k$, $P$ y sus derivadas. Específicamente, se requiere la condición $\int_\Sigma (f - \lambda) d\mu \leq 0$.
• Teorema Principal (Teorema 3.6): Bajo la condición de energía dominante y la restricción integral técnica, la energía de Hawking en una superficie de Hawking es no negativa. Si la energía se anula, el dominio es isométrico a una hipersuperficie espaciotemporal en el espacio de Minkowski, la frontera es una esfera redonda, y $k=0$ en la superficie.
• Sobre-positividad y Limitaciones: El artículo señala que las condiciones técnicas (específicamente aquellas que involucran $\beta$) pueden ser "demasiado restrictivas", potencialmente forzando a la energía de Hawking a ser estrictamente positiva incluso en el espacio de Minkowski para ciertas superficies (por ejemplo, hiperboloides y paraboloides). El autor sugiere que esto indica que la condición podría sesgar la selección de superficies en lugar de reflejar una propiedad intrínseca de la energía, aunque los resultados confirman la no negatividad bajo las hipótesis establecidas.

Significado y Reivindicaciones
El artículo afirma abordar las ambigüedades de larga data respecto a la energía de Hawking demostrando su consistencia con los principios físicos básicos (positividad y rigidez) cuando se evalúa en sus superficies críticas naturales.

• Avance Dinámico: La principal significación radica en establecer los primeros teoremas de rigidez y no negatividad para la energía de Hawking en el entorno plenamente dinámico ($k \neq 0$), yendo más allá de la restricción simétrica en el tiempo de trabajos anteriores.
• Viabilidad Física: Los resultados confirman que la energía de Hawking puede distinguir entre espacios planos y curvos cuando se evalúa en superficies de Hawking, elevando su estatus como una medida de energía cuasilocal viable.
• Advertencias: El autor es modesto respecto a la optimalidad de las condiciones técnicas utilizadas en el caso dinámico. El artículo reconoce que condiciones como $\int_\Sigma f_\beta d\mu \leq 0$ están motivadas matemáticamente para facilitar las demostraciones (específicamente para asegurar que $k=0$ en el límite de rigidez) pero pueden no ser físicamente naturales. El autor sugiere que, si bien los resultados actuales son significativos, es necesaria una mayor refinación de estas condiciones para eliminar la posible "sobre-positividad" y lograr una rigidez óptima.

En resumen, el trabajo proporciona un marco matemático riguroso que valida la energía de Hawking en superficies críticas con restricción de área, extendiendo su aplicabilidad desde espacios de tiempo estáticos hasta dinámicos, al tiempo que identifica honestamente las limitaciones técnicas que actualmente restringen la agudeza de los resultados dinámicos.