The $C^0$-inextendibility of Kerr spacetimes

Resumo Técnico: A Inextensibilidade $C^0$ de Espaços-Tempos de Kerr

Enunciado do Problema
A solução de Kerr descreve o campo gravitacional de vácuo de um buraco negro em rotação. Embora a métrica se estenda analiticamente através de seus horizontes de eventos regulares, a curvatura diverge na singularidade em anel definida por $\Sigma = r^2 + a^2 \cos^2 \theta = 0$. Uma questão central na relatividade geral é se o espaço-tempo pode ser estendido além desta singularidade como uma variedade lorentziana contínua ($C^0$), mesmo que a métrica não seja diferenciável. Resultados anteriores estabeleceram a inextendibilidade para regimes específicos ou sob pressupostos de regularidade mais fortes (por exemplo, $C^2$ ou $C^{1,1}$), mas a inextendibilidade $C^0$ das realizações de Kerr completas — incluindo os casos subextremal, extremal e sobreextremal, bem como seus espaços de cobertura conectados — restava a ser provada sem suposições de causalidade global.

Metodologia
O artigo emprega um obstáculo geométrico baseado em comprimentos de homotopia causal próximos ao anel singular. A estratégia central envolve três componentes:

1. Obstáculo Causal Local: O autor constrói uma homotopia causal específica próximo ao anel onde uma curva temporal de referência pode ser deformada (fixando os pontos finais) para incluir uma curva causal fechada não constante. Esta construção baseia-se na existência de duas combinações lineares independentes dos campos de Killing estacionário ($T$) e axial ($\Phi$) que são futuramente temporais em um ponto transversal e cujos negativos são futuramente temporais em outro ponto. Ao percorrer segmentos de órbita desses campos, o autor cancela o deslocamento transversal, criando um laço fechado.
2. Comprimentos Ilimitados: Repetir este laço fechado dentro da mesma classe de homotopia causal de pontos finais fixos produz curvas de tempo próprio arbitrariamente grandes. O autor prova que, para qualquer reescalonamento conformal contínuo $\Omega^2 g$, o comprimento destas curvas diverge conforme a curva se aproxima do anel ($\Sigma \to 0$).
3. Argumento de Extensão Global: O artigo invoca um teorema de fronteira (Minguzzi e Suhr) afirmando que, se uma extensão $C^0$ própria existir, deve haver uma geodésica temporal de velocidade unitária futuramente-inextensível de tempo próprio finito terminando na fronteira. O autor demonstra então que toda geodésica nas realizações de Kerr deve aproximar-se do anel ($\Sigma \to 0$). Combinando o obstáculo local (comprimento de homotopia infinito) com o comportamento global das geodésicas, eles derivam uma contradição: uma curva que termina em uma fronteira contínua deve ter comprimentos de homotopia causal limitados em um gráfico de coordenadas, mas a construção do anel força estes comprimentos a serem infinitos.

Principais Contribuições e Resultados

• Teorema Principal (Inextendibilidade $C^0$): O artigo prova que todo espaço de cobertura conectado das realizações completas de Kerr (subextremal, extremal e sobreextremal) é $C^0$-inextensível. Isto mantém-se para qualquer métrica de extensão lorentziana contínua e não degenerada, independentemente de simetria, orientação temporal ou propriedades de causalidade global.
• Caracterização da Singularidade: O obstáculo é localizado no anel singular. A prova mostra que qualquer geodésica temporal inextensível de tempo próprio finito deve satisfazer $\Sigma \to 0$, $r \to 0$ e $\theta \to \pi/2$ (aproximando-se do anel equatorial).
• Robustez sob Perturbações: O obstáculo persiste sob perturbações estacionárias e axissimétricas $g + h$, desde que a perturbação satisfaça um limite agudo: $\limsup_{\Sigma \to 0} \|h\|_E / \Sigma < 1/(1+a^2)$ em uma norma de coordenadas específica. O artigo fornece exemplos mostrando que este limite é agudo; excedê-lo permite reescalonamentos conformais onde os comprimentos de homotopia permanecem finitos.
• Estabilidade Conformal e de Cone: O resultado mantém-se para quaisquer fatores conformais contínuos positivos e para qualquer métrica lorentziana contínua cujos cones causais futuros contenham os cones de Kerr. Isto inclui abordagens nulas ao anel.
• Análise Geométrica de Geodésicas Terminais:
  • O artigo classifica as geodésicas terminais, mostrando que dados iniciais genéricos levam a geodésicas completas, enquanto as incompletas estão confinadas a uma subvariedade de codimensão dois (equatorial, momentos de Killing específicos).
  • Deriva expansões assintóticas agudas para a coordenada radial $r(s)$ e coordenadas de órbita próximo ao anel, encontrando um comportamento de ordem principal $r \sim u^{2/5}$ (onde $u$ é o tempo próprio restante).
  • Analisa o aumento da curvatura, mostrando que invariantes escalares como o escalar de Kretschmann divergem como $\Sigma^{-3}$ (ou $u^{-12/5}$), e fornece reduções exatas para campos de Jacobi polares.
• Limites de Perturbação: O autor estabelece limiares precisos para perturbações. Para a ordem principal, o coeficiente $1/(1+a^2)$ é ótimo. Na ordem seguinte, um coeficiente crítico $\kappa^* = M^2/(2a^4)$ é identificado, com o obstáculo persistindo para $a^2 \ge 2M^2$ mas falhando para $a^2 < 2M^2$ sob perturbações de posto um específicas.

Significância e Alegações
O artigo afirma resolver a inextendibilidade $C^0$ do espaço-tempo de Kerr completo, um problema de longa data na relatividade matemática. Ao basear-se apenas em limites de cones locais e argumentos de homotopia causal, a prova evita a necessidade de hiperbolicidade global ou pressupostos de regularidade superior (como $C^2$ ou limites de curvatura) que eram anteriormente exigidos para resultados semelhantes.

O autor enfatiza que o obstáculo é intrínseco à estrutura causal do anel de Kerr. O resultado implica que a singularidade não é meramente um artefato de coordenadas ou um lugar onde a diferenciabilidade falha, mas uma fronteira genuína que não pode ser atravessada nem mesmo por uma métrica contínua. O trabalho também fornece um arcabouço rigoroso para compreender a estabilidade desta inextendibilidade sob perturbações, oferecendo limites quantitativos agudos que distinguem entre métricas que retêm a natureza de "bloqueio" da singularidade e aquelas que podem permitir extensões de tempo próprio finito sob reescalonamentos conformais específicos.

O artigo conclui que a singularidade em anel representa uma barreira fundamental à extensão, reforçando a conjectura do Censura Cósmica Forte no contexto de buracos negros em rotação. A análise geométrica das geodésicas terminais e da curvatura fornece um mapa detalhado do comportamento do espaço-tempo ao aproximar-se desta fronteira.