[論文レビュー] The Conformal Flow of Metrics and the General Penrose Inequality

Qing‐Long Han, Marcus Khuri|arXiv (Cornell University)|Aug 30, 2014

Advanced Differential Geometry Research参考文献 20被引用数 3

ひとこと要約

この論文は、一般相対性理論における時間非対称初期データセットに対して、計量の共形フローを拡張することで一般化されたペンローズ不等式を証明し、ADM質量の下界を外側の外的視界を囲む最小面積の関数として確立する。滑らかに正のワーピング関数を構築し、一般化されたジャン方程式と結合することで、等号成立はシュバルツシルト時空スライスに限ることを示している。

ABSTRACT

The conformal flow of metrics [2] has been used to successfully establish a special case of the Penrose inequality, which yields a lower bound for the total mass of a spacetime in terms of horizon area. Here we show how to adapt the conformal flow of metrics, so that it may be applied to the Penrose inequality for general initial data sets of the Einstein equations. The Penrose conjecture without the assumption of time symmetry is then reduced to solving a system of PDE with desirable properties.

研究の動機と目的

• アインシュタイン方程式の時間非対称初期データセットに対してペンローズ不等式を一般化すること、ここで外的曲率 $ k \neq 0 $ である。
• 共形フローに適切に選ばれたワーピング関数 $ \phi $ を用いて、逆平均曲率フローにおける退化問題を回避する非退化結合を導入すること。
• 時間対称性が成り立たない状況においても、外側の外的視界を囲むために必要な最小面積 $ A_{\text{min}} $ を用いてADM質量の下界を確立すること。
• 不等式における等号成立が、外側の外的視界を持つシュバルツシルト時空スライスから生じる初期データに限ることを証明すること。

提案手法

• ブレイの研究における計量の共形フローを、境界 $ \partial M $ から離れて常に正のままである新たなワーピング関数 $ \phi $ を導入することで、時間非対称設定に適応する。
• ワーピング積分多様体 $ (M \times \mathbb{R}, g + \phi^2 dt^2) $ 内のグラフ $ \Sigma = \{ t = f(x) \} $ 上で一般化されたジャン方程式 $ H_{\Sigma} - \text{Tr}_{\Sigma}K = 0 $ を用い、$ \Sigma $ 上で弱く非負のスカラー曲率を保証する。
• 共形因子 $ u_t $ と共形フローからの関数 $ v_t $ を含む積分公式によりワーピング関数 $ \phi $ を定義し、等号成立時には $ \phi = \phi_{\text{SC}} $ となるように保証する。
• ジャン多様体 $ \Sigma_t $ 上でのスピンルの平行性と、平行スピンルの基底の存在を用いて、スカラー曲率 $ \overline{R} \equiv 0 $ を導出し、$ \mathbb{R}^3 $ のユークリッド計量と等長であることを示す。
• $ \Sigma_0 $ に誘導される計量 $ \overline{g} $ がシュバルツシルト時空の外部と等長であり、$ \mathbb{SC}^4 $ への埋め込みが第二基本形式 $ k $ と一致することを示す。
• 境界 $ \partial M $ が外側の外的視界であることを示すために $ \phi \to 0 $ が $ \partial M $ で成り立つことを示し、質量下界における等号成立が $ |\partial M| = A_{\text{min}} $ を必要とすることを示す。

実験結果

リサーチクエスチョン

• RQ1 時間非対称な初期データセット（$ k \neq 0 $）に対して、計量の共形フローを一般化してペンローズ不等式を証明できるか？
• RQ2 ワーピング関数が消えることで生じる退化を避けるために、一般化されたジャン方程式と共形フローを非退化的に結合する方法は何か？
• RQ3 一般化されたペンローズ不等式における等号成立の条件は何か？ また、等号成立時に対応する時空幾何はどのようなものか？
• RQ4 外側の外的視界を囲む最小面積 $ A_{\text{min}} $ は、時間非対称の場合にADM質量の下界を定めるのに十分か？
• RQ5 剛性定理は成り立つか？ すなわち、等号成立が、シュバルツシルト時空のスライスから生じる初期データに限ることを示せるか？

主な発見

• ADM質量は $ M_{\text{ADM}} \geq \sqrt{A_{\text{min}}/(16\pi)} $ を満たし、ペンローズ不等式が時間非対称な初期データセットへ拡張された。
• ワーピング関数 $ \phi $ は共形フローを介して明示的に構成され、等号成立時にはシュバルツシルトのワーピング係数 $ \phi_{\text{SC}} $ と一致することが示された。
• 等号成立は、外側の外的視界を持つシュバルツシルト時空スライスから生じる初期データに限る。
• ジャン多様体 $ \Sigma_0 $ は $ t=0 $ スライスのシュバルツシルト時空の外部と等長であり、誘導計量 $ \overline{g} $ は共形平坦かつスカラー曲率がゼロである。
• 境界 $ \partial M $ が外側の外的視界であることが示され、等号成立のためには $ |\partial M| = A_{\text{min}} $ が必須である。
• 新しい $ \phi $ を用いた一般化されたジャン方程式により非退化性が保証され、スピンル技術を用いて剛性を証明でき、等号成立がシュバルツシルトデータに限ることを確認した。