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

En retirant un fractal de l'espace-temps de Minkowski enroulé sur lui-même, les auteurs construisent un espace-temps extensible dépourvu de courbes temporelles fermées dont toute extension en contient, résolvant ainsi une question posée par Geroch.

L'essentiel

🕰️ Le Paradoxe de la Machine à Remonter le Temps "Cassée"

Imaginez que vous êtes un architecte de l'univers. Votre mission est de construire un espace-temps (un univers) qui respecte deux règles strictes :

1. Pas de boucles temporelles : Personne ne doit pouvoir voyager dans le temps pour rencontrer son propre grand-père avant sa naissance (pas de courbes temporelles fermées).
2. L'univers doit être "complet" : Il ne doit pas y avoir de trous ou de bords brusques. Si un voyageur tombe dans un trou, l'univers devrait pouvoir être étendu pour le rattraper.

Les physiciens se demandaient depuis des décennies : Est-il possible de construire un univers qui respecte la règle n°1, mais qui est si fragile que dès qu'on essaie de le "réparer" ou de l'étendre pour le rendre complet, on est forcé de créer une machine à remonter le temps ?

La réponse de ce papier est un grand OUI.

🧱 L'Analogie du Mur de Briques Fractales

Pour construire cet univers spécial, les auteurs (Andréka, Madarász, Manchak, Néméti et Székely) utilisent une idée géniale basée sur le Minkowski (l'univers "vide" et plat de la relativité restreinte).

1. Le Rouleau Temporel : Imaginez que vous prenez une feuille de papier (l'espace-temps) et que vous la roulez en un cylindre. Si vous marchez assez loin dans le temps, vous revenez à votre point de départ. C'est un univers rempli de machines à remonter le temps (des boucles).
2. Le Mur Interdit : Pour empêcher les gens de faire ces boucles, ils construisent un mur invisible au milieu de ce cylindre. Ce mur est fait d'une matière très spéciale : une fractale (une forme géométrique infiniment complexe, comme un flocon de neige ou l'ensemble de Cantor).
3. Le Résultat : Dans cet univers "percé" (le cylindre avec le mur fractal), il est impossible de traverser le mur pour faire une boucle. Vous pouvez aller et venir, mais vous ne pouvez jamais revenir à votre point de départ en suivant une trajectoire normale. L'univers est donc "sain" : pas de voyage dans le temps.

🚧 Le Problème : Comment Réparer l'Univers ?

Maintenant, supposons que cet univers soit "incomplet" (il a des bords flous à cause du mur fractal). Un physicien dit : "Attendez, cet univers est mal fini ! Je vais le compléter en ajoutant les points manquants pour qu'il soit parfait."

C'est là que la magie (ou la malédiction) opère.

Les auteurs montrent que n'importe quelle tentative pour combler les trous de ce mur fractal pour rendre l'univers "complet" va inévitablement créer une faille.

• Imaginez que le mur fractal est comme une grille de sécurité très fine.
• Si vous essayez de boucher un seul trou dans cette grille, la structure géométrique complexe fait que vous créez accidentellement un passage secret.
• Ce passage secret permet de faire un tour complet dans le temps.

En résumé : Vous pouvez avoir un univers sans voyage dans le temps, mais il sera toujours "incomplet". Dès que vous essayez de le rendre "complet" (en ajoutant les pièces manquantes), vous créez inévitablement une machine à remonter le temps.

🍪 L'Analogie du Biscuit de Cantor

Pour visualiser le mur fractal, imaginez un biscuit géant (un trapèze).

1. Vous enlevez le milieu du biscuit, mais vous laissez trois petits morceaux.
2. Sur chacun de ces trois morceaux, vous enlevez encore le milieu, et vous laissez neuf petits morceaux.
3. Vous recommencez à l'infini.

Ce qui reste est une poussière de biscuit (une fractale).

• Dans notre univers : Cette poussière de biscuit est le mur. Elle est si fine et si complexe qu'aucune route normale ne peut la traverser sans la toucher.
• Le piège : Si vous essayez de "coller" un point manquant dans cette poussière pour réparer le mur, la géométrie de l'univers force les routes à se reconnecter d'une manière étrange, créant une boucle temporelle.

🌍 Pourquoi est-ce important ?

Ce papier répond à une question posée par le célèbre physicien Robert Geroch il y a plus de 50 ans. Il voulait savoir si la notion de "singularité" (un point où la physique s'effondre) pouvait être définie simplement en disant "l'univers ne peut pas être étendu sans créer de paradoxes".

Les auteurs prouvent que non, ce n'est pas si simple. Ils montrent qu'il existe des univers "sains" (sans paradoxes temporels) qui sont intrinsèquement "cassés" : leur seule façon d'être réparés est de devenir "fous" (avec des paradoxes temporels).

💡 La Conclusion en une phrase

Vous pouvez construire un univers parfait où le voyage dans le temps est impossible, mais cet univers sera toujours incomplet ; et dès que vous tenterez de le rendre complet, vous serez obligé de créer un voyage dans le temps. C'est comme essayer de fermer un sac à dos : plus vous tirez fort pour le fermer, plus il se déchire à un endroit précis, libérant un dragon temporel ! 🐉⏳

Résumé technique

1. Problématique et Contexte

L'article s'attaque à une question fondamentale posée par Robert Geroch concernant la définition de la maximalité des espaces-temps en relativité générale. La notion de « singularité » dépend crucialement de la définition de ce qu'est un espace-temps maximal (c'est-à-dire un espace-temps qui ne peut pas être isométriquement plongé dans un espace-temps plus grand).

Geroch a formulé une condition hypothétique, notée (*), pour une collection d'espaces-temps $\mathcal{P}$ :

« Tout espace-temps $\mathcal{P}$-maximal est $\mathcal{U}$-maximal » (où $\mathcal{U}$ est l'ensemble de tous les espaces-temps lisses).

Autrement dit, si un espace-temps est maximal par rapport à une propriété spécifique (par exemple, l'absence de courbes temporelles fermées ou CTC), devrait-il être maximal par rapport à toutes les propriétés possibles ?

Des contre-exemples existent déjà pour d'autres propriétés (comme l'hyperbolicité globale), mais le cas de l'absence de courbes temporelles fermées (CTC) restait une question ouverte. Geroch s'interrogeait spécifiquement sur le fait que la collection des espaces-temps sans CTC satisfait-elle la condition (*). Si la réponse était positive, cela renforcerait les programmes de construction de « points idéaux » pour les singularités. Si elle était négative, cela impliquerait qu'un espace-temps sans CTC peut être extensible, mais que toute extension introduit inévitablement des CTC, rendant la notion de « complétion » sans CTC impossible.

2. Méthodologie et Construction

Les auteurs (Andréka, Madarász, Manchak, Némethi, Székely) construisent un contre-exemple explicite en dimension 2, généralisable ensuite à toutes les dimensions. La construction repose sur une modification géométrique de l'espace-temps de Minkowski « roulé » sur lui-même.

A. L'Espace-temps de base

Ils partent de l'espace-temps de Minkowski $(\mathbb{R}^2, \eta)$ et le « roulent » dans la direction temporelle en identifiant les points $(-\ell, x)$ et $(\ell, x)$ pour un $\ell$ suffisamment grand. Cet espace-temps roulé contient naturellement de nombreuses CTC.

B. La Barrière Fractale ($B$)

Pour éliminer toutes les CTC tout en rendant l'espace-temps extensible, les auteurs retirent un ensemble de points $B$ de l'espace-temps roulé.

• Structure de $B$ : $B$ est un ensemble fractal, analogue à un ensemble de Cantor généralisé, construit par itération infinie.
• Géométrie des briques : Au lieu de retirer le tiers central d'un intervalle (comme pour l'ensemble de Cantor standard), ils partent d'un trapèze fermé ayant des côtés latéraux de genre lumière (lightlike). Ils retirent des sous-ensembles de manière à laisser trois trapèzes plus petits, disjoints et auto-similaires.
• Paramètres : Le rapport de similitude $\lambda$ est choisi tel que $2 < \lambda < 3$. Cela garantit que les trapèzes ne se chevauchent pas et que la construction est non triviale.
• Propriété clé : La barrière $B$ est conçue de telle sorte que toute courbe causale (temporelle ou nulle) traversant la région $[0, 1] \times \mathbb{R}$ doit intersecter $B$. Cela empêche la formation de CTC dans l'espace-temps résultant $M^- = (\mathbb{R}^2 \setminus B, \eta) / \sim$.

C. Propriétés de l'Espace-temps $M^-$

• Absence de CTC : Grâce à la barrière $B$, aucune courbe temporelle fermée n'existe dans $M^-$.
• Extensibilité : $M^-$ est extensible car il est un sous-ensemble propre de l'espace-temps de Minkowski roulé complet (qui contient des CTC).
• Topologie : Le complémentaire de $B$ est connexe, assurant que $M^-$ est un espace-temps valide (variété lisse connexe).

3. Résultats Clés et Preuves

Le cœur de l'article réside dans la démonstration que toute extension propre de $M^-$ contient inévitablement des CTC.

A. Lemmes Techniques sur la Barrière

Les auteurs établissent trois lemmes cruciaux concernant la structure de $B$ :

1. Densité des points « éventuellement centraux » : Les points de $B$ dont la séquence de choix (Gauche, Milieu, Droite) devient finalement « Milieu » sont denses dans $B$.
2. Intersection unique : Pour un point « éventuellement central » $e$, la ligne verticale centrale du plus petit losange de genre lumière contenant le trapèze correspondant ne coupe $B$ qu'en $e$.
3. Connectivité par courbes temporelles : Il existe des courbes temporelles $\tau$ et $\tau'$ partant de points identifiés dans l'espace-temps roulé (côtés gauche et droit) qui convergent vers $e$ sans toucher $B$ ailleurs qu'en $e$. De plus, on peut relier ces courbes par des segments de longueur arbitrairement petite dans le complémentaire de $B$.

B. Preuve de la Proposition 3 (Résultat Principal)

La preuve utilise un argument de limite et de continuité :

1. Complétion géodésique : Soit $S$ une extension propre de $M^-$. Comme l'espace-temps de Minkowski roulé est géodésiquement complet, toute extension de $M^-$ doit « combler » un point manquant $p$ (qui correspond à un point de $B$ ou une limite de $B$).
2. Utilisation du Lemme 4 (Sbierski) : Les auteurs appliquent un résultat technique de Sbierski concernant la convergence des courbes dans les extensions. Si une extension comble une limite pour une courbe, elle comble aussi les limites voisines « témoins » par de courtes courbes de coordonnées.
3. Construction de la CTC :
   • On prend un point $p$ dans l'extension qui correspond à une limite de courbes dans $M^-$.
   • On trouve un point $e \in B$ « éventuellement central » arbitrairement proche de cette limite.
   • Grâce aux lemmes 2 et 3, on construit deux courbes $\delta$ et $\delta'$ dans l'extension qui convergent vers $e$ depuis des directions opposées, en restant dans la région « saine » (hors $B$) sauf au point limite.
   • Ces courbes, combinées avec les courbes $\tau$ et $\tau'$ de la construction initiale, forment une boucle fermée.
   • Puisque les points de départ de $\tau$ et $\tau'$ sont identifiés dans l'espace-temps roulé, la boucle se referme, créant une Courbe Temporelle Fermée (CTC) dans l'extension $S$.

4. Généralisation aux Dimensions Supérieures

La construction s'étend naturellement aux dimensions $d \geq 2$. La barrière devient $B \times \mathbb{R}^{d-2}$. Les propriétés topologiques et causales se conservent car le produit direct d'ensembles fermés et connexes préserve ces propriétés, et les arguments de convergence des courbes restent valables dans les sections transversales bidimensionnelles.

5. Signification et Impact

• Réponse à Geroch : L'article résout négativement la question de Geroch. La condition (*) n'est pas satisfaite par la collection des espaces-temps sans CTC. Il existe un espace-temps sans CTC qui est extensible, mais dont toute extension introduit des CTC.
• Implications pour la Singularité : Cela montre que l'on ne peut pas définir une « singularité » simplement en cherchant une extension maximale sans CTC. Si un espace-temps est maximal sans CTC, il est nécessairement « brisé » de manière telle que toute tentative de le compléter viole la causalité.
• Nature de l'Exemple : Les auteurs soulignent que cet exemple ne doit pas être considéré comme une « machine à remonter le temps » classique. Les CTC n'apparaissent que dans le passé temporel de l'espace-temps original dans l'extension. L'espace-temps $M^-$ lui-même reste causalement sain.
• Rôle des Fractales : L'utilisation d'une structure fractale (ensemble de Cantor généralisé) est essentielle. Une barrière lisse ou simple ne pourrait pas bloquer toutes les CTC tout en permettant une extension sans créer de CTC ailleurs. La nature « poreuse » mais dense de $B$ est la clé de la démonstration.

En conclusion, ce travail démontre la sensibilité profonde de la causalité globale aux détails topologiques infinitésimaux et établit une limite fondamentale à la possibilité de « compléter » les espaces-temps causaux sans introduire de paradoxes temporels.