[論文レビュー] Stability on Kähler-Ricci flow, I

Xiaohua Zhu|ArXiv.org|Aug 11, 2009

Geometry and complex manifolds参考文献 4被引用数 4

ひとこと要約

本稿は、正の第一チャーン類をもつコンパクトなケーラー多様体上におけるケーラー・リッチフローの安定性を確立し、初期計量がケーラー・アインシュタイン計量またはケーラー・リッチフロー・ソリトンに十分に近い $C^{2,\bar{\beta}}$ ノルムをもつ場合、フローがチェゲル・グロモフ位相においてその計量に滑らかに収束することを証明する。この結果は、再帰的自己同型群と一般化されたフタキ不変量を用いたゲージ理論的制御により得られ、初期ポテンシャルの $K_{X_0}$-不変性を仮定しないという点で、先行研究の制限的な対称性仮定を排除した、より広範な適用可能性を持つものである。

ABSTRACT

In this paper, we prove that Kähler-Ricci flow converges to a Kähler-Einstein metric (or a Kähler-Ricci soliton) in the sense of Cheeger-Gromov as long as an initial Kähler metric is very closed to $g_{KE}$ (or $g_{KS}$) if a compact Kähler manifold with $c_1(M)>0$ admits a Kähler Einstein metric $g_{KE}$ (or a Kähler-Ricci soliton $g_{KS}$). The result improves Main Theorem in [TZ3] in the sense of stability of Kähler-Ricci flow.

研究の動機と目的

• 正の第一チャーン類 $c_1(M) > 0$ をもつコンパクトなケーラー多様体上における、ケーラー・アインシュタイン計量およびケーラー・リッチフロー・ソリトンの周辺におけるケーラー・リッチフローの安定性を確立すること。
• 先行研究で要請されていた初期ケーラー・ポテンシャルの $K_{X_0}$-不変性条件を排除することで、安定性結果の適用範囲を拡大すること。
• 初期計量の $C^{2,\bar{\beta}}$-ノルムで小さな摂動が加えられた場合、フローがチェゲル・グロモフ位相において極限計量に滑らかに収束することを証明すること。
• Mabuchi Kエネルギーまたは一般化された Kエネルギーの単調性に依存しない、新たな証明戦略を提供すること。代わりにゲージ変換と一般化されたフタキ不変量を用いる。

提案手法

• 自己同型 $\sigma$ と参照計量のプッシュバックにより定義されるポテンシャル $\rho$ を用いて、修正されたケーラー・ポテンシャル $\varphi_\sigma = \sigma^*\varphi + \rho$ を導入する。
• 再帰的自己同型群 $\mathrm{Aut}_r(M)$ を用いて、ポテンシャルの時間発展を制御し、$\varphi_\sigma - \underline{\varphi_\sigma}$ の $C^k$-有界性を保証する。
• ケーラー計量の選択に依存しない一般化されたフタキ不変量を用いて、初期ポテンシャルの $K_{X_0}$-不変性を仮定しないでフローを制御する。
• 実部の積分 $e^{\theta_{X_0}(\cdot)}$ を含む関数 $\mathcal{F}(\omega_\phi, \omega_{KS}')$ を定義し、フローと参照計量との乖離を推定する。
• ストークスの定理と $L^2$-推定を用いて、関数 $f_Y(t)$ と $\mathcal{F}$ の差を評価し、誤差が $\|X'(\phi)\|_{C^0}^2$ によって制御されることを示す。
• 関数 $\mathcal{F}$ の $\sigma$ における微分が一様に小さいような $\mathrm{Aut}_r(M)$ 内の最小化列を構成し、フロー収束の制御を達成する。

実験結果

リサーチクエスチョン

• RQ1 ケーラー・リッチフローは、チェゲル・グロモフ位相において、どのような条件下でケーラー・アインシュタイン計量またはケーラー・リッチフロー・ソリトンに収束するか？
• RQ2 初期ケーラー・ポテンシャルの $K_{X_0}$-不変性を仮定しないで、ケーラー・リッチフローの安定性を確立できるか？
• RQ3 エネルギー関数に依存せず、再帰的自己同型群 $\mathrm{Aut}_r(M)$ を用いてフローの収束をどのように制御できるか？
• RQ4 一般化されたフタキ不変量は、ソリトンまたはアインシュタイン計量の近傍におけるフローの挙動を制御するために果たす役割は何か？
• RQ5 Mabuchi エネルギーや一般化されたエネルギーの単調性または適切性に依存せずに、収束を証明できるか？

主な発見

• 初期ケーラー・ポテンシャル $\psi$ が $\|\psi - \underline{\psi}\|_{C^{2,\bar{\beta}}} \leq \epsilon$ を満たすような十分に小さい $\epsilon$ に対して、ケーラー・リッチフローはチェゲル・グロモフ位相においてケーラー・アインシュタイン計量 $g_{KE}$ に滑らかに収束する。
• ケーラー・リッチフロー・ソリトンの場合、初期ポテンシャルの $K_{X_0}$-不変性を仮定しないでも同じ収束が成立し、先行研究に比べて顕著な改善である。
• 修正されたポテンシャル $\varphi_\sigma - \underline{\varphi_\sigma}$ は、すべての $t$ に対して $C^k$-ノルムで一様に有界であり、正則性と収束を保証する。
• $K_{X_0}$-不変性が仮定されていない限り、収束が指数的であるとは限らないが、修正されたポテンシャルの $C^k$-有界性により、滑らかな収束が保証される。
• 一般化されたフタキ不変量は、ケーラー計量の選択に依存しない強固な制御機構を提供し、対称性仮定の排除を可能にする。
• 関数 $\mathcal{F}(\omega_\phi, \omega_{KS}')$ は非負であり、$\mathrm{Aut}_r(M)$ 内の $\sigma$ の選択により任意に小さくできるため、フローの長期的挙動の制御が可能となる。