Topologie Cosmique
Qu'est-ce que la topologie cosmique ?
La topologie est la branche des mathématiques qui étudie les propriétés d'un espace qui ne changent pas quand on le déforme sans le couper ni le coller. Par exemple, un beignet et une tasse ont la même topologie (les deux ont un "trou"), mais une sphère n'a pas de trou. La topologie cosmique pose la question : l'univers est-il infini et ouvert, ou bien fini et refermé sur lui-même, comme la surface d'une sphère ?
Qu'est-ce que l'espace dodécaédrique de Poincaré ?
L'espace dodécaédrique de Poincaré est un espace fini à courbure positive dont la forme est celle d'un dodécaèdre (un solide à 12 faces pentagonales). Chaque face est identifiée à la face opposée avec une légère rotation : si l'on sort par une face, on réapparaît par la face opposée. C'est une des topologies candidates pour notre univers, car elle pourrait expliquer certaines anomalies observées dans le fond diffus cosmologique.
Les équations d'Einstein nous renseignent sur la courbure locale de l'espace-temps, mais elles sont complètement muettes sur la forme globale, la topologie, de l'univers. Un univers plat ($k = 0$) pourrait être le plan infini $\mathbb{R}^3$, ou bien un trois-tore $T^3$, un espace fini où voyager suffisamment loin dans n'importe quelle direction vous ramène à votre point de départ. Un univers à courbure positive ($k = +1$) pourrait être la trois-sphère $S^3$, ou un espace quotient $S^3/\Gamma$ comme l'espace dodécaédrique de Poincaré. La sélection de la topologie est une question véritablement de gravité quantique, et elle se connecte à certains des problèmes non résolus les plus profonds de la physique.
Géométrie vs. Topologie
La relativité générale détermine la géométrie locale (courbure) de l'espace-temps, pas sa topologie globale. Une feuille de papier plate et un cylindre ont la même géométrie locale (courbure nulle partout), mais une topologie différente. La question "quelle est la forme de l'univers ?" a deux parties : la courbure (à laquelle répond la RG) et la topologie (sans réponse).
Topologie vs. courbure : une distinction fondamentale
Il est essentiel de comprendre que courbure et topologie sont des propriétés indépendantes. La courbure est une quantité locale mesurée par le tenseur de Riemann ; la topologie est une propriété globale qui décrit comment l'espace est connecté. Deux exemples clés illustrent la distinction :
- Une feuille plate ($\mathbb{R}^2$) et un cylindre ($\mathbb{R} \times S^1$) ont la même courbure (nulle partout) mais une topologie différente. Le cylindre a un groupe fondamental non trivial $\pi_1 = \mathbb{Z}$
- Une feuille plate et un tore plat ($T^2 = S^1 \times S^1$) ont encore une courbure nulle, mais le tore est compact et fini, avec $\pi_1 = \mathbb{Z} \times \mathbb{Z}$
- La trois-sphère $S^3$ et l'espace dodécaédrique de Poincaré $S^3/I^*$ ont la même courbure positive, mais le second est 120 fois plus petit en volume
Les équations d'Einstein déterminent la métrique (donc la courbure) mais ne contraignent pas la topologie. Étant donné toute solution des équations d'Einstein sur un espace simplement connexe, on peut construire une solution sur tout quotient de cet espace par un groupe discret d'isométries agissant librement $\Gamma$, avec exactement la même géométrie locale.
Caractériser la topologie : invariants algébriques
Nombres de Betti et homologie
Les espaces topologiques sont classifiés par leurs invariants algébriques. Les nombres de Betti $b_k$ comptent le nombre de "trous" indépendants de dimension $k$ dans un espace :
- $b_0$ : nombre de composantes connexes (toujours 1 pour un espace connexe)
- $b_1$ : nombre de boucles non contractibles indépendantes (le rang du premier groupe d'homologie $H_1$)
- $b_2$ : nombre de surfaces non contractibles indépendantes
- $b_3$ : pertinent pour les 3-variétés ; égal à 1 pour les 3-variétés fermées orientables
Pour le trois-tore $T^3$ : $b_0 = 1$, $b_1 = 3$, $b_2 = 3$, $b_3 = 1$. Pour l'espace dodécaédrique de Poincaré $S^3/I^*$ : $b_0 = 1$, $b_1 = 0$, $b_2 = 0$, $b_3 = 1$. L'annulation de $b_1$ signifie que l'espace de Poincaré n'a pas de boucle non contractible, bien qu'il soit un espace quotient. C'est parce que le groupe icosaédrique binaire $I^*$ est un groupe parfait (son abélianisé est trivial).
Le groupe fondamental $\pi_1$ est l'invariant topologique le plus puissant pour nos besoins. Pour $S^3/\Gamma$, nous avons $\pi_1 = \Gamma$. Le groupe fondamental détermine les transformations de recouvrement qui identifient les points dans le revêtement universel, et par conséquent détermine le spectre propre du laplacien sur l'espace quotient, qui est directement observable à travers le CMB.
L'espace dodécaédrique de Poincaré en détail
L'espace dodécaédrique de Poincaré $S^3/I^*$ est construit en prenant un dodécaèdre sphérique régulier (un dodécaèdre "courbé" plongé dans $S^3$) et en identifiant chaque face pentagonale avec la face opposée par une rotation de $36°$ dans le sens horaire (une torsion de $\pi/5$). Le résultat est une 3-variété fermée, orientable, avec :
- Groupe fondamental : $\pi_1 = I^*$, le groupe icosaédrique binaire d'ordre 120
- Volume : $\text{Vol}(S^3/I^*) = \text{Vol}(S^3)/120 = 2\pi^2 R^3/120$ où $R$ est le rayon de courbure
- Homologie : $H_1 = 0$ (l'espace est une sphère d'homologie, indiscernable de $S^3$ par l'homologie seule)
- Courbure : Courbure positive constante $K = 1/R^2$, identique à $S^3$
Luminet, Weeks, Riazuelo, Lehoucq et Uzan ont proposé cet espace comme modèle cosmologique en 2003, après la mesure par WMAP d'une faible puissance aux grandes échelles angulaires. Le spectre du laplacien sur $S^3/I^*$ ne conserve que certains modes de $S^3$, ce qui peut réduire la puissance des bas multipôles du CMB pour une taille topologique appropriée. Les résultats quantitatifs dépendent toutefois de la densité totale, de la position de l'observateur et du calcul complet des fonctions de transfert. Le modèle fournit une explication possible des anomalies, pas un ajustement sans paramètre confirmé.
La variété de Weeks
Parmi les 3-variétés hyperboliques ($k = -1$), la variété de Weeks occupe une place spéciale : c'est la 3-variété hyperbolique fermée de plus petit volume connu, $\text{Vol} \approx 0.9427$ (en unités où le rayon de courbure est 1). Découverte par Jeffrey Weeks en 1985, elle est construite en identifiant les faces d'un polyèdre particulier dans l'espace hyperbolique. Alors que les espaces à courbure positive comme $S^3/I^*$ nécessitent $\Omega_{\text{tot}} > 1$, les topologies à courbure négative nécessitent $\Omega_{\text{tot}} < 1$. Les observations actuelles contraignent $\Omega_{\text{tot}}$ à être très proche de 1, rendant les topologies hyperboliques viables seulement si leur domaine fondamental est grand par rapport au rayon de courbure.
Pourquoi la Topologie Compte
La topologie de l'espace a des conséquences observables. Dans un univers fini, il existe une longueur d'onde maximale pour toute perturbation : les modes plus grands que l'espace lui-même ne peuvent pas exister. Cela produit des signatures spécifiques :
- Modification des grands angles du CMB : Une topologie compacte dont l'échelle est assez petite discrétise les modes et peut réduire certaines fluctuations à grande longueur d'onde
- Cercles appariés : Si l'univers est suffisamment petit, la surface de dernière diffusion du CMB s'enroule, produisant des paires de cercles avec des motifs de température correspondants
- Spectre discret : Les champs quantiques sur un espace compact ont un spectre discret (plutôt que continu) de modes permis
- Énergie de Casimir : La taille finie génère une énergie du vide de Casimir qui dépend de la topologie spécifique
Le test des cercles appariés
Le test des cercles appariés, proposé par Cornish, Spergel et Starkman (1998), est la sonde observationnelle la plus directe de la topologie cosmique. L'idée est élégante : si l'univers est plus petit que le diamètre de la surface de dernière diffusion (SDD), alors la SDD s'enroule et s'intersecte elle-même. L'intersection de deux copies de la SDD est un cercle, et le motif de température le long de ce cercle doit être le même vu depuis les deux copies (à un possible déphasage près dû à l'identification des faces).
La méthode de Cornish-Spergel-Starkman (CSS)
Pour chaque topologie candidate, on cherche des paires de cercles sur le ciel du CMB avec des motifs de température corrélés. Les cercles sont caractérisés par leur rayon angulaire $\alpha$ et l'orientation relative des faces identifiées. Pour l'espace dodécaédrique avec $\Omega_{\text{tot}} = 1.013$, six paires de cercles appariés apparaîtraient avec un rayon angulaire $\alpha \approx 35°$, orientés selon la symétrie icosaédrique des identifications de faces.
Pour l'espace dodécaédrique, la recherche doit tester la torsion primitive de $36°$ imposée par l'identification des faces. Les recherches dans WMAP puis Planck n'ont fourni aucune détection robuste. Le résultat nul exclut surtout les modèles dont le rayon d'injection est nettement inférieur au rayon de la surface de dernière diffusion. Une topologie plus grande que l'univers observable reste hors de portée de ce test.
Signatures dans les multipôles du CMB
Au-delà des cercles appariés, une topologie non triviale produit des motifs distinctifs dans le spectre de puissance angulaire du CMB $C_\ell$. Dans un espace multiplement connexe, les modes propres du laplacien forment un ensemble discret plutôt qu'un continuum, et l'isotropie statistique du CMB est brisée de manières spécifiques :
- Modification des bas $\ell$ : La discrétisation du spectre peut réduire la puissance de certains grands modes, mais la projection sur les multipôles observés n'est pas une simple suppression terme par terme de $\ell=2$ et $\ell=3$
- Corrélations entre multipôles : Dans un univers simplement connexe, les différents modes $\ell$ sont statistiquement indépendants. Dans un espace multiplement connexe, le spectre de modes discret introduit des corrélations entre les valeurs de $C_\ell$ à différents $\ell$
- Violation de l'isotropie statistique : Les directions privilégiées des identifications de faces brisent l'invariance rotationnelle, produisant des corrélations hors diagonale dans les coefficients $a_{\ell m}$
- Modèles platycosmiques : Ce sont des espaces compacts plats ($k=0$) où une ou plusieurs dimensions sont bien plus petites que les autres (par ex. une topologie "dalle" $\mathbb{R}^2 \times S^1$). Ils ne suppriment que les modes le long de la dimension courte, produisant des corrélations anisotropes à grand angle. Ils sont appelés "platycosmiques" (univers plat) et sont particulièrement intéressants car ils sont compatibles avec $\Omega_{\text{tot}} = 1$ exactement
Statut observationnel actuel
La situation observationnelle reste tentante mais non concluante. Les résultats de Planck 2018 confirment plusieurs anomalies du CMB à grand angle qui sont compatibles avec (mais pas une preuve de) une topologie non triviale :
- La puissance du quadrupôle est basse au niveau d'environ $5\text{-}10\%$ (c'est-à-dire que 90-95% des univers $\Lambda$CDM simulés ont un quadrupôle plus élevé)
- Le quadrupôle et l'octupôle sont anormalement alignés (l'"axe du mal"), ce qui peut apparaître naturellement dans certaines topologies
- L'absence de corrélations à grand angle : la fonction de corrélation à deux points $C(\theta)$ est presque nulle pour $\theta > 60°$, ce qui est surprenant dans un univers infini mais attendu dans un univers compact
- Les contraintes combinant CMB et distances cosmologiques sont compatibles avec une courbure spatiale nulle. Elles laissent mathématiquement possibles des quotients compacts plats, ainsi que des espaces sphériques ou hyperboliques dont le rayon de courbure est très grand
Le programme COMPACT développe des calculs et des méthodes statistiques pour comparer des topologies compactes aux données cosmologiques. Le défi est de calculer les corrélations anisotropes complètes, puis de tenir compte des masques, des avant-plans et de l'effet de regard ailleurs. Aucun résultat publié ne justifie encore une détection de topologie cosmique.
La Fonction d'Onde de Hartle-Hawking et la Topologie
La proposition sans frontière de Hartle et Hawking définit la fonction d'onde de l'univers comme une intégrale de chemin euclidienne sur des géométries compactes. Appliquée à la question de la topologie, elle fait une prédiction nette :
Ceci est exponentiellement supprime par rapport a la topologie simplement connexe $S^3$, par le facteur $\exp(-\pi(1 - 1/|\Gamma|)/G\Lambda)$. La fonction d'onde de Hartle-Hawking favorise massivement $S^3$, la topologie la plus simple.
Mais l'Histoire N'Est Pas Si Simple
La fonction d'onde de tunnel de Vilenkin donne $\Psi \sim e^{+I_E}$, qui favoriserait les topologies quotient $S^3/\Gamma$ par rapport à $S^3$. Le débat Hartle-Hawking vs. Vilenkin est non résolu, et la préférence topologique s'inverse entre les deux. De plus, Guth et Vilenkin (2025) ont montré que les topologies plates compactes ($T^3$) ont des instantons nécessairement singuliers, suggérant que la gravité quantique semi-classique ne peut pas créer d'univers toroïdaux.
La Somme sur les Topologies
L'intégrale de chemin gravitationnelle devrait-elle sommer sur toutes les topologies ? Hawking a proposé oui (1978). Mais cela rencontre de sévères difficultés :
- Résultat 3D (Carlip) : La somme sur les topologies diverge : la densité de topologies croît plus vite que l'action ne les supprime
- Indécidabilité en 4D : La classification des 4-variétés lisses est algorithmiquement indécidable, rendant la somme même pas constructivement définie
- Structures exotiques : En 4D, $\mathbb{R}^4$ a un nombre indénombrable de structures différentiables non équivalentes, toutes potentiellement contributrices
- Progrès récents (2026) : Belin et al. ont identifié des mouvements de chirurgie qui génèrent les variétés requises dans l'intégrale de chemin 3D
Entropie de Gibbons-Hawking et Topologie
L'entropie de de Sitter pour une topologie quotient est proportionnelle a :
Un univers de topologie $S^3/\Gamma$ a moins de micro-etats d'un facteur $1/|\Gamma|$. Pour l'espace dodecaedrique de Poincare ($|\Gamma| = 120$), la dimension de l'espace de Hilbert est $\exp(S_{\text{dS}}/120)$, vastement plus petite que pour $S^3$.
Changement de Topologie et ses Obstructions
La topologie de l'espace peut-elle changer au cours du temps ? La RG classique impose des contraintes sévères :
Théorème de Geroch
Un espace-temps lorentzien dont les sections spatiales changent de topologie doit contenir des courbes temporelles fermées. Le changement de topologie en signature lorentzienne nécessite soit une pathologie causale, soit des métriques dégénérées.
Anderson et DeWitt ont montré que le changement de topologie en présence de champs quantiques produit une création infinie de particules. Les triangulations dynamiques causales (CDT) fixent la topologie spatiale par construction, et la géométrie résultante a la bonne limite semi-classique, suggérant que la topologie pourrait ne pas fluctuer du tout.
Perspectives Observationnelles
Les données actuelles (Planck, WMAP) ne détectent pas de topologie non triviale mais ne l'excluent pas pour des échelles topologiques proches de l'horizon. Les recherches actives incluent :
- Collaboration COMPACT : Recherche de signatures topologiques dans les données du CMB, incluant la rétroaction de Casimir sur l'expansion
- CMB-S4 : Télescope CMB de nouvelle génération avec la sensibilité pour sonder les cercles appariés à plus grande échelle angulaire
- DESI : Mesures BAO qui contraignent l'historique d'expansion, que la topologie pourrait modifier
Contre-Arguments
- La sélection de la topologie peut être sans réponse. Le problème de classification en 4D est indécidable. La question pourrait être mal posée jusqu'à ce qu'une théorie non perturbative de gravité quantique existe.
- La topologie fixe du CDT peut être correcte. Si la topologie est un secteur de super-sélection plutôt qu'une variable dynamique, la question "pourquoi cette topologie ?" n'a pas de réponse dynamique.
- La question peut être anthropique. Si le paysage inclut des vides avec toutes les topologies spatiales, la topologie observée pourrait être un accident environnemental.
- L'inflation dilue les signaux topologiques. Une inflation suffisante pousse l'échelle topologique bien au-delà de l'horizon observable, rendant la question empiriquement inaccessible.
Connexions
La topologie cosmique est liée au problème de l'énergie noire (Leçon 12.2) par les contributions d'énergie de Casimir, au programme du marécage (Leçon 11.6) par la conjecture de de Sitter, à la géométrie différentielle (Leçon 6.1), et aux nouvelles directions de recherche (Leçon 12.5) par la quintessence sur topologie finie.
- Courbure et topologie sont indépendantes : les équations d'Einstein déterminent la courbure locale mais sont muettes sur la topologie globale
- Les espaces topologiques sont classifiés par des invariants algébriques (nombres de Betti, groupe fondamental). L'espace dodécaédrique de Poincaré $S^3/I^*$ a $|\Gamma| = 120$ et est une sphère d'homologie ($b_1 = 0$)
- L'espace dodécaédrique de Poincaré peut modifier la puissance aux grands angles, mais il n'existe aucune détection observationnelle robuste de cette topologie
- Le test des cercles appariés de Cornish-Spergel-Starkman est la sonde la plus directe ; les résultats sont non concluants, surtout quand les torsions d'identification de faces sont incluses
- Les modèles platycosmiques (espaces compacts plats avec des dimensions anisotropes) produisent des corrélations CMB à grand angle distinctives tout en préservant $\Omega_{\text{tot}} = 1$
- La fonction d'onde de Hartle-Hawking favorise exponentiellement la topologie simplement connexe $S^3$, mais la proposition de tunnel de Vilenkin donne la préférence opposée
- La somme sur les topologies dans l'intégrale de chemin diverge en 3D et n'est même pas bien définie en 4D
- Les topologies quotient ont une entropie de de Sitter réduite : $S_{\text{dS}}/|\Gamma|$
- Le changement de topologie en signature lorentzienne nécessite des courbes temporelles fermées (théorème de Geroch)
- Des programmes comme COMPACT améliorent le calcul des signatures et leur comparaison statistique aux données
- Que la topologie soit dynamique, fixe ou sélectionnée anthropiquement reste l'une des questions ouvertes les plus profondes de la gravité quantique