Spatially covariant gravity with two degrees of freedom: A perturbative analysis up to cubic order

En adoptant une approche perturbative jusqu'à l'ordre cubique autour d'un fond cosmologique, cette étude identifie cinq lagrangiens explicites de gravité spatialement covariante qui éliminent le mode scalaire et ne propagent ainsi que deux degrés de liberté.

L'essentiel

Imagine que l'univers est comme une immense toile élastique, la fameuse « toile d'espace-temps » décrite par Einstein. Dans sa théorie de la Relativité Générale, cette toile vibre uniquement avec deux types de mouvements : des ondes gravitationnelles qui se déplacent comme des vagues sur l'eau. C'est ce qu'on appelle les deux degrés de liberté (ou 2 DOF).

Pendant des décennies, les physiciens ont essayé de modifier cette théorie pour expliquer des mystères cosmiques (comme l'énergie sombre), mais ils risquaient souvent d'ajouter un troisième mouvement, une sorte de « fantôme » ou de vibration parasite qui rendrait la théorie instable et fausse.

Voici l'explication simple de ce que font les auteurs de cet article, Yang Yu, Yu-Min Hu et Xian Gao, en utilisant des analogies du quotidien :

1. Le Problème : Construire une maison sans ajouter de pièces inutiles

Imaginez que vous êtes un architecte (un physicien) qui veut construire une nouvelle maison (une théorie de la gravité modifiée). Vous voulez que la maison soit solide et ressemble à celle d'Einstein, mais avec quelques ajouts pour la rendre plus moderne.

Le problème, c'est que si vous ajoutez n'importe quel matériau, vous risquez d'ajouter une pièce secrète, un grenier caché (le mode scalaire) qui ne devrait pas exister. Si ce grenier existe, la maison s'effondre (la théorie devient mathématiquement impossible).

La méthode traditionnelle pour vérifier cela est comme un inspecteur des bâtiments qui regarde les plans en 3D (l'analyse hamiltonienne). C'est très précis, mais c'est aussi un casse-tête mathématique terrible, surtout quand les matériaux sont complexes (non linéaires).

2. La Solution : Le test de l'agitation progressive

Au lieu de regarder les plans statiques, les auteurs de cet article utilisent une approche différente : le test de l'agitation.

Imaginez que vous secouez la maison :

• Niveau 1 (Secousse légère) : Vous vérifiez si la maison tremble de manière normale.
• Niveau 2 (Secousse moyenne) : Vous vérifiez si les murs commencent à grincer.
• Niveau 3 (Secousse forte) : Vous vérifiez si le grenier caché commence à apparaître.

Les auteurs disent : « Si nous pouvons construire une maison qui ne révèle aucun grenier caché même quand on la secoue très fort (jusqu'au troisième niveau de perturbation), alors notre maison est sûre ! »

3. Ce qu'ils ont fait : La recette de cuisine

Les auteurs ont pris une « soupe » de formules mathématiques (le Lagrangien) qui contient tous les ingrédients possibles pour modifier la gravité. Cette soupe a trois types d'ingrédients principaux :

• Les ingrédients de base (d=0).
• Les ingrédients de niveau 2 (d=2).
• Les ingrédients de niveau 3 (d=3), qui sont les plus complexes et les plus dangereux.

Ils ont ensuite appliqué leur « test de secousse » (l'analyse perturbative) autour d'un univers en expansion (comme un fond cosmologique). Ils ont cherché à régler les quantités d'ingrédients (les coefficients) de manière à ce que, à chaque niveau de secousse, le « grenier fantôme » (le mode scalaire) disparaisse complètement.

4. Le Résultat : Cinq recettes gagnantes

Après avoir fait des calculs énormes (comme ajuster les épices dans une recette), ils ont trouvé cinq recettes spécifiques (cinq Lagrangiens) qui fonctionnent parfaitement.

• Si vous utilisez ces recettes, votre maison (votre théorie) ne vibre que sur les deux modes autorisés par Einstein.
• Le « fantôme » est éliminé, même quand on secoue fort la théorie.

Cependant, ils ont fait une remarque importante : parmi ces cinq recettes, deux seulement sont vraiment compatibles avec notre réalité actuelle (elles ressemblent à la Relativité Générale quand on regarde de près). Les trois autres sont mathématiquement correctes pour le moment, mais elles ne correspondent pas à ce que nous observons dans l'univers proche.

En résumé

Ces chercheurs ont trouvé une nouvelle façon de construire des théories de la gravité. Au lieu de se perdre dans des calculs complexes de plans statiques, ils ont testé la solidité de leurs théories en les « secouant » mathématiquement.

L'analogie finale :
C'est comme si vous vouliez créer un nouveau type de voiture électrique. Au lieu de vérifier chaque pièce individuellement sur le papier, vous la faites rouler sur des routes de plus en plus cahoteuses. Si la voiture ne perd pas de pièces (pas de mode scalaire) même sur la route la plus cahoteuse (ordre cubique), alors vous savez que vous avez un modèle viable. Ils ont trouvé cinq modèles qui passent le test, dont deux qui semblent prêts pour la route !

Résumé technique

1. Problématique et Contexte

La théorie de la relativité générale (RG) possède exactement deux degrés de liberté (DOF) propagatifs, correspondant aux ondes gravitationnelles tensorielles. Cependant, de nombreuses théories de gravité modifiée introduisent des DOF supplémentaires (souvent un mode scalaire), ce qui peut entraîner des instabilités (fantômes) ou être en contradiction avec les observations d'ondes gravitationnelles (comme GW170817) qui suggèrent une propagation purement tensorielle.

L'objectif est de construire des théories de gravité modifiée qui ne propagent que deux degrés de liberté (2-DOF), tout en évitant le théorème de Lovelock qui restreint la RG unique en 4D sous certaines hypothèses de symétrie. La Gravité Covariante Spatiale (SCG) est un cadre prometteur pour cela, car elle brise l'invariance par reparamétrisation du temps tout en préservant l'invariance par difféomorphisme spatial.

Le problème central abordé dans cet article est la difficulté de traduire les conditions rigoureuses d'annulation du mode scalaire (dérivées par une analyse hamiltonienne) en Lagrangiens explicites, surtout lorsque le Lagrangien dépend de manière non linéaire de la courbure extrinsèque ($K_{ij}$). Les analyses précédentes se sont limitées à l'ordre quadratique (linéaire en perturbations), ce qui ne garantit pas l'absence du mode scalaire aux ordres non linéaires supérieurs.

2. Méthodologie

Les auteurs adoptent une approche purement lagrangienne basée sur la théorie des perturbations autour d'un fond cosmologique de type Friedmann-Lemaître-Robertson-Walker (FLRW).

• Cadre théorique : Ils considèrent une action SCG de type polynomial jusqu'à l'ordre $d=3$ (où $d$ est le nombre total de dérivées dans chaque monôme). L'action générale contient des termes d'ordre 0, 2 et 3 en courbure extrinsèque et dérivées spatiales.
• Stratégie perturbative :
  1. Décomposition des variables ADM ($N, N^i, h_{ij}$) en un fond cosmologique et des perturbations scalaires ($A, B, \zeta$).
  2. Résolution des équations de contraintes pour les variables auxiliaires non dynamiques ($A$ et $B$, liées au lapsus et au vecteur de décalage) en fonction du mode scalaire physique $\zeta$.
  3. Substitution de ces solutions dans l'action perturbée pour obtenir une action effective dépendant uniquement de $\zeta$.
  4. Condition de dégénérescence : Pour éliminer le mode scalaire propagatif, les termes cinétiques (dérivées temporelles) de $\zeta$ doivent s'annuler ou devenir dégénérés à chaque ordre de perturbation.
• Extension : Contrairement aux travaux antérieurs limités à l'ordre quadratique, cette étude étend l'analyse jusqu'à l'ordre cubique (troisième ordre en perturbations) pour contraindre les coefficients des termes d'ordre $d=3$.

3. Contributions Clés et Résultats

L'analyse aboutit à la dérivation de conditions strictes sur les fonctions de coefficients du Lagrangien pour assurer l'absence de mode scalaire jusqu'à l'ordre cubique.

A. Classification des Solutions

En imposant la dégénérescence à l'ordre quadratique, deux branches principales de solutions pour les coefficients apparaissent (Cas I et Cas II). L'analyse à l'ordre cubique permet de filtrer ces branches :

1. Cas II (Rejeté) : Cette branche, qui implique une dépendance spécifique à la vitesse du lapsus ($f_3 \neq 0$), conduit à des opérateurs non locaux dans les solutions des contraintes. L'analyse détaillée (Appendice B) montre qu'il est impossible de satisfaire les conditions de dégénérescence à l'ordre cubique dans cette branche. Les termes d'ordre cubique réintroduisent inévitablement un degré de liberté scalaire.
2. Cas I (Validé) : Cette branche, où les termes d'accélération spatiale du lapsus sont nuls ($\tilde{b}_3 = 0$), permet de trouver des solutions cohérentes.

B. Identification de Cinq Lagrangiens Candidats

En résolvant les équations différentielles issues des conditions d'annulation des termes à 2 et 3 dérivées temporelles dans l'ordre cubique, les auteurs identifient cinq actions explicites ($S_{A1}, S_{A2}, S_{B1}, S_{B2}, S_{C}$) qui ne propagent que 2 DOF jusqu'à l'ordre cubique.

• Sélection Physique : Parmi ces cinq actions, seules $S_{A1}$ et $S_{A2}$ sont compatibles avec la Relativité Générale dans la limite des basses énergies (limite IR). Les trois autres ($S_{B1}, S_{B2}, S_{C}$) ne reproduisent pas correctement le comportement de la RG (notamment en raison de la dépendance des coefficients par rapport au lapsus qui empêche la récupération du terme d'Einstein-Hilbert standard).

C. Relations avec les Théories Existantes

Les auteurs démontrent que leurs résultats englobent et généralisent des théories connues :

• Théorie du Cuscuton étendu : Les actions $S_{A1}$ et $S_{A2}$ contiennent les branches de solutions de la théorie du cuscuton étendu (Extended Cuscuton) comme cas particuliers.
• Théories quadratiques 2-DOF : L'action $S_{A1}$ (avec les termes d'ordre 3 nuls) reproduit exactement les théories 2-DOF quadratiques construites précédemment par analyse hamiltonienne, validant ainsi la méthode perturbative utilisée.

4. Signification et Implications

• Méthodologique : L'article démontre la puissance de l'analyse perturbative d'ordre supérieur pour construire des théories de gravité modifiée saines. Il montre que les conditions obtenues à l'ordre quadratique sont insuffisantes et que l'ordre cubique est nécessaire pour éliminer complètement le mode scalaire dans les modèles polynomiaux SCG.
• Théorique : La découverte de cinq actions explicites (dont deux physiquement viables) fournit des candidats concrets pour des théories de gravité modifiée qui respectent strictement la propagation de deux ondes gravitationnelles tensorielles, sans mode scalaire parasite.
• Observationnelle : Ces théories offrent un cadre pour tester des déviations par rapport à la RG dans des régimes cosmologiques ou à haute énergie, tout en restant compatibles avec les contraintes actuelles sur les ondes gravitationnelles (absence de mode scalaire détecté).

En conclusion, ce travail fournit une classification systématique et complète des modèles SCG polynomiaux jusqu'à l'ordre $d=3$ qui sont sains (2 DOF) au moins jusqu'à l'ordre cubique en perturbations, offrant une base solide pour des études phénoménologiques futures.