$C^0$-inextendibility of a class of warped-product black hole spacetimes

Resumo Técnico: Inextensibilidade $C^0$ de uma Classe de Espaços-Tempos de Buraco Negro de Produto em Torção

Enunciado do Problema
O artigo aborda a questão da inextensibilidade de espaços-tempos em baixa regularidade ($C^0$) para uma ampla classe de espaços-tempos de buracos negros. Embora a inextensibilidade $C^0$ da extensão analítica máxima do espaço-tempo de Schwarzschild tenha sido estabelecida por Sbierski [Sbi18a, Sbi18b], este resultado depende fortemente da simetria esférica. O problema central é determinar se o mecanismo subjacente a esta inextensibilidade — especificamente a obstrução à extensões contínuas através de singularidades de curvatura e da região exterior — mantém-se para espaços-tempos de produto em torção (warped-product) que carecem de simetria esférica total e podem incluir campos de matéria não-vácuo. Esta investigação é motivada pela conjectura do Censura Cósmica Forte, que postula que soluções genéricas das equações de Einstein não devem admitir extensões além de seus limites singulares como soluções fracas.

Metodologia
O autor adapta a estratégia de prova desenvolvida por Sbierski para o caso de Schwarzschild para um cenário generalizado de produto em torção. A metodologia envolve três componentes primários:

1. Configuração Geométrica: O artigo considera espaços-tempos globalmente hiperbólicos de $(d+1)$ dimensões ($d \ge 3$) com uma região exterior estática, descritos pela métrica:
   $$g = -e^{-2\psi(r)}\left(1 - \frac{2m(r)}{r}\right)dt^2 + \left(1 - \frac{2m(r)}{r}\right)^{-1}dr^2 + r^2h$$
   onde $h$ é uma métrica Riemanniana em uma fibra de codimensão dois $F$. As funções $m(r)$ e $\psi(r)$ generalizam as funções de massa e de desvio para o vermelho (redshift) de Schwarzschild. Assume-se que a fibra $F$ é fechada, conexa, homogênea e orientável.

2. Ferramentas Técnicas e Lema:

   • Gráficos Minkowskianos: A prova utiliza a existência de gráficos locais próximos a um ponto de fronteira futura onde a métrica é próxima de Minkowski e a fronteira é um gráfico Lipschitz (Proposição 1).
   • Conectividade Um-Um Futura: Um passo crucial envolve provar que a região interior suficientemente próxima da singularidade ($r \to 0$) é "futuramente um-conexa" (Proposição 4). Esta propriedade, dependente do fato de a fibra possuir um raio de injetividade positivo, permite a construção de homotopias temporais entre curvas.
   • Adaptação de Simetria: Em vez de depender da simetria esférica da esfera $S^2$ de Schwarzschild, a prova aproveita a homogeneidade da fibra $F$. O Lema 4 estabelece que, para uma variedade homogênea, pontos próximos podem ser mapeados uns aos outros via isometrias que são uniformemente próximas da identidade. Isso substitui o controle de coordenadas explícito disponível no caso de simetria esférica.
   • Dicotomia de Geodésicas Temporais: O artigo prova que, para estes espaços-tempos, qualquer geodésica temporal direcionada para o futuro e inextensível no futuro é ou futura completa ou aproxima-se da singularidade central ($r \to 0$). Isto é alcançado estabelecendo uma quantidade conservada associada à métrica da fibra (Lema 11) e analisando as equações geodésicas tanto nas regiões exterior quanto interior (Proposições 5 e 6).

3. Prova por Contradição: O argumento principal assume a existência de uma extensão $C^0$. Isso implica a existência de uma geodésica temporal, direcionada para o futuro e inextensível no futuro, terminando na fronteira da extensão. A prova demonstra então que tal geodésica não pode existir:

   • Se ela permanecer no exterior, deve ser completa (Teorema 3), o que contradiz a existência de uma fronteira (Teorema 1).
   • Se ela entrar no interior e aproximar-se de $r=0$, a geometria da singularidade (especificamente a divergência do escalar de Kretschmann e o comportamento das superfícies de Cauchy) leva a uma contradição em relação à limitação de distâncias em superfícies de Cauchy (Teorema 2).

Principais Contribuições e Resultados

• Teorema 2 (Não existência de extensão $C^0$ através da singularidade central): Para espaços-tempos onde a fibra é fechada, conexa, homogênea e orientável, e onde $m(r) \to m_0 > 0$ quando $r \to 0$, não existe uma extensão $C^0$ através da singularidade de curvatura central. A prova baseia-se no efeito de "espaguetificação" (divergência de distâncias em superfícies de Cauchy próximo a $r=0$) e na homogeneidade da fibra para construir uma barreira separadora.
• Teorema 3 (Dicotomia de Geodésicas Temporais): Sob condições adequadas sobre $m(r)$ e $\psi(r)$ (incluindo limites em suas derivadas), qualquer geodésica temporal direcionada para o futuro e inextensível no futuro na região exterior é ou futura completa ou intersecta o horizonte do buraco negro. Se ela entrar no interior, é futura incompleta se, e somente se, $r \to 0$. Isto generaliza o resultado de O'Neill para Schwarzschild para produtos em torção sem simetria esférica.
• Teorema 4 (Principal Resultado de Inextensibilidade $C^0$): Combinando os Teoremas 2 e 3 com a obstrução fornecida pela completude de geodésicas temporais (Teorema 1), o artigo estabelece que a classe de espaços-tempos de buracos negros de produto em torção descrita é futura $C^0$-inextensível.
• Extensão para Múltiplos Horizontes: Mostra-se que os resultados se mantêm mesmo se o espaço-tempo possuir mais de um horizonte de buraco negro regular (Apêndice A1).

Exemplos e Aplicabilidade
O artigo fornece exemplos específicos para demonstrar o alcance dos resultados:

1. Buracos Negros Esféricos Não-Vácuo: Um modelo com um $m(r)$ específico que satisfaz a condição de energia dominante, mostrando que modelos não-vácuo estão incluídos.
2. Buracos Negros Não-Esféricos: Um modelo com uma fibra $F = S^p \times S^q$, demonstrando que os resultados se aplicam a geometrias além da simetria esférica, desde que a fibra seja homogênea.
3. Buracos Negros de Birmingham (AdS): O artigo nota que, embora o Teorema 2 se aplique aos buracos negros de Birmingham no espaço Anti-de Sitter (provando a inextensibilidade através da singularidade), o Teorema 3 (e, portanto, o Teorema 4 completo) não se aplica porque os coeficientes métricos específicos falham nos limites de derivada exigidos para a dicotomia de geodésicas no exterior.

Significância e Alegações
O artigo afirma isolar o mecanismo subjacente à inextensibilidade $C^0$ do espaço-tempo de Schwarzschild e demonstrar sua robustez sob suposições de simetria mais fracas. Ao substituir a simetria esférica pela homogeneidade da fibra, o autor estende a classe de modelos de buracos negros para os quais a conjectura da Censura Cósmica Forte (em sua formulação $C^0$) pode ser verificada. O trabalho destaca que a obstrução à extensão contínua não é um artefato da simetria esférica, mas uma característica mais geral de buracos negros de produto em torção com singularidades de curvatura e propriedades geométricas específicas das secções transversais do horizonte. Os resultados contribuem para a compreensão das singularidades do espaço-tempo e a validade do determinismo na relatividade geral em baixa regularidade.