Extensions of spacetime Bartnik data and estimates for the Bartnik mass outside of time-symmetry

Resumen Técnico: Extensiones de Datos de Bartnik y Estimaciones de Masa

1. Planteamiento del Problema

La masa de Bartnik es una definición de masa cuasi-local en relatividad general, considerada como la candidata más robusta para medir la energía contenida en una región finita del espacio-tiempo. Se define como el ínfimo de la masa ADM (Arnowitt-Deser-Misner) sobre todas las extensiones admisibles de un conjunto de datos de frontera dados.

El problema central abordado en este trabajo es la falta de estimaciones superiores para la masa de Bartnik en configuraciones que no son simétricas temporalmente.

• Datos de Bartnik: Una tupla $(\Sigma, \gamma, H, P, \omega_\perp)$, donde $\Sigma \cong S^2$, $\gamma$ es la métrica inducida, $H$ es la curvatura media, $P = \text{tr}_\Sigma K$ es la traza del tensor de curvatura extrínseca, y $\omega_\perp$ es una 1-forma relacionada con la componente normal de $K$.
• Limitación actual: La gran mayoría de los resultados existentes (como los de Mantoulidis y Schoen) asumen simetría temporal ($K \equiv 0$, lo que implica $P=0$ y $\omega_\perp=0$).
• Objetivo: Construir extensiones admisibles de datos de Bartnik donde $P \neq 0$ (no simetría temporal) y obtener cotas superiores para la masa de Bartnik, relajando la condición de simetría temporal.

2. Metodología

Los autores desarrollan una metodología basada en la construcción de datos iniciales de "cuello" (collar) y su posterior unión (gluing) con soluciones modelo esféricamente simétricas.

A. Construcción de Datos en un Cilindro (El "Collar"):

• Se construyen datos iniciales $(M, g, K)$ sobre un cilindro $M = [0, 1] \times S^2$.
• Se utiliza un ansatz de datos casi esféricamente simétricos, modelados sobre gráficos en el espacio-tiempo de Schwarzschild. La métrica y el tensor $K$ se definen mediante funciones que dependen de un parámetro radial y una función de perfil $x(r)$.
• Condición de Energía Dominante (DEC): El desafío principal es asegurar que la extensión satisfaga la condición de energía dominante ($\mu \ge |J|$) no solo en la curvatura escalar, sino en todo el tensor de energía-momento, manejando simultáneamente la métrica $g$ y el tensor $K$.
• Deformación de la Métrica: Se construye un camino de métricas $\gamma(s)$ que conecta la métrica de frontera $\gamma_o$ con una métrica redonda (esférica), preservando la positividad de la curvatura escalar.

B. Lemas de Unión y Doblado (Gluing and Bending):

• Lema de Unión (Gluing Lemma): Adaptación de resultados previos para unir dos conjuntos de datos iniciales esféricamente simétricos a lo largo de una región anular, preservando la DEC.
• Lema de Doblado (Bending Lemma): Técnica para modificar la densidad de energía en una región pequeña para asegurar que sea estrictamente positiva, facilitando la unión sin crear horizontes aparentes no deseados.

C. Estrategias de Construcción:
El artículo presenta dos enfoques principales:

1. Construcción Directa (Sección 4): Se construye una extensión no simétrica temporalmente que se une directamente a una gráfica esférica en un espacio-tiempo de Schwarzschild. Se imponen condiciones específicas sobre los datos de frontera ($H_o, P_o$) y la función $x(r)$ para garantizar la existencia de la extensión.
2. Reducción al Caso Simétrico (Sección 6): Inspirados en el trabajo de Lin, se demuestra que es posible deformar los datos de Bartnik no simétricos a datos de curvatura media constante (CMC) que son simétricos temporalmente (o cercanos a ello) a través de un collar. Esto permite utilizar estimaciones existentes del caso simétrico para acotar la masa en el caso no simétrico.

3. Contribuciones Clave y Resultados Principales

Teorema A (Existencia de Extensiones):
Se establecen criterios suficientes para que un conjunto de datos de Bartnik $(\Sigma, \gamma, H_o, P_o, 0)$ con $H_o, P_o$ constantes admita una extensión que satisface la DEC y no contiene superficies atrapadas débiles.

• La condición clave es una desigualdad que relaciona la curvatura media espaciotemporal $H_o^2 = H_o^2 - P_o^2$ con el radio de área $r_o$ y constantes geométricas $\alpha, \beta$ que miden la "redondez" de la métrica $\gamma$.
• Si $H_o^2 < \frac{4}{r_o^2} \frac{\beta}{\alpha}$, existe una extensión válida.

Teorema B (Estimación Superior Directa):
Se obtiene una cota superior explícita para la masa de Bartnik $m_B$ en términos de la masa de Hawking $m_H$ y los datos de frontera:
$$m_B(\Sigma, \gamma, H_o, P_o, 0) \le m_H(\Sigma, \gamma, H_o, P_o, 0) + \text{término de corrección}$$
El término de corrección depende de $\alpha, \beta, r_o, H_o, P_o$. Esta cota se deriva de la construcción directa de la extensión en el espacio-tiempo de Schwarzschild.

Teorema C (Reducción al Caso Simétrico):
Se demuestra que bajo ciertas condiciones (específicamente $R_\gamma > \frac{3}{2}H_o^2$), la masa de Bartnik de datos no simétricos puede acotarse utilizando las estimaciones conocidas para datos simétricos.
$$m_B(\Sigma, \gamma, H_o, P_o, 0) \le \left( 1 + \sqrt{\dots} \right) m_H(\Sigma, \gamma, H_o, P_o, 0)$$
Este resultado conecta la masa no simétrica con la masa de Hawking de manera análoga a los resultados de Mantoulidis y Schoen para superficies mínimas estables, pero extendido a superficies atrapadas marginalmente (MOTS).

Restricciones y Suposiciones:

• Se asume $\omega_\perp \equiv 0$ (la 1-forma tangencial es cero). Los autores notan que esto es una restricción genuina que esperan relajar en trabajos futuros, aunque mencionan que para superficies MOTS estables el caso $\omega_\perp \neq 0$ ya ha sido tratado por Lin.
• Se asume que $H_o$ y $P_o$ son constantes.
• La métrica $\gamma$ tiene curvatura escalar estrictamente positiva.

4. Significado e Impacto

Este trabajo representa un avance significativo en la teoría de la masa cuasi-local en relatividad general por las siguientes razones:

1. Ruptura de la Simetría Temporal: Es uno de los primeros trabajos que proporciona estimaciones rigurosas para la masa de Bartnik fuera del régimen de simetría temporal ($K \not\equiv 0$), un régimen físicamente más realista para sistemas dinámicos o con momento angular.
2. Generalización de Resultados Previos: Extiende el trabajo seminal de Mantoulidis y Schoen (2014) sobre la masa de Bartnik para superficies mínimas estables al caso de superficies atrapadas marginalmente (MOTS) y datos generales.
3. Herramientas Técnicas: La construcción de collares que preservan la DEC en presencia de un tensor $K$ no nulo es un aporte técnico importante. Demuestra que es posible controlar la energía y el momento simultáneamente al unir datos internos con soluciones de Schwarzschild.
4. Conexión con Desigualdades de Penrose: Los resultados sugieren vínculos profundos con la desigualdad de Penrose. En el caso de MOTS estables, los autores citan que sus métodos podrían llevar a demostrar que la masa de Bartnik es igual a la masa de Hawking (bajo la hipótesis de la desigualdad de Penrose), generalizando el resultado óptimo conocido en el caso simétrico.

En conclusión, el artículo proporciona un marco robusto para estimar la masa de sistemas gravitacionales localizados que no están en equilibrio estático, abriendo la puerta a futuras investigaciones sobre la masa de Bartnik en configuraciones dinámicas y con rotación.