[論文レビュー] On Feldman-Ilmanen-Knopf conjecture for the blow-up behavior of the Kahler Ricci flow

Bin Guo, Jian Song|arXiv (Cornell University)|May 19, 2015

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

ひとこと要約

本稿は、$\mathbb{CP}^n$ の一点にホーンした多様体上の $U(n)$-不変計量の下で、Kähler–Ricci 流の爆発挙動に関する Feldman-Ilmanen-Knopf 予想を証明する。特異時刻における全体積が正のまま保たれる場合、例外的除法に沿った Type I パラボリック爆発極限は、$\mathbb{C}^n$ の一点にホーンした多様体上の唯一の $U(n)$-不変収縮 Kähler–Ricci モノリシックに収束し、漸近的解析とモノリシック計量の ODE 分類により予想が裏付けられる。

ABSTRACT

We consider the Ricci flow on $\mathbb{CP}^n$ blown-up at one point starting with any $U(n)$-invariant Kähler metric. It is known that the Kähler-Ricci flow must develop Type I singularities. We show that if the total volume does not go to zero at the singular time, then any Type I parabolic blow-up limit of the Ricci flow along the exceptional divisor is the unique $U(n)$-complete shrinking Kähler-Ricci soliton on $\mathbb C^n$ blown-up at one point. This establishes the conjecture of Feldman-Ilmanen-Knopf.

研究の動機と目的

• U(n)-不変初期計量の下で、$\mathbb{CP}^n$ の一点にホーンした多様体上の Kähler–Ricci 流の漸近的挙動に関する Feldman-Ilmanen-Knopf 予想を解決すること。
• 特異時刻における全体積が正（非収縮）の場合、例外的除法に沿った Type I パラボリック爆発極限が、$\mathbb{C}^n$ の一点にホーンした多様体上の唯一の $U(n)$-不変収縮 Kähler–Ricci モノリシックに収束することを確立すること。
• ODE 分析と幾何的推定を用いて、そのようなモノリシックの存在性と一意性を証明すること。
• 極限モノリシックが $\mathbb{C}^n$ の一点にホーンした多様体とbiholomorphic であり、全 $U(n)$ 対称性を持つ収縮モノリシック方程式を満たすことの確認すること。

提案手法

• U(n)-不変初期 Kähler 計量を備えた $X = \mathbb{CP}^n\#\overline{\mathbb{CP}^n}$ 上の非正規化 Kähler–Ricci 流を分析する。
• 特異時刻 $T$ における爆発極限を調べるため、Type I パラボリックスケーリング $g_j(t) = \frac{1}{T - t_j} g(t_j + t(T - t_j))$ を適用する。
• Cheeger-Gromov-Hamilton 収束を用いて、$\mathbb{C}^n$ の一点にホーンした多様体と微分同相である完全な多様体上の極限計量を抽出する。
• モノリシックポテンシャル $u_\infty(\rho)$ の半径方向 ODE を導出し、モノリシック方程式を $u_\infty^{\prime\prime\prime}$ に関する3階 ODE に還元する。
• $\phi = u_\infty^\prime$ を導入し、ODE を $\phi^\prime = F(\phi)$ という1階方程式に変換し、$F$ が $\mu$ と $\nu$ を含む線形 ODE を満たすことを示す。
• 漸近的解析を適用：$\rho \to -\infty$ における $\lim_{\rho \to -\infty} \phi(\rho) = n-1$ および $\phi^\prime \to 0$ を用いて $F(n-1) = 0$ を固定し、体積および完全性の制約により $\mu \leq 0$ または $\nu \neq 0$ を除外する。

実験結果

リサーチクエスチョン

• RQ1 特異時刻における全体積が正のまま保たれる場合、$\mathbb{CP}^n$ の一点にホーンした多様体上の $U(n)$-不変 Kähler–Ricci 流の Type I パラボリック爆発極限は、FIK モノリシックに収束するか？
• RQ2 非収縮の場合に、$\mathbb{C}^n$ の一点にホーンした多様体上の唯一の $U(n)$-不変完全収縮 Kähler–Ricci モノリシックが、唯一の可能な爆発極限であるか？
• RQ3 爆発極限計量が $\mathbb{C}^n$ の一点にホーンした多様体とbiholomorphic であり、収縮モノリシック方程式を満たすことを示せるか？
• RQ4 ODE の $\phi = u_\infty^\prime$ におけるパrameter $\mu$ と $\nu$ にどのような制約を課すと、極限計量が完全かつ非平坦になるか？
• RQ5 ODE システムから得られるモノリシック計量は、[8] で構成された FIK モノリシックと一致するか？

主な発見

• 例外的除法に沿った Kähler–Ricci 流の Type I パラボリック爆発極限は、$\mathbb{C}^n$ の一点にホーンした多様体と微分同相である完全で非平坦な収縮 Kähler–Ricci モノリシックである。
• 極限モノリシックは $U(n)$-不変であり、収縮モノリシック方程式 $\mathrm{Ric}(g_\infty) = g_\infty + \frac{1}{2}\mathcal{L}_{\nabla u_\infty}g_\infty$ を満たす。
• ODE におけるパrameter $\mu$ は正でなければならない。また $\nu = 0$ でなければならない。これにより、解 $\phi$ は全域に存在し、計量は完全になる。
• 解は $F(n-1) = 0$ および $\rho \to -\infty$ における漸近的挙動 $\phi(\rho) \to n-1$ によって一意に定まり、FIK モノリシックと一致する唯一の解が得られる。
• 極限空間の体積は無限大であり、$\mu < 0$ または $\nu \neq 0$ は排除される。これらの場合は $\phi$ が有界または最大時刻が有限になるため、完全性に反する。
• 爆発極限は $\mathbb{C}^n$ の一点にホーンした多様体とbiholomorphic であり、Feldman-Ilmanen-Knopf 予想が裏付けられる。