Convexity criterion and radial-profile response for off-shell Kerr geometries: a fuzzy-dark-matter profile as an analytic benchmark

Résumé Technique : Critère de Convexité et Réponse du Profil Radial pour les Géométries de Kerr Hors-Échelle

Énoncé du Problème
La nature de la matière noire (DM) demeure un problème ouvert central, les champs bosoniques ultralégers (matière noire floue ou fuzzy dark matter, FDM) offrant une alternative convaincante qui modifie les structures galactiques via des longueurs d'onde de de Broglie macroscopiques. Un défi critique dans la modélisation des trous noirs (BH) immergés dans de tels environnements est de distinguer la masse totale asymptotique (masse ADM) de la distribution de masse radiale locale. La plupart des approches existantes traitent soit la matière noire de manière perturbative sur un fond de Kerr fixe, soit introduisent des modifications métriques phénoménologiques sans vérifications de cohérence rigoureuses. De plus, la construction de solutions exactes, stationnaires et axisymétriques pour des trous noirs en rotation soutenus par des configurations scalaires réalistes est généralement insoluble. L'algorithme de Newman–Janis est fréquemment utilisé pour générer des métriques rotantes à partir de germes statiques, mais l'étape de complexification n'est pas unique, et les géométries « hors-échelle » (off-shell) résultantes peuvent ne pas résoudre les mêmes équations de la matière que leurs germes statiques. Cet article répond au besoin d'un banc d'essai analytique contrôlé pour isoler les effets d'un profil de masse radiale fin sur les observables en champ fort (horizons, sphères de photons, ombres) sans prétendre à une solution de Einstein–Klein–Gordon tournante et auto-cohérente.

Méthodologie
Les auteurs construisent une géométrie de type Kerr efficace basée sur un germe statique, sphériquement symétrique, dérivé d'un profil de densité spécifique inspiré de la FDM :
$$\rho_{\text{FDM}}(r) = \rho_c \left[ 1 + \alpha \left( \frac{r}{r_c} \right)^2 \right]^{-8}$$
où $\alpha = 2^{1/8} - 1$.

1. Construction du Germe Statique : La masse enclose $m(r)$ est intégrée exactement à partir du profil de densité. La métrique statique est définie par une condition de clôture à une fonction ($g_{tt}g_{rr} = -1$), ce qui fixe la pression radiale comme $p_r = -\rho$. Cela produit une solution de fluide anisotrope statique.
2. Extension Rotante : L'algorithme de Newman–Janis est appliqué au germe statique pour générer une métrique stationnaire et axisymétrique. Crucialement, la fonction radiale $\Delta(r)$ est définie par $\Delta(r) = r^2 - 2r m(r) + a^2$, assurant qu'elle ne dépend que de $r$. Cela préserve la séparabilité de l'équation de Hamilton–Jacobi pour les géodésiques nulles (séparabilité de Carter).
3. Bancs d'Essai Analytiques : Les auteurs dérivent une condition suffisante pour la convexité de $\Delta(r)$ afin de classifier globalement les structures d'horizon. Ils effectuent ensuite une expansion perturbative du premier ordre en la fraction de masse du soliton $f_{\text{sol}} = M_{\text{sol}}/M_{\text{ADM}}$ pour dériver les fonctions de réponse des horizons, des branches extrémales et des orbites de photons.
4. Analyse Comparative : Les résultats sont comparés à :
   • Le calcul complet du profil radial (exact dans l'ansatz).
   • Une expansion perturbative du premier ordre.
   • Un remplacement par une masse ADM constante (où $m(r) \to M_{\text{ADM}}$), ce qui permet de retrouver la géométrie de Kerr standard.
   • Diverses incertitudes de complétion dans la limite de rotation lente.

Contributions Clés

1. Critère de Convexité pour les Géométries de Kerr Hors-Échelle :
   L'article établit une condition suffisante pour la convexité stricte de la fonction radiale $\Delta(r) = r^2 - 2r m(r) + a^2$. Pour un profil de masse $m(r)$ positif, non décroissant et de classe $C^2$, l'inégalité :
   $$1 - 2m'(r) - r m''(r) > 0$$
   garantit que $\Delta(r)$ est strictement convexe sur $r > 0$.

   • Implication : Cela garantit que pour $a \neq 0$, $\Delta(r)$ possède au plus deux racines positives (définissant les horizons intérieur et extérieur) ou aucune. Pour $a=0$, il y a exactement une racine positive. Ce théorème fournit une classification globale de la topologie de l'horizon, excluant les branches extrémales secondaires ou des horizons supplémentaires pour une large classe de fonctions de masse monotones, à condition que la borne de la dérivée soit respectée.

2. Banc d'Essai Analytique Inspiré de la FDM :
   Les auteurs démontrent que le profil FDM spécifique satisfait le critère de convexité sur un domaine nettement plus large que l'espace des paramètres utilisé pour les balayages numériques ($f_{\text{sol}} / (r_c/M_{\text{ADM}}) < 0,69$). Ils fournissent des expressions en forme fermée pour la masse enclose, les conditions de branche extrémale et les limites de la condition de l'énergie faible (WEC).

3. Théorie de la Réponse par Fonction de Profil :
   L'article dérive des formules de réponse du premier ordre pour les observables sous des déformations générales $m(r) = M_{\text{ADM}}(1 + \epsilon h)$.

   • Horizons et Extrémalité : Les décalages de l'horizon extérieur et du spin extrémal dépendent de combinaisons locales de $h$ et $h'$.
   • Région de Photons : Le rayon de la sphère de photons dépend à la fois de la masse enclose $m(r)$ et du gradient de masse $m'(r)$.
   • Ombre : La surface et la forme de l'ombre montrent qu'elles sont sensibles à la distribution radiale de la masse, et pas seulement à la masse ADM totale.

4. Distinction entre Réponses Robustes et Conditionnelles :
   Un résultat critique est la séparation des réponses en deux catégories :

   • Contrôlées par le Profil (Robustes) : La position statique de l'horizon, le rayon de la sphère de photons et la surface de l'ombre (à l'ordre dominant) sont déterminés uniquement par la fonction de masse radiale $m(r)$.
   • Dépendantes de la Complétion (Conditionnelles) : Les déplacements de l'ombre liés au spin (spin-odd) dépendent du choix spécifique de la complétion rotante (par exemple, la fonction de transport de référentiel $\omega(r)$). La prescription de Newman–Janis n'est pas unique ; des complétions alternatives peuvent produire des déplacements comparables ou plus importants dans l'ombre, indiquant que les observables dépendant du spin ne sont pas des prédictions robustes du seul profil de masse.

Résultats

• Structure de l'Horizon : Le spin extrémal $j_{\text{ext}}$ diminue à mesure que la fraction de masse environnementale $f_{\text{sol}}$ augmente. Le rayon de l'horizon se déplace vers l'intérieur par rapport à un trou noir de Kerr de même masse ADM.
• Condition de l'Énergie Faible (WEC) : La source effective rotante satisfait la WEC dans la région extérieure uniquement si l'horizon extérieur $r_+$ se situe en dehors d'un rayon critique $r_{\text{WEC}}$ où la densité d'énergie transverse devient négative. Cela définit un « domaine de cohérence basé sur le signe » distinct du domaine d'existence de l'horizon.
• Validité de l'Approximation :
  • L'approximation de la masse ADM constante (remplaçant $m(r)$ par $M_{\text{ADM}}$) échoue à capturer tout effet de profil radial, retournant les résultats de Kerr standard quel que soit $f_{\text{sol}}$.
  • L'expansion perturbative du premier ordre est précise (erreurs inférieures à 1 %) pour $f_{\text{sol}} \lesssim 0,1$ et des spins modérés ($j_{\text{ADM}}/j_{\text{ext}} \lesssim 0,7$). Cependant, elle devient non uniforme et imprécise près de la limite extrémale ($j_{\text{ADM}} \to j_{\text{ext}}$), particulièrement pour la localisation de l'horizon.
• Observables de l'Ombre : La distribution de masse environnementale modifie la taille et la forme de l'ombre. Cependant, le déplacement horizontal de l'ombre est très sensible au choix de la complétion rotante, ce qui en fait un indicateur non robuste du profil de la FDM en l'absence d'une solution scalaire rotante fondamentale.

Signification et Revendications
Le papier cadre explicitement ses contributions comme des bancs d'essai analytiques formels plutôt que comme des prédictions astrophysiques ou des solutions physiques auto-cohérentes.

• Pas une Solution Fondamentale : Les auteurs soulignent que la géométrie construite est une métrique « effective ». Elle ne prétend pas être une solution des équations de Einstein–Klein–Gordon pour un champ scalaire en rotation. La clôture de la pression et les fonctions de transport de référentiel sont choisies pour la tractabilité analytique (Newman–Janis) plutôt que dérivées d'un lagrangien de matière fondamental.
• Utilité du Banc d'Essai : La valeur primaire réside dans l'isolement des conséquences géométriques d'un profil de masse radiale fini. Il démontre que les observables en champ fort sont contrôlées par les dérivées locales de la fonction de masse ($m', m''$), qui sont perdues lorsqu'on remplace la masse distribuée par une masse ponctuelle.
• Limitations : L'article note que pour des cœurs de FDM astrophysiques réalistes, les effets de gradient en champ fort sont négligeables ($\ll 10^{-20}$) à moins que le soliton ne soit artificiellement compressé. La « boîte de production compacte » utilisée pour les balayages numériques est un espace de paramètres formel, et non une réalisation d'un cœur de FDM non perturbé.
• Conclusion : Le travail fournit un cadre mathématique rigoureux (le théorème de convexité) pour classifier les structures d'horizon dans les géométries de Kerr hors-échelle et quantifie la perte d'information occasionnée par l'approximation d'une matière noire distribuée comme une masse constante. Il souligne que si les observables statiques dépendent du profil, les observables dépendant du spin nécessitent une complétion rotante dérivée d'une source pour être physiquement significatives.