The trace-free Einstein tensor is not variational for the metric as field variable

Cet article démontre que le tenseur d'Einstein sans trace ne peut pas être obtenu par variation d'une action locale, même sans supposer l'invariance par difféomorphisme.

L'essentiel

🌌 Le mystère de l'équation qui ne veut pas "naître" d'une recette

Imaginez que l'univers est un immense gâteau. En physique, les équations qui décrivent comment ce gâteau se comporte (comment il se déforme, comment la gravité agit) sont souvent écrites comme si elles provenaient d'une recette secrète.

En science, cette "recette" s'appelle une action. Si vous prenez cette recette, vous la "variez" (vous la modifiez légèrement, comme si vous ajustiez la quantité de sucre ou de farine), et vous obtenez les équations du mouvement. C'est le principe de base de la physique moderne : Équation = Résultat de la variation d'une recette.

1. Le problème : L'équation "sans trace"

Les physiciens ont une équation très célèbre, l'équation d'Einstein, qui décrit la gravité. Mais il existe une version modifiée de cette équation, appelée l'équation d'Einstein sans trace (ou "trace-free").

• L'analogie : Imaginez que vous avez une recette de gâteau. La version normale vous dit exactement combien de farine, de sucre et d'œufs mettre. La version "sans trace" vous dit : "Oubliez le poids total du gâteau, concentrez-vous juste sur la forme et la texture, peu importe la taille."

Cette version "sans trace" est intéressante car elle permet de résoudre certains mystères cosmologiques (comme pourquoi l'univers accélère son expansion) sans avoir besoin de fixer une valeur précise pour l'énergie sombre (la constante cosmologique). Elle apparaît comme un "bonus" mathématique qui change selon la solution choisie.

2. La question du papier : Peut-on trouver cette équation dans une recette ?

Les auteurs de cet article (von Blanckenburg, Giulini et Schwartz) se posent une question fondamentale :

"Est-il possible de trouver une recette (une action) qui, une fois modifiée, donne exactement cette équation 'sans trace' ?"

Jusqu'à présent, on pensait que la réponse était "non", mais seulement si on respectait une règle très stricte : la symétrie (l'idée que la recette ne change pas si on tourne le gâteau ou si on le déplace).

Leur découverte : Ils prouvent que la réponse est "non", même si on abandonne cette règle de symétrie ! Même si on autorise n'importe quelle recette bizarre, on ne peut pas faire apparaître cette équation spécifique par variation.

3. L'outil magique : Le "Test de la Recette" (Méthode de Vainberg-Tonti)

Pour prouver cela, ils utilisent un outil mathématique très élégant qu'ils appellent la méthode de complétion variationnelle.

• L'analogie : Imaginez que vous avez une équation mystérieuse (notre équation "sans trace"). Vous voulez savoir si elle vient d'une recette.
  1. Vous prenez votre équation et vous la "tendez" ou la "rétrécissez" (vous changez l'échelle de l'univers, comme si vous zoomiez ou dézoomiez sur le gâteau).
  2. Vous essayez de reconstruire la recette originale en intégrant ces changements.
  3. Le verdict : Si la recette que vous reconstruisez est vide (nulle), alors votre équation d'origine ne peut pas venir d'une vraie recette. C'est comme si vous essayiez de trouver la recette d'un gâteau en regardant une photo du gâteau, et que la "recette" que vous déduisez disait "0 œufs, 0 farine, 0 sucre". Impossible !

4. Le résultat de l'expérience

Les auteurs ont appliqué ce test à l'équation d'Einstein "sans trace".

• Ils ont fait le calcul (en jouant avec les échelles de l'espace-temps).
• Résultat : La "recette" reconstruite est totalement nulle.
• Conclusion : L'équation "sans trace" est une "orpheline". Elle ne peut pas être le résultat direct de la variation d'une action locale avec la métrique (la mesure de l'espace) comme variable.

5. Pourquoi ce n'est pas une catastrophe ?

Vous pourriez penser : "Ah bon ? Alors cette équation est fausse ou inutile ?"
Non ! C'est là que l'histoire devient fascinante.

• Le fait qu'elle ne vienne pas d'une recette simple ne signifie pas qu'elle est fausse. Cela signifie juste qu'on ne peut pas l'obtenir en modifiant simplement la "recette" de la gravité standard.
• Pour utiliser cette équation, les physiciens doivent soit :
  1. L'accepter telle quelle, sans chercher à la dériver d'une action (comme on accepte une loi empirique).
  2. Ou changer les règles du jeu : utiliser d'autres variables (comme dans la gravité unimodulaire, où l'on fixe le volume de l'espace) ou ajouter des ingrédients supplémentaires (des champs auxiliaires).

En résumé

Cet article est comme un détective qui prouve qu'un suspect (l'équation d'Einstein sans trace) ne peut pas avoir commis le crime (être le résultat d'une variation d'action) avec les outils habituels, même si on lui retire ses alibis habituels (la symétrie).

Cela ne rend pas le suspect innocent (l'équation n'est pas fausse), mais cela nous force à changer notre approche pour comprendre comment elle fonctionne dans l'univers. C'est une preuve mathématique rigoureuse qui ferme une porte pour en ouvrir d'autres, plus complexes mais potentiellement plus riches.

Résumé technique

Voici un résumé technique détaillé de l'article « The trace-free Einstein tensor is not variational for the metric as field variable » de von Blanckenburg, Giulini et Schwartz.

1. Problématique et Contexte

L'article aborde une question fondamentale en théorie des champs gravitationnels : la possibilité de dériver les équations d'Einstein sans trace (Trace-Free Einstein Equations - TFE) à partir d'un principe variationnel local.

Les équations TFE pour une métrique pseudo-riemannienne $g_{\mu\nu}$ en $n$ dimensions ($n \ge 3$) s'écrivent :
$$R_{\mu\nu} - \frac{1}{n} R g_{\mu\nu} = \kappa \left( T_{\mu\nu} - \frac{1}{n} T g_{\mu\nu} \right)$$
où $R_{\mu\nu}$ est le tenseur de Ricci, $R$ le scalaire de Ricci, et $T_{\mu\nu}$ le tenseur énergie-impulsion.

Contexte théorique :

• Il est bien établi que le tenseur d'Einstein complet ($G_{\mu\nu}$) est le résultat de la variation de l'action d'Einstein-Hilbert par rapport à la métrique (ou sa densité).
• Il est également connu que le tenseur d'Einstein sans trace ($G^{tf}_{\mu\nu}$) ne peut pas provenir de la variation d'une action invariante par difféomorphisme si la métrique est la seule variable de champ. En effet, l'invariance par difféomorphisme impose que la divergence covariante de la dérivée variationnelle soit identiquement nulle, ce qui n'est pas le cas pour $G^{tf}_{\mu\nu}$ (contrairement à $G_{\mu\nu}$ qui satisfait l'identité de Bianchi contractée).
• La question ouverte : Ce résultat de non-variationalité persiste-t-il si l'on abandonne l'hypothèse d'invariance par difféomorphisme ? Autrement dit, existe-t-il n'importe quelle action locale (invariante ou non) dont la variation par rapport à la métrique inverse donne exactement le tenseur d'Einstein sans trace ?

2. Méthodologie

Les auteurs utilisent les outils du calcul des variations inverse, spécifiquement la méthode de complétion variationnelle canonique (ou méthode de Vainberg-Tonti).

Concepts clés de la méthode :

1. Expression tensorielle : On considère une expression tensorielle $E_A[y^B]$ dépendant d'un champ tensoriel $y^B$ (ici la métrique inverse $g^{\mu\nu}$) et de ses dérivées.
2. Lagrangien de Vainberg-Tonti : À toute telle expression, on associe un Lagrangien scalaire $L[y^A]$ défini par une intégrale paramétrique :
   $$L[y^A] := y^B \int_a^1 E_B[u y^A] \, du$$
   où $a$ est une limite inférieure choisie telle que $\lim_{u\to a} u E_B[u y^A] = 0$.
3. Théorème de complétion : Si l'expression $E_A$ est localement variationnelle (c'est-à-dire qu'elle provient d'une action), alors la variation de l'action construite avec ce Lagrangien de Vainberg-Tonti doit redonner l'expression originale $E_A$.
4. Stratégie de preuve (Contraposée) : Si le Lagrangien de Vainberg-Tonti existe mais que sa variation ne redonne pas l'expression originale (ou donne zéro alors que l'expression est non nulle), alors l'expression originale n'est pas localement variationnelle.

3. Contributions Clés et Démonstration

Le théorème principal (Théorème 1) établit que pour $n \ge 3$, le tenseur d'Einstein sans trace densifié ne peut pas être obtenu par variation d'une action locale par rapport à la métrique inverse, même sans hypothèse d'invariance par difféomorphisme.

Détails de la démonstration :

1. Choix de la variable : Les auteurs travaillent avec la métrique inverse $g^{\mu\nu}$ comme variable de champ. Le tenseur densifié est défini comme $\tilde{G}^{tf}_{\mu\nu} = \sqrt{|g|} (R_{\mu\nu} - \frac{1}{n} R g_{\mu\nu})$.
2. Analyse de l'échelle (Scaling) : Ils étudient le comportement de l'expression sous une transformation d'échelle $g^{\mu\nu} \to u g^{\mu\nu}$ (ce qui implique $g_{\mu\nu} \to u^{-1} g_{\mu\nu}$).
   • Les symboles de Christoffel et le tenseur de Ricci $R_{\mu\nu}$ sont invariants sous cette transformation.
   • Le scalaire de Ricci $R = g^{\mu\nu}R_{\mu\nu}$ se transforme comme $u^{-1} R$.
   • Le facteur de densité $\sqrt{|g|}$ se transforme comme $|u|^{-n/2}$.
   • Le tenseur densifié transformé devient : $\tilde{G}^{tf}_{\mu\nu}[u g^{\mu\nu}] = |u|^{-n/2} \tilde{G}^{tf}_{\mu\nu}[g^{\mu\nu}]$.
3. Calcul du Lagrangien de Vainberg-Tonti :
   • La condition de convergence de l'intégrale impose que la limite inférieure soit $a = \infty$ (car pour $n \ge 3$, le facteur d'échelle $u|u|^{-n/2}$ tend vers 0 uniquement quand $u \to \infty$).
   • Le Lagrangien s'écrit :
     $$L = g^{\rho\sigma} \int_{\infty}^1 \tilde{G}^{tf}_{\rho\sigma}[u g^{\mu\nu}] \, du$$
   • En substituant la loi d'échelle et en intégrant, on obtient un terme proportionnel à $g^{\rho\sigma} \tilde{G}^{tf}_{\rho\sigma}$.
4. Résultat de l'intégration :
   • Par définition, le tenseur d'Einstein sans trace est sans trace : $g^{\mu\nu} \tilde{G}^{tf}_{\mu\nu} = 0$.
   • Par conséquent, le Lagrangien de Vainberg-Tonti est identiquement nul ($L = 0$).
5. Conclusion logique :
   • La variation de l'action associée à ce Lagrangien nul est nulle.
   • Or, l'expression originale $\tilde{G}^{tf}_{\mu\nu}$ n'est pas nulle.
   • Selon le théorème de complétion variationnelle, cela prouve que $\tilde{G}^{tf}_{\mu\nu}$ ne peut pas être la dérivée variationnelle d'une action locale par rapport à $g^{\mu\nu}$.

4. Résultats Principaux

• Théorème 1 : Pour $n \ge 3$, le tenseur d'Einstein sans trace (densifié) n'est pas variationnel par rapport à la métrique inverse, quelle que soit l'action locale considérée (invariante ou non par difféomorphisme).
• Généralité : Ce résultat s'applique également si l'on considère la métrique $g_{\mu\nu}$ comme variable de champ (le tenseur contravariant sans trace). Dans ce cas, l'analyse d'échelle conduit à une limite d'intégration $a=0$, et le Lagrangien de Vainberg-Tonti s'annule également par trace-finitude.
• Distinction importante : Ce résultat ne nie pas la validité physique des équations TFE, ni la possibilité de formuler des principes variationnels pour ces équations en utilisant d'autres variables de champ (comme dans la gravité unimodulaire ou en ajoutant des champs auxiliaires). Il établit uniquement l'impossibilité d'obtenir ces équations directement par variation de l'action par rapport à la métrique seule.

5. Signification et Implications

• Clarification théorique : L'article résout une ambiguïté en montrant que la non-variationalité du tenseur d'Einstein sans trace n'est pas une conséquence de l'invariance par difféomorphisme, mais une propriété intrinsèque de la structure algébrique du tenseur lui-même lorsqu'il est couplé à la métrique comme variable unique.
• Gravité Unimodulaire : Le résultat a des implications directes pour la gravité unimodulaire. Bien que cette théorie soit souvent formulée via un principe variationnel, les auteurs rappellent que dans ces formulations, la variation par rapport à la métrique donne les équations d'Einstein complètes (avec une constante cosmologique agissant comme multiplicateur de Lagrange), et non directement les équations sans trace. Les équations sans trace n'apparaissent qu'après application de la contrainte de volume.
• Limites des formulations standards : Cela confirme que pour traiter les équations TFE dans un cadre lagrangien standard, il est nécessaire de modifier le formalisme (changement de variables dynamiques, introduction de champs supplémentaires, ou relaxation de la contrainte de dépendance locale stricte), car l'action standard par rapport à la métrique est structurellement incapable de produire ces équations.

En résumé, cet article fournit une preuve rigoureuse et générale de l'impossibilité de dériver les équations d'Einstein sans trace d'une action locale standard par rapport à la métrique, renforçant la nécessité de formalismes alternatifs pour l'étude de ces théories gravitationnelles modifiées.