Le marécage : ce que la gravité quantique interdit

Chaque affirmation porte son statut : Établi — corroboré par l’expérience ou l’histoire ; Débattu — cohérent mais non confirmé ; Spéculatif — hypothèse de travail.

La théorie des cordes est accusée depuis vingt ans de tout permettre. Un programme lancé en 2005 soutient l’inverse : elle interdirait beaucoup — et peut-être l’univers dans lequel nous vivons. En 2018, quatre auteurs ont mis cette interdiction sous forme d’inégalité. Ce carnet a nommé le marécage deux fois, en passant — sans jamais dire ce qu’il interdit.

Le paysage et le marécage

La théorie des cordes n’a pas une solution mais un nombre immense de solutions possibles, chacune définissant un univers avec ses constantes et ses particules. C’est ce qu’on appelle le paysage. L’objection évidente est qu’une théorie qui autorise tout ne prédit rien. Débattu

Le programme du marécage renverse la question. Au lieu de recenser ce que la théorie permet, il cherche à délimiter ce qu’elle interdit : l’ensemble des théories d’apparence parfaitement cohérente — rien dans leurs équations ne cloche — mais qui ne peuvent descendre d’aucune théorie de gravité quantique. Le paysage est l’île ; le marécage est ce qui l’entoure, et il est beaucoup plus vaste. Débattu

Un vide qui résiste à la construction

L’affaire se joue sur un objet précis : l’espace de de Sitter, c’est-à-dire un univers vide en expansion accélérée, animé par une énergie du vide positive. C’est l’approximation la plus simple de l’univers que nous observons, puisque son expansion s’accélère. Établi

Le fait de départ de l’article de 2018 est un constat de métier, et ses auteurs l’énoncent sans détour : construire un vide de Sitter métastable en théorie des cordes dans une approximation contrôlée s’est révélé notoirement difficile. Des années de tentatives, des constructions qui marchent mal, des théorèmes d’impossibilité partiels. Ce n’est pas une preuve ; c’est un faisceau. Établi

D’où l’hypothèse : et si cette difficulté n’était pas un manque d’habileté, mais un interdit ? Et si le de Sitter métastable appartenait au marécage ? Débattu

L’interdiction mise en inégalité

La proposition de Georges Obied, Hirosi Ooguri, Lev Spodyneiko et Cumrun Vafa, déposée le 21 juin 2018 sous la référence arXiv:1806.08362 et révisée le 17 juillet (vingt-deux pages), consiste à transformer ce soupçon en critère explicite. Elle porte sur le potentiel qui gouverne les champs scalaires de la théorie — la fonction dont la valeur joue le rôle d’énergie du vide. Établi

Le critère dit ceci : dans toute théorie cohérente de gravité quantique, la pente du potentiel ne peut jamais être négligeable devant sa valeur. Formellement, la norme du gradient du potentiel reste supérieure ou égale au potentiel lui-même, à une constante positive près. Autrement dit : là où l’énergie du vide est positive, le terrain est forcément en pente. Débattu

La conséquence est immédiate, et c’est pour elle que le critère a fait du bruit : un vide de Sitter est un point où la pente s’annule et où la valeur reste positive. Le critère l’exclut. Il interdit les vides de Sitter. Débattu

Sur quoi le critère s’appuie

Les auteurs ne présentent pas une démonstration mais une motivation, et la distinction compte. L’inégalité est tirée de l’abondance des constructions de théorie des cordes et des théorèmes d’impossibilité qui, tous, manifestent ce comportement. C’est une généralisation faite sur un échantillon de cas étudiés, pas un théorème. Établi

L’article fait un second pas, moins cité et plus solide : il étend des théorèmes d’impossibilité déjà connus pour les vides de Sitter à des univers en accélération plus généraux, et réinterprète ces résultats comme des restrictions sur les potentiels scalaires autorisés. Ce travail-là ne dépend pas de la conjecture : il la précède et lui donne son assise. Établi

La version raffinée, et ce qu’elle évite

Un critère aussi tranchant attire les contre-exemples, et il en a reçu. Les objections visent les points où le potentiel atteint un maximum : là, le gradient s’annule, et l’inégalité tombe en défaut sans qu’un vide de Sitter stable soit pour autant construit. Débattu

Une version raffinée a été proposée par Hirosi Ooguri, Eran Palti, Gary Shiu et Cumrun Vafa. Elle relie la conjecture de distance — qui borne le chemin qu’un champ scalaire peut parcourir — à une forme assouplie du critère de Sitter, en passant par la borne d’entropie covariante de Bousso. Cette version échappe à tous les contre-exemples soulevés aux maxima du potentiel. Débattu

C’est ainsi que travaille un programme de conjectures : un énoncé fort, des contre-exemples, un énoncé plus faible qui les absorbe. La question reste de savoir si la version qui survit dit encore quelque chose de fort. Débattu

Pourquoi ce carnet aurait dû en parler plus tôt

Il faut l’écrire : c’est une dette. Ce carnet a publié sur les cordes, sur le paysage, sur les espaces de de Sitter, et il a nommé le marécage deux fois. Le 15 juillet, pour dire que ce programme « passe précisément son temps à montrer que beaucoup de ces vides pourraient n’être que des mirages mathématiques » ; le 22 septembre, en une demi-phrase. Il n’a jamais dit ce que le marécage interdit, ni sur quel critère. Le mot marécage figurait au glossaire ; l’article qui le justifie manquait. Établi

La correction ne tient pas en un texte, parce que le sujet a deux faces. Le critère est une affaire de gravité quantique : c’est celle-ci. Sa conséquence est une affaire de cosmologie observable, et c’est celle de demain : si aucun vide de Sitter n’est permis, l’énergie noire ne peut pas être une constante cosmologique. Il faut qu’elle bouge.

La difficulté à construire un vide de Sitter métastable contrôlé en théorie des cordes est un constat établi, que les auteurs du critère prennent comme point de départ. Le critère lui-même est une conjecture : motivée par un échantillon de constructions et de théorèmes d’impossibilité, non démontrée, et discutée — ses contre-exemples aux maxima du potentiel ont forcé une version raffinée. Rien ici n’est acquis au sens où l’est un résultat expérimental.