[論文レビュー] Kähler-Ricci flow on a toric manifold with positive first Chern class

Xiaohua Zhu|ArXiv.org|Mar 16, 2007

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

ひとこと要約

本稿は、正の第一チャーン類をもつ任意のコン pact なトーリック多様体上のケーラー・リッチフローが、初期計量が $K_0$-不変であるかどうかにかかわらず、ケーラー・リッチソリトンに収束することを証明している。複素モンジュ・アンペールフローの解析とペレルマンの推定および $C^0$-バウンドの応用により、ソリトンの存在を事前に仮定することなく収束を確立し、このような多様体上でのソリトン存在性に対するフローに基づく新たな証明を提供している。

ABSTRACT

In this note, we prove that on an $n$-dimensional compact toric manifold with positive first Chern class, the Kähler-Ricci flow with any initial $(S^1)^n$-invariant Kähler metric converges to a Kähler-Ricci soliton. In particular, we give another proof for the existence of Kähler-Ricci solitons on a compact toric manifold with positive first Chern class by using the Kähler-Ricci flow.

研究の動機と目的

• 正の第一チャーン類をもつコン pact なトーリック多様体上でのケーラー・リッチフローの収束を、ケーラー・リッチソリトンに示すこと。
• ソリトンの存在を事前に仮定せずに、ケーラー・リッチフローを用いた、同様の多様体上でのケーラー・リッチソリトンの存在性に対する代替的証明を提供すること。
• ソリトンの存在が事前に仮定されている多様体を超えて、ケーラー・リッチフローの収束理論を拡張すること。これにはペレルマンの推定とポテンシャル関数の $C^0$-バウンドを活用する。

提案手法

• ケーラー・リッチフローを、ケーラー潜在関数 $\varphi(t, \cdot)$ に従う複素モンジュ・アンペールフローに還元し、$\frac{\partial \varphi}{\partial t} = \log \frac{\det(g_{i\bar{j}} + \varphi_{i\bar{j}})}{\det(g_{i\bar{j}})} + \varphi - h$ および $\varphi(0, \cdot) = 0$ で記述される。
• ポテンシャルの時間微分に関するペレルマンの深い推定を適用し、$|\partial_t \varphi| \leq C e^t$ を示し、正規化関数 $h_t = -\partial_t \varphi + c_t$ が時間に一様に $|h_t| \leq A$ で有界であることを制御する。
• 正則ベクトル場 $X$ を組み込むことで、ポテンシャル $\tilde{\varphi}$ を用いた実モンジュ・アンペールフローへの変換を行い、次式の放物型方程式を導出する：$\frac{\partial \tilde{\varphi}}{\partial t} = \log \det(g_{ij} + \tilde{\varphi}_{ij}) - \log \det(g_{ij}) + \tilde{X}(\tilde{\varphi}) + \tilde{\varphi} - h + \theta_{\tilde{X}_t}$。
• ペレルマンの推定と [WZ] の実モンジュ・アンペール方程式における $C^0$-推定の組み合わせにより、$\tilde{\varphi}$ に対する一様な $C^0$-バウンドを確立する。
• 高階正則性理論を適用し、$\tilde{\varphi}$ に対する一様な $C^k$-バウンドを示し、フローが部分列として $C^k$-収束することを示す。その極限ポテンシャルは $\overline{\varphi}_\infty$ と表される。
• 微分形式 $\overline{\partial}(\sigma'^* \partial_t \varphi)$ の $L^2$-ノルムが消えることにより、極限計量がケーラー・リッチソリトン方程式 $\mathrm{Ric}(\omega) - \omega = \mathcal{L}_X \omega$ を満たすことを示し、ソリトンへの収束を証明する。

実験結果

リサーチクエスチョン

• RQ1 正の第一チャーン類をもつコン pact なトーリック多様体上でのケーラー・リッチフローは、任意の $K_0$-不変初期ケーラー計量に対し、ケーラー・リッチソリトンに収束するか？
• RQ2 幾何的フロー技法を用いて、ソリトンの存在を事前に仮定せずに、このような多様体上でのケーラー・リッチソリトンの存在性を証明できるか？
• RQ3 ペレルマンのポテンシャルの時間微分に関する推定と、実モンジュ・アンペール方程式の $C^0$-推定をどの程度組み合わせて、ケーラー・リッチフローの長期的挙動を制御できるか？

主な発見

• 正の第一チャーン類をもつコン pact なトーリック多様体上での、任意の $K_0$-不変初期ケーラー計量をもつケーラー・リッチフローは、ケーラー・リッチソリトンに収束する。
• ケーラー・リッチソリトンの存在を事前に仮定せず、幾何的フローを用いた新たな存在証明を提供している。
• 正規化関数 $h_t = -\partial_t \varphi + c_t$ に対するペレルマンの推定は、一様に有界である。すなわち、ある定数 $A$ に対して $|h_t| \leq A$ が時間に依存しない形で成り立つ。これは $C^0$-制御にとって極めて重要である。
• 変換されたポテンシャル $\tilde{\varphi}$ は正則ベクトル場 $X$ を含む放物型方程式を満たし、その時間微分は $C^0$-ノルムで一様に有界である。
• ポテンシャル $\tilde{\varphi}$ のすべての $C^k$-ノルムは時間に一様に有界であり、部分列として $C^k$-収束が保証され、極限関数 $\overline{\varphi}_\infty$ が滑らかである。
• 極限計量 $\omega_{\tilde{\varphi}_\infty}$ はケーラー・リッチソリトン方程式 $\mathrm{Ric}(\omega) - \omega = \mathcal{L}_X \omega$ を満たす。また、[TZ1] および [TZ2] の結果により、ソリトンは一意的である。