The Kerr-Schild (KS) double copy is celebrated for producing exact gravitational spacetimes from gauge fields, yet the preservation of symmetry content remains largely unexplored. We investigate the fate of residual symmetries in the KS double copy, focusing on the Schwarzschild solution. On the gauge theory side, we derive the residual transformations that preserve the Abelian and non-Abelian KS ansatzë, finding they both form an infinite-dimensional Lie algebra parameterized by arbitrary null functions. On the gravity side, we analyze the resulting residual diffeomorphisms of the KS Schwarzschild metric. Restricting our focus to the Killing vector class of solutions, we find that the only surviving diffeomorphisms are the finite-dimensional global isometries of Schwarzschild, reducing the residual gauge algebra to the subalgebra generated by time translations and spatial rotations. This finding reveals a fundamental structural mismatch: the infinite-dimensional algebra of the gauge side admits no simple counterpart in this constrained gravitational sector. We formalize this by showing that the BRST operator for the residual symmetry is trivialized under the Killing condition. This result serves as a crucial consistency check, validating the kinematic algebraic collapse within a quantum field theoretic framework. This paper is the first of a two-part series. In the second paper, we complete this analysis by examining the more complex proper conformal Killing vector (CKV) class of solutions and formulating a unified BRST framework to definitively test the structural obstruction.
- ID de l'article: 2509.24112
- Titre: Residual Symmetries and BRST Cohomology of Schwarzschild in the Kerr-Schild Double Copy
- Auteur: Brandon Holton (Durham University)
- Classification: hep-th gr-qc math-ph math.MP
- Date de publication: 15 octobre 2025
- Lien de l'article: https://arxiv.org/abs/2509.24112
La double copie de Kerr-Schild (KS) est réputée pour sa capacité à générer des espaces-temps gravitationnels exacts à partir de champs de jauge, mais la question de la préservation du contenu de symétrie reste largement inexplorée. Cet article étudie le destin des symétries résiduelles dans la double copie KS, en se concentrant sur la solution de Schwarzschild. Du côté de la théorie de jauge, l'auteur dérive les transformations résiduelles préservant l'ansatz KS abélien et non-abélien, découvrant qu'elles forment toutes deux une algèbre de Lie de dimension infinie paramétrée par des fonctions nulles arbitraires. Du côté gravitationnel, les difféomorphismes résiduels correspondants de la métrique KS Schwarzschild sont analysés. En restreignant l'attention au secteur des solutions de type vecteur de Killing, on découvre que les seuls difféomorphismes survivants sont les isométries globales finies de Schwarzschild, réduisant l'algèbre de jauge résiduelle à une sous-algèbre générée par les translations temporelles et les rotations spatiales. Cette découverte révèle une inadéquation structurelle fondamentale : l'algèbre de dimension infinie du côté de la jauge n'a pas de correspondant simple dans ce secteur gravitationnel contraint.
La question centrale que cette recherche résout est : La double copie de Kerr-Schild préserve-t-elle également la structure de symétrie résiduelle sous-jacente lors de la mise en correspondance des configurations de champs classiques ?
- Complétude de la théorie de la double copie : Bien que la double copie KS soit très efficace pour générer des géométries de trous noirs exacts, l'absence d'étude sur la préservation des symétries limite notre compréhension de la structure profonde de cette correspondance.
- Cohérence de la théorie quantique des champs : Dans la double copie convolutive, l'invariance BRST garantit que les symétries résiduelles se relèvent de manière cohérente en difféomorphismes dans la gravité, préservant la structure algébrique. Cependant, pour la double copie KS, une preuve similaire n'existe pas.
- Fondements de la physique théorique : Comprendre la correspondance des symétries entre la théorie de jauge et la gravité est crucial pour construire une théorie quantique de la gravité unifiée.
- Double copie convolutive : Bien que l'algèbre soit transparente et préserve l'invariance BRST, elle ne peut produire que des solutions linéarisées, incapable de générer une géométrie complètement non-linéaire.
- Double copie KS : Capable de produire des solutions classiques exactes, mais le comportement au niveau des symétries résiduelles est inconnu, soulevant des questions sur l'intégrité structurelle.
La motivation de l'auteur provient du besoin de vérifier systématiquement si la double copie KS préserve réellement la structure de symétrie, ce qui est crucial pour comprendre la portée et les limitations de cette théorie.
- Dérivation systématique des symétries résiduelles du côté de la théorie de jauge : Analyse complète des transformations de jauge abéliennes et non-abéliennes préservant l'ansatz KS, établissant leur structure d'algèbre de Lie de dimension infinie.
- Résolution des difféomorphismes résiduels de l'espace-temps de Schwarzschild : Dans le secteur des vecteurs de Killing, preuve que les difféomorphismes résiduels ne sont que les isométries globales de Schwarzschild.
- Découverte d'une inadéquation structurelle : Révélation d'une inadéquation fondamentale entre l'algèbre résiduelle de dimension infinie de la théorie de jauge et l'algèbre de dimension finie du côté gravitationnel.
- Établissement d'un cadre formel BRST : Construction d'un secteur de champs fantômes cohérent et d'une charge nilpotente, prouvant que sous la condition de Killing, les symétries résiduelles n'ont que des réalisations triviales en cohomologie.
- Fourniture d'une vérification de cohérence quantique : L'analyse BRST vérifie la cohérence dans le cadre de la théorie quantique des champs de la réduction de l'algèbre cinématique.
La tâche de recherche est définie comme : étant donné un champ de jauge et une métrique sous la forme de l'ansatz de Kerr-Schild, analyser les transformations résiduelles préservant cette forme et comparer les structures d'algèbre de symétrie des côtés théorie de jauge et théorie gravitationnelle.
La métrique adopte la forme KS :
gμν=ημν+ϕkμkν
où ημν est la métrique de fond, ϕ est un champ scalaire, et kμ est un vecteur nul : kμkμ=0.
Le champ de jauge adopte une forme similaire :
Aμ=Φ(x)kμ
- Côté théorie de jauge : Exiger que la transformation de jauge δλAμ=∂μλ(x) préserve la structure KS
- Côté gravitationnel : Exiger que le difféomorphisme Lξgμν∝kμkν préserve la forme KS
- Cas abélien : Résolution de l'équation de contrainte kμ∂μλ(x)=0
- Cas non-abélien : Traitement des termes d'auto-interaction contenant les constantes de structure
- Structure algébrique : Analyse du crochet de Lie des transformations et de l'algèbre induite
- Décomposition du système d'EDP : Décomposition de la condition de dérivée de Lie en sous-systèmes angulaires, radial-temporels et mixtes
- Restriction au secteur de Killing : Concentration sur les vecteurs de Killing de la deux-sphère plutôt que sur les vecteurs de Killing conformes
- Résolution progressive : Résolution successive de chaque sous-système avec application de conditions de cohérence
- Méthode des caractéristiques : Utilisation de la méthode des caractéristiques pour résoudre les EDP avec contraintes de vecteur nul
- Stratégie de résolution en couches : Décomposition du système complexe d'EDP gravitationnelles en sous-problèmes traitables
- Formalisme BRST : Construction pour la première fois d'un opérateur BRST pour les symétries résiduelles de la double copie KS
- Cadre de comparaison algébrique : Établissement d'une méthode systématique pour comparer les algèbres de symétrie des côtés jauge et gravitationnel
Cet article emploie une méthode d'analyse purement théorique, vérifiant les résultats par les étapes suivantes :
- Résolution analytique : Résolution analytique complète de tous les systèmes d'EDP
- Vérification de cohérence : Vérification de l'auto-cohérence des solutions et des conditions aux limites
- Vérification algébrique : Confirmation de la correction de la structure d'algèbre de Lie
- Nilpotence BRST : Preuve rigoureuse de la propriété de nilpotence de l'opérateur BRST
- Coordonnées sphériques : (t,r,ϑ,φ) comme coordonnées de travail principales
- Forme du vecteur nul : kμ=(1,1,0,0) en coordonnées sphériques
- Convention de métrique : Adoption de la convention mostly-plus (−,+,+,+)
Le paramètre de jauge résiduel doit satisfaire :
λ(x)=f(u),u=t−r
Formant une algèbre de Lie abélienne de dimension infinie :
gres∼C∞(R)
Les transformations résiduelles forment une algèbre de courants :
gres∼g⊗C∞(R)
où g est l'algèbre de Lie du groupe de jauge.
Sous la restriction aux vecteurs de Killing, les difféomorphismes résiduels se réduisent complètement aux isométries globales de Schwarzschild :
- Translation temporelle : ∂t
- Rotations spatiales : générateurs de SO(3)
Formant une algèbre de Lie de dimension finie :
ggravity∼so(3)⊕R
Découverte d'une inadéquation fondamentale de dimension :
- Côté jauge : algèbre de dimension infinie C∞(R) ou g⊗C∞(R)
- Côté gravitationnel : algèbre de dimension finie so(3)⊕R
L'opérateur BRST construit Q satisfait :
Q2=0
sur les champs et les champs fantômes.
Dans le secteur de Killing :
Qgμν=0,Qϕ=0,Qkμ=0
Indiquant l'absence de cohomologie BRST non-triviale associée aux symétries résiduelles au-delà des isométries globales.
- Relations KLT : Les relations de Kawai-Lewellen-Tye en théorie des cordes posent les fondations
- Dualité BCJ : La dualité couleur-cinématique de Bern-Carrasco-Johansson
- Extensions classiques : Extension aux configurations de champs classiques, incluant les doubles copies auto-duale, convolutive et KS
- Correspondance Schwarzschild-Coulomb : Correspondance classique de la charge ponctuelle au trou noir
- Géométrie de Kerr : Construction de double copie du trou noir en rotation
- Autres solutions exactes : Génération de diverses géométries de trous noirs et d'espaces-temps
- Formalisme BRST : Application réussie dans la double copie convolutive
- Étude des isométries : Travail de Coll et al. sur la relation entre les vecteurs KS et les algèbres d'isométries
- Confirmation de l'inadéquation algébrique : Dans le secteur de Killing, la double copie KS présente une inadéquation manifeste d'algèbre de symétrie, où la symétrie résiduelle de dimension infinie de la théorie de jauge se réduit aux isométries globales finies du côté gravitationnel.
- Cohérence BRST : Malgré l'inadéquation algébrique, l'analyse BRST confirme que cette réduction est cohérente dans le cadre de la théorie quantique des champs.
- Limitations de la Double Copie KS : La double copie KS excelle dans la correspondance des configurations de champs exacts, mais n'est pas strictement préservante de symétrie au niveau des symétries résiduelles.
- Restriction au Secteur de Killing : Cet article n'analyse que le secteur des vecteurs de Killing, l'analyse complète des vecteurs de Killing conformes étant laissée aux travaux futurs.
- Analyse d'une Seule Solution : Seule la solution de Schwarzschild est considérée, le comportement de symétrie d'autres géométries KS pouvant différer.
- Niveau Classique : L'analyse est principalement menée au niveau classique, les effets quantiques pouvant introduire une complexité supplémentaire.
- Analyse des Vecteurs de Killing Conformes : Achèvement de l'analyse systématique des solutions CKV propres dans les articles ultérieurs.
- Extension à la Géométrie de Kerr : Extension de l'analyse aux espaces-temps en rotation comme la métrique de Kerr.
- Autres Formalismes de Double Copie : Recherche pour déterminer si d'autres formalismes de double copie préservent mieux la structure de symétrie.
- Effets Quantiques : Exploration de l'impact des corrections quantiques sur la correspondance de symétrie.
- Rigueur Théorique : L'article fournit des dérivations mathématiques complètes avec tous les calculs vérifiés en détail.
- Découvertes Importantes : Première révélation systématique des limitations de la double copie KS au niveau des symétries, constituant un progrès important dans ce domaine.
- Innovation Méthodologique : Introduction du formalisme BRST fournissant de nouveaux outils théoriques pour l'étude de la double copie KS.
- Clarté Structurelle : L'article est bien organisé avec une logique claire allant de l'analyse de la théorie de jauge à celle de la théorie gravitationnelle.
- Limitation de Portée : Considération uniquement du secteur de Killing, pouvant manquer des parties importantes du tableau complet.
- Interprétation Physique : Discussion insuffisante des raisons physiques profondes de cette inadéquation algébrique.
- Impact Pratique : Analyse limitée de l'impact de cette inadéquation sur les applications pratiques de la double copie KS.
- Contribution Théorique : Fourniture d'intuitions théoriques importantes pour le développement de la théorie de la double copie.
- Valeur Méthodologique : Le cadre d'analyse établi peut s'appliquer à l'étude d'autres géométries KS.
- Orientation de la Recherche Future : Indication claire des directions pour les recherches ultérieures, particulièrement la nécessité de l'analyse CKV.
- Recherche en Physique Théorique : Référence importante pour les physiciens théoriciens étudiant les connexions profondes entre la théorie de jauge et la gravité.
- Physique Mathématique : Valeur pour les physiciens mathématiciens étudiant les algèbres de Lie, la géométrie différentielle et la cohomologie BRST.
- Physique des Trous Noirs : Fourniture de fondations théoriques pour la physique des trous noirs et la recherche en applications de double copie.
L'article cite 41 références importantes couvrant l'évolution majeure de la théorie de la double copie, incluant :
- Travaux originaux sur les relations KLT 32
- Établissement de la dualité BCJ 12-14
- Travaux pionniers sur la double copie KS 36, 37
- Fondations mathématiques de la théorie BRST 28
- Recherches connexes en géométrie et symétries 23, 15, 38, 40
Cet article fournit une base théorique importante pour comprendre les propriétés de symétrie de la double copie KS. Bien qu'il révèle certaines limitations, il ouvre également de nouvelles directions pour la recherche future. Son analyse mathématique rigoureuse et sa méthode BRST innovante en font une contribution importante à ce domaine.