Local symmetry and the dependence on extended spacetime

Résumé Technique : Symétrie Locale et Dépendance à l'Espace-Temps Étendu

Énoncé du Problème
L'article traite de la formulation des symétries locales dans les théories définies sur des espaces-temps étendus, spécifiquement la théorie $E$ (la réalisation non linéaire de $E_{11} \otimes_s l_1$) et la théorie de Siegel (Double Field Theory). Historiquement, ces théories se sont appuyées sur des « conditions de section » (telles que la condition faible $\partial_\Pi \partial^\Pi \cdot = 0$ ou la condition forte $\partial_\Pi \cdot \partial^\Pi \cdot = 0$) pour assurer l'invariance de jauge et la cohérence. Ces conditions, motivées par la condition de correspondance de niveau de cordes (level-matching condition), restreignent la dépendance des champs vis-à-vis des coordonnées étendues ($x^\mu, y^\mu$) à être triviale.

Les auteurs soutiennent que l'imposition de telles conditions sur les champs eux-mêmes pourrait être une approche incorrecte. Ils notent que les coordonnées étendues sont cruciales pour l'invariance de $E_{11}$ et sont associées à des effets non perturbatifs (solitons/branes). De plus, les conditions de section fortes génériques sont inhabituelles en physique, et leur application dans des contextes comme les réductions de Scherk-Schwarz a suscité des doutes. Le problème central est de déterminer les conditions minimales requises pour que la théorie possède une symétrie locale sans imposer a priori des conditions restrictives sur les champs.

Méthodologie
Les auteurs adoptent une approche pragmatique et conservatrice, faisant les « hypothèses les moins possibles ». Au lieu de supposer des conditions de section sur les champs, ils étudient les exigences pour que les équations du mouvement linéarisées soient invariantes sous les transformations locales proposées.

1. Analyse Linéarisée dans la Théorie $E$ :

   • Ils considèrent les équations du mouvement linéarisées pour le graviton et le champ à trois-forme dans la théorie $E$.
   • Ils construisent les équations du mouvement linéarisées les plus générales contenant des termes jusqu'à un niveau de dérivée spécifique.
   • Ils calculent la variation de ces équations sous les transformations locales (dérivées de la réalisation non linéaire de $E_{11}$).
   • En exigeant que la variation soit nulle, ils résolvent pour les coefficients des équations générales et dérivent les contraintes nécessaires sur les paramètres de transformation ($\xi^\mu$ et $\Lambda^{\mu\nu}$).

2. Analyse de la Théorie de Siegel (Niveau Zéro) :

   • Ils répètent le calcul pour la théorie de Siegel, qui correspond à la décomposition de niveau zéro de la théorie $E$ menant à la théorie IIA.
   • Ils analysent les équations linéarisées pour le graviton, le deux-forme et le dilaton.
   • Ils dérivent les conditions sur les paramètres requis pour que l'équation du dilaton soit invariante, notant que cela conduit à une contrainte non linéaire sur les paramètres.

3. Vérification de Groupe Théorique :

   • Pour la théorie de Siegel, ils fournissent une dérivation de groupe montrant que les contraintes de paramètres dérivées sont invariantes sous le sous-algèbre invariante de l'involution de Cartan $SO(D) \otimes SO(D)$.

Contributions Clés et Résultats

• Contraintes de Paramètres vs Contraintes de Champs : Le résultat principal est que la symétrie locale dans le régime linéarisé ne nécessite pas de conditions sur les champs. Elle impose plutôt des conditions différentielles spécifiques sur les paramètres des transformations locales.

  • Dans la théorie $E$, l'invariance des équations du trois-forme et du graviton conduit à des conditions telles que $\partial_\lambda \partial^\lambda_\nu \{ \dots \} = 0$ (Équation 2.1.10 et 2.3.2). Ces conditions déterminent la dépendance des paramètres vis-à-vis des coordonnées de niveau supérieur en termes de leurs composantes de niveau inférieur.
  • Dans la théorie de Siegel, les conditions sont plus simples (Équations 3.8–3.11), prenant la forme $\partial_\lambda \bar{\partial}^\lambda (\dots) = 0$. Ces équations déterminent la dépendance en $y^\mu$ des paramètres $\xi^\mu(x,y)$ et $\Lambda^\mu(x,y)$ en termes de leur dépendance en $x^\mu$.

• Distinction des Conditions de Section : Les auteurs démontrent explicitement que les conditions dérivées pour les paramètres sont distinctes des conditions de section standards (Équations 1.1 et 1.2) imposées sur les champs.

  • Les conditions de section standards sur les champs impliquent que les dérivées agissant sur la variation du champ (qui implique des dérivées des paramètres) doivent se distribuer via la règle de Leibniz, nécessitant souvent la condition de section forte pour s'annuler.
  • En ne posant pas de conditions sur les champs, les auteurs évitent la nécessité de la condition de section forte. Les contraintes de paramètres dérivées sont suffisantes pour assurer l'invariance.

• Contrainte Non Linéaire du Dilaton : Pour l'équation du dilaton dans la théorie de Siegel, les auteurs trouvent que l'invariance sous la symétrie locale nécessite une « condition non linéaire relativement simple » sur les paramètres (Équation 4.7). Cela soutient l'affirmation qu'aucune condition sur les champs n'est nécessaire, même dans le régime non linéaire.

• Clôture de l'Algèbre : L'article fait référence à un travail antérieur (Réf [33]) stipulant que les transformations locales forment une algèbre fermée si une condition spécifique sur les paramètres est respectée. Les auteurs suggèrent que leurs conditions dérivées complètent cette condition de clôture.

Signification et Revendications
L'article prétend fournir une compréhension plus fondamentale des symétries locales dans les théories de l'espace-temps étendu. En déplaçant la charge de la cohérence des champs vers les paramètres de transformation, les auteurs soutiennent que les coordonnées étendues peuvent conserver leur signification physique (associée aux objets non perturbatifs) sans être trivialisées par les conditions de section.

Les auteurs sont modestes quant à la portée de leurs résultats, déclarant :

• Ils n'ont établi ces résultats que pour les équations du mouvement linéarisées à bas niveaux.
• Ils n'ont pas encore dérivé les conditions non linéaires complètes pour la théorie $E$, reconnaissant que trouver la « bonne voie à suivre » dans un tel écart radical par rapport à la physique standard est difficile.
• Ils ne proposent pas de nouvelles applications ou tests expérimentaux, mais plutôt un raffinement théorique des conditions de cohérence pour la théorie $E$ et la théorie de Siegel.

En résumé, l'article soutient que les « conditions de section » universellement utilisées dans la Double Field Theory et les contextes connexes peuvent être des artefacts de l'imposition de contraintes sur les champs plutôt que sur les paramètres, et qu'une symétrie locale cohérente peut être obtenue en restreignant la dépendance des paramètres vis-à-vis des coordonnées étendues au lieu de cela.