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

Resumo Técnico: Rigidez e Positividade da Energia de Hawking Quasi-Local em Superfícies Críticas com Restrição de Área

Enunciado do Problema
Um desafio central na relatividade geral clássica é a definição de uma energia quasi-local robusta, que atribua uma massa ou energia fisicamente significativa a uma região finita do espaço-tempo delimitada por uma 2-superfície fechada. Embora definições globais como as massas ADM e Bondi sejam bem estabelecidas no infinito, não existe um análogo quasi-local único que satisfaça critérios físicos fundamentais para superfícies arbitrárias. Especificamente, uma energia quasi-local viável deve satisfazer:

1. Positividade: A energia deve ser não negativa sob a condição de energia dominante.
2. Rigidez: A energia deve anular-se se, e somente se, a região contida for plana (isométrica a uma bola euclidiana).

A energia de Hawking (ou massa de Hawking), introduzida em 1968, é uma candidata proeminente definida via expansões nulas de uma superfície. No entanto, ela não é positiva em geral; por exemplo, no espaço euclidiano, esferas não arredondadas possuem massa de Hawking estritamente negativa. Resultados anteriores que estabeleceram positividade e rigidez foram amplamente restritos ao caso simétrico ao tempo ($k=0$) e a classes específicas de superfícies, como esferas de curvatura média constante (CMC) estáveis. Estender essas propriedades para o cenário totalmente dinâmico ($k \neq 0$) e identificar a classe apropriada de superfícies para avaliação tem permanecido um problema em aberto.

Metodologia
O artigo opera dentro do arcabouço de dados iniciais $(M, g, k)$, onde $M$ é uma variedade Riemanniana de 3 dimensões, $g$ é a métrica e $k$ é o tensor 2-simétrico representando a curvatura extrínseca. O autor analisa o funcional da energia de Hawking:
$$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 da superfície $\Sigma$, e $P = \text{tr}_\Sigma k$ é o traço de $k$ restrito a $\Sigma$.

A abordagem metodológica central envolve o estudo de superfícies críticas com restrição de área do funcional de Hawking associado $\mathcal{H}(\Sigma) = \frac{1}{4} \int_\Sigma (H^2 - P^2) d\mu$.

• Caso Simétrico ao Tempo ($k=0$): O funcional reduz-se ao funcional de Willmore. As superfícies críticas são superfícies de Willmore com restrição de área, caracterizadas pela equação de Euler-Lagrange envolvendo o Laplaciano de $H$, a segunda forma fundamental traço-nula e a curvatura de Ricci ambiente.
• Caso Dinâmico ($k \neq 0$): As superfícies críticas são denominadas superfícies de Hawking. Sua equação definidora inclui termos adicionais dependentes de $k$, seu traço e suas derivadas.

As provas baseiam-se em técnicas variacionais, integrando as equações de Euler-Lagrange contra $H^{-1}$, aplicando a equação de Gauss para relacionar curvaturas intrínsecas e extrínsecas, e utilizando o teorema de Gauss-Bonnet. Resultados de rigidez são estabelecidos combinando essas identidades integrais com os teoremas de rigidez da energia de Brown-York (Shi-Tam) e da energia de Kijowski-Liu-Yau, juntamente com o Teorema da Massa Positiva e resultados específicos de rigidez para formas de espaço (teoremas de Hang-Wang).

Principais Contribuições e Resultados

1. Cenário Simétrico ao Tempo ($k=0$)
O artigo estabelece não negatividade e rigidez para a energia de Hawking em superfícies de Willmore com restrição de área sob a condição de energia dominante (curvatura escalar não negativa).

• Teorema de Rigidez (Teorema 2.8): Se um domínio $\Omega$ possui um componente de fronteira $\Sigma$ que é uma superfície de Willmore com restrição de área com parâmetro de Lagrange não negativo $\lambda$, e a energia de Hawking se anula, então $\partial\Omega$ é conectada e isométrica a uma esfera redonda, e $\Omega$ é isométrica a uma bola euclidiana em $\mathbb{R}^3$.
• Positividade: Consequentemente, a energia de Hawking é não negativa nessas superfícies, com igualdade ocorrendo apenas no caso plano.
• Generalizações:
  • Caso Carregado: Positividade e rigidez são recuperadas sob a condição de energia dominante de Einstein-Maxwell ($Sc_M \geq 2|E|^2$).
  • Constante Cosmológica: Os resultados são estendidos para geometrias de referência hiperbólicas ($\Lambda < 0$) e esféricas ($\Lambda > 0$). Para $\Lambda > 0$, limites de Ricci ambiente mais fortes ($Ric_M \geq \frac{2}{3}\Lambda g$) são necessários para provar a rigidez, mostrando que o domínio é uma bola geodésica em uma esfera redonda.
  • Dimensões Superiores: O autor define análogos de maior dimensão para a energia de Hawking e prova correspondentes teoremas de positividade e rigidez para hipersuperfícies de Willmore em configurações euclidianas e esféricas.
• Resultados de Folição: O artigo confirma que as energias de Hawking e Brown-York da foliação de Willmore canônica em variedades assintoticamente planas são positivas, a menos que a variedade seja o espaço euclidiano.

2. Cenário Dinâmico ($k \neq 0$)
Esta seção apresenta os primeiros teoremas de não negatividade e rigidez para a energia de Hawking no cenário totalmente dinâmico.

• Superfícies de Hawking: O autor define "superfícies de Hawking" como os pontos críticos de área restrita do funcional de Hawking na presença de $k$.
• Condições Técnicas: Para provar a positividade e a rigidez, o artigo introduz condições integrais técnicas sobre uma função $f$ (e uma versão fortalecida $f_\beta$) envolvendo $k$, $P$ e suas derivadas. Especificamente, a condição $\int_\Sigma (f - \lambda) d\mu \leq 0$ é necessária.
• Teorema Principal (Teorema 3.6): Sob a condição de energia dominante e a restrição integral técnica, a energia de Hawking em uma superfície de Hawking é não negativa. Se a energia se anula, o domínio é isométrico a uma hipersuperfície espacial no espaço-tempo de Minkowski, a fronteira é uma esfera redonda, e $k=0$ na superfície.
• Sobre-positividade e Limitações: O artigo observa que as condições técnicas (especificamente envolvendo $\beta$) podem ser "demasiado restritivas", potencialmente forçando a energia de Hawking a ser estritamente positiva mesmo no espaço de Minkowski para certas superfícies (ex: hiperboloides e paraboloides). O autor sugere que isso indica que a condição pode estar enviesando a seleção das superfícies em vez de refletir uma propriedade intrínseca da energia, embora os resultados confirmem a não negatividade sob as hipóteses estabelecidas.

Significado e Alegações
O artigo alega abordar ambiguidades de longa data em relação à energia de Hawking, demonstrando sua consistência com princípios físicos básicos (positividade e rigidez) quando avaliada em suas superfícies críticas naturais.

• Avanço Dinâmico: O principal significado reside no estabelecimento dos primeiros teoremas de rigidez e não negatividade para a energia de Hawking no cenário totalmente dinâmico ($k \neq 0$), indo além da restrição simétrica ao tempo de trabalhos anteriores.
• Viabilidade Física: Os resultados confirmam que a energia de Hawking pode distinguir entre espaços planos e curvos quando avaliada em superfícies de Hawking, elevando seu status como uma medida de energia quasi-local viável.
• Ressalvas: O autor é modesto quanto à otimalidade das condições técnicas usadas no caso dinâmico. O artigo reconhece que condições como $\int_\Sigma f_\beta d\mu \leq 0$ são matematicamente motivadas para facilitar as provas (especificamente para garantir $k=0$ no limite de rigidez), mas podem não ser fisicamente naturais. O autor sugere que, embora os resultados atuais sejam significativos, um refinamento dessas condições é necessário para remover a potencial "sobre-positividade" e alcançar uma rigidez ótima.

Em resumo, o trabalho fornece um arcabouço matemático rigoroso validando a energia de Hawking em superfícies críticas com restrição de área, estendendo sua aplicabilidade de espaços-tempos estáticos para dinâmicos, enquanto identifica candidamente as restrições técnicas que atualmente limitam a precisão dos resultados dinâmicos.