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

技術要約：オフシェル・カー幾何学における凸性基準と径方向プロファイル応答

問題提起
ダークマター（DM）の性質は依然として中心的な未解決問題であり、超軽量ボゾン場（ファジーダークマター、FDM）は、マクロなド・ブロイ波長を通じて銀河構造を変化させる魅力的な代替案を提供している。ブラックホール（BH）がこのような環境に埋め込まれている場合をモデリングする際の重要な課題は、漸近的な全質量（ADM質量）と局所的な径方向質量分布を区別することである。既存のアプローチの多くは、固定されたカー・背景上でDMを摂動的に扱うか、厳密な一貫性のチェックを欠いた現象論的な計量修正を導入している。さらに、現実的なスカラー配置によって支持される回転ブラックホールに対して、厳密な定常軸対称解を構築することは一般に困難である。ニューマン・ジャニス・アルゴリズムは、静的なシードから回転計量を生成するために頻繁に使用されるが、複素化のステップは一意的ではなく、結果として得られる「オフシェル」の幾何学は、その静的なシードと同じ物質方程式を解いているとは限らない。本論文は、回転するアインシュタイン・クライン–ゴルドン解としての自己整合的な主張を行うことなく、有限の径方向質量プロファイルが強重力観測量（地平線、光子球、シャドウ）に与える影響を分離するための、制御された解析的ベンチマークの必要性に対処するものである。

手法
著者らは、特定のFDMに触発された密度プロファイルから導出された、静的な球対称シードに基づく有効なカー型幾何学を構築する：
$$\rho_{\text{FDM}}(r) = \rho_c \left[ 1 + \alpha \left( \frac{r}{r_c} \right)^2 \right]^{-8}$$
ここで $\alpha = 2^{1/8} - 1$ である。

1. 静的シードの構築: この密度プロファイルから包囲質量 $m(r)$ を正確に積分する。静的計量は、一つの関数による閉鎖条件（$g_{tt}g_{rr} = -1$）を用いて定義され、これにより径方向圧力 $p_r = -\rho$ が固定される。これにより、静的な異方性流体解が得られる。
2. 回転への拡張: ニューマン・ジャニス・アルゴリズムを静的シードに適用し、定常軸対称計量を生成する。決定的なことに、$\Delta(r)$ は $\Delta(r) = r^2 - 2r m(r) + a^2$ と定義され、$r$ にのみ依存することを保証する。これは、零測地線のハミルトン・ヤコビ方程式の可分性（カーターの可分性）を維持する。
3. 解析的ベンチマーク: 著者らは、地平線の構造をグローバルに分類するために、$\Delta(r)$ の凸性に関する十分条件を導出する。次に、ソリトン質量分率 $f_{\text{sol}} = M_{\text{sol}}/M_{\text{ADM}}$ に関する一次摂動展開を行い、地平線、極限枝、および光子軌道の応答関数を導出する。
4. 比較分析: 結果を以下と比較する：
   • 完全な径方向プロファイル計算（仮定内での厳密解）。
   • 一次摂動展開。
   • 一定ADM質量置換（$m(r) \to M_{\text{ADM}}$ とする場合）。これは標準的なカー幾何学を回復する。
   • 低回転極限における様々な完備性の不確定性。

主要な貢献

1. オフシェル・カー幾何学における凸性基準:
   本論文は、径方向関数 $\Delta(r) = r^2 - 2r m(r) + a^2$ の厳密な凸性のための十分条件を確立する。正で非減少な $C^2$ 級の質量プロファイル $m(r)$ に対して、不等式：
   $$1 - 2m'(r) - r m''(r) > 0$$
   は、$\Delta(r)$ が $r > 0$ で厳密に凸であることを保証する。

   • 含意: これは、$a \neq 0$ の場合、$\Delta(r)$ が高々2つの正の根（内側および外側の地平線を定義する）を持つか、あるいは根を持たないことを保証する。$a=0$ の場合、正確に1つの正の根が存在する。この定理は、単調な質量関数の広範なクラスに対して、二次的な極限枝や追加の地平線を排除し、地平線のトポロジーをグローバルに分類するものである。

2. 解析的なFDM触発ベンチマーク:
   著者らは、特定のFDMプロファイルが、数値スキャンに使用されたパラメータ空間（$f_{\text{sol}} / (r_c/M_{\text{ADM}}) < 0.69$）よりも大幅に広い領域において凸性基準を満たすことを示す。また、包囲質量、極限枝の条件、および弱いエネルギー条件（WEC）の境界に関する閉形式の表現を提供する。

3. プロファイル・ファンクショナル応答理論:
   一般の変形 $m(r) = M_{\text{ADM}}(1 + \epsilon h)$ 下での観測量の一次応答式を導出する。

   • 地平線と極限性: 外側地平線のシフトおよび極限スピンは、$h$ と $h'$ の局所的な組み合わせに依存する。
   • 光子領域: 光子球の半径は、$m(r)$ と質量勾配 $m'(r)$ の両方に依存する。
   • シャドウ: シャドウの面積と形状は、ADM質量だけでなく、質量の径方向分布にも敏感であることが示されている。

4. 堅牢な応答と条件的応答の区別:
   結果を以下の2つのカテゴリーに分離する：

   • プロファイル制御型（堅牢）: 静的な地平線の位置、光子球の半径、およびシャドウの面積（一次まで）は、径方向質量関数 $m(r)$ のみによって決定される。
   • 完備性に依存（条件的）: スピン奇のシャドウ変位は、回転の完備性（例：フレーム・ドラッギング関数 $\omega(r)$）の具体的な選択に依存する。ニューマン・ジャニス処方は一意的ではなく、代替の完備性は、シャドウに同等またはより大きな変位を生じさせ得る。これは、スピン依存の観測量が径方向プロファイルのみによる堅牢な予測ではないことを示している。

結果

• 地平線構造: 極限スピン $j_{\text{ext}}$ は、環境質量分率 $f_{\text{sol}}$ が増加するにつれて減少する。地平線半径は、同じADM質量を持つカー・ブラックホールと比較して内側に移動する。
• 弱いエネルギー条件 (WEC): 回転する有効源は、横方向のエネルギー密度が負になる臨界半径 $r_{\text{WEC}}$ の外側に外側地平線 $r_+$ が位置する場合にのみ、外部領域でWECを満たす。これは、地平線の存在領域とは異なる「符号に基づく一貫性領域」を定義する。
• 近似の妥当性:
  • 一定ADM質量近似（$m(r)$ を $M_{\text{ADM}}$ で置き換える）は、径方向プロファイルの効果を捉えることができず、$f_{\text{sol}}$ に関わらず標準的なカーの結果を返す。
  • 一次摂動展開は、$f_{\text{sol}} \lesssim 0.1$ かつ中程度のスピン（$j_{\text{ADM}}/j_{\text{ext}} \lesssim 0.7$）において正確（誤差1%未満）である。しかし、極限付近（$j_{\text{ADM}} \to j_{\text{ext}}$）では非一様となり、特に地平線の位置において不正確になる。
• シャドウ観測量: 環境質量の分布は、シャドウのサイズと形状を変化させる。しかし、シャドウの水平方向の変位は、回転の完備性の選択に非常に敏感であり、基礎となる回転スカラー解が存在しない限り、FDMプロファイルの堅牢な指標にはならない。

意義および主張
本論文は、その貢献を、天文学的な予測や自己整合的な物理的解としてではなく、形式的な解析的ベンチマークとして明示的に位置づけている。

• 基礎的な解ではない: 著者らは、構築された幾何学が「有効」な計量であることを強調している。これは、回転するスカラー場に対するアインシュタイン・クライン–ゴルドン方程式の解であるとは主張していない。圧力の閉鎖およびフレーム・ドラッギング関数は、基礎的な物質ラグランジアンから導出されたものではなく、解析的な扱いやすさ（ニューマン・ジャニス）のために選択されている。
• ベンチマークとしての有用性: 主な価値は、有限の径方向質量プロファイルによる幾何学的帰結を分離することにある。これは、強重力の観測量が、質量を点質量として扱う際に失われる質量の局所的な微分（$m', m''$）によって制御されていることを示している。
• 限界: 著者らは、現実的な天体物理学的FDMコアにおいて、強重力勾配の効果は（ソリトンが人工的に圧縮されていない限り）無視できる程度（$\ll 10^{-20}$）であることを述べている。「コンパクトな生成ボックス」を用いた数値スキャンは、形式的なパラメータ空間であり、摂動を受けていないFDMコアの実装ではない。
• 結論: 本研究は、オフシェル・カー幾何学における地平線構造を分類するための厳密な数学的枠組み（凸性定理）を提供し、分布したダークマターを一定質量として近似することによって生じる情報の損失を定量化する。また、静的な観測量はプロファイル依存であるが、スピン依存の観測量は、物理的に意味のあるものとなるために、ソースに由来する回転の完備性を必要とすることを明らかにしている。