Scalaron-modified null focusing and radial monotonicity in static f(R) gravity

技術的要約：静的な $f(R)$ 重力におけるスカラーロン修飾された零点集束と動径方向の単調性

問題提起
零点コングルーエンス（null congruences）の挙動は、一般相対性理論（GR）における重力集束、特異点形成、および地平線の構造を理解する上で極めて重要である。GRにおいて、レイチャウディ方程式はアインシュタイン方程式を介して、零測地線の収束を物質のエネルギー・運動量テンソルに直接結びつける。しかし、計量 $f(R)$ 重力のような修正重力理論では、追加の動的な自由度（具体的にはスカラーロン $F \equiv df/dR$）が零点集束のバランスを変化させる。従来の研究では、物質の零点エネルギー条件だけでは修正重力理論における集束を制御するには不十分であることが確立されているが、静的かつ球対称な時空において、スカラーロンが動径方向の零点収束をどのように修飾するかについて、モデルに依存しない厳密な特徴付けが欠けていた。具体的には、局所的な動径方向の集束特性が、静的な外部解析と非静的な内部力学を混同することなく、複数のキリング地平線の存在や順序付けといったグローバルな地平線構造に対して何を意味するのかを明確にする必要がある。

手法
著者らは、$f(R)$ 重力の枠組みにおいて、計量 $ds^2 = A(r)dt^2 - dr^2/B(r) - r^2d\Omega^2$ で記述される静的かつ球対称な時空を分析している。その手法は以下の通りである：

1. 場の方程式と射影: $f(R)$ の場の方程式から出発し、著者らはこれらを動径方向の零ベクトル $K^\mu$ と縮約する。これにより、物質の寄与（$8\pi T_{\mu\nu}K^\mu K^\nu$）とスカラーロンのヘッセ行列の寄与（$K^\mu K^\nu \nabla_\mu \nabla_\nu F$）を組み合わせた実効的な動径収束の分子 $E_K$ が孤立する。
2. 幾何学的恒等式: 超曲面直交な零コングルーエンスに対するレイチャウディ方程式と、静的計量の特定の対称性を利用することで、著者らは計量の比 $Q(r) \equiv B(r)/A(r)$ の微分と実効的な収束分子との間の厳密な微分恒等式を導出する：
   $$Q'(r) = -\frac{r}{A(r)F(r)} E_K(r)$$
   この恒等式は、場の方程式と幾何学的定義のみから導出されており、$A, B, F > 0$ である任意の連結な静的区間で成立する。
3. 積分と境界解析: この微分恒等式を静的区間上で積分することにより、$Q$ の境界値（端点）と $E_K$ のバルク積分との間の積分関係を確立する。ここでは、正則で非退化なキリング地平線（$A, B \to 0$）と、$B \to 0$ のみが生じる面（有限の赤方偏移ゼロ）との振る舞いに細心の注意を払う。

主要な貢献と結果

• 厳密な動径単調性則: 本論文は、実効的な収束分子 $E_K$ の符号が、連結な静的区間における比 $Q = B/A$ の単調性を厳密に決定することを確立している。もし $E_K \geq 0$ ならば $Q$ は非増加であり、もし $E_K \leq 0$ ならば $Q$ は非減少となる。これは、GRの結果（$E_K \propto \rho + p_r$）を、スカラーロンの幾何学的寄与を含めて一般化したものである。
• 地平線順序定理: 2つの正則で非退化なキリング地平線に挟まれた静的パッチにおいて、$E_K$ の符号は地平線の傾き比 $q_i = \lim_{r \to r_i} B(r)/A(r)$ の順序を決定する。具体的には、$E_K \geq 0$ の場合、外側の地平線における傾き比は内側の地平線におけるもの以下となる（$q_2 \leq q_1$）。
• 剛性と飽和: 著者らは、$E_K$ が一定の符号を持ち、かつ端点の $Q$ の値が等しい場合（例：$q_1 = q_2$）、$E_K$ は全域で恒等的にゼロにならなければならず、$B/A$ が定数であることを証明している。真空においては、この飽和条件（$B/A = \text{const}$）は、スカラーロンの線形プロファイル（$F(r) = F_0 + F_1 r$）を必要とする。
• 等端点への障害: $Q$ の端点値を等しくしようとしつつ、厳密にゼロでない一定符号の $E_K$ を維持しようとする場合に、ゼロ積分による障害が生じる。これは、固定符号の収束条件が、システムが飽和状態（定数 $Q$）にある場合を除いて、同一の傾き比を持つ2つの地平線を支持できないことを意味する。
• 診断への応用: 導出された恒等式を、文献にある厳密解、特に Multamäki と Vilja の定数-$X$ 解およびべき乗解のテストに適用する。
  • この分析により、定数-$X$ 解のシュヴァルツシルト–ド・ジッター・パラメータ範囲において、スカラーロン $F$ が静的パッチの内部でゼロを横切ることが明らかになり、パッチ全体にわたる正の結合仮定が無効になることが示された。
  • 表示されたべき乗解の族に直接代入することで、未解決の指数不一致が露呈し、導出された恒等式が整合性の診断ツールとして有用であることが示された。
• ベンチマーク: GRにおける定数密度星の内部構造を非飽和のベンチマークとして用いることで、$E_K \neq 0$ である物理的に現実的な非真空構成において、厳密な単調性定理が保持されることを確認している。

意義と主張
本論文は、修正重力の静的セクターに対する「控えめ」ながらも精密な貢献であると位置づけている。著者らは、自らの結果がグローバルな「内側地平線なし」の定理を構成するものではないことを明示している。なぜなら、地平線の間の領域は一般に非静的であり、二重零（double-null）定式化を必要とするからである。代わりに、本研究はモデルに依存しない静的セクターの診断法を提供するものである。

主な意義は、局所的な動径方向の集束特性が、グローバルな地平線構造に関して何を確定させるのかを明確にした点にある。すなわち、連結な静的区間内において、物質とスカラーロンを合わせた収束分子の符号が、$B/A$ の単調性を完全に決定し、境界となる地平線の有限な端点データを順序付ける。著者らは、正則なキリング地平線における有限かつ非ゼロの $B/A$ の極限を無視することで、地平線の数を誤って結論付けてしまうことを避けるために、この区別が極めて重要であると主張している。これらの結果は、ブラックホール内部の将来的な取り扱いのための厳密な出発点を提供するとともに、導出された動径単調性則との整合性をチェックすることで、提案された $f(R)$ 重力の厳密解を検証または無効化するためのツールとなる。