An extendible spacetime without closed timelike curves whose every extension contains closed timelike curves

Ao remover um fractal do espaço-tempo de Minkowski enrolado no tempo, os autores constroem um espaço-tempo extensível sem curvas temporais fechadas tal que toda a sua extensão contém tais curvas, resolvendo uma questão levantada por Geroch.

O essencial

Imagine que o universo é como um grande tapete de borracha (o espaço-tempo) onde você pode desenhar linhas representando o caminho que qualquer coisa pode percorrer. Normalmente, essas linhas vão apenas para o futuro. Mas, em algumas teorias de física muito estranhas, é possível que essas linhas se curvem e formem um círculo, permitindo que você viaje para o seu próprio passado. Isso é chamado de Curva Temporal Fechada (ou CTC, na sigla em inglês). Se isso acontecesse, você poderia encontrar o seu "eu" mais jovem e causar paradoxos (como o famoso paradoxo do avô).

A pergunta que os cientistas deste artigo queriam responder era: "É possível criar um universo que, por si só, não tenha essas máquinas do tempo, mas que seja 'incompleto', de tal forma que, se você tentar completá-lo (adicionar o que falta), você seja forçado a criar uma máquina do tempo?"

A resposta deles é um sonoro SIM.

Aqui está a explicação simplificada da descoberta, usando analogias do dia a dia:

1. O Cenário: O Universo "Enrolado"

Pense no espaço-tempo como uma fita de vídeo. Normalmente, a fita corre para frente. Mas, imagine que você pega essa fita e a enrola em um cilindro (como um rolo de papel higiênico).

• Se você andar em linha reta nessa fita enrolada, eventualmente você voltará ao ponto de partida.
• Se a fita for enrolada de um jeito específico (no tempo), você pode voltar no tempo. Isso cria um "universo com máquina do tempo".

Os autores pegaram esse universo enrolado (que tem muitas máquinas do tempo) e decidiram remover algumas partes dele para tentar "consertar" o problema e impedir que as pessoas viajem no tempo.

2. O Obstáculo: O "Muro de Fractais"

Para impedir que alguém viaje no tempo, eles precisaram colocar um "muro" invisível no caminho. Mas não podia ser um muro comum (como uma parede de tijolos), porque se fosse uma parede sólida, você poderia simplesmente contorná-la ou o universo poderia ser "estendido" para desviar do muro sem criar paradoxos.

Então, eles construíram um muro muito especial, feito de fractais (padrões geométricos que se repetem infinitamente, como um floco de neve de neve que, quanto mais você dá zoom, mais detalhes você vê).

• A Analogia: Imagine tentar atravessar uma sala cheia de obstáculos. Se os obstáculos forem grandes, você pula. Se forem pequenos, você desvia. Mas, imagine que os obstáculos são tão pequenos e tão bem distribuídos que, não importa o quão pequeno seja o seu passo, você sempre vai esbarrar em algum deles.
• Eles criaram esse "muro" removendo pontos específicos do universo. O resultado é um espaço que, por si só, é perfeito: ninguém consegue atravessar de um lado para o outro e voltar no tempo porque o muro bloqueia todos os caminhos possíveis.

3. O Truque: A "Incompletude"

Aqui está a parte genial. O universo que eles criaram (o "universo perfurado") é incompleto. Ele tem buracos onde o muro foi removido.

• Na física, um universo "completo" é aquele que não tem buracos nas suas regras.
• O universo deles é como um quebra-cabeça onde faltam algumas peças.

A descoberta é esta: Se você tentar completar esse quebra-cabeça (preencher os buracos para fazer um universo "completo" e válido), você é forçado a colocar as peças de volta exatamente no lugar onde elas criam uma máquina do tempo.

4. A Conclusão: O Dilema do "Ou-Ou"

O artigo prova matematicamente que existe um tipo de universo que vive em um estado de tensão:

1. Estado A (O Universo Perfurado): É um lugar seguro, sem viagens no tempo. Mas é "quebrado" (incompleto).
2. Estado B (O Universo Completo): Se você conserta o universo para torná-lo "perfeito" e sem buracos, você obrigatoriamente cria uma máquina do tempo.

A Metáfora Final:
Imagine que você tem um castelo de areia perfeito, mas com um buraco no meio.

• Enquanto o buraco existe, o castelo é seguro e estável.
• Mas, se você tentar preencher esse buraco com mais areia para deixar o castelo "inteiro", a estrutura muda de tal forma que o castelo desaba e vira uma armadilha (uma máquina do tempo).

Por que isso é importante?

Isso resolve uma dúvida antiga do famoso físico Robert Geroch. Ele queria saber se a definição de "singularidade" (um ponto onde a física quebra, como num buraco negro) dependia de como escolhemos completar o universo.

A descoberta mostra que a resposta é sim. A existência de viagens no tempo (ou a falta delas) depende crucialmente de como decidimos "consertar" as partes faltantes do universo. Você não pode simplesmente dizer "vamos completar o universo" sem saber que, dependendo de como você faz isso, você pode estar construindo uma máquina do tempo sem querer.

Resumo em uma frase:
Os autores criaram um universo "quebrado" que é seguro contra viagens no tempo, mas provaram que qualquer tentativa de consertá-lo e torná-lo completo vai, inevitavelmente, criar uma máquina do tempo.

Resumo técnico

1. O Problema e o Contexto

O artigo aborda uma questão fundamental na teoria da relatividade geral e na estrutura causal do espaço-tempo, formulada originalmente por Robert Geroch há mais de 50 anos. O problema central diz respeito à definição de maximalidade de espaço-tempo e sua relação com a existência de Curvas Temporais Fechadas (CTCs).

• Definição de Maximalidade: Um espaço-tempo $(M, g)$ é dito P-maximal (para uma coleção $P$ de propriedades) se não for isométrico a um subconjunto próprio de outro espaço-tempo que também possua a propriedade $P$. Se um espaço-tempo não é maximal, ele é extensível.
• A Condição (*): Geroch questionou se a seguinte condição seria válida para certas propriedades físicas: "Todo espaço-tempo P-maximal é também U-maximal" (onde $U$ é a coleção de todos os espaços-tempo suaves).
• O Caso Específico: A questão (ii) de Geroch pergunta se a coleção de todos os espaços-tempo sem CTCs satisfaz essa condição. Ou seja: Existe um espaço-tempo que não possui CTCs, é extensível, mas toda e qualquer extensão sua (que preserve a estrutura suave) é forçada a conter CTCs?
• Importância: A resposta a essa questão é crucial para programas de refinamento da noção de "singularidade" em relatividade geral, especialmente na construção de "pontos ideais". Se a condição (*) falhasse para a causalidade (ausência de CTCs), isso implicaria limitações na capacidade de usar extensões para definir singularidades sem introduzir causalidade patológica.

2. Metodologia e Construção

Os autores constroem um contraexemplo explícito para a condição (*). A construção envolve uma variação sofisticada do espaço-tempo de Minkowski "enrolado" no tempo.

A. O Espaço-Tempo Base

1. Minkowski Enrolado: Começa-se com o espaço-tempo de Minkowski 2D $(\mathbb{R}^2, \eta)$ e identifica-se as linhas verticais em $x = -\ell$ e $x = \ell$, criando um cilindro temporal. Este espaço-tempo original possui muitas CTCs.
2. Remoção de Pontos (O "Barreira"): Para eliminar as CTCs do espaço-tempo original, os autores removem um conjunto de pontos $B$ (uma barreira) que intercepta todas as possíveis CTCs.
   • A Natureza de $B$: O conjunto $B$ não é uma linha simples, mas um fractal (um conjunto de Cantor generalizado) construído dentro de um retângulo $[0, 1] \times \mathbb{R}$.
   • Construção Fractal: A construção é iterativa. Começa-se com um trapézio fechado com pernas nulas (luz). Em cada passo, remove-se o interior e divide-se o trapézio em três trapézios menores e semelhantes, também com pernas nulas.
   • Parâmetros: A razão de semelhança $\lambda$ é escolhida tal que $2 < \lambda < 3$. Isso garante que os trapézios não se sobreponham e que a estrutura resultante seja um conjunto fechado com complementar conexo.
   • Espaço-Tempo Resultante ($M^-$): O espaço-tempo $M^-$ é definido como o cilindro de Minkowski com o conjunto $B$ removido.

B. Propriedades de $M^-$

• Ausência de CTCs: A Proposição 2 demonstra que nenhuma curva causal (que se move para o futuro) pode atravessar a região $[0, 1] \times \mathbb{R}$ sem intersectar o conjunto $B$. Como $B$ foi removido, qualquer curva que tente se fechar (formar um CTC) no espaço-tempo original é "bloqueada" pela ausência de pontos.
• Extensibilidade: $M^-$ é claramente extensível, pois pode ser estendido de volta para o cilindro de Minkowski completo (que contém CTCs).

3. Resultados Principais e Prova

O resultado central é a Proposição 3: Cada extensão própria de $M^-$ contém Curvas Temporais Fechadas.

A prova baseia-se em três lemas técnicos e um argumento de completude geodésica:

1. Pontos "Eventualmente Centrais" (Eventually Middle Points):

   • Os pontos de $B$ podem ser descritos por sequências de escolhas (Esquerda, Meio, Direita).
   • Um ponto é "eventualmente central" se, após um número finito de passos, a escolha for sempre "Meio".
   • Lema 1: O conjunto de pontos eventualmente centrais é denso em $B$.
   • Lema 2: Para um ponto eventualmente central $e$, existe um "losango de luz" mínimo que contém o trapézio correspondente, onde a linha vertical central intersecta $B$ apenas no ponto $e$.
   • Lema 3: Existem curvas temporais $\tau$ e $\tau'$ que conectam pontos nas bordas do cilindro (que são identificados) ao ponto $e \in B$, sem tocar em nenhum outro ponto de $B$. Além disso, existem curvas $\lambda_n$ no complemento de $B$ que conectam $\tau$ e $\tau'$ com comprimentos tendendo a zero à medida que se aproximam de $e$.

2. Argumento de Extensão (Lema 4):

   • Utilizando resultados de Sbierski sobre extensibilidade, os autores mostram que se um espaço-tempo é uma extensão própria de $M^-$, ele deve "preencher" (adicionar) pelo menos um ponto $p$ que estava faltando (um ponto de $B$).
   • O Lema 4 estabelece que, se uma extensão preenche um limite para uma curva, ela também preenche limites vizinhos "testemunhados" por curvas curtas.

3. Conclusão da Prova:

   • Seja $S$ uma extensão própria de $M^-$. $S$ deve conter um ponto $p$ que corresponde a um ponto removido de $B$ (ou um limite de tais pontos).
   • Devido à densidade (Lema 1), existe um ponto eventualmente central $e$ arbitrariamente próximo de $p$.
   • A extensão $S$, ao preencher $p$, é forçada a preencher $e$ (devido à continuidade e às propriedades das curvas curtas do Lema 4).
   • Uma vez que $e$ está presente em $S$, as curvas temporais $\tau$ e $\tau'$ (do Lema 3), que conectam as bordas identificadas do cilindro a $e$, tornam-se completas em $S$.
   • Como as bordas são identificadas, a união de $\tau$ e $\tau'$ forma uma Curva Temporal Fechada (CTC) em $S$.

4. Generalização para Dimensões Superiores

A construção é generalizada para dimensões $d \geq 2$ (Seção 4).

• A barreira torna-se $B \times \mathbb{R}^{d-2}$.
• A lógica de interseção de curvas causais e a densidade de subespaços "eventualmente centrais" mantêm-se válidas.
• Portanto, o resultado é válido para qualquer dimensão do espaço-tempo.

5. Contribuições e Significância

• Resolução de uma Questão Aberta: O artigo resolve negativamente a questão (ii) de Geroch. A coleção de espaços-tempo sem CTCs não satisfaz a condição (*). Existe um espaço-tempo sem CTCs que é maximal apenas dentro da categoria de espaços-tempo sem CTCs, mas qualquer extensão suave para a categoria geral introduz inevitavelmente CTCs.
• Implicações para Singularidades: Isso demonstra que a tentativa de definir singularidades puramente através de extensões de espaço-tempo (sem CTCs) é problemática. A "maximalidade" depende criticamente da classe de propriedades considerada.
• Construção Matemática Inovadora: O uso de um conjunto fractal (Cantor generalizado com pernas nulas) como "barreira" para bloquear causalidade é uma técnica engenhosa. Diferente de "máquinas do tempo" tradicionais onde as CTCs existem no espaço-tempo estendido, aqui as CTCs só aparecem devido à presença dos pontos que foram removidos para criar o espaço-tempo original.
• Aviso sobre "Máquinas do Tempo": Os autores enfatizam que este exemplo não deve ser considerado uma "máquina do tempo" no sentido físico usual, pois as CTCs em qualquer extensão estão confinadas ao passado temporal de $M$ dentro da extensão, não afetando a causalidade interna de $M$ de forma observável antes da extensão.

Em suma, o trabalho demonstra que a causalidade global (ausência de CTCs) é uma propriedade extremamente frágil em relação à extensibilidade do espaço-tempo, desafiando intuições sobre a estabilidade de estruturas causais na relatividade geral.