Off-shell double copy theories in BV

Résumé technique : Théories de double copie hors-forme dans le formalisme BV

Énoncé du problème
La construction de la double copie, qui génère des amplitudes de diffusion de la gravité à partir de blocs de construction de la théorie de jauge via la dualité couleur-cinématique, est bien établie sur l'onde (on-shell). Cependant, étendre cette dualité hors-forme (off-shell) pour construire des actions locales pour les théories de la gravité reste un défi. Bien que la dualité couleur-cinématique hors-forme soit connue pour émerger d'algèbres de Lie cinématiques dans des théories spécifiques (telles que la théorie de Chern-Simons, BF en 4d et Yang-Mills en 2d), un cadre systématique pour construire des actions de double copie hors-forme au sein du formalisme de Batalin-Vilkovisky (BV) faisait défaut. De plus, l'interprétation géométrique des actions de double copie résultantes, particulièrement leur relation avec les théories de la gravité comme la gravité de Kodaira-Spencer, nécessite une formalisation.

Méthodologie
Les auteurs utilisent le formalisme BV pour construire des actions de double copie pour les théories de jauge présentant une dualité couleur-cinématique hors-forme. La méthodologie centrale repose sur l'identification d'une algèbre de Lie cinématique générée par un opérateur du second ordre, $D^\dagger$, agissant sur une algèbre de Lie différentielle graduée (dgLa) de champs.

1. Construction de l'algèbre cinématique : Les auteurs identifient une algèbre de Lie cinématique $K = \text{Im}(D^\dagger)$ où le crochet est défini par l'opérateur du second ordre $D^\dagger$. Cet opérateur satisfait $(D^\dagger)^2 = 0$ et la propriété du second ordre (règle de Leibniz généralisée), garantissant que l'identité de Jacobi est satisfaite pour le crochet induit.
2. Formulation de l'action BV : Ils construisent une action BV de la forme :
   $$S = \frac{1}{2}\langle A, DA \rangle + \frac{1}{6}\langle A, \{A, A\} \rangle$$
   où $A$ est un superchamp, $D$ est un opérateur différentiel, et $\{A, A\} = D^\dagger(A^2) - D^\dagger(A)A - (-1)^{|A|}AD^\dagger(A)$ est le crochet restreint à l'image de $D^\dagger$. Le couplage $\langle \cdot, \cdot \rangle$ est une forme symplectique invariante compatible avec les opérateurs.
3. Double copie via le doublement de dimension : Pour construire la double copie, les auteurs doublent les coordonnées de l'espace-temps (ou les variables impaires), introduisant un second ensemble d'opérateurs $(\bar{D}, \bar{D}^\dagger)$. L'action de la double copie est formulée sur un espace possédant deux ensembles de coordonnées impaires, satisfaisant une structure de type identité de Kähler généralisée telle que $[D, \bar{D}^\dagger] = \square$ (le laplacien).
4. Fixation de jauge et localité : La construction implique des conditions de fixation de jauge (par exemple, $A \in \text{Im}(D^\dagger)$). Les auteurs démontrent que, bien que le formalisme général produise souvent des actions non locales (en raison de l'inverse du laplacien $\square^{-1}$), des choix spécifiques de l'algèbre cinématique (notamment dans les théories BF en 4d et Yang-Mills en 2d) permettent des solutions algébriques aux contraintes de fixation de jauge, aboutissant à des actions locales.

Contributions clés et résultats

• Formulation BV de la double copie de CS : Les auteurs fournissent une formulation BV complète pour la double copie de la théorie de Chern-Simons (CS). Ils montrent que l'action fixée par jauge précédemment proposée (de la Réf. [9]) est la version fixée par jauge de cette construction BV. Les champs physiques de cette double copie sont identifiés aux déformations d'une métrique plate, satisfaisant des équations équivalentes à l'équation de Maurer-Cartan pour la déformation d'une métrique plate avec une forme de volume fixée.
• Théorie de CS formelle et théorie BF en 4d : La construction est généralisée à la théorie de CS formelle et appliquée à la théorie BF en 4d. Une découverte significative est que la théorie BF en 4d admet une famille de paramètre unique d'algèbres cinématiques (paramétrées par $\lambda$).
  • Pour $\lambda = 0$, la double copie produit une action non locale similaire à la double copie de CS.
  • Pour $\lambda \neq 0$, la condition de fixation de jauge peut être résolue algébriquement, produisant une action de double copie locale. Cette action locale ressemble à une théorie BF déformée avec une algèbre cinématique de dimension infinie agissant sur l'espace-temps lui-même.
• Double copie de Yang-Mills en 2d : Les auteurs construisent la double copie pour la théorie de Yang-Mills en 2d, résultant en une action locale qui ressemble à une théorie BF déformée. Le secteur physique implique des champs interprétés comme des 1-formes et des 0-formes, avec une structure de crochet de Lie spécifique dérivée de l'opérateur de fixation de jauge.
• Gravité de Kodaira-Spencer et de Kähler : Le papier démontre que la gravité de Kodaira-Spencer (KS) et la gravité de Kähler s'insèrent naturellement dans ce cadre de double copie BV.
  • Gravité de KS : L'action BV de la gravité de KS (décrivant les déformations des structures complexes) est montrée comme un cas spécifique de la construction générale de la double copie. Les auteurs étendent cela aux structures complexes généralisées et à des dimensions supérieures (par exemple, 8D), nécessissant des coordonnées impaires supplémentaires pour maintenir le degré bi-gradué de la mesure d'intégration.
  • Gravité de Kähler : Une théorie de gravité de Kähler en 6D est construite en utilisant des combinaisons linéaires d'opérateurs ($\partial, \bar{\partial}, \partial^\dagger, \bar{\partial}^\dagger$) satisfaisant les relations algébriques requises.
• Symétries BRST duales : Une caractéristique structurelle de ces actions de double copie fixées par jauge est l'émergence de deux symétries BRST anticommutantes. Cela provient du fait que l'action fixée par jauge peut être vue comme le résultat de l'application de différentes conditions de fixation de jauge à deux théories BV distinctes (l'une définie par $D^\dagger$ et l'autre par $\bar{D}^\dagger$). Les auteurs suggèrent que cette structure BRST duale pourrait être une propriété définissante des théories de double copie hors-forme.

Signification et affirmations
Le papier prétend formaliser la construction des théories de double copie hors-forme au sein du cadre BV, fournissant une description algébrique unifiée qui englobe les théories de Chern-Simons, BF et Yang-Mills. En liant ces constructions à la gravité de Kodaira-Spencer et aux déformations des structures complexes généralisées, ce travail offre une interprétation géométrique potentielle pour la double copie au-delà des amplitudes de diffusion standards.

Les auteurs notent modestement que, bien que le cadre produise avec succès des actions pour des théories spécifiques (particulièrement celles impliquant une théorie BF en 4d ou Yang-Mills en 2d qui donnent des actions locales), le cas général produit souvent des actions non locales. Ils soulignent une question ouverte concernant la relation entre les différentes algèbres cinématiques trouvées dans la théorie BF en 4d (les cas $\lambda=0$ vs $\lambda \neq 0$), conjecturant qu'elles peuvent être liées par une redéfinition de champ non locale. De plus, ils reconnaissent que la construction de doubles copies sans dualité couleur-cinématique hors-forme (c'est-à-dire sans un $D^\dagger$ du second ordre) reste un défi ouvert, car le formalisme actuel repose lourdement sur l'existence d'un tel opérateur pour définir le crochet de Lie cinématique.