[論文レビュー] Remarks on Kahler Ricci Flow

Xiuxiong Chen, Bing Wang|ArXiv.org|Sep 23, 2008

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

ひとこと要約

この論文は、$\alpha$-不変量が $\frac{n}{n+1}$ より大きいファノ多様体におけるケーラー・リッチフローの収束を確立し、フローを用いてケーラー・アインシュタイン計量の存在を直接証明する。積分推定を用いてポテンシャル関数の一様 $C^0$-推定を導出し、著者らは指数関数的収束により一意なKE計量へ到達することを示す。これにより、このような多様体（特に多くのファノ表面を含む）におけるカラビ予想のフローに基づく新たな証明が得られる。

ABSTRACT

We study some estimates along the Kahler Ricci flow on Fano manifolds. Using these estimates, we show the convergence of Kahler Ricci flow directly if the $α$-invariant of the canonical class is greater than $\frac{n}{n+1}$. Applying these convergence theorems, we can give a flow proof of Calabi conjecture on such Fano manifolds. In particular, the existence of Kahler Einstein metrics on a lot of Fano surfaces can be proved by flow method. Note that this geometric conclusion (based on the same assumption) was established earlier via elliptic method by G. Tian. However, a new proof based on Kahler Ricci flow should be still interesting in its own right.

研究の動機と目的

• ファノ多様体において $\alpha$-不変量が $n/(n+1)$ より大きい場合に、ケーラー・リッチフローを用いたカラビ予想の直接的証明を提供すること。
• 連続的メソッドを避けるために、積分推定を用いてフローに沿ったポテンシャル関数のための一様 $C^0$-推定を確立すること。
• 与えられた $\alpha$-不変量条件の下で、フローが一意なケーラー・アインシュタイン計量へ指数関数的に収束することを示すこと。
• 特定のファノ表面（例：$\mathbb{CP}^2\#k\overline{\mathbb{CP}}^2$、$k=4,5,7$）におけるKE計量の存在をフロー法を用いて拡張して証明すること。
• 一様 $C^0$-推定が、進化する計量が初期計量と一様に同倣であること、および微分の滑らかな収束を示すこと。

提案手法

• ルビンシュタインのアプローチにインspiredされ、積分推定を用いてケーラー・リッチフローに沿ったポテンシャル関数 $\varphi(t,\cdot)$ の一様 $C^0$-推定を導出する。
• スカラー曲率、直径、正規化されたリッチポテンシャルに関するペレマンの推定を用いて、幾何的量を制御する。
• フロー方程式 $\dot{\varphi} = \log\frac{\omega_\varphi^n}{\omega^n} + \varphi - h_\omega$ を用いて、進化する計量が初期計量と一様に同倣であることを導出する。
• ${\dot{\varphi}}$ の有界性および CT (2) からの高階微分推定を活用し、部分列の滑らかな収束を保証する。
• $\mathbb{CP}^2\#k\overline{\mathbb{CP}}^2$ 上の有限群作用（例：$\mathbb{Z}_2$、$\mathbb{Z}_3$）に関して不変な対称的計量を構成し、定理 4.4 を適用する。
• 分岐被覆構成と分岐軌跡の $\alpha$-不変量を用いて、定理 4.3 および 4.4 の収束条件を検証する。

実験結果

リサーチクエスチョン

• RQ1 $\alpha$-不変量が $n/(n+1)$ より大きいファノ多様体におけるケーラー・アインシュタイン計量の存在は、ケーラー・リッチフローを用いて直接証明可能か？
• RQ2 フローに沿ったポテンシャル関数の $C^0$-推定は、KE計量への指数関数的収束を示唆するか？
• RQ3 フロー法を用いて、$\mathbb{CP}^2\#k\overline{\mathbb{CP}}^2$（$k=4,5,7$）のようなファノ表面におけるカラビ予想を証明可能か？
• RQ4 対称性および群不変計量は、ケーラー・リッチフローがKE計量へ収束するのをどのように支援するか？
• RQ5 分岐軌跡の $\alpha$-不変量は、$C^0$-推定および収束を保証するために果たす役割は何か？

主な発見

• 任意の $\alpha$-不変量が $n/(n+1)$ より大きいファノ多様体において、ケーラー・リッチフローは一意なケーラー・アインシュタイン計量へ指数関数的に速く収束する。
• 連続的メソッドを避けるために、積分推定を用いて直接的にポテンシャル関数 $\varphi$ の一様 $C^0$-推定を確立した。
• $M \sim \mathbb{CP}^2\#5\overline{\mathbb{CP}}^2$ に対して、$G = \oplus_{i=0}^4 \mathbb{Z}_2$-不変計量から出発すると、全分岐軌跡の交差が消えるため、フローはKE計量へ収束する。
• $M \sim \mathbb{CP}^2\#7\overline{\mathbb{CP}}^2$ に対しては、分岐二重被覆構造と $\alpha(R(\pi)) = 1 > 1/2 = 1/(\lambda - 1)$ が定理 4.3 の条件を満たし、KE計量の存在を保証する。
• $M \sim \mathbb{CP}^2\#6\overline{\mathbb{CP}}^2$ で方程式 $\sum_{i=0}^3 x_i^3 + f = 0$ を満たす場合、初期計量が $\oplus_{i=0}^l \mathbb{Z}_3$ 動作用に不変であれば、$\alpha(R(\pi_0), \dots, R(\pi_l)) > 1/2$ であるため、フローはKE計量へ収束する。
• 適切な $F$-汎関数の下界性または $\alpha$-不変量条件が、フロー収束に必要な $C^0$-推定を示唆するため、KE計量への収束が保証される。