Reconstructing the Goldberg-Palatini Action from Noether Identities

Résumé Technique : Reconstruction de l'action de Goldberg–Palatini à partir des identités de Noether

Énoncé du Problème
L'article examine dans quelle mesure la dynamique gravitationnelle peut être récupérée uniquement à partir de la cohérence d'un champ de spin deux sans masse interagissant, spécifiquement au sein d'un formalisme du premier ordre. Bien que la méthode de l'« auto-couplage » (Feynman, Desser) reconstruise avec succès la relativité générale en couplant itérativement le champ à son propre tenseur énergie-impulsion, cette méthode introduit des ambiguïtés concernant le choix du tenseur énergie-impulsion et nécessite de gérer des expansions infinies dans la formulation métrique. Les auteurs cherchent une formulation où les contraintes imposées par la symétrie de jauge (invariance par difféomorphismes) sont examinées directement via le second théorème de Noether, évitant ainsi la construction explicite d'un tenseur énergie-impulsion et déterminant l'action de manière unique au sein d'une classe spécifiée d'interactions polynomiales.

Méthodologie
Les auteurs emploient une stratégie qui inverse le calcul standard : au lieu de dériver les identités de Noether à partir d'une action connue, ils utilisent les identités associées à des transformations de champs prescrites pour déterminer les coefficients d'interaction inconnus d'une action locale et polynomiale.

1. Variables et Transformations : Les champs indépendants sont définis comme suit :

   • $\phi_{\mu\nu}$ : Une perturbation symétrique de la densité de la métrique contravariante.
   • $G^\lambda_{\mu\nu}$ : Une connexion affine ajustée par la trace (variable de Palatini), traitée comme un champ indépendant.
   • Les lois de transformation sous les difféomorphismes infinitésimaux sont prescrites, divisées en une partie indépendante du champ $\delta^{(0)}$ et une partie linéaire en $\kappa$ par rapport au champ $\kappa \delta^{(1)}$.

2. Analyse Dimensionnelle et Restriction de Secteur :

   • L'action est supposée être un polynôme local en $\phi$ et $G$, avec la constante de couplage gravitationnel $\kappa$ comme seule constante de dimension.
   • Un difféomorphisme spécifique, une dilatation de coordonnées ($x^\mu \to (1-\kappa\epsilon)x^\mu$), est appliqué. En analysant les poids d'échelle des champs et des dérivées, les auteurs démontrent que pour $d > 2$, toute action polynomiale de ce type doit se terminer au plus à l'ordre cubique.
   • Crucialement, cette analyse prouve que le seul terme cubique autorisé est un sommet sans dérivée de la forme $\phi GG$. Les termes de type $\phi\phi\phi$ ou $\phi\phi G$ sont exclus par la symétrie de dilatation.

3. Expansion de la Base Tensorielle :

   • Les auteurs construisent un ansatz général pour l'action jusqu'à l'ordre cubique, en développant les noyaux d'interaction ($K_{\phi\phi}, K_{\phi G}, K_{GG}, K_{\phi GG}$) dans des bases de tenseurs construits à partir de la métrique plate $\eta_{\mu\nu}$ et des moments.
   • Pour $d \ge 4$, cela résulte en un système de 31 coefficients inconnus.

4. Contraintes des Identités de Noether :

   • Les identités de Noether (hors-champ) sont imposées ordre par ordre dans les champs. Ces identités relient les noyaux des secteurs quadratiques et cubiques.
   • Les identités sont décomposées en secteurs de champs spécifiques ($\phi\phi, \phi G, GG, \phi GG$) et projetées sur des bases tensorielles pour générer un système d'équations algébriques linéaires.
   • Le système est résolu de manière symbolique, éliminant les coefficients étape par étape.

Résultats Clés

• Unicité de l'Action : L'imposition des identités de Noether réduit les 31 coefficients libres à une seule constante de normalisation globale. La solution est unique au sein de la classe spécifiée d'actions polynomiales.
• Récupération de Goldberg–Palatini : L'action résultante est identifiée comme l'action de Goldberg–Palatini (équivalente à l'action de Einstein-Hilbert du premier ordre), écrite comme :
  $$S = \int d^dx \left[ -G^\lambda_{\mu\nu}\partial_\lambda\phi^{\mu\nu} + (\eta + \kappa\phi)^{\mu\nu} \left( -\text{tr}(G_\mu G_\nu) + \frac{1}{d-1}g_\mu g_\nu \right) \right]$$
• Annulation du Noyau $\phi\phi$ : Les identités forcent le noyau quadratique purement métrique ($K_{\phi\phi}$) à s'annuler. Cela implique que la dynamique des perturbations métriques est entièrement portée par leur couplage à la connexion, plutôt que par un terme cinétique de Fierz-Pauli autonome.
• Réduction de la Formulation Métrique : Puisque l'équation du mouvement pour la connexion $G$ est algébrique, elle peut être éliminée exactement. On récupère ainsi l'action complète d'Einstein-Hilbert du second ordre en termes de densité métrique, incluant l'ensemble infini de sommets de gravitons. Les termes quadratiques et cubiques de cette expansion sont montrés comme correspondant aux résultats existants dans la littérature (Capper, Leibbrandt et Ramón Medrano) à un différent près des dérivées totales.

Signification et Revendications
L'article revendique une dérivation directe de l'action gravitationnelle du premier ordre sans les ambiguïtés associées à l'approche de l'auto-couplage (spécifiquement, le choix du tenseur énergie-impulsion). La signification réside dans :

1. Application Directe de la Symétrie : La construction repose uniquement sur les identités de Noether hors-champ des transformations prescrites, maintenant l'apport géométrique au sein même des lois de transformation.
2. Détermination Finie : En utilisant des variables du premier ordre, le problème de la reconstruction de l'action non linéaire est réduit à un système fini de contraintes linéaires sur les coefficients tensoriels, évitant l'expansion infinie typique des formulations métriques.
3. Dérivation de la Terminaison : La terminaison de l'action à l'ordre cubique est démontrée comme une conséquence nécessaire de la polynomialité et de la symétrie de dilatation, plutôt que comme une hypothèse.
4. Portée et Limites : Le résultat d'unicité est valable pour $d \ge 4$ et pour des actions polynomiales en champs avec l'assignation spécifique de puissance de couplage. Les auteurs précisent explicitement que le résultat n'affirme pas que l'invariance par difféomorphisme choisit à elle seule la gravité d'Einstein parmi toutes les théories gravitationnelles locales (par exemple, avec des termes de dérivées d'ordre supérieur ou des assignations de couplage différentes), mais qu'elle sélectionne de manière unique l'action de Goldberg–Palatini au sein de la classe polynomiale définie. La construction est classique ; l'équivalence quantique au-delà de l'ordre de l'arbre (tree level) n'est pas abordée.