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

Resumo Técnico: Foliações por Superfícies Críticas da Energia de Hawking em Conjuntos de Dados Iniciais Assintoticamente Planos

Enunciado do Problema
Um desafio central na relatividade geral clássica é definir uma "energia quase-local" fisicamente significativa para regiões delimitadas arbitrárias dentro de um conjunto de dados iniciais $(M, g, k)$. Embora a energia ADM caracterize com sucesso a energia total de um sistema isolado no infinito, não existe um funcional canônico que atribua energia a uma 2-superfície fechada $\Sigma$ satisfazendo cinco critérios físicos fundamentais: (1) não negatividade, (2) rigidez (anulando-se apenas para regiões planas), (3) monotonicidade sob expansão, (4) convergência para a energia ADM no limite da esfera grande, e (5) convergência para a densidade de energia local no limite da esfera pequena.

A energia de Hawking, definida para uma superfície $\Sigma$ como $E(\Sigma) = \sqrt{\frac{|\Sigma|}{16\pi}} \left( 1 - \frac{1}{16\pi} \int_\Sigma (H^2 - P^2) d\mu \right)$ (onde $H$ é a curvatura média e $P = \text{tr}_\Sigma k$), exibe o comportamento local correto, mas falha em ser não negativa em superfícies arbitrárias. Trabalhos anteriores estabeleceram que, em configurações simétricas no tempo ($k=0$), as superfícies de Willmore (superfícies críticas de área constante para o funcional de Hawking) formam uma foliação única no infinito com propriedades desejáveis. Este artigo estende esse arcabouço para o cenário dinâmico ($k \neq 0$), investigando se as superfícies de Hawking (superfícies críticas de área constante para o funcional completo de Hawking) podem formar uma foliação no infinito que restaure a positividade, rigidez e monotonicidade.

Metodologia
O autor emprega uma abordagem variacional dentro do arcabouço de conjuntos de dados iniciais assintoticamente Schwarzschild. A metodologia central envolve:

1. Arcabouço Variacional: O estudo foca em pontos críticos de área constante do funcional de Hawking $\mathcal{H}(\Sigma) = \int_\Sigma (H^2 - P^2) d\mu$. Essas superfícies satisfazem uma equação de Euler-Lagrange específica envolvendo a curvatura média, a segunda forma fundamental traçante, a curvatura de Ricci e termos derivados da segunda forma fundamental $k$ dos dados iniciais.
2. Redução de Lyapunov–Schmidt: Seguindo a estratégia de Eichmair e Koerber [13] para superfícies de Willmore, o autor constrói a foliação perturbando grandes esferas de coordenadas. O problema de dimensão infinita de encontrar superfícies críticas é reduzido a um problema de ponto crítico de dimensão finita para um funcional reduzido $G_r(\xi)$, onde $\xi$ representa o centro da esfera.
3. Análise Assintótica: O artigo analisa o comportamento assintótico do funcional reduzido $G_r(\xi)$ sob condições de decaimento específicas na curvatura escalar $Sc$ e no tensor $k$. O autor relaxa as suposições de decaimento "little-o" usadas em trabalhos estáticos anteriores para limites "big-O" com constantes pequenas, permitindo uma classe mais ampla de conjuntos de dados iniciais (incluindo aqueles com assíntotas harmônicas ou de York).
4. Estimativas Geométricas: A prova utiliza expansões detalhadas de quantidades geométricas (curvatura média, traço de $k$, etc.) em esferas perturbadas. As estimativas principais envolvem o controle do parâmetro de translação $\xi(r)$ para garantir que as superfícies formem uma foliação não interceptante e a análise do centro de coordenadas da família resultante.

Principais Contribuições e Resultados

• Existência e Unicidade de Foliações:
  O artigo prova a existência de uma foliação global por superfícies de Hawking estáveis e de área constante na extremidade assintótica de conjuntos de dados iniciais assintoticamente Schwarzschild de classe $C^4$. Sob condições de decaimento específicas na curvatura escalar (limites de derivada radial e condições de paridade) e no tensor $k$, existe uma família única de superfícies $\{\Sigma(\lambda)\}$ que folia o exterior de um conjunto compacto. Um teorema de unicidade também é estabelecido, mostrando que qualquer esfera crítica de área constante com área suficientemente grande e segunda forma fundamental traçante pequena deve pertencer a esta foliação.

• Suposições Relaxadas para Famílias Não-Foliadas:
  Sob suposições mais fracas (especificamente relaxando a condição de derivada radial na curvatura escalar), o autor constrói uma família "no-centro" de superfícies de Hawking. Embora essa família não seja garantida como uma foliação (as superfícies podem se interceptar), ela ainda satisfaz o limite de esfera grande e as propriedades de positividade.

• Propriedades Físicas da Energia de Hawking:

  • Limite de Esfera Grande: A energia de Hawking avaliada ao longo da foliação construída converge para a energia ADM $m$ conforme o raio de área tende ao infinito.
  • Positividade e Rigidez: Sob a condição de energia dominante, a energia de Hawking é não negativa nas folhas da foliação. Uma afirmação de rigidez é provada: se a energia de Hawking se anula em uma folha e a curvatura escalar é não negativa no exterior, os dados são isométricos a uma hipersuperfície espacial no espaço de Minkowski.
  • Monotonicidade: O artigo estabelece que a energia de Hawking é monotonicamente não decrescente ao longo da foliação, desde que uma restrição integral explícita envolvendo $k$ e suas derivadas seja satisfeita. Esta restrição é verificada como válida para conjuntos de dados iniciais com assíntotas harmônicas e assíntotas de York, duas classes significativas de soluções para as equações de restrição de Einstein.

• Análise do Centro de Coordenadas:
  O artigo investiga o centro de coordenadas da foliação. Demonstra-se que, diferentemente da foliação de Willmore simétrica no tempo, que coincide com o centro de massa hamiltoniano sob forte simetria, o centro da foliação de Hawking é sensível à distribuição assintótica tanto da curvatura escalar quanto da segunda forma fundamental $k$. O centro geralmente difere do centro de massa do espaço-tempo (STCMC) introduzido por Cederbaum e Sakovich, a menos que condições específicas de paridade e decaimento sejam atendidas.

Significância e Alegações
O artigo alega demonstrar a robustez das superfícies de Hawking como uma ferramenta para energia quase-local em espaços-tempos dinâmicos. Ao estender o arcabouço de foliação de Eichmair–Koerber para o cenário dinâmico ($k \neq 0$), o autor mostra que, sujeito a pressupostos técnicos (especificamente em relação ao decaimento e paridade de $Sc$e$k$), a energia de Hawking satisfaz os principais critérios físicos para uma energia quase-local:

1. Positividade e Rigidez são restauradas nas superfícies críticas.
2. O Limite de Esfera Grande recupera a energia ADM.
3. A Monotonicidade ocorre para uma ampla classe de dados fisicamente relevantes (assíntotas harmônicas e de York).

O trabalho destaca que, embora a energia de Hawking nessas superfícies se comporte bem, a propriedade de monotonicidade depende de uma condição de integrabilidade que não é automaticamente satisfeita por todas as superfícies críticas, mas que é satisfeita pelos modelos assintóticos específicos comumente usados em relatividade geral. O artigo conclui que estes resultados, combinados com os resultados existentes de limite de esfera pequena, posicionam as superfícies de Hawking como um candidato viável para definir energia quase-local em conjuntos de dados iniciais dinâmicos, desde que os dados satisfaçam os requisitos de decaimento assintótico e condições de simetria.