Removing Ostrogradsky modes in multi-field higher-order scalar-tensor theories

Résumé Technique : Élimination des modes d'Ostrogradsky dans les théories scalaire-tenseur multi-champs à ordre supérieur

Énoncé du Problème
Les théories scalaire-tenseur sont des extensions naturelles de la Relativité Générale utilisées en cosmologie et dans les théories de champs effectives. Un défi central dans la construction de telles théories, particulièrement celles possédant des dérivées d'ordre supérieur, est d'éviter l'instabilité d'Ostrogradsky, qui introduit typiquement des degrés de liberté de type fantôme. Bien que les équations de champ du second ordre (comme dans la théorie de Horndeski) soient suffisantes pour éviter cette instabilité, elles ne sont pas nécessaires ; la dégénérescence dans la structure cinétique peut également éliminer les modes indésirables.

Le problème devient nettement plus complexe dans les scénarios multi-champs ($N \ge 2$). Contrairement au cas à champ unique, où la dégénérescence est caractérisée par une condition scalaire unique, les théories multi-champs impliquent des matrices dans l'espace des champs. Les directions nulles de la matrice cinétique peuvent impliquer diverses combinaisons de vitesses scalaires et métriques, conduisant à des structures de contraintes qualitativement différentes. Les classifications existantes reposent souvent sur des équations du second ordre, mais cet article traite le cas plus général des théories scalaire-tenseur quadratiques d'ordre supérieur sans imposer les équations du second ordre comme principe définissant. L'objectif est de déterminer les conditions nécessaires et suffisantes sous lesquelles ces théories propagent exactement $2 + N$ degrés de liberté (deux modes tensoriels et un mode scalaire par champ) sans fantômes d'Ostrogradsky.

Méthodologie
Les auteurs emploient une analyse hamiltonienne au sein du formalisme Arnowitt-Deser-Misner (ADM) pour suivre explicitement la structure des contraintes de la théorie.

1. Action et Formulation Auxiliaire : L'étude commence par une action covariante générale pour $N$ champs scalaires $\phi^i$ contenant des termes quadratiques dans les dérivées covariantes secondes $\nabla_\mu \nabla_\nu \phi^i$. Pour isoler la structure cinétique et gérer les dérivées d'ordre supérieur, un champ de co-vecteur auxiliaire $A_{i\mu}$ est introduit pour chaque scalaire, imposé par un multiplicateur de Lagrange. Cela reformule la théorie en une action du premier ordre où les vitesses sont manifestes.
2. Décomposition ADM : L'action est décomposée en composantes spatiales et temporelles. Les variables de vitesse pertinentes sont identifiées comme la dérivée normale du champ auxiliaire ($V^*_i$) et la courbure extrinsèque ($K_{ab}$). Le secteur cinétique est décrit par une matrice hessienne $H_{AB}$ agissant sur l'espace de ces vitesses.
3. Classification des Branches : L'analyse classifie la dégénérescence primaire en fonction de l'invertibilité des blocs diagonaux de la Hessienne : le bloc scalaire ($G_{ij}$) et le bloc métrique ($K_{abcd}$). Les auteurs se concentrent sur la Branche II, où le bloc cinétique métrique est inversible ($\det K \neq 0$). Ce choix garantit que le secteur métrique reste sous contrôle, permettant à la dégénérescence de provenir uniquement du mélange entre les vitesses scalaires et métriques.
4. Analyse des Contraintes :
   • Contraintes Primaires : La condition de dégénérescence primaire est dérivée de l'annulation du complément de Schur de la Hessienne, menant à une matrice de dégénérescence scalaire effective $S_{ij}$. Pour l'élimination complète de $N$ modes d'Ostrogradsky, la condition $S_{ij} = 0$ est imposée, générant $N$ contraintes primaires ($\Psi_i$).
   • Contraintes Secondaires : L'évolution temporelle de ces contraintes primaires est analysée. Crucialement, pour $N \ge 2$, la préservation des contraintes primaires génère des conditions de cohérence additionnelles. Les auteurs calculent le crochet primaire-primaire étiré $\{\Psi[f], \Psi[g]\}$, qui se sépare en coefficients de lissage de dérivées ($D_{ija}$) et coefficients non-dérivés ($M_{ij}, N_{ij}$).
   • Condition de Rang : Enfin, le rang du crochet entre les contraintes primaires et secondaires est examiné pour s'assurer que l'algorithme de contrainte se clôture et fixe les multiplicateurs de Lagrange sans générer de nouvelles contraintes.

Contributions Clés et Résultats

• Condition Matricielle pour la Dégénérescence Primaire : Dans la branche à métrique inversible, la condition de dégénérescence primaire est formulée comme l'annulation de la matrice scalaire effective $S_{ij} = G_{ij} - B_{iab}(K^{-1})^{abcd}B_{jcd}$. Les auteurs dérivent des expressions explicites pour $S_{ij}$ en utilisant un tenseur auxiliaire $W_{iab}$ issu de l'action.
• Nouvelles Conditions de Cohérence Multi-champs : L'article identifie une différence qualitative entre les théories à champ unique et multi-champs. Dans la limite à champ unique, la dégénérescence primaire est souvent suffisante pour assurer la cohérence. Cependant, pour $N \ge 2$, la préservation des contraintes primaires génère des conditions antisymétriques dans l'espace des champs ($M_{ij} = 0$ et $N_{ij} = 0$) qui n'ont pas d'analogue dans le cas à champ unique. Ces conditions sont nécessaires pour empêcher les contraintes primaires de fixer leurs propres multiplicateurs au lieu de générer des contraintes secondaires.
• Conditions Suffisantes pour des Théories Saines : Les auteurs établissent un ensemble de conditions suffisantes pour qu'une théorie soit exempte de modes d'Ostrogradsky :
  1. Dégénérescence primaire complète : $S_{ij} = 0$.
  2. Cohérence primaire-primaire : $D_{ija} = 0$, $M_{ij} = 0$, et $N_{ij} = 0$ (fortement ou faiblement).
  3. Condition de rang : Le crochet entre les contraintes primaires et secondaires doit avoir un rang maximal ($N$).
     Lorsque ces conditions sont remplies, la théorie propage $2 + N$ degrés de liberté.
• Sous-classes Explicites :
  • Limite à Champ Unique : L'analyse confirme que les conditions multi-champs se réduisent correctement aux résultats connus du champ unique, où les conditions antisymétriques s'annulent trivialement.
  • Type Horndeski Multi-champs : Pour une sous-classe quadratique spécifique ressemblant à la théorie de Horndeski multi-champs, la dégénérescence primaire est automatique, mais des conditions de clôture non triviales sur les fonctions de coefficients (spécifiquement $N_{ij}=0$) subsistent.
  • Sous-classe Dégénérée Constructive : Les auteurs construisent une sous-classe multi-champs authentique avec un mélange cinétique scalaire-métrique non nul ($W_{iab} \neq 0$) qui satisfait toutes les conditions fortes, démontrant que les contraintes dérivées définissent une classe de théories non vide au-delà des simples extensions des modèles à champ unique.

Signification et Revendications
L'article prétend fournir un cadre hamiltonien rigoureux pour identifier les théories scalaire-tenseur d'ordre supérieur multi-champs saines. Sa principale signification réside dans la démonstration que la dégénérescence primaire est nécessaire mais non suffisante pour les théories multi-champs ; la préservation des contraintes introduit de nouvelles conditions de cohérence intrinsèquement multi-champs (les coefficients antisymétriques) qui doivent être satisfaites pour éliminer les modes d'Ostrogradsky.

Les auteurs présentent modestement leurs résultats comme des conditions suffisantes plutôt que comme une classification complète de toutes les théories saines. Ils restreignent explicitement leur analyse à la branche à métrique inversible, notant que les branches avec des secteurs métriques singuliers nécessitent un traitement séparé. De plus, l'exemple constructif fourni est formulé au niveau des blocs de coefficients ADM ; les auteurs reconnaissent que reconstruire une action covariante qui réalise ces blocs spécifiques est un problème distinct. Ce travail sert de base pour construire des théories multi-champs saines qui vont au-delà des simples généralisations des modèles à champ unique, offrant un ensemble clair de contraintes algébriques et différentielles sur les fonctions de coefficients de la théorie.