[論文レビュー] Exhaustion of isoperimetric regions in asymptotically hyperbolic manifolds with scalar curvature $R\geq -6$

Dandan Ji, Yuguang Shi+1 more|arXiv (Cornell University)|Dec 9, 2015

Geometric Analysis and Curvature Flows参考文献 10被引用数 3

ひとこと要約

本稿では、スカラー曲率 $ R \geq -6 $ かつ正の質量パラメータ $ m > 0 $ を持つ3次元漸近的に双曲的多様体における等周的領域が、多様体を覆うか、平均曲率 $ H = 2 $ の極限曲面に収束するかのいずれかであることを確立している。この極限曲面は $ \mathbb{C} $ に共形同値でなければならない。ホーキング質量が一様に有界ならば、領域は多様体を覆わねばならず、等周的プロファイルの展開が正則化体積を用いて $ \lim_{i\to\infty}(A_g(v_i) - A_{\mathbb{H}}(v_i)) = -2V(M,g) $ と関係づけられている。

ABSTRACT

In this paper, aimed at exploring the fundamental properties of isoperimetric region in $3$-manifold $(M^3,g)$ which is asymptotic to Anti-de Sitter-Schwarzschild manifold with scalar curvature $R\geq -6$, we prove that connected isoperimetric region $\{D_i\}$ with $\mathcal{H}_g ^3(D_i)\geq δ_0>0$ cannot slide off to the infinity of $(M^3,g)$ provided that $(M^3,g)$ is not isometric to the hyperbolic space. Furthermore, we prove that isoperimetric region $\{D_i\}$ with topological sphere $\{\partial D_i\}$ as boundary is exhausting regions of $M$ if Hawking mass $m_H(\partial D_i)$ has uniform bound. In the case of exhausting isoperimetric region, we obtain a formula on expansion of isoperimetric profile in terms of renormalized volume.

研究の動機と目的

• 3次元漸近的に双曲的多様体において、スカラー曲率 $ R \geq -6 $ のもとでの等周的領域の漸近的挙動を理解すること。
• 大規模な等周的領域が無限に「滑り落ちる」か、多様体を覆わねばならないかを特定すること。
• 等周的領域が多様体を覆う条件を確立すること。
• 覆う領域における等周的プロファイルの展開式を正則化体積を用いて導出すること。

提案手法

• 体積 $ \mathcal{H}^3_g(D_i) \to \infty $ となる等周的領域の列 $ \{D_i\} $ の極限挙動を、幾何学的・解析的技法を用いて分析する。
• 非覆い挙動を除外するための鍵となる条件として、ホーキング質量の有界性 $ m_H(\partial D_i) \leq C $ を適用する。
• トレースフリー第二基本形式 $ \AA $ を含む曲率推定を用い、ホーキング質量の有界性のもとで $ \int_{\Sigma_i} |\AA|^2 \to 0 $ を示す。
• 極限曲面 $ \mathbb{S} $ にガウス・ボネの定理を適用し、$ \int_{\mathbb{S}} K = 0 $ を導出する。これは $ (M,g) \cong \mathbb{H}^3 $ でない限り矛盾を引き起こす。
• 双曲空間の等周的プロファイル $ A_{\mathbb{H}}(v) $ と比較し、正則化体積枠組みにおける体積および面積の漸近的挙動を用いる。
• 体積差の漸近展開 $ \sinh^2 \rho $ を用いて、$ \lim_{i\to\infty}(A_g(v_i) - A_{\mathbb{H}}(v_i)) = -2V(M,g) $ という重要な恒等式を導出する。

実験結果

リサーチクエスチョン

• RQ1 スカラー曲率 $ R \geq -6 $ である漸近的に双曲的3次元多様体において、等周的領域が多様体を覆わない条件は何か？
• RQ2 ホーキング質量が有界な等周的領域の列は、多様体を覆わずに無限に拡散しうるか？
• RQ3 多様体を覆う等周的領域における、等周的プロファイルの正則化体積を用いた漸近的展開は何か？
• RQ4 平均曲率 $ H = 2 $ で $ \int K \leq 0 $ を満たす極限曲面が存在する場合、多様体は $ \mathbb{H}^3 $ に等長である必要があるか？
• RQ5 正則化体積 $ V(M,g) $ は、実際の等周的プロファイルと双曲的等周的プロファイルの差とどのように関係するか？

主な発見

• ホーキング質量 $ \partial D_i $ が一様に有界ならば、等周的領域 $ \{D_i\} $ は多様体 $ (M,g) $ を覆わねばならない。
• 非覆い挙動を示す等周的領域の列は、常に完全で安定な一定平均曲率曲面 $ \mathbb{S} $ に収束し、$ H = 2 $ で $ \mathbb{C} $ に共形同値でなければならない。
• このような極限曲面が存在し、$ \int_{\mathbb{S}} K \leq 0 $ を満たすならば、$ (M,g) $ は $ \mathbb{H}^3 $ に等長でなければならないが、これは $ m > 0 $ に矛盾するため、この条件下では非覆い挙動は排除される。
• 多様体を覆う等周的領域に対しては、等周的プロファイルが $ \lim_{i\to\infty}(A_g(v_i) - A_{\mathbb{H}}(v_i)) = -2V(M,g) $ を満たし、プロファイルが正則化体積と関係づけられる。
• ホーキング質量の有界性のもとで、トレースフリー第二基本形式は $ \int_{\Sigma_i} |\AA|^2 \to 0 $ となる。これは曲面が次第に球面に近づくことを示唆する。
• 体積差 $ \mathcal{H}^3_g(D_i) - \mathcal{H}^3_{\mathbb{H}}(D_i) \to V(M,g) $ であり、面積差はこの体積項によって漸近的に制御される。