On interacting non-Abelian antisymmetric tensor field models

Résumé Technique : Modèles de Champs de Tenseurs Antisymétriques Non-Abéliens en Interaction

Énoncé du Problème
Les champs de tenseurs antisymétriques ($p$-formes) sont des composantes fondamentales des théories de supercordes/branes et de supergravité, caractérisées par des structures de jauge complexes et réductibles. Bien que les modèles de $p$-formes libres soient bien compris en tant que théories de jauge réductibles (avec des stades de réductibilité dépendant du rang de la forme), la structure de jauge des modèles de tenseurs non-abéliens en interaction demeure une question ouverte. Les théorèmes d'impossibilité standard suggèrent que les déformations locales non-abéliennes des transformations de jauge des $p$-formes libres sont impossibles sans l'introduction de champs supplémentaires. Cependant, des modèles impliquant des tenseurs non-abéliens interagissant avec des champs de Yang-Mills existent dans des contextes spécifiques (par exemple, les supergravités gauchées, les réductions dimensionnelles). Le défi principal abordé dans ce travail est de déterminer les propriétés de réductibilité des transformations de jauge dans ces modèles de tenseurs non-abéliens en interaction, spécifiquement ceux obtenus par réduction dimensionnelle sur une variété de groupe. Il n'est pas clair si l'introduction d'interactions et de termes de masse modifie les stades de réductibilité trouvés dans leurs homologues libres.

Méthodologie
Les auteurs emploient une procédure de réduction dimensionnelle sur une variété de groupe pour générer des modèles de tenseurs non-abéliens en interaction à partir de formes $p$-formes abéliennes libres minimalement couplées à la gravité.

1. Prescription de Réduction : En partant d'un champ $p$-forme abélien libre $C_{M_1...M_p}$ dans $D$ dimensions couplé à la gravité, les coordonnées sont divisées en $x^\mu$ (espace-temps) et $y^a$ (variété de groupe compacte $G$). La métrique et les champs sont paramétrés en utilisant les vecteurs de Killing $e^a_{\bar{a}}(y)$ du groupe $G$, introduisant un paramètre dimensionnel $\kappa$ lié à la taille de la variété, qui agit comme la constante de couplage.
2. Redéfinition des Champs : Les champs originaux $C$ sont redéfinis en de nouveaux champs $B$ (et paramètres $\Lambda$) en utilisant le tétrade de la métrique réduite. Cette transformation garantit que les nouveaux champs se transforment de manière covariante sous la symétrie de Yang-Mills induite, éliminant les termes non homogènes impliquant des dérivées des paramètres de jauge.
3. Analyse Algébrique : Les auteurs calculent explicitement les commutateurs des transformations de jauge pour les champs réduits. Ils identifient la structure de l'algèbre non-abélienne et recherchent les transformations « triviales » — des ensembles de paramètres pour lesquels la variation de jauge de tous les champs s'annule identiquement.
4. Vérification Récursive de la Réductibilité : En trouvant les paramètres qui génèrent des transformations triviales, les auteurs déterminent le stade de réductibilité. Ils vérifient si ces paramètres triviaux possèdent eux-mêmes des redondances de jauge (réductibilité à un stade supérieur), comparant les résultats avec la réductibilité connue des théories abéliennes libres.

Contributions Clés et Résultats
Le papier analyse des modèles dérivés de la réduction dimensionnelle de 3-formes, 4-formes et de $p$-formes générales.

• Modèle de 3-forme (Section 2) :

  • La réduction d'une 3-forme libre produit un système contenant un champ de Yang-Mills, une 2-forme, une 1-forme et un scalaire, tous se transformant sous une algèbre non-abélienne.
  • Les transformations de jauge sont montrées comme étant réductibles au premier stade pour le secteur non-abélien. Les transformations triviales sont générées par des paramètres $\omega_{\bar{a}}$ et $\zeta_\mu$, qui satisfont des relations spécifiques impliquant la force de champ et les constantes de structure.
  • Le stade de réductibilité correspond à celui de la 3-forme abélienne libre (qui est de second stade réductible globalement, avec la partie non-abélienne étant de premier stade).
  • Champs de Stückelberg : L'analyse identifie des champs spécifiques (par exemple, $S_{\mu\bar{a}}$) qui agissent comme des champs de Stückelberg. Ces champs se décalent sous les transformations de jauge, restaurant efficacement la symétrie de jauge brisée par les termes de masse ($\sim \kappa^2$) acquis par d'autres champs tenseurs. Ce mécanisme permet à la théorie de contourner les théorèmes d'impossibilité concernant les déformations non-abéliennes.

• Modèle de 4-forme (Section 3) :

  • La réduction d'une 4-forme libre produit un système de tenseurs de rang 4, 3, 2, 1 et 0.
  • Les transformations de jauge sont montrées comme étant réductibles au second stade pour le secteur non-abélien. Les transformations triviales sont générées par des paramètres $\omega_{\mu\bar{a}}$ et $\omega_{\bar{a}\bar{b}}$, qui sont eux-mêmes réductibles.
  • Le stade de réductibilité coïncide à nouveau avec celui de la 4-forme abélienne libre (troisième stade réductible globalement).

• Modèle de $p$-forme Générale (Section 4) :

  • Les résultats sont généralisés à une forme de rang $r+1$ arbitraire.
  • Les auteurs démontrent que les transformations de jauge du système non-abélien résultant sont réductibles à $p-2$ stades (correspondant au stade $p-1$ de la théorie abélienne libre, en tenant compte des secteurs vecteur/scalaire).
  • Une formule générale pour les paramètres de transformation triviale est dérivée, montrant que la structure de réductibilité est préservée malgré la présence de termes de masse et d'interactions non-abéliennes.
  • Le papier contraste avec un modèle non-abélien spécifique de la littérature [41] qui n'est que réductible au premier stade, soulignant que la méthode de réduction dimensionnelle préserve la réductibilité à des stades supérieurs de la théorie libre parente.

Signification et Revendications
Le papier affirme que la structure de jauge des modèles de tenseurs antisymétriques non-abéliens en interaction obtenus par réduction dimensionnelle est robuste et conserve les propriétés de réductibilité de leurs homologues abéliens libres.

• Préservation de la Réductibilité : L'introduction d'interactions et de termes de masse via la réduction dimensionnelle ne modifie pas les stades de réductibilité. Les modèles en interaction sont des théories de jauge réductibles possédant la même hiérarchie de paramètres de jauge que les théories libres.
• Rôle des Champs de Stückelberg : L'existence de champs de Stückelberg est identifiée comme le mécanisme qui réconcilie la présence de termes de masse avec l'invariance de jauge. Ces champs permettent à la théorie de maintenir une structure de jauge cohérente, contournant les contraintes des théorèmes d'impossibilité qui supposent des déformations sans masse.
• Implications pour la Quantification : Les auteurs affirment que l'établissement de la structure de réductibilité est un prérequis pour la quantification cohérente de ces théories (par exemple, via les formalismes Batalin-Vilkovisky ou BRST-BFV). Les résultats fournissent la base nécessaire pour construire des intégrales de chemin et des actions effectives pour ces théories de tenseurs non-abéliens.
• Directions Futures : Le papier suggère que ces méthodes peuvent être étendues aux actions auto-duales, aux réductions sur des variétés autres que les groupes (par exemple, des sphères), et à la construction de versions supersymétriques. Il note également le potentiel d'étudier les dualités dans le contexte non-abélien en interaction.

Le travail ne propose pas de nouveaux tests expérimentaux ou d'applications phénoménologiques spécifiques, mais se concentre sur la cohérence théorique et les propriétés structurelles de ces théories de champs, visant à combler la lacune dans la compréhension de la structure de jauge des $p$-formes en interaction.