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

Este artículo resuelve una pregunta planteada por Geroch al construir un espacio-tiempo extendible sin curvas temporales cerradas, mediante la eliminación de un fractal del espacio-tiempo de Minkowski enrollado en el tiempo, de modo que toda su extensión contiene dichas curvas.

Lo esencial

¡Hola! Vamos a desglosar este paper científico de una manera que cualquiera pueda entender, sin necesidad de ser un físico experto. Imagina que estamos contando una historia sobre el tiempo, el espacio y un misterioso "candado" que impide viajar al pasado... hasta que intentas arreglarlo.

El Gran Misterio: ¿Puedes tener un universo sin viajes en el tiempo que, al arreglarlo, los cree?

Imagina que el universo es como una película. En la física, a veces nos preguntamos: "¿Es esta película la versión final e inmutable, o es solo un fragmento que se puede extender?"

Los científicos Geroch (quien planteó la pregunta hace 50 años) y los autores de este paper (Andréka, Madarász, Manchak, Németh y Székely) se preguntaron algo muy específico:

¿Existe un universo que, en su estado actual, sea perfecto y no tenga "bucles de tiempo" (viajes al pasado), pero que si intentas completarlo o arreglarlo (hacerlo "maximal"), inevitablemente crees un viaje en el tiempo?

La respuesta de este paper es un rotundo SÍ. Han construido un universo matemático que es como un "candado fractal": si lo dejas tal cual, no puedes viajar al pasado. Pero si intentas ponerle la llave (arreglarlo), el candado se rompe y el viaje en el tiempo aparece.

---

La Analogía: El Muro de los Espejos Rotos

Para entender cómo lo hicieron, usaremos una analogía visual.

1. El escenario: Una cinta de Moebius temporal

Imagina el espacio-tiempo como una hoja de papel. Si la enrollas en un cilindro (como un rollo de papel higiénico gigante) y conectas el final con el principio, obtienes un cilindro.

• En este cilindro, si caminas hacia adelante en el tiempo, eventualmente vuelves al mismo punto donde empezaste. ¡Eso es un bucle de tiempo (Closed Timelike Curve o CTC)!
• En este universo "enrollado", viajar al pasado es tan fácil como dar una vuelta completa.

2. El problema: Queremos un universo sin viajes en el tiempo

Los autores quieren un universo que sea como ese cilindro, pero sin bucles de tiempo. Para lograrlo, deciden poner un "muro" o una barrera en el camino.

• Si pones un muro sólido (como una pared de ladrillos), bloqueas el viaje en el tiempo. Pero, ¿qué pasa si alguien intenta "arreglar" el universo quitando el muro? Si quitas el muro, vuelves a tener el cilindro con viajes en el tiempo.
• El truco no es poner un muro sólido, sino algo más inteligente.

3. La solución: El "Muro Fractal" (El Muro de Cantor)

Aquí es donde entra la magia matemática. En lugar de una pared sólida, construyeron una barrera hecha de ladrillos fractales.

Imagina un rompecabezas infinito:

1. Tienes un trapecio (una figura con cuatro lados, dos paralelos).
2. En lugar de quitar el centro, quitas piezas de una manera muy específica, dejando tres trapecios más pequeños.
3. Luego, tomas esos tres trapecios pequeños y repites el proceso: quitas piezas y dejas nueve más pequeños.
4. Repites esto infinitamente.

El resultado es una estructura increíblemente compleja, llena de agujeros, pero que sigue siendo una barrera. Es como el Conjunto de Cantor (una figura fractal famosa), pero construida con formas geométricas especiales que respetan las reglas de la luz y el tiempo.

¿Por qué es especial este muro?

• En el universo original (sin arreglar): La barrera es tan densa y compleja que ninguna línea de tiempo (ningún camino que un viajero pueda tomar) puede cruzarla sin chocar con ella. Por lo tanto, no hay viajes en el tiempo. El universo es "seguro".
• El truco del "arreglo": La barrera tiene agujeros microscópicos. Si intentas "completar" el universo (hacerlo maximal), estás obligado a llenar esos agujeros.
  • El paper demuestra que, tan pronto como llenas un solo punto de esta barrera fractal, automáticamente tienes que llenar una zona alrededor de ese punto.
  • Y, debido a la forma en que está construida la fractal, al llenar esos puntos, se crea un "puente" que permite a una línea de tiempo dar la vuelta y chocar consigo misma.

La Metáfora del "Candado de Cristal"

Imagina un candado hecho de cristal muy fino, con un patrón de grietas infinitas.

• Si miras el candado tal cual está, es imposible pasar la llave a través de las grietas. El candado está cerrado.
• Pero, si intentas "reparar" el cristal para que sea perfecto y sin grietas, al rellenar una sola grieta, el cristal se rompe de tal manera que ahora hay un agujero lo suficientemente grande para pasar la llave.

En términos del paper:

1. El universo original (M-): Es el cilindro con el fractal quitado. No hay viajes en el tiempo. Es "extendible" (se puede hacer más grande).
2. Cualquier intento de extensión: Si tomas este universo y le añades cualquier cosa para hacerlo "completo", inevitablemente creas un bucle de tiempo.

¿Por qué es importante esto?

Antes de este trabajo, los físicos pensaban que quizás podían definir un "punto singular" (un lugar donde la física se rompe, como en un agujero negro) simplemente diciendo: "Es un lugar donde el universo deja de existir, pero si lo completamos, no pasa nada malo".

Este paper dice: ¡Cuidado!
Si intentas completar un universo que no tiene viajes en el tiempo, podrías estar creando accidentalmente una máquina del tiempo. Esto sugiere que la definición de "singularidad" y "universo completo" es mucho más delicada de lo que pensábamos. No puedes simplemente "arreglar" los agujeros del universo sin riesgo de crear paradojas temporales.

En resumen

Los autores construyeron un universo matemático que es como un laberinto infinito de espejos:

• Mientras estés dentro del laberinto (el universo original), no puedes salir ni volver al pasado porque los espejos (la barrera fractal) te bloquean el camino.
• Pero, si intentas "arreglar" el laberinto rellenando los huecos de los espejos, de repente, el camino se alinea perfectamente y te permite dar una vuelta completa y volver al pasado.

Es una demostración brillante de que, en la física teórica, a veces arreglar un problema puede crear un problema mucho más grande (y más divertido).

Resumen técnico

A continuación presento un resumen técnico detallado del artículo "Un espaciotiempo extensible sin curvas temporales cerradas cuyo toda extensión contiene curvas temporales cerradas", escrito por H. Andréka, J. Madarász, J. Manchak, I. Némethi y G. Székely.

1. El Problema y el Contexto

El trabajo aborda una cuestión fundamental en la relatividad general planteada por Robert Geroch: la definición de "maximalidad" de un espaciotiempo y su relación con la noción de singularidad.

• Definiciones Clave:

  • Sea $\mathcal{U}$ la colección de todos los espaciotiempos $(M, g)$ donde $M$ es una variedad suave, conexa y de Hausdorff, y $g$ es una métrica lorentziana suave.
  • Un espaciotiempo en una colección $\mathcal{P} \subseteq \mathcal{U}$ se considera $\mathcal{P}$-maximal si no es isométrico a un subconjunto propio de otro espaciotiempo en $\mathcal{P}$.
  • Un espaciotiempo es $\mathcal{P}$-extensible si no es $\mathcal{P}$-maximal.

• La Condición (*): Geroch preguntó si la siguiente condición se cumple para ciertas propiedades:

  (*) "Todo espaciotiempo $\mathcal{P}$-maximal es $\mathcal{U}$-maximal".
  (Es decir, si un espaciotiempo es maximal dentro de una clase de propiedades $\mathcal{P}$, ¿es necesariamente maximal en la clase general de todos los espaciotiempos?).

• El Estado de la Cuestión:

  • Se sabía que propiedades como la "causalidad" o la "ausencia de curvas temporales cerradas (CTC)" no satisfacían trivialmente esta condición.
  • Geroch se preguntó específicamente si la colección $\mathcal{P}$ de todos los espaciotiempos sin curvas temporales cerradas (CTC) satisfacía la condición (*).
  • La Pregunta: ¿Existe un espaciotiempo que sea extensible (no maximal en $\mathcal{U}$), que no tenga CTCs, pero tal que cualquiera de sus extensiones propias contenga necesariamente CTCs? Si tal ejemplo existiera, demostraría que la condición (*) falla para la propiedad "sin CTCs".

2. Metodología y Construcción

Los autores construyen un contraejemplo explícito utilizando una variación del espacio de Minkowski "enrollado" en la dirección temporal, eliminando un conjunto fractal específico para bloquear la formación de CTCs.

A. El Espaciotiempo Base

Se parte del espacio de Minkowski 2D $(\mathbb{R}^2, \eta)$ y se "enrolla" en la dirección temporal identificando los puntos $(-\ell, x)$ con $(\ell, x)$ para un $\ell$ suficientemente grande. Este espacio enrollado tiene muchas CTCs.

B. La Barrera Fractal ($B$)

Para eliminar todas las CTCs del espacio enrollado, los autores construyen un conjunto de puntos "barrera" $B$ que debe ser removido. Las propiedades de $B$ son críticas:

1. Estructura: $B$ es un conjunto fractal, una generalización del conjunto de Cantor, construido mediante una iteración infinita.
2. Geometría: En lugar de eliminar tercios medios de un intervalo (como en el Cantor clásico), se eliminan regiones de un trapecio cerrado con patas nulas (luz).
   • Se comienza con un trapecio $B_0^0$ con bases horizontales y patas nulas.
   • Se divide en tres trapecios más pequeños similares al original, manteniendo la propiedad de que las patas están en líneas nulas.
   • Este proceso se repite infinitamente.
3. Condiciones de Similitud: Se elige un factor de similitud $\lambda$ tal que $2 < \lambda < 3$. Esto asegura que los trapecios no se superpongan y que la altura $T$ y la base mayor $S$ satisfagan la relación $2\lambda T = (3-\lambda)S$.
4. Propiedad de Bloqueo (Proposición 2): La construcción garantiza que toda curva causal futura dirigida que cruce la región $[0, 1] \times \mathbb{R}$ debe intersectar el conjunto $B$. Esto se debe a que las patas de los trapecios son nulas; cualquier curva causal que intente "esquivar" los trapecios eliminados será forzada a intersectar la siguiente iteración de la estructura fractal.

C. El Espaciotiempo Resultante ($M^-$)

Se define $M^- = (\mathbb{R}^2 \setminus B, \eta)$ con la identificación temporal.

• Sin CTCs: Al eliminar $B$, se rompe cualquier posible curva temporal cerrada en el espacio enrollado, ya que cualquier intento de cerrar un bucle temporal requeriría cruzar la barrera $B$.
• Extensible: $M^-$ es extensible porque es un subconjunto propio del espacio de Minkowski enrollado completo (que es una extensión válida).

3. Resultados Principales

El núcleo del trabajo es la Proposición 3, que demuestra que toda extensión propia de $M^-$ contiene necesariamente curvas temporales cerradas (CTCs).

Lógica de la Prueba:

1. Puntos Faltantes: Si $S$ es una extensión propia de $M^-$, debe "rellenar" al menos un punto $p$ que fue removido (es decir, $p \in B$ o un límite de $B$).
2. Puntos "Finalmente Medios": Los autores definen puntos en $B$ llamados "eventualmente medios" (eventually middle points). Estos son puntos en la fractal cuya secuencia de elección en la construcción fractal se vuelve constante en "Medio" después de un número finito de pasos.
   • Lema 1: Estos puntos son densos en $B$.
   • Lema 2 y 3: Para cualquier punto "eventualmente medio" $e$, existen curvas temporales $\tau$ y $\tau'$ que conectan $e$ con puntos en los bordes de identificación $(-\ell, x)$ y $(\ell, x)$ respectivamente, sin intersectar $B$ en ningún otro punto. Además, existen curvas $\lambda_n$ en el complemento de $B$ que conectan estas dos curvas y cuya longitud euclidiana tiende a cero.
3. El Mecanismo de la Extensión:
   • Si una extensión $S$ rellena un punto $p$ en la frontera, el Lema 4 (basado en resultados de Sbierski sobre completitud geodésica y límites de curvas) implica que la extensión debe "rellenar" también los límites de curvas cercanas.
   • Dado que los puntos "eventualmente medios" son densos, la extensión debe contener al menos un punto $e$ que sea "eventualmente medio".
   • Una vez que la extensión contiene el punto $e$, las curvas $\tau$ y $\tau'$ (que antes estaban separadas por el agujero en $e$) ahora pueden unirse en $e$.
   • Como los extremos de $\tau$ y $\tau'$ están identificados en el espacio enrollado (por la condición de periodicidad temporal), la unión de estas curvas a través de $e$ forma una curva temporal cerrada (CTC) en la extensión $S$.

4. Contribuciones Clave

1. Resolución de la Pregunta de Geroch: El artículo demuestra definitivamente que la condición (*) no se cumple para la colección de espaciotiempos sin CTCs. Existe un espaciotiempo que es maximal dentro de la clase de "espaciotiempos sin CTCs" (en el sentido de que cualquier extensión rompe esta propiedad), pero no es maximal en la clase general de todos los espaciotiempos.
2. Construcción Fractal Innovadora: Introduce el uso de un fractal basado en trapecios nulos (en lugar de intervalos simples) para crear una barrera causal que es lo suficientemente "delgada" para permitir la extensión, pero lo suficientemente "densa" para bloquear todas las CTCs en el estado original.
3. Generalización a Dimensiones Superiores: La construcción se extiende a dimensiones $d > 2$ mediante el producto $B \times \mathbb{R}^{d-2}$, demostrando que el fenómeno no es un artefacto de la dimensionalidad 2.

5. Significado e Implicaciones

• Singularidades y Maximality: El resultado tiene profundas implicaciones para la definición de singularidades. Sugiere que la noción de "maximalidad" es extremadamente sensible a las propiedades causales. Un espaciotiempo puede parecer "completo" o "maximal" bajo la restricción de no tener CTCs, pero esta maximalidad es frágil: cualquier intento de extenderlo (incluso para "completar" una singularidad) inevitablemente reintroduce la violación causal (CTCs).
• Límites de la Construcción de Puntos Ideales: Geroch había sugerido que la construcción de "puntos ideales" (usando extensiones) podría refinarse para definir singularidades. Este trabajo muestra que si se impone la restricción de "sin CTCs", este programa falla, ya que la maximalidad bajo esta restricción no garantiza la maximalidad global.
• No es una "Máquina del Tiempo": Los autores aclaran que el ejemplo no es una máquina del tiempo en el sentido tradicional, ya que las CTCs en las extensiones aparecen solo en el pasado temporal de la región original $M^-$ dentro de la extensión. El espaciotiempo original $M^-$ es causalmente seguro.

En resumen, el paper demuestra que la propiedad de "ausencia de curvas temporales cerradas" no es estable bajo extensiones de espaciotiempos: se puede construir un universo causal que es "maximal" solo porque cualquier intento de hacerlo más grande destruye su causalidad.