[論文レビュー] An necessary condition for isoperimetric inequality in warped product space

Chunhe Li, Zhizhang Wang|arXiv (Cornell University)|Oct 7, 2016

Point processes and geometric inequalities被引用数 4

ひとこと要約

本稿では、ワーペッド積空間における等周不等式が成り立つための必要条件として、$(\phi')^2 - \phi''\phi \leq 1$ が成り立つことが示された。著者らは、測地球の摂動を用いた明示的な反例を構築することで、この条件が満たされない場合には、対応する測地球よりも体積が大きい超曲面が存在することを示し、等周不等式の成立が否定されることを示した。この結果により、このような空間における等周安定性の必要十分条件の特徴づけが完成した。

ABSTRACT

In this note, we show that there is some counterexample for isoperimetric inequality if the condition $(ϕ')^2-ϕ"ϕ\leq 1$ does not hold in warped product space.

研究の動機と目的

• ワーペッド積空間における等周不等式が成り立つために、条件$(\phi')^2 - \phi''\phi \leq 1$ が必要であるかどうかを特定すること。
• この条件が満たされない場合に、等周不等式が成立しなくなるかどうかを調査すること。
• 摂動された超曲面の体積が、対応する測地球の体積を上回るような明示的な反例を構築すること。
• 既知の十分条件の必要性を証明することで、ワーペッド積空間における等周不等式の特徴づけを完成させること。

提案手法

• 著者らは、ワーペッド積空間内の測地球に対して、径方向座標の小さな$\epsilon$-変形を用いた摂動法を用いた。
• コンフォーマルキリングベクトル場$X = f(r) r \partial_r$を定義し、摂動された超曲面上での支援関数$\varphi = X \cdot \nu$を計算した。
• $\epsilon$に関する2次のテイラー展開を用いて、摂動された凸体$M_\epsilon$の体積を、元の測地球の体積と、$\Phi(r) = \frac{f(r)f'(r)}{r} + \frac{1 - f^2(r)}{r^2}$を含む2次補正項で表現した。
• 重要な式は$\text{Vol}(M_\epsilon) = \text{Vol}(\mathbb{B}^n(r)) - \frac{r^{n+1} \epsilon^2 \Phi(r)}{2(n+1)f^3(r)} \text{Area}(\mathbb{S}^n) + o(\epsilon^2)$であり、体積の変化が$\Phi(r)$の符号に依存することを示している。
• $\Phi(r)$の符号を分析した：$\Phi(r) < 0$の場合、体積が増加し、等周不等式が破られる。
• $\Phi(r) < 0$が、$(\phi')^2 - \phi''\phi \leq 1$ の成立に反する状況とちょうど一致することを確認し、必要性の証明を完了した。

実験結果

リサーチクエスチョン

• RQ1 ワーペッド積空間における等周不等式が成り立つために、条件$(\phi')^2 - \phi''\phi \leq 1$ が必要であるか？
• RQ2 条件$(\phi')^2 - \phi''\phi \leq 1$ が満たされない場合に、ワーペッド積空間内に等周不等式を破る超曲面を構成できるか？
• RQ3 曲率条件が満たされない場合、摂動された測地球の体積はどのように変化するか？
• RQ4 $(\phi')^2 - \phi''\phi > 1$ が成り立つ場合、反de Sitter空間や修正されたde Sitter計量を持つ空間では等周不等式が成立しなくなるか？
• RQ5 径方向摂動による体積の増加を観察することで、等周不等式の破綻を検出できるか？

主な発見

• $\Phi(r) < 0$ のとき、摂動された超曲面$M_\epsilon$の体積は、測地球$\mathbb{B}^n(r)$の体積を上回り、等周不等式が破られる。
• ワーペッド積空間における等周不等式が成り立つためには、条件$(\phi')^2 - \phi''\phi \leq 1$ が必要である。
• 計量$f^2 = 1 + \frac{m}{r+1}$（$m > 0$）に対しては、$\Phi(r) < 0$ となり、摂動による体積の増加が生じる。
• 反de Sitter空間では、$\Phi(r) > 0$ であるため、体積は減少し、等周不等式と整合的である。
• $\phi'(\tilde{r}) = 0$ かつ $\phi''(\tilde{r}) < 0$ のとき、$\phi' > 0$ となる近傍の$\tilde{r}'$が存在し、条件が満たされないため、体積の増加が可能となる。
• 反例の構築により、Guan-Li-Wangの等周不等式が、$(\phi')^2 - \phi''\phi > 1$ である限り破綻することが確認された。