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

Resumo Técnico: Extensões de Dados de Bartnik e Estimativas para a Massa de Bartnik Fora da Simetria Temporal

1. O Problema

A massa de Bartnik é uma definição de massa quasi-local na Relatividade Geral, considerada por muitos como a medida física mais correta da energia contida em uma região limitada do espaço-tempo. Ela é definida como o ínfimo da massa ADM (Arnowitt-Deser-Misner) sobre todas as extensões admissíveis de um conjunto de dados iniciais que satisfazem as equações de Einstein e condições de energia específicas.

O problema central abordado neste trabalho é a dificuldade de calcular ou estimar a massa de Bartnik quando a condição de simetria temporal é relaxada.

• Contexto: A maioria dos resultados anteriores sobre a massa de Bartnik assume que o tensor de curvatura extrínseca $K$ é nulo ($K \equiv 0$), o que corresponde a dados iniciais estacionários ou de simetria temporal.
• Desafio: Quando $K \neq 0$ (caso não-simétrico temporalmente), a construção de extensões admissíveis torna-se significativamente mais complexa. É necessário satisfazer simultaneamente as equações de restrição (energia e momento), garantir a condição de energia dominante (DEC) e evitar a formação de horizontes aparentes generalizados (superfícies aprisionadas) que "escondam" a fronteira.
• Objetivo: Os autores buscam construir extensões de dados iniciais para dados de Bartnik gerais (incluindo $P = \text{tr}_\Sigma K \neq 0$) e obter limites superiores para a massa de Bartnik nesse contexto mais geral.

2. Metodologia

Os autores utilizam uma abordagem construtiva baseada em "colar" (collar) e colagem (gluing), generalizando técnicas desenvolvidas anteriormente por Mantoulidis, Schoen e outros para o caso simétrico temporalmente.

A. Dados de Bartnik e Condições de Fronteira
Os dados de Bartnik são definidos como uma tupla $(\Sigma, \gamma, H, P, \omega_\perp)$, onde:

• $\Sigma \cong S^2$ é a superfície de fronteira.
• $\gamma$ é a métrica induzida.
• $H$ é a curvatura média.
• $P = \text{tr}_\Sigma K$ é o traço do tensor de curvatura extrínseca.
• $\omega_\perp$ é uma 1-forma relacionada à componente normal de $K$.
• Restrição do trabalho: Os autores focam no caso onde $H$ e $P$ são constantes e $\omega_\perp \equiv 0$, mas com $P \neq 0$.

B. Construção do "Colar" (Collar Construction)

1. Deformação da Métrica: Eles constroem uma extensão inicial em um cilindro $M = [0, 1] \times S^2$ que deforma a métrica inicial $\gamma$ (que pode não ser redonda) para uma métrica esférica padrão (redonda) na outra extremidade do colar.
2. Modelagem Sfericamente Simétrica: A métrica e o tensor $K$ no colar são construídos baseados em gráficos esfericamente simétricos em um espaço-tempo de Schwarzschild. Isso permite controlar a estrutura das equações de restrição.
3. Preservação da DEC: O desafio principal é garantir que a Condição de Energia Dominante (DEC) seja estritamente satisfeita em todo o colar. Isso exige um controle cuidadoso tanto da curvatura escalar quanto das componentes do tensor $K$.
4. Parâmetros de Controle: Introduzem constantes $\alpha$ e $\beta$ que medem o quão "redonda" é a métrica inicial $\gamma$ (relacionadas à proximidade com a métrica esférica padrão).

C. Lemas de Colagem e Dobramento (Gluing and Bending)

• Lema de Colagem: Adaptam um lema para colar a extremidade do colar (onde a métrica já é esférica) a uma solução externa de Schwarzschild. O lema garante que a energia densidade ($\mu$) permaneça positiva durante a transição.
• Lema de Dobramento (Bending Lemma): Utilizado para aumentar ligeiramente a densidade de energia em uma região anular antes da colagem, garantindo que a condição de energia seja estritamente positiva e permitindo a suavização da métrica sem criar superfícies aprisionadas.

D. Abordagem Alternativa (Redução à Simetria Temporal)
Inspira-se no trabalho de Lin para construir uma deformação contínua dos dados de Bartnik não-simétricos para dados simétricos temporalmente (CMC - Curvatura Média Constante) através de um cilindro, permitindo usar estimativas existentes do caso simétrico.

3. Contribuições Principais

1. Generalização para $K \neq 0$: O trabalho fornece a primeira construção sistemática de extensões admissíveis para dados de Bartnik com $P \neq 0$ (não-simetria temporal) e $\omega_\perp = 0$, sem assumir que a superfície é uma MOTS (Superfície Marginalmente Aprisionada Externa).
2. Critérios de Existência (Teorema A): Estabelecem condições suficientes para que dados de Bartnik admitam uma extensão que satisfaça a DEC e não contenha superfícies fracamente aprisionadas. As condições dependem da curvatura escalar positiva de $\gamma$, das constantes $\alpha, \beta$ e de uma desigualdade envolvendo $H$ e $P$.
3. Novas Estimativas Superiores (Teoremas B e C):
   • Derivam limites superiores explícitos para a massa de Bartnik $m_B$ em termos da massa de Hawking $m_H$ e dos parâmetros geométricos da fronteira.
   • Teorema B: Fornece um limite direto baseado na construção do colar com uma função específica $x(r)$.
   • Teorema C: Utiliza a redução para dados simétricos temporalmente para obter um limite que envolve um fator multiplicativo sobre a massa de Hawking, demonstrando que a massa de Bartnik fora da simetria temporal pode ser controlada a partir de resultados conhecidos no caso simétrico.
4. Flexibilidade Asintótica: Mostram que as extensões construídas podem ser ajustadas para ter comportamentos asintóticos variados (plano ou hiperbólico) no exterior, embora o foco principal seja a massa de Schwarzschild.

4. Resultados Chave

• Teorema A (Corolário 4.17): Se a métrica $\gamma$ tem curvatura escalar estritamente positiva e satisfaz certas desigualdades envolvendo $H_o, P_o$ e as constantes de "redondeza" $\alpha, \beta$, então existe uma extensão admissível.
• Teorema B (Teorema 5.2): Para dados com $H_o, P_o$ constantes e $H_o \ge |P_o| > 0$, se $H_o^2 r_o^2 / 4 < \beta / (1+\alpha)$, então:
  $$m_B \le m_H + \text{termo de correção positivo}$$
  O termo de correção depende de $\alpha, \beta, H_o, P_o$ e tende a zero quando a métrica se aproxima de uma esfera perfeita ($\alpha \to 0, \beta \to 1$).
• Teorema C (Corolário 6.2): Sob condições similares (incluindo $R_\gamma > \frac{3}{2}H_o^2$), a massa de Bartnik é limitada por:
  $$m_B \le \left(1 + \sqrt{\frac{\alpha r_o^2 H_o^2}{4\beta - (1+\alpha)r_o^2 H_o^2}}\right) m_H$$
  Este resultado conecta diretamente a massa de Bartnik não-simétrica à massa de Hawking, generalizando resultados de Mantoulidis e Schoen.

5. Significado e Impacto

• Avanço Teórico: Este trabalho rompe a barreira da simetria temporal na teoria da massa de Bartnik. Até então, a maioria das estimativas rigorosas dependia de $K=0$. A capacidade de lidar com $P \neq 0$ é crucial para modelar situações físicas realistas onde o sistema possui momento ou fluxo de energia.
• Conexão com Desigualdades de Penrose: O trabalho reforça a conexão entre a massa de Bartnik e a desigualdade de Penrose. Ao lidar com MOTS (caso onde $H^2 - P^2 = 0$), os resultados sugerem que a massa de Bartnik pode ser igual à massa de Hawking, alinhando-se com conjecturas físicas importantes.
• Ferramentas Técnicas: Os lemas de colagem e dobramento adaptados para o caso não-simétrico fornecem ferramentas poderosas para futuras investigações em geometria Riemanniana e Relatividade Geral, especialmente na construção de dados iniciais com propriedades específicas de energia.
• Limitações e Futuro: Os autores notam que a restrição $\omega_\perp \equiv 0$ ainda é uma limitação significativa (relacionada ao momento angular tangencial na fronteira), mas indicam que o tratamento desse caso é possível, embora computacionalmente mais complexo, e é alvo de trabalhos futuros.

Em suma, o artigo estabelece um marco fundamental ao demonstrar que a massa de Bartnik pode ser estimada e controlada em regimes dinâmicos (não-simétricos), fornecendo limites superiores explícitos que dependem da geometria intrínseca e extrínseca da fronteira.