Foliations by critical surfaces of the Hawking energy in asymptotically flat initial data sets

Resumen Técnico: Foliaciones por Superficies Críticas de la Energía de Hawking en Conjuntos de Datos Iniciales Asintóticamente Planos

Planteamiento del Problema
Un desafío central en la relatividad general clásica es definir una "energía cuasi-local" físicamente significativa para regiones arbitrarias acotadas dentro de un conjunto de datos iniciales $(M, g, k)$. Si bien la energía ADM caracteriza con éxito la energía total de un sistema aislado en el infinito, no existe un funcional canónico que asigne energía a una superficie 2-cerrada arbitraria $\Sigma$ satisfaciendo cinco criterios físicos clave: (1) no negatividad, (2) rigidez (desvanecimiento solo para regiones planas), (3) monotonicidad bajo expansión, (4) convergencia a la energía ADM en el límite de la esfera grande, y (5) convergencia a la densidad de energía local en el límite de la esfera pequeña.

La energía de Hawking, definida para una superficie $\Sigma$ como $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 y $P = \text{tr}_\Sigma k$), exhibe un comportamiento local correcto, pero falla en ser no negativa en superficies arbitrarias. Trabajos previos establecieron que en entornos de simetría temporal ($k=0$), las superficies críticas con restricción de área (superficies de Willmore) forman una foliación única en el infinito con propiedades deseables. Este artículo extiende ese marco al entorno dinámico ($k \neq 0$), investigando si las superficies críticas de área restringida del pleno funcional de Hawking (denominadas "superficies de Hawking") pueden formar una foliación en el infinito que restaure la positividad, la rigidez y la monotonicidad.

Metodología
El autor emplea un enfoque variacional dentro del marco de conjuntos de datos iniciales asintóticamente Schwarzschild. La metodología central consiste en:

1. Marco Variacional: El estudio se centra en los puntos críticos con restricción de área del funcional de Hawking $\mathcal{H}(\Sigma) = \int_\Sigma (H^2 - P^2) d\mu$. Estas superficies satisfacen una ecuación de Euler-Lagrange específica que involucra la curvatura media, la segunda forma fundamental traza nula, la curvatura de Ricci y términos derivados de la segunda forma fundamental $k$ de los datos iniciales.
2. Reducción de Lyapunov–Schmidt: Siguiendo la estrategia de Eichmair y Koerber [13] para las superficies de Willmore, el autor construye la foliación mediante la perturbación de grandes esferas de coordenadas. El problema de dimensión infin 되어 de encontrar superficies críticas se reduce a un problema de punto crítico de dimensión finita para un funcional reducido $G_r(\xi)$, donde $\xi$ representa el centro de la esfera.
3. Análisis Asintótico: El artículo analiza el comportamiento asintótico del funcional reducido $G_r(\xi)$ bajo condiciones de decaimiento específicas sobre la curvatura escalar $Sc$ y el tensor $k$. El autor relaja los supuestos de decaimiento "little-o" utilizados en trabajos estáticos previos hacia cotas "big-O" con constantes pequeñas, permitiendo una clase más amplia de conjuntos de datos iniciales (incluyendo aquellos con asíntotas armónicas o de York).
4. Estimaciones Geométricas: La demostración utiliza expansiones detalladas de cantidades geométricas (curvatura media, traza de $k$, etc.) sobre esferas perturbadas. Las estimaciones clave implican el control del parámetro de traslación $\xi(r)$ para asegurar que las superficies formen una foliación sin intersecciones y el análisis del centro de coordenadas de la familia resultante.

Contribuciones Clave y Resultados

• Existencia y Unicidad de Foliaciones:
  El artículo demuestra la existencia de una foliación global por superficies de Hawking estables y con restricción de área en el extremo asintótico de conjuntos de datos iniciales $C^4$-asintóticamente Schwarzschild. Bajo condiciones de decaimiento específicas sobre la curvatura escalar (límites de la derivada radial y condiciones de paridad) y el tensor $k$, existe una familia única de superficies $\{\Sigma(\lambda)\}$ que folia el exterior de un conjunto compacto. También se establece un teorema de unicidad, mostrando que cualquier esfera crítica con restricción de área, con área suficientemente grande y segunda forma fundamental traza nula lo suficientemente pequeña, debe pertenecer a esta foliación.

• Supuestos Relajados para Familias No Foliadas:
  Bajo supuestos más débiles (específicamente, relajando la condición de la derivada radial de la curvatura escalar), el autor construye una familia "en el centro" (on-center) de superficies de Hawking. Aunque esta familia no está garantizada para ser una foliación (las superficies pueden interceptarse), sigue satisfaciendo el límite de la esfera grande y las propiedades de positividad.

• Propiedades Físicas de la Energía de Hawking:

  • Límite de la Esfera Grande: La energía de Hawking evaluada a lo largo de la foliación construida converge a la energía ADM $m$ cuando el radio de área tiende al infinito.
  • Positividad y Rigidez: Bajo la condición de energía dominante, la energía de Hawking es no negativa en las hojas de la foliación. Se demuestra un enunciado de rigidez: si la energía de Hawking se anula en una hoja y la curvatura escalar es no negativa en el exterior, el conjunto de datos es isométrico a una hipersuperficie espaciotiempo en el espacio de Minkowski.
  • Monotonicidad: El artículo establece que la energía de Hawking es monótonamente no decreciente a lo largo de la foliación, siempre que se satisfaga una restricción integral explícita que involucra a $k$ y sus derivadas. Esta restricción se verifica como válida para conjuntos de datos iniciales con asíntotas armónicas y asíntotas de York, dos clases significativas de soluciones a las ecuaciones de restricción de Einstein.

• Análisis del Centro de Coordenadas:
  El artículo investiga el centro de coordenadas de la foliación. Demuestra que, a diferencia de la foliación de Willmore en el caso de simetría temporal que coincide con el centro de masa hamiltoniano bajo simetría fuerte, el centro de la foliación de Hawking es sensible a la distribución asintótica tanto de la curvatura escalar como de la segunda forma fundamental $k$. El centro generalmente difiere del centro de masa del espaciotiempo (STCMC) introducido por Cederbaum y Sakovich, a menos que se cumplan condiciones específicas de paridad y decaimiento.

Significancia y Reivindicaciones
El artículo afirma demostrar la robustez de las superficies de Hawking como herramienta para la energía cuasi-local en espaciotiempos dinámicos. Al extender el marco de foliación de Eichmair–Koerber al entorno dinámico ($k \neq 0$), el autor muestra que, sujeto a supuestos técnicos (específicamente respecto al decaimiento y la paridad de $Sc$y$k$), la energía de Hawking satisface los principales criterios físicos de una energía cuasi-local:

1. La Positividad y la Rigidez se restauran en las superficies críticas.
2. El Límite de la Esfera Grande recupera la energía ADM.
3. La Monotonicidad se cumple para una amplia clase de datos físicamente relevantes (asíntotas armónicas y de York).

Este trabajo destaca que, si bien la energía de Hawking en estas superficies se comporta bien, la propiedad de monotonicidad depende de una condición de integrabilidad que no se satisface automáticamente por todas las superficies críticas, pero que sí se cumple para los modelos asintóticos específicos comúnmente utilizados en relatividad general. El artículo concluye que estos resultados, combinados con los resultados existentes del límite de la esfera pequeña, posicionan a las superficies de Hawking como un candidato viable para definir la energía cuasi-local en conjuntos de datos iniciales dinámicos, siempre que los datos satisfagan las condiciones de decaimiento asintótico y simetría requeridas.