[論文レビュー] The equality case of the Penrose inequality for asymptotically flat graphs

Lan-Hsuan Huang, Damin Wu|arXiv (Cornell University)|May 9, 2012

Geometric Analysis and Curvature Flows参考文献 20被引用数 4

ひとこと要約

本稿は、すべての次元 $n \geq 3$ において、漸近的に平坦なグラフ的超曲面におけるPenrose不等式の等号成立条件を確立し、等号が成り立つのは、かつてその超曲面がSchwarzschild解の外部と等長である場合に限ることを証明している。証明は、非負のスカラー曲率をもつこのような超曲面が平均凸であることを示し、スカラー曲率方程式に最大原理を適用することに依拠しており、制御された漸近的挙動のもとで剛性が得られる。

ABSTRACT

We prove the equality case of the Penrose inequality in all dimensions for asymptotically flat hypersurfaces. It was recently proven by G. Lam that the Penrose inequality holds for asymptotically flat graphical hypersurfaces in Euclidean space with non-negative scalar curvature and with a minimal boundary. Our main theorem states that if the equality holds, then the hypersurface is a Schwarzschild solution. As part of our proof, we show that asymptotically flat graphical hypersurfaces with a minimal boundary and non-negative scalar curvature must be mean convex, using the argument that we developed earlier. This enables us to obtain the ellipticity for the linearized scalar curvature operator and to establish the strong maximum principles for the scalar curvature equation.

研究の動機と目的

• すべての次元 $n \geq 3$ において、漸近的に平坦なグラフ的超曲面に対するPenrose不等式の剛性ケースを確立すること。
• 非負のスカラー曲率と最小境界をもつ漸近的に平坦なグラフ的超曲面が、必然的に平均凸であることを示すこと。
• Penrose不等式における等号が、超曲面がSchwarzschild解の外部と等長であることを示すこと。
• 次元 $n \geq 8$ において、球対称でない場合にまで剛性結果を拡張すること。この次元では、かつてこのような結果は知られていなかった。

提案手法

• 文献[15]の技術を用いて、非負のスカラー曲率と最小境界をもつ漸近的に平坦なグラフ的超曲面が平均凸であることを証明すること。
• 平均凸性と境界条件を用いて、線形化されたスカラー曲率作用素の厳密な強凸性を確立すること。
• 等号成立ケースを分析するために、スカラー曲率方程式に強い最大原理を適用すること。
• Schwarzschild解を比較関数として用いたバリア法的議論を行い、漸近的挙動を調整すること。
• 翻訳されたSchwarzschildグラフ（$h + \lambda$ または $h - \lambda$）の連続的変形を用いて、最大原理の定理を適用すること。
• 次元に応じて場合分けを行う：$n \geq 5$（無限遠で有界）と $n = 3,4$（無限遠で有界でない）で、後者には振動制御（1.1）を用いる。

実験結果

リサーチクエスチョン

• RQ1 次元 $n \geq 3$ における漸近的に平坦なグラフ的超曲面に対するPenrose不等式の等号成立条件は何か？
• RQ2 非球対称で非コンパクトなグラフ的超曲面が非負のスカラー曲率をもつ場合、Penrose不等式の剛性は確立可能か？
• RQ3 このような超曲面におけるPenrose不等式の等号成立ケースにおいて、平均凸性はどのような役割を果たすか？
• RQ4 関数 $f$ の漸近的挙動は、スカラー曲率方程式の解の一意性にどのように影響するか？
• RQ5 ゼロのスカラー曲率とPenrose不等式における等号を満たす漸近的に平坦なグラフ的超曲面として、Schwarzschild解は唯一のものか？

主な発見

• Penrose不等式における等号が成り立つのは、$f$ のグラフが質量 $m$ のSchwarzschild解の外部と等長である場合に限る。
• 等号が成り立つとき、グラフのスカラー曲率は恒等的にゼロであり、境界 $\partial\Omega$ は半径 $(2m)^{1/(n-2)}$ の球面である。
• $n \geq 5$ の場合、$f$ のグラフは無限遠で有限の極限に近づき、Schwarzschild解に対しても同様に有限の極限に近づくため、平行移動を用いた比較が可能である。
• $n = 3$ または $4$ の場合、$f$ のグラフは無限遠で対数的または $\sqrt{|x|}$ のように増加し、漸近的制御（1.1）により比較議論が成立する。
• 証明は最大原理の議論に依拠している：$f$ が上側または下側から平行移動されたSchwarzschildグラフに接するならば、それは同一でなければならない。
• 本結果により、次元 $n \geq 8$ における非球対称で非コンパクトなグラフ的超曲面に対する新たな剛性定理が確立され、文献における空白を埋めた。