[論文レビュー] A Penrose inequality for asymptotically locally hyperbolic graphs

Levi Lopes de Lima, Frederico Girão|arXiv (Cornell University)|Apr 30, 2013

Point processes and geometric inequalities参考文献 26被引用数 6

ひとこと要約

本稿では、逆平均曲率流れを用いて、漸近的に局所的に双曲的（ALH）な多様体における超曲面に対して鋭いアレクサンドロフ＝フェンヒェル型不等式を確立し、次にすべての次元 $ n \geq 3 $ においてALHグラフに対する最適Penrose不等式を導出する。主な結果として、高 genus のホライズンを有するブラックホール初期データに対するPenrose型不等式が確認され、$ \gamma \geq 1 $ の一般相対性理論における長年の未解決問題が解決される。また、漸近的に双曲的から局所的に双曲的へと結果を拡張する。

ABSTRACT

We use the inverse mean curvature flow to prove a sharp Alexandrov-Fenchel-type inequality for a class of hypersurfaces in certain locally hyperbolic manifolds. As an application we derive an optimal Penrose inequality for asymptotically locally hyperbolic graphs in any dimension $n\geq 3$. When the horizon has the topology of a compact surface of genus at least one, this provides an affirmative answer, for this class of initial data sets, to a question posed by Gibbons, Chruściel and Simon on the validity of a Penrose-type inequality for black hole solutions carrying a higher genus horizon.

研究の動機と目的

• 漸近的に局所的に双曲的（ALH）な多様体における超曲面に対して鋭いアレクサンドロフ＝フェンヒェル型不等式を確立すること。
• すべての次元 $ n \geq 3 $ において、漸近的に局所的に双曲的（ALH）なグラフへのPenrose不等式を拡張すること。
• ギブンズ、クリュシエル、シモンが提起した予想、すなわち高 genus のホライズンを有するブラックホール解に対するPenrose型不等式の有効性を解決すること。
• 幾何的流れの技法を用いて、漸近的に双曲的多様体に関する先行結果を局所的に双曲的状況へ一般化すること。

提案手法

• 逆平均曲率流れを用いて、漸近的に局所的に双曲的多様体内の星型かつ厳密に平均曲率が正の超曲面を発展させる。
• ブレンドルによる積分不等式を適用し、曲率の発展を制御し、幾何的量の単調性を導出する。
• 超曲面上の幾何的積分 $ \mathcal{J}, \mathcal{K}, \mathcal{A} $ を用いて定義される量 $ \mathcal{L} = \frac{{\mathcal{J}} - {\mathcal{K}}}{{\mathcal{A}}^{\frac{n}{n-1}}} $ の単調性を導入し、解析する。
• 無限遠におけるチャートを用いて定義される漸近的質量不変量 $ \mathfrak{m}_{(M,g)} $ を用い、漸近的座標の選択に依存しないことを保証する。
• 単調性不等式における等号成立が全 umbilical 性を意味することを用い、アレクサンドロフの反射原理による剛性結果を導出する。
• 参考計量 $ g_\epsilon $ を持つ $ P_\epsilon = I_\epsilon \times N $ 上の構造を活用し、[dLG4] の技術をALH設定へ適応する。

実験結果

リサーチクエスチョン

• RQ1 高 genus のホライズンを有する漸近的に局所的に双曲的（ALH）なグラフに対して、Penrose型不等式が成立するか？
• RQ2 局所的に双曲的多様体における超曲面に対して、鋭いアレクサンドロフ＝フェンヒェル型不等式を確立できるか？
• RQ3 逆平均曲率流れは、ALH設定において最適な質量不等式関係を導出するのに有効か？
• RQ4 漸近的質量不変量 $ \mathfrak{m}_{(M,g)} $ は、このような多様体の全質量を特徴付けるために果たす役割は何か？
• RQ5 Penrose不等式における等号成立の条件は何か？ そしてそれはホライズンの幾何に何を意味するか？

主な発見

• 鋭いアレクサンドロフ＝フェンヒェル型不等式が証明された：$ \mathcal{L}(\Sigma) \geq (n-1)\vartheta_{n-1}\epsilon $ であり、等号成立の必要十分条件は $ \Sigma $ が全 umbilical スライスであること。
• 逆平均曲率流れは $ \mathcal{L} $ の単調性を保ち、その極限が所望の不等式を導く。
• ALHグラフに対する最適Penrose不等式が確立された：$ \mathfrak{m}_{(M,g)} \geq \frac{1}{2(n-1)} \left( \frac{\omega_{n-1}}{\vartheta_{n-1}} \right)^{\frac{n-2}{n-1}} \mathcal{A}(\Sigma)^{\frac{n-2}{n-1}} $ であり、等号成立の必要十分条件はホライズンが参考計量のスライスであること。
• $ n=3 $ かつ genus $ \gamma \geq 1 $ の場合、本結果はギブンズ、クリュシエル、シモンが提起した高 genus ブラックホールホライズンに関する問いに肯定的な答えを与える。
• Penrose不等式における等号成立は、ホライズンがスカラー曲率方程式 $ R_g = -n(n-1) $ の楕円的解であること、従ってアレクサンドロフの反射により標準スライスと合同であること意味する。
• 漸近的質量不変量 $ \mathfrak{m}_{(M,g)} $ が漸近的チャートの選択に依存しないことが示され、幾何的整合性が保証された。