[論文レビュー] A heat flow for special metrics

Hartmut Weiß, Frederik Witt|arXiv (Cornell University)|Dec 2, 2009

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

ひとこと要約

本稿は、7次元多様体上の正の3形式に対して、ディリクレエネルギー汎関数の負勾配に駆動される幾何的フローを導入し、G₂構造の構成を目的とする。フローの短時間存在および一意性を確立し、初期条件がトーション自由なG₂構造に十分近い場合には、微分同相写像の下での長時間存在および収束を証明した。これにより、G₂計量の構成に対する放物的アプローチが提供される。

ABSTRACT

On the space of positive 3-forms on a seven-manifold, we study a natural functional whose critical points induce metrics with holonomy contained in $G_2$. We prove short-time existence and uniqueness for its negative gradient flow. Furthermore, we show that the flow exists for all times and converges modulo diffeomorphisms to some critical point for any initial condition sufficiently $C^\infty$-close to a critical point.

研究の動機と目的

• 7次元多様体上の正の3形式を、トーション自由なG₂構造へと変形する幾何的発展方程式の開発。
• ラプラシアンフローにおける弱い放物性の欠如を克服するため、より取り扱いやすい勾配フローの導入。
• 初期条件がトーション自由なG₂構造に十分近い場合の、フローの長期間存在および収束の確立。
• リッチフローがアインシュタイン計量の構成に用いられるのと同様に、G₂計量の構成のための放物的手法の提供。
• DeTurckのテクニックと重み付きソボレフ推定を用いて、幾何的フローの安定性結果をG₂設定へと拡張。

提案手法

• 臨界点がトーション自由なG₂構造であるディリクレエネルギー汎関数 $\mathcal{D}(\Omega) = \frac{1}{2}\int_M \left(|d\Omega|_{g_\Omega}^2 + |d\Theta(\Omega)|_{g_\Omega}^2 \right) \mathrm{vol}_\Omega$ の定義。
• 主な発展方程式として、負勾配フロー $\frac{\partial}{\partial t}\Omega = -\mathrm{grad}\,\mathcal{D}(\Omega)$ の導入。
• DeTurckのテクニックを適用して、フローを強楕円的で準線形放物型系に変形し、標準的な放物型理論の適用を可能にする。
• コンact多様体上の準線形放物型方程式の理論を用いて、短時間存在および一意性の証明。
• 重み付きソボレフ推定と修正フローの指数的減衰を用いて、発展の制御を行い、解の全球的延長を実現。
• 修正フローが臨界点に一様に近いままであることと、エネルギーの指数的減衰を示すことで、微分同相写像の下での収束を確立。

実験結果

リサーチクエスチョン

• RQ1 7次元多様体上の正の3形式を、トーション自由なG₂構造へと進化させる幾何的フローを構築可能か？
• RQ2 ディリクレエネルギー汎関数の負勾配フローは、G₂構造に対して適切に定義された放物型系をもたらすか？
• RQ3 フローがすべての時間にわたり存在し、臨界点に収束するための条件は何か？
• RQ4 トーション自由なG₂構造の近傍で、小さな摂動に対してフローが安定的であるとは、すなわち近傍の臨界点に収束すると言えるか？
• RQ5 フローは、リッチフローがアインシュタイン計量の構成に用いられるのと同様に、G₂計量の構成のための放物的手法として用いられるか？

主な発見

• 任意の閉じた7次元多様体上の初期正の3形式に対して、ディリクレエネルギーフローは一意的な短時間解をもつ。
• 初期条件が $C^\infty$-近傍にトーション自由なG₂構造にあるとき、フローはすべての時間にわたり定義される。
• フローの解は、$t \to \infty$ のとき、微分同相写像の下でトーション自由なG₂構造に収束する。
• 収束は重み付きソボレフノルムにおいて指数的であり、ある $C, \lambda > 0$ に対して $\|\widetilde{\Omega}_t - \bar{\Omega}\|_{W^{k,2}} \leq C e^{-\lambda t}$ を満たす。
• 極限形式は $\mathcal{D}$ の臨界点であるため、トーション自由なG₂構造であり、フローがG₂構造方程式の解に収束することを確認した。
• 解の全球的存在および減衰推定の両方を可能にするために、DeTurckのテクニックを用いてフローを強楕円的で準線形放物型系に変換した。