[论文解读] The Kähler-Ricci flow and the $\bar\partial$ operator on vector fields

D. H. Phong, Jian Song+2 more|arXiv (Cornell University)|May 28, 2007

Geometry and complex manifolds参考文献 15被引用 11

一句话总结

本文確立了在法諾流形上，歸一化凱勒-里奇流在什麼條件下會以指數速度在 $C^{\infty}$ 拓撲下收斂至凱勒-愛因斯坦度量。結果表明，若 Mabuchi K-能量有下界，且在流過程中 $\bar\partial^\dagger\bar\partial$ 算子在 $T^{1,0}$-向量場上的最小正特徵值始終遠離零，則度量會以指數 $C^\infty$ 速度收斂至凱勒-愛因斯坦度量。

ABSTRACT

The limiting behavior of the normalized Kähler-Ricci flow for manifolds with positive first Chern class is examined under certain stability conditions. First, it is shown that if the Mabuchi K-energy is bounded from below, then the scalar curvature converges uniformly to a constant. Second, it is shown that if the Mabuchi K-energy is bounded from below and if the lowest positive eigenvalue of the $\bar\partial^\dagger \bar\partial$ operator on smooth vector fields is bounded away from 0 along the flow, then the metrics converge exponentially fast in $C^\infty$ to a Kähler-Einstein metric.

研究动机与目标

• 理解在正第一陳類的緊緻凱勒流形上，歸一化凱勒-里奇流的漸近行為。
• 將流的收斂性與穩定性條件關聯，特別是 Mabuchi K-能量的有界性與 $\bar\partial^\dagger\bar\partial$ 算子的譜性質。
• 在不假設此類度量事先存在的前提下，建立指數 $C^\infty$ 收斂至凱勒-愛因斯坦度量的充分條件。
• 釐清幾何穩定性（透過譜間隔）與流之長時間行為之間的關係。

提出的方法

• 分析使用由 $ \partial_t g_{\bar{k}j} = -(R_{\bar{k}j} - g_{\bar{k}j}) $ 定義的歸一化凱勒-里奇流，初始度量屬於第一陳類。
• 使用 Mabuchi K-能量作為控制標量曲率的泛函；其有下界是關鍵假設。
• 在光滑 $T^{1,0}$-向量場上對 $\bar\partial^\dagger\bar\partial$ 算子的最小正特徵值施加譜間隔條件 $ \inf_{t \in [0,\infty)} \lambda_{\omega(t)} > 0 $。
• 證明使用連續性法與曲率及梯度範數的估計，特別是利用標量曲率梯度的 $L^2$-範數。
• 作者推導出平均里奇勢的單調性，並利用 $\nabla R$ 的 $L^2$-範數來控制收斂速率。
• 關鍵步驟在於證明在 Mabuchi K-能量有界下，$R(t) - n$ 的 $C^0$-範數趨於零，且在額外的譜間隔條件下建立指數衰減。

实验结果

研究问题

• RQ1 在法諾流形上，歸一化凱勒-里奇流在何種條件下會收斂至凱勒-愛因斯坦度量？
• RQ2 僅 Mabuchi K-能量有界是否足以保證標量曲率均勻收斂至常數？
• RQ3 $\bar\partial^\dagger\bar\partial$ 算子在 $T^{1,0}$-向量場上的譜間隔是否能確保流的指數 $C^\infty$ 收斂？
• RQ4 在 Mabuchi K-能量有界下，條件 $ \inf_{t \in [0,\infty)} \lambda_{\omega(t)} > 0 $ 是否等價於凱勒-愛因斯坦度量的存在？
• RQ5 穩定性條件 (A) 和 (S) 如何與複結構模空間的幾何結構相關？

主要发现

• 若 Mabuchi K-能量有下界，則當 $ t \to \infty $ 時，有 $ \|R(t) - n\|_{C^0} \to 0 $，表示標量曲率均勻收斂至 $ n $。
• 在 Mabuchi K-能量有下界與譜間隔條件 $ \inf_t \lambda_{\omega(t)} > 0 $ 共同成立下，度量 $ g_{\bar{k}j}(t) $ 會以指數 $C^\infty$ 速度收斂至凱勒-愛因斯坦度量。
• 即使僅有 Mabuchi K-能量有界，$\nabla R(t)$ 的 $ L^2 $-範數仍滿足 $ \|\nabla R(t)\|_{L^2} \to 0 $，沿某序列 $ t_m \to \infty $。
• 若條件 $ \inf_{\omega \in \pi c_1(X)} \lambda_\omega > 0 $ 與 Mabuchi K-能量有界共同成立，則所有流解均會指數收斂至 $ C^\infty $ 拓撲下的凱勒-愛因斯坦度量。
• 反之，若流在 $ C^\infty $ 拓撲下收斂至凱勒-愛因斯坦度量，則 Mabuchi K-能量必有下界，且譜間隔條件亦成立。
• 即使在全純微分同胚重參數化下，指數 $ C^\infty $ 收斂性仍被保持：若 $ (\Psi_t)_*(g(t)) $ 收斂至凱勒-愛因斯坦度量，則 $ g(t) $ 本身亦收斂。