[論文レビュー] Diameter and Ricci curvature estimates for long-time solutions of the Kahler-Ricci flow

Wangjian Jian, Jian Song|arXiv (Cornell University)|Jan 12, 2021

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

ひとこと要約

本稿では、半アーマブルな正則バンドルを備えたケーラー多様体上の正規化されたケーラー・リッチフローの長時間解に対して、一様な直径およびリッチ曲率の上限を確立する。正則バンドルが半アーマブルであるという仮定の下で、著者らは直径が一様に有界であり、特異ファイバーから離れた領域ではリッチ曲率が一様に有界であることを証明する。これは、最小モデルプログラムの枠組みにおいて、ペレルマン型の推定を長時間解へと拡張したものである。

ABSTRACT

It is well known that the Kähler-Ricci flow on a Kähler manifold $X$ admits a long-time solution if and only if $X$ is a minimal model, i.e., the canonical line bundle $K_X$ is nef. The abundance conjecture in algebraic geometry predicts that $K_X$ must be semi-ample when $X$ is a projective minimal model. We prove that if $K_X$ is semi-ample, then the diameter is uniformly bounded for long-time solutions of the normalized Kähler-Ricci flow. Our diameter estimate combined with the scalar curvature estimate in [34] for long-time solutions of the Kähler-Ricci flow are natural extensions of Perelman's diameter and scalar curvature estimates for short-time solutions on Fano manifolds. We further prove that along the normalized Kähler-Ricci flow, the Ricci curvature is uniformly bounded away from singular fibres of $X$ over its unique algebraic canonical model $X_{can}$ if the Kodaira dimension of $X$ is one. As an application, the normalized Kähler-Ricci flow on a minimal threefold $X$ always converges sequentially in Gromov-Hausdorff topology to a compact metric space homeomorphic to its canonical model $X_{can}$, with uniformly bounded Ricci curvature away from the critical set of the pluricanonical map from $X$ to $X_{can}$.

研究の動機と目的

• 最小モデルにおけるケーラー・リッチフローの長時間解へ、ペレルマンの短時間解における直径およびスカラー曲率の推定を拡張すること。
• 正則バンドルが半アーマブルであるという仮定の下で、一様な直径の上限を確立すること。
• コルデラ次元が1の場合に、特異ファイバーから離れた領域で一様なリッチ曲率の上限を証明すること。
• 最小3次元多様体上での正規化されたケーラー・リッチフローのグロモフ＝ハウスドルフ極限を分析すること。
• フローがコンパクトな距離空間としての標準モデルに収束することを確認し、曲率が制御されていること。

提案手法

• 初期ケーラー計量 $ g_0 $ を用いた正規化されたケーラー・リッチフロー方程式 $ \partial_t g = -\text{Ric}(g) - g $ の使用。
• 正則バンドルの多様体への写像 $ \Phi: X \to X_{\text{can}} $ を用いて、ファイバーが非特異である領域 $ X_{\text{can}}^\circ $ の上でのゼロ集合 $ X^\circ = \Phi^{-1}(X_{\text{can}}^\circ) $ を定義する。
• 曲率量を制御するためのリャプノフ型関数 $ K = \rho^l H $ の構成、ここで $ \rho $ はカットオフ関数、$ H $ は正規化されたポテンシャル $ u - \bar{u} $ に関連するもの。
• $ K $ における最大値原理の適用により、スカラー曲率およびリッチ曲率成分の上界の一様性を導出する。
• 正則バンドル上の $ X_{\text{can}}^\circ $ で定義されるねじれケーラー＝アインシュタイン計量 $ g_{\text{can}} $ を用い、$ \text{Ric}(g_{\text{can}}) = -g_{\text{can}} + g_{WP} $ を満たす。ここで $ g_{WP} $ はウェイ・ピーターソン計量である。
• リッチ曲率成分の点ごとの推定とスカラー曲率の制御を用いて、コンパクト集合 $ \mathcal{K} \subset X^\circ $ 上で $ |\text{Ric}| $ の一様な上限を確立する。

実験結果

リサーチクエスチョン

• RQ1 正則バンドル $ K_X $ が半アーマブルであるとき、正規化されたケーラー・リッチフローに沿ってケーラー多様体の直径が一様に有界のままであるか？
• RQ2 コルデラ次元が1である場合、正則バンドルの多様体の特異ファイバーから離れた領域でリッチ曲率が一様に有界であるか？
• RQ3 最小3次元多様体上での正規化されたケーラー・リッチフローの長時間解は、グロモフ＝ハウスドルフ位相でその標準モデルに収束するか？
• RQ4 最小モデルプログラムにおける長時間解へ、ペレルマン型の直径およびスカラー曲率推定はどの程度拡張可能か？
• RQ5 正則バンドルのファイブレーションの特異ファイバー付近での曲率挙動は、極限計量構造にどのように影響を与えるか？

主な発見

• 正則バンドル $ K_X $ が半アーマブルであるとき、正規化されたケーラー・リッチフローに沿ってケーラー多様体の直径はすべての時間で一様に有界である。
• コルデラ次元が1の多様体では、正則バンドルの多様体の特異ファイバーから離れた領域でリッチ曲率が一様に有界である。
• 最小3次元多様体上では、正規化されたケーラー・リッチフローはグロモフ＝ハウスドルフ位相で逐次的に、標準モデル $ X_{\text{can}} $ に同相なコンパクト距離空間に収束する。
• 正則ファイブレーションの正則領域 $ X^\circ $ の任意のコンパクト部分集合 $ \mathcal{K} \subset X^\circ $ において、リッチ曲率は一様に有界である。
• 極限距離空間は、$ (X_{\text{can}}^\circ, g_{\text{can}}) $ の距離的完備化であり、コンパクトで $ X_{\text{can}} $ に同相である。
• 証明は、一様な曲率量の上限を点推定により得るために、巧みに構成された関数 $ K = \rho^l H $ に最大値原理を適用することに依拠している。