Warped Spacelike Singularities and the $C^0$-Inextendibility of Birmingham-Kottler Spacetimes

Resumo Técnico: Singularidades Espaçotemporais de Tipo Espacial Deformadas e a $C^0$-Inextensibilidade dos Espaços-Tempos de Birmingham-Kottler

Enunciado do Problema
O artigo aborda o problema da $C^0$-inextensibilidade para espaços-tempos que contêm singularidades. Um espaço-tempo é $C^0$-inextensível se não puder ser incorporado como um subconjunto aberto próprio de um espaço-tempo maior equipado com uma métrica lorentziana contínua. Neste nível de regularidade, invariantes de curvatura (que tipicamente divergem em singularidades) não estão disponíveis como obstruções, pois sua divergência não impede a existência de uma extensão contínua. O foco específico é a família de espaços-tempos Birmingham-Kottler (BK) — produtos variados que representam buracos negros com uma constante cosmológica negativa ou nula ($\Lambda \le 0$) e uma fibra fechada $\Sigma$. O objetivo é provar que o espaço-tempo BK canônico de um único horizonte é $C^0$-inextensível, mesmo quando a fibra $\Sigma$ carece de simetria (homogeneidade, orientabilidade ou conexidade simples).

Metodologia
A prova é estruturada em duas fases distintas: uma obstrução local na singularidade e uma análise global do espaço-tempo BK específico.

1. Obstrução Local (Singularidades Espaciais Deformadas):
   O autor estabelece um critério para a não existência de uma extensão contínua em uma singularidade espacial deformada da forma $M_R = (0, R) \times \mathbb{R} \times \Sigma$ com métrica $g = -a(r)^2 dr^2 + b(r)^2 dt^2 + c(r)^2 \gamma_\Sigma$.

   • Condições de Integrabilidade: A prova requer a integrabilidade dos "orçamentos causais" $A(r) = \int_0^r \frac{a}{b} ds$ e $B(r) = \int_0^r \frac{a}{c} ds$. Isso garante que as coordenadas de tempo e da fibra converjam conforme $r \to 0$.
   • Monotonicidade e Divergência: O quociente $b/c$ deve ser não crescente, e o fator longitudinal $b(r)$ deve divergir para o infinito conforme $r \to 0$.
   • Compressão Radial: Uma inovação geométrica substitui as simetrias rotacionais usadas em casos esféricos. O autor constrói um mapa de "compressão radial" $\phi_\epsilon$ que move o traço limite de uma curva causal de $r=0$ para um raio positivo $r=\epsilon$, controlando a contribuição angular para a desigualdade causal.
   • Mecanismo de Contradição: Esta compressão gera um separador cronológico compacto em um gráfico de fronteira adaptado. Ao transladar este separador ao longo da direção $t$, o autor constrói dois pontos em uma sequência de fatias radiais cuja distância intrínseca diverge (devido a $b(r) \to \infty$) enquanto sua distância no gráfico da extensão permanece uniformemente limitada. Esta contradição prova que nenhum ponto de fronteira futuro pode ser aproximado por uma curva temporal ao longo da qual $r \to 0$.

2. Aplicação Global (Espaços-Tempos de Birmingham-Kottler):
   O artigo constrói o espaço-tempo BK canônico de um único horizonte usando coordenadas de Kruskal globais.

   • Classificação de Geodésicas: Usando as equações de campo e integrais de primeira ordem geodésicas (energia $E$ e momento angular $J$), o autor classifica os pontos finais de geodésicas temporais de tempo próprio finito. Demonstra-se que qualquer geodésica que eventualmente deixe todos os subconjuntos compactos deve entrar em um bloco dinâmico e satisfazer $r \to 0$.
   • Síntese: A obstrução local é aplicada ao bloco dinâmico do espaço-tempo BK. Uma vez que qualquer suposta extensão $C^0$ exigiria um maximizador causal de comprimento finito aproximando-se da fronteira (um resultado de Minguzzi e Suhr), e tal maximizador deve corresponder a uma geodésica atingindo $r=0$, a obstrução local descarta a existência de tal extensão.

Principais Contribuições

• Generalização de Obstruções Locais: O artigo estende os resultados de inextensibilidade $C^0$ para singularidades deformadas além dos contextos de simetria esférica. Ele remove a exigência de que a fibra $\Sigma$ seja homogênea, orientável ou simplesmente conexa.
• Técnica de Compressão Radial: A introdução do mapa de compressão radial (Lema 3.6) serve como um substituto para as deformações rotacionais, permitindo a localização de argumentos de divergência em variedades fechadas arbitrárias.
• Inextensibilidade Global de Espaços-Tempos BK: O artigo prova que todo o espaço-tempo Birmingham-Kottler canônico de um único horizonte (com $\Lambda \le 0$) é $C^0$-inextensível. Isso inclui a solução Schwarzschild-Tangherlini como um caso específico.
• Classificação de Pontos Finais de Geodésicas: É fornecida uma classificação rigorosa dos fins de tempo próprio finito para geodésicas temporais no domínio de Kruskal global, demonstrando que geodésicas que escapam inevitavelmente terminam na singularidade.

Resultados

• Teorema A (Local): Nenhuma extensão $C^0$ de uma singularidade espacial deformada existe se os fatores de deformação satisfizerem as condições de integrabilidade, monotonicidade e divergência especificadas.
• Teorema B (Global): O espaço-tempo Birmingham-Kottler canônico de um único horizonte $M_{BK}$ é $C^0$-inextensível para qualquer fibra de Einstein fechada e conexa que satisfaça a condição de curvatura $\text{Ric}_{\gamma_\Sigma} = (n-2)k\gamma_\Sigma$.
• Corolário: O espaço-tempo Schwarzschild-Tangherlini canônico é $C^0$-inextensível.

Significância e Alegações
O artigo afirma isolar uma obstrução puramente métrica para extensões contínuas em singularidades deformadas, independente das equações de campo. Ao combinar este resultado local com uma análise global da família BK, estabelece a inextensibilidade do espaço-tempo completo sem depender de suposições de simetria que tipicamente restringem tais provas. O trabalho distingue-se de critérios anteriores baseados em completude temporal ou hiperbolicidade global ao focar no comportamento específico de geodésicas que escapam de conjuntos compactos na presença de uma singularidade. O autor observa que a condição de Einstein é necessária apenas para identificar a métrica como uma solução de vácuo, mas não é utilizada nos argumentos centrais de obstrução ou classificação geodésica. O artigo conclui identificando direções futuras, como o tratamento de soluções carregadas, constantes cosmológicas positivas e identificações de horizonte não canônicas, que exigiriam novos dados globais.