Adiabatic Deformations of Black Hole Moduli: I. Canonical Slices and Fredholm Solvability

Résumé Technique : Déformations Adiabatiques des Moduli de Trous Noirs : I. Tranches Canoniques et Résolubilité de Fredholm

Énoncé du Problème
L'article traite de la réponse adiabatique de premier ordre d'un trou noir statique à un module asymptotique en évolution lente (par exemple, une charge scalaire ou une valeur de dilaton fixée à l'infini) au sein de théories Einstein–Maxwell–dilaton. Lorsqu'un module extérieur varie lentement dans le temps, le trou noir ne peut pas rester exactement statique. Cela soulève deux questions distinctes :

1. Géométrique : Parmi la famille continue de solutions statiques, quel représentant instantané spécifique est sélectionné par la géométrie intrinsèque de la variété de la solution lorsqu'elle est pilotée par un module extérieur variant lentement ?
2. Analytique Fonctionnelle : Une fois cette trajectoire identifiée, l'équation de perturbation linéaire résultante admet-elle une solution unique ? L'opérateur radial réduit possède typiquement un noyau non trivial hérité des directions tangentes de la famille statique, ce qui rend l'existence et l'unicité non automatiques.

Les auteurs visent à répondre à ces questions pour une classe générale de variétés de solutions statiques non extrémales, en réduisant le problème à des critères scalaires explicites.

Méthodologie
La construction procède par une séparation rigoureuse du problème en couches géométriques et analytiques fonctionnelles, évitant toute hypothèse sur des familles spécifiques de trous noirs (excepté l'existence d'une variété de solutions statiques non extrémale lisse).

1. Réduction Exacte en Zone Proche : Les auteurs travaillent dans la jauge avancée d'Eddington–Finkelstein au sein d'une « zone proche » radiale finie ($r_H \le r \le r_m$). Ils dérivent les équations de champ exactes pour la théorie Einstein–Maxwell–dilaton sans supposer initialement une expansion adiabatique. Ils définissent la masse exacte de l'horizon $M_H^{exact}$ et la distinguent de la masse d'horizon d'un représentant statique instantané.
2. Linéarisation et Réduction : Les équations couplées linéarisées d'Einstein–Maxwell–dilaton sont réduites à une équation radiale scalaire unique pour une perturbation $\eta$. Les perturbations métriques (lapse $\xi$ et masse $\mu$) sont éliminées par des contraintes, laissant un opérateur radial réduit unique $L$ agissant sur $\eta$, sourcé par une constante d'intégration résiduelle $C_\mu$.
3. Géométrie Tangente Canonique : En différenciant la famille statique par rapport aux coordonnées collectives (spécifiquement le module asymptotique $\Phi$ et le paramètre de masse d'horizon statique $M_{H,0}$), les auteurs définissent un covecteur intrinsèque $C_\mu$ sur l'espace tangent de la variété de solutions statiques. Ils prouvent que le noyau de ce covecteur identifie une direction tangente canonique unique correspondant aux variations de $\Phi$ à $M_{H,0}$ fixe.
4. Suivi Adiabatique et Champs de Retard : La famille statique est promue à une configuration dépendante du temps. Ce « suivi instantané » ne satisfait pas les équations de champ exactes, générant un « défaut » ou un « champ de retard » (lag field). Le défaut de bilan de masse s'annule au premier ordre si la trajectoire suit la direction tangente canonique et que la masse d'horizon évolue au second ordre adiabatique.
5. Tranche Locale et Opérateur Tranché : Une ambiguïté tangentielle résiduelle subsiste dans la définition du champ de retard. Les auteurs introduisent une condition de « tranche locale » ($\mu(v, r_m) = 0$) pour fixer cette ambiguïté. Cela convertit la constante d'intégration radiale en une évaluation limite du champ scalaire de retard. Cette opération modifie l'opérateur réduit $L$ par une perturbation de rang fini, produisant un « opérateur tranché » $L_{sl} = L + u \otimes \ell$.
6. Analyse de Fredholm : Les auteurs analysent la résolubilité du problème de valeur aux limites complété via la théorie de Fredholm. Ils établissent que l'opérateur tranché reste surjectif avec un noyau unidimensionnel, mais que le générateur de ce noyau est déplacé par rapport au mode tangent canonique original si la perturbation de rang fini est non triviale.

Contributions Clés et Résultats

• Théorème de la Tangente Canonique (Théorème 1) : Les auteurs prouvent que pour une variété de solutions statiques paramétrée par $(\Phi, M_{H,0})$, l'unique direction tangente satisfaisant la contrainte de bilan de masse au premier ordre adiabatique est $\partial_\Phi |_{M_{H,0}}$. Cette direction correspond à la variation du module à masse d'horizon statique $M_{H,0}$ fixe. La composante scalaire de cette tangente, $\phi_\Phi$, appartient au noyau de l'opérateur réduit non tranché ($L\phi_\Phi = 0$).
• Déplacement du Mode Zéro : L'introduction de la tranche locale induit une perturbation de rang fini sur l'opérateur réduit. Si la tranche est transverse à la direction tangente canonique (c'est-à-dire que le profil de masse change le long de la tangente, $m_\Phi(r_m) \neq 0$) et que la perturbation est non triviale ($K \neq 0$), le mode zéro original $\phi_\Phi$ est déplacé du noyau de l'opérateur tranché $L_{sl}$.
• Théorème de Résolubilité (Théorème 2) : L'existence et l'unicité de la déformation adiabatique de premier ordre se réduisent à une condition scalaire unique. L'opérateur de valeur aux limites complété est bijectif si et seulement si le générateur $\psi_\star$ du noyau de l'opérateur tranché satisfait la condition d'appariement extérieur de manière non triviale :
  $$B_m \psi_\star \neq 0$$
  où $B_m$ est la fonctionnelle linéaire bornée représentant le problème d'appariement extérieur.
• Trois Conditions de Non-Dégénérescence : L'article identifie trois conditions logiquement distinctes requises pour la construction :
  1. Transversalité de la Tranche : $m_\Phi(r_m) \neq 0$ (garantit que la tranche sélectionne un représentant unique).
  2. Mise à Jour Non Triviale : $K \neq 0$ (garantit que le mode zéro canonique est déplacé du noyau).
  3. Non-Dégénérescence de l'Appariement Extérieur : $B_m \psi_\star \neq 0$ (garantit que la liberté homogène restante est fixée par les données extérieures).

Signification et Portée
L'article prétend fournir un fondement géométrique et analytique fonctionnel général pour les déformations adiabatiques de trous noirs, indépendant des solutions à forme close spécifiques. Sa contribution principale est d'isoler les exigences structurelles pour l'existence et l'unicité de la réponse adiabatique.

• Géométrique vs Fonctionnel : Le travail sépare le problème de l'identification de la trajectoire correcte sur la variété statique (géométrique) et de la garantie que les équations linéaires peuvent être résolues le long de cette trajectoire (analytique fonctionnelle).
• Généralité : Le cadre s'applique à toute théorie admettant une variété de solutions statiques lisses, non extrémales et un opérateur radial réduit de Fredholm. Il ne dépend pas de potentiels ou de fonctions de la cinétique de gauge spécifiques.
• Limites et Travaux Futurs : Les auteurs déclarent explicitement que ce document établit le cadre général mais n'évalue pas les formes explicites des profils ou des conditions d'appariement pour un modèle spécifique. Ils notent qu'un article compagnon [18] spécialise ce cadre à la famille GHS (Garfinkle–Horowitz–Strominger) magnétique pour effectuer des évaluations explicites. Le présent travail n'aborde pas le régime ultra-proche de l'extrémalité ni le spectre complet des perturbations homogènes se propageant librement, se concentrant strictement sur la branche adiabatique causale et lentement forcée.

En résumé, l'article démontre que la réponse adiabatique d'un trou noir à un module variant lentement n'est pas simplement une substitution de paramètres dépendants du temps, mais un problème de déformation contraint. La solution existe et est unique si, et seulement si, la condition d'appariement extérieur n'annihile pas le mode homogène spécifique généré par l'interaction entre la tranche locale et l'opérateur réduit.