[論文レビュー] Rigidity of marginally outer trapped 2-spheres

Abraão Mendes|arXiv (Cornell University)|Apr 25, 2015

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

ひとこと要約

この論文は、初期データセットにおける平均曲率制約 τ ≤ 0 を除去することで、Gallowayのfoliation定理を拡張し、安定で面積最大化の marginal outer trapped 2-球面（MOTS）が3次元時空的スライスに存在する場合、局所的に円形2-球面との積計量に分解されることを証明している。外部近傍は4次元Nariai時空に等長埋め込み可能であり、このような初期データセットの局所幾何を完全に分類している。

ABSTRACT

In a recent work, Galloway [9] proved a local foliation theorem by MOTSs for a 3-dimensional initial data set $(M,g,K)$ with mean curvature $τ\le0$ in a 4-dimensional spacetime $(\overline M,\overline g)$ when (under suitable assumptions) $M$ has a stable spherical MOTS $Σ$ which achieves an upper bound for the area. He proved that each leaf is a round 2-sphere with the same constant Gaussian curvature. Here, we improve his result by dropping the hypothesis on the mean curvature of $M$ and showing that each leaf is a minimal surface. We show that in an outer neighborhood $U$ of $Σ$, the metric $g$ splits as the product $([0,\varepsilon) imesΣ,dt^2+g_0)$, where $(Σ,g_0)$ is a round 2-sphere. In fact, we prove that the outer neighborhood $U$ can be isometrically embedded into the 4-dimensional Nariai spacetime $(\overline N,\overline h)$ as a spacelike hypersurface so that $g|_U$ is the induced metric from $\overline N$ and $K|_U$ is the second fundamental form of $U$ in $\overline N$. This completely classifies the local geometry of such initial data sets.

研究の動機と目的

• 初期データセットの平均曲率に τ ≤ 0 という仮定を課さずに、Gallowayのfoliation定理を一般化すること。
• foliationの各葉が、MOTSであるだけでなく、最小曲面であることを確立すること。
• 計量が区間と円形2-球面との積として局所的に分解されることを証明すること。
• 外部近傍が4次元Nariai時空に等長埋め込み可能であることを示すこと。
• 安定で面積最大化のMOTSを有する初期データセットの局所幾何を完全に分類すること。

提案手法

• MOTSにおける幾何的解析と安定性条件を用いて、初期データセットの剛性性を導出すること。
• 曲率と安定性制約の下でリーマン計量の分裂定理を適用すること。
• 外部近傍の局所的等長埋め込みを4次元Nariai時空に構成すること。
• 埋め込まれた超曲面上の誘導計量と第二基本形式を、初期データセットのそれと一致させること。
• Nariai時空の対称性と一定曲率を活用して、計量の積構造を導出すること。
• MOTSが最大面積を達成することを根拠に、幾何を円形球面に制限すること。

実験結果

リサーチクエスチョン

• RQ1 初期データセットに τ ≤ 0 を仮定しない場合でも、安定で面積最大化のMOTSに対するfoliation結果を拡張できるか？
• RQ2 このような初期データセットの局所幾何は、積計量構造によって完全に特徴付けられるか？
• RQ3 外部近傍はNariai時空に等長埋め込み可能か？
• RQ4 これらの条件下で、foliationの各葉は必然的に最小曲面か？
• RQ5 安定で面積最大化のMOTSを含む初期データセットの完全な局所幾何的分類は何か？

主な発見

• MOTSの近傍における計量は、積計量に分解される：g|_U = dt² + g₀、ここで (Σ, g₀) は円形2-球面である。
• foliationの各葉は、MOTSであるだけでなく、最小曲面である。
• 外部近傍 U は4次元Nariai時空に等長埋め込み可能である。
• 埋め込み超曲面上の誘導計量 g|_U と第二基本形式 K|_U は、初期データセットのそれと一致する。
• 局所幾何は完全に分類されている：それはNariai時空における時空的スライスと等長である。
• τ ≤ 0 の要請が不要であるため、Gallowayの元々の定理が一般化されている。