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

技術要約：ブラックホール・モジュリのアディアバティック変形 I. カノニカル・スライスとフレドホルム可解性

問題提起
本論文は、アインシュタイン・マクスウェル・ディラトン理論における、緩やかに進化する漸近的モジュラス（例えば、無限遠で固定されたスカラー電荷やディラトンの値）に対する、静的なブラックホールの一次近似のアディアバティック応答（断熱応答）を扱う。外部のモジュラスが緩やかに時間変化する場合、ブラックホールは厳密に静的な状態に留まり続けることはできない。これにより、二つの明確な問いが生じる：

1. 幾何学的問い： 静的な解の多様体において、緩やかに変化する外部モジュラスによって駆動される際、連続的な静的解の族の中で、どの特定の瞬時的な代表元が選択されるのか？
2. 関数解析学的問い： この軌跡が特定されたとき、結果として得られる線形摂動方程式は一意な解を持つのか？ 低減された半径方向の作用素は、通常、静的な解の族の接方向に由来する非自明な核（カーネル）を持つため、存在性と一意性は自動的には保証されない。

著者らは、一般的な非極限的な静的解多様体に対してこれらの問いに答えるべく、問題を明示的なスカラー基準へと還元することを目指している。

手法
構成は、特定のブラックホール・ファミリーに関する仮定（滑らかな非極限的な静的多様体の存在を除く）を避け、問題を幾何学的層と関数解析学的層へと厳密に分離することによって進められる。

1. 近傍領域への厳密な低減： 著者らは、有限の半径範囲（$r_H \le r \le r_m$）において、高度なエディントン・フィンケルシュタイン・ゲージを用いて作業を行う。最初にアディアバティック展開を仮定することなく、アインシュタイン・マクスウェル・ディラトン理論の厳密な場の方程式を導出する。厳密な地平線質量 $M_H^{exact}$ を定義し、それを瞬時的な静的代表元の地平線質量と区別する。
2. 線形化と低減： 結合された線形アインシュタイン・マクスウェル・ディラトン方程式を、スカラー摂動 $\eta$ に関する単一の局所的な半径方向の方程式へと低減する。制約条件を用いて、計量摂動（ラプス $\xi$ および質量 $\mu$）を排除し、残差積分定数 $C_\mu$ を源とする単一の低減された半径方向作用素 $L$ を残す。
3. カノニカルな接幾何学： 集団座標（具体的には漸近的モジュラス $\Phi$ および静的な地平線質量パラメータ $M_{H,0}$）に関して静的な解の族を微分することにより、静的解多様体の接空間上の固有の余コベクトル $C_\mu$ を定義する。著者らは、このコベクトルが、$M_{H,0}$ を固定した状態での $\Phi$ の変化に対応する「カノニカルな接方向」を特定することを証明する。
4. アディアバティック・トラッキングとラグ場： 静的な解の族を時間依存の構成へと昇格させる。この「瞬時的なトラッキング」は厳密な場の方程式を満たすことができず、「欠陥（defect）」または「ラグ場（lag field）」を生成する。質量バランスの欠陥は、軌跡がカノカルな接方向に従い、かつ地平線質量が二次アディアバティック次で進化する場合に、一次のオーダーで消失する。
5. 局所スライスとスライスされた作用素： ラグ場の定義には、残留する接方向の曖昧さが存在する。著者らは、曖昧さを固定するために「局所スライス」条件（$\mu(v, r_m) = 0$）を導入する。これにより、半径方向の積分定数が、スカラー・ラグ場の境界評価へと変換される。この操作は、低減された作用素 $L$ を有限ランクの摂動によって修正し、「スライスされた作用素」 $L_{sl} = L + u \otimes \ell$ を与える。
6. フレドホルム解析： 著者らは、フレドホルム理論を用いて、完成された境界値問題の可解性を分析する。スライスされた作用素は、一次元の核を持ちつつも全射性を維持していることを確立するが、有限ランクの更新が非自明である場合、その核の生成元は元のカノカルな接モードから変位する。

主要な貢献と結果

• カノニカル接定理 (Theorem 1): 著者らは、$(\Phi, M_{H,0})$ でパラメータ化された静的解多様体に対して、質量バランスの制約を満たす一意な接方向は $\partial_\Phi |_{M_{H,0}}$ であることを証明する。この方向は、固定された静的地平線質量における $\Phi$ の変化に対応する。この接成分のスカラ成分 $\phi_\Phi$ は、未スライスされた低減作用素の核（$L\phi_\Phi = 0$）に含まれる。
• ゼロモードの変位: 局所スライスの導入は、低減された作用素に対して有限ランクの摂動を誘起する。スライスがカノカルな接方向に横断的である場合（すなわち、質量プロファイルが接方向に沿って変化する場合、$m_\Phi(r_m) \neq 0$）、かつ摂動が非自明である場合（$K \neq 0$）、元のゼロモード $\phi_\Phi$ はスライスされた作用素 $L_{sl}$ の核から変位する。
• 可解性定理 (Theorem 2): 一次アディアバティック変形の存在と一意性は、単一のスカラー条件に還元される。完成された境界値作用素が全単射であるための必要十分条件は、スライスされた作用素の核の生成元 $\psi_\star$ が、以下の非自明な外部マッチング条件を満たすことである：
  $$B_m \psi_\star \neq 0$$
  ここで、$B_m$ は外部のマッチング問題を表現する有界線形汎関数である。
• 三つの非退化条件: 論文では、構成に必要とされる論理的に異なる三つの条件を特定している：
  1. スライスの横断性: $m_\Phi(r_m) \neq 0$ （スライスが唯一の代表元を選択することを保証する）。
  2. 非自明な更新: $K \neq 0$ （カノカルなゼロモードが核から変位することを保証する）。
  3. 外部マッチングの非退化性: $B_m \psi_\star \neq 0$ （残された同次的な自由度が外部データによって固定されることを保証する）。

意義と範囲
本論文は、特定の閉形式解に依存しない、アディアバティックなブラックホール変形の一般的かつ幾何学的・関数解析的な基礎を提供すると主張している。その主要な貢献は、アディアバティックな応答の存在と一意性のための構造的要件を分離したことにある。

• 幾何学的 vs 関数解析学的: 本研究は、静的多様体上の正しい軌跡を特定すること（幾何学的）と、その軌跡に沿って線形方程式を解けること（関数解析学的）を分離している。
• 一般性: この枠組みは、滑らかな非極限的な静的解多様体を許容するあらゆる理論に適用可能である。特定のポテンシャルやゲージ・キネティック関数には依存しない。
• 限界と今後の課題: 著者らは、本論文が一般的な枠組みを確立するものであることを明示しており、特定のモデルにおけるプロファイルの明示的な形式やマッチング条件の評価は行っていない。また、本フレームワークを磁気Garfinkle–Horowitz–Strominger (GHS) ファミリーに特化して明示的な評価を行うための、随伴論文 [18] の存在にも言及している。本稿は、極限近傍のレジームや、自由に伝播する同次的な摂動の全スペクトルについては扱わず、因果的に選択された、緩やかな強制下にあるアディアバティックな枝にのみ焦点を当てている。

要約すれば、本論文は、ブラックホールの緩やかなモジュラス変化に対するアディアバティックな応答は、単なる時間依存パラメータの代入ではなく、制約された変形問題であることを示している。その解は、外部のマッチング条件が、局所スライスと低減された作用素の相互作用によって生成された特定の同次モードを消滅させない場合に限り、存在し、かつ一意となる。