[論文レビュー] Convergence of Kähler-Ricci flow on lower dimensional algebraic manifolds of general type

Gang Tian, Zhenlei Zhang|arXiv (Cornell University)|May 5, 2015

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

ひとこと要約

本稿では、次元 ≤3 の一般型最小代数多様体上で、正規化されたケーラー・リッチフローが、 canonical model 上の一意な特異ケーラー・アインシュタイン計量に収束することを確立している。リッチ曲率の一様な $L^4$-ノルムの有界性と、径路の有界性および非崩壊推定を用いて、著者らは、Gromov-Hausdorff 収束および Cheeger-Gromov 収束を示し、これは高次の正則セクションによる canonical model が、正則な射影多様体として特定される。

ABSTRACT

In this paper, we prove that the $L^4$-norm of Ricci curvature is uniformly bounded along a Kähler-Ricci flow on any minimal algebraic manifold. As an application, we show that on any minimal algebraic manifold $M$ of general type and with dimension $n\le 3$, any solution of the normalized Kähler-Ricci flow converges to the unique singular Kähler-Einstein metric on the canonical model of $M$ in the Cheeger-Gromov topology.

研究の動機と目的

• 次元 ≤3 の一般型最小代数多様体上で正規化されたケーラー・リッチフローの収束を確立すること。
• 一般型最小モデル上でケーラー・リッチフローに沿ったリッチ曲率の均一な $L^4$-ノルムの有界性を証明すること。
• フロー下での極限空間が、十分大きな $\ell$ に対する $K_M^\ell$ の正則セクションを用いて特定される、元の多様体の canonical model であることを示すこと。
• フローが canonical model 上の一意な特異ケーラー・アインシュタイン計量に、Cheeger-Gromov および Gromov-Hausdorff 収束することを確認すること。

提案手法

• 放物型部分 $C^0$-推定および曲率微分推定を用いて、ケーラー・リッチフローに沿ったリッチ曲率の均一な $L^4$-ノルムの有界性を確立する。
• Petersen-Wei の相対体積比較公式を適用し、$p > m/2$ の $L^p$-有界リッチ曲率に対して、一様な局所的非崩壊推定を導出する。
• Song [26] による極限特異ケーラー・アインシュタイン空間の径路の有界性を用いて、Gromov-Hausdorff 収束を導出する。
• 進化する計量 $h(t) = \omega(t)^{-n\ell}$ に関する $K_M^\ell$ の正規直交正則セクションの族を構成し、一様に減少する係数を持つODE系を満たす。
• ケーラー潜在関数およびその勾配に対する一様な $C^0$ および $C^1$ 推定を証明し、Cheeger-Gromov位相におけるセクションの収束を保証する。
• 写像 $M$ から $\mathbb{C}P^{N_\ell}$ への極限写像が、canonical model に同相であることを示し、$M_\infty$ が canonical model $M_{\text{can}}$ として特定されることを示す。

実験結果

リサーチクエスチョン

• RQ1 次元 ≤3 の一般型最小代数多様体上で、正規化されたケーラー・リッチフローは canonical model 上の一意な特異ケーラー・アインシュタイン計量に収束するか？
• RQ2 一般型最小モデル上でケーラー・リッチフローに沿って、リッチ曲率の均一な $L^4$-ノルムの有界性を確立できるか？
• RQ3 ケーラー・リッチフローの極限空間は、元の多様体の canonical model であり、$K_M^\ell$ の正則セクションを用いてこれを示せるか？
• RQ4 $L^p$-有界リッチ曲率は、非崩壊性およびフロー下での収束を保証するために果たす役割は何か？
• RQ5 フローの Cheeger-Gromov 収束は、canonical model の代数的構造とどのように関係しているか？

主な発見

• 任意の一般型最小代数多様体上で、ケーラー・リッチフローに沿ってリッチ曲率の $L^4$-ノルムが一様に有界である。
• 次元 $n \leq 3$ の一般型最小モデル上で正規化されたケーラー・リッチフローは、Cheeger-Gromov 位相で、canonical model 上の一意な特異ケーラー・アインシュタイン計量に収束する。
• 次元 $n=2$ の場合、極限空間は、有限個のオーロラ点を持つ滑らかなケーラー・アインシュタインオーロラ多様体である。
• 次元 $n=3$ の場合、特異点集合の 2 次元ヒューディッヒ・メジャーは有限であり、canonical model の構造と整合的である。
• 極限空間 $M_\infty$ は正則な射影多様体であり、十分大きな $\ell$ に対する $K_M^\ell$ の正則セクションを用いて、canonical model $M_{\text{can}}$ と正則同型である。
• フローは正則セクションの極限を通じて、$M_\infty$ から $M_{\text{can}}$ へのホメオモーフィズムを誘導し、極限の代数的構造を確認する。