[論文レビュー] A Minkowski inequality for hypersurfaces in the Anti-deSitter-Schwarzschild manifold

Simon Brendle, Pei‐Ken Hung+1 more|arXiv (Cornell University)|Sep 4, 2012

Geometric Analysis and Curvature Flows参考文献 22被引用数 18

ひとこと要約

本稿は、n次元のAnti-deSitter-Schwarzschild多様体における平均凸かつ星型の超曲面に対して、古典的なMinkowski不等式を一般化した鋭いMinkowski型不等式を確立する。証明では、逆平均曲率流れに関する新規な単調性公式と、先行研究における幾何学的不等式を用い、静的ポテンシャルと体積項を含む重み付き全平均曲率の上界が得られ、等号成立は超曲面が座標球面である場合に限る。

ABSTRACT

We prove a sharp inequality for hypersurfaces in the n-dimensional Anti-deSitter-Schwarzschild manifold for general n greater or equal to 3. This inequality generalizes the classical Minkowski inequality for surfaces in the three dimensional Euclidean space, and has a natural interpretation in terms of the Penrose inequality for collapsing null shells of dust. The proof relies on a new monotonicity formula for inverse mean curvature flow, and uses a geometric inequality established by the first author in [3].

研究の動機と目的

• n ≥ 3次元におけるAnti-deSitter-Schwarzschild多様体の文脈で、古典的なMinkowski不等式を一般化すること。
• 静的ポテンシャルfを重みとして用いる重み付き平均曲率積分と体積項を含む幾何学的不等式を確立すること。
• 崩壊する真空中の光線殻に対するPenrose不等式の幾何学的解釈を提供すること。
• 極限状況、例えば双曲空間やSchwarzschild時空において既知の不等式が、主結果の特別な場合として回復されることを示すこと。
• 等号成立条件を証明し、不等式において等号が成立するのは座標球面に限ることを示すこと。

提案手法

• 初期超曲面Σ₀を無限遠へと進化させるAdS-Schwarzschild多様体における逆平均曲率流れ（IMCF）を用いる。
• 重み付き平均曲率積分と体積項を含む新しい単調性量Q(t)を定義し、Q(t) = ∫Σₜ fH dμ - n(n-1)∫Ωₜ f dvolとする。
• Hとfの発展方程式およびfの静的性質（Δ̄f = nf）を用いて、流れに沿ってQ(t)が単調に減少することを証明する。
• Brendle（2013）の関連する幾何学的不等式（∫ f/H dμと∫ f dvolの関係）を応用して発展を制御する。
• 発散定理と静的方程式（Δ̄f = nfおよびRic(ν,ν)の関係）を用いて、Q(t)の微分不等式を導出する。
• 漸近的解析を用いてt→∞におけるQ(t)の極限を確立し、liminf Q(t) ≥ (n-1)|Sⁿ⁻¹|¹ᐟⁿ⁻¹を示し、これにより主不等式が得られる。

実験結果

リサーチクエスチョン

• RQ1 Anti-deSitter-Schwarzschild多様体における超曲面に対して、古典的ユークリッド系のMinkowski型不等式を確立できるか？
• RQ2 静的ポテンシャルfと非自明なホライズンの存在が、このような不等式の構造にどのように影響するか？
• RQ3 逆平均曲率流れは、曲がった静的時空における幾何学的不等式の証明においてどのような役割を果たすか？
• RQ4 不等式は、双曲空間（m→0）やSchwarzschild時空といった極限状況において、既知の結果を特別な場合として回復するか？
• RQ5 等号成立の条件は何か？ そして、等号成立は座標球面に限られるのか？

主な発見

• 主不等式は、∫Σ fH dμ - n(n-1)∫Ω f dvol ≥ (n-1)|Sⁿ⁻¹|¹ᐟⁿ⁻¹ (|Σ|⁽ⁿ⁻²⁾ᐟ⁽ⁿ⁻¹⁾ - |∂M|⁽ⁿ⁻²⁾ᐟ⁽ⁿ⁻¹⁾) であり、等号成立はΣが座標球面である場合に限る。
• m→0の極限において、不等式は双曲空間における鋭いMinkowski型不等式に簡略化され、原点付近で古典的結果を回復する。
• 不等式は、スケーリングされた計量のm→0極限を取ることで、標準的Schwarzschild多様体における鋭いMinkowski型境界を示唆する。
• f、Hおよび第二基本形式を含む新しい微分不等式を用いて、逆平均曲率流れに沿ったQ(t)の単調性が確立される。
• t→∞におけるQ(t)の極限は、(n-1)|Sⁿ⁻¹|¹ᐟⁿ⁻¹で下から抑えられており、これが最終的な不等式の導出に不可欠である。
• 等号成立は座標球面に限られ、m=0の場合には原点を中心とする測地球面のみが等号を達成する。