[论文解读] The Kähler-Ricci flow on projective bundles

Jian Song, Gábor Székelyhidi+1 more|arXiv (Cornell University)|Jul 11, 2011

Geometry and complex manifolds参考文献 10被引用 9

一句话总结

本文研究了在光滑射影簇 $B$ 上的射影丛 $X = \mathbb{P}(E)$ 上的凯勒-里奇流，证明在初始凯勒类满足自然条件时，流在有限时间内导致纤维坍缩，且度量在 Gromov-Hausdorff 意义下亚收敛于底流形 $B$ 上的极限度量。关键结果建立了通过一致直径衰减与度量有界性估计实现的有限时间纤维坍缩及向底流形度量的收敛。

ABSTRACT

We study the behaviour of the Kähler-Ricci flow on projective bundles. We show that if the initial metric is in a suitable Kähler class, then the fibers collapse in finite time and the metrics converge subsequentially in the Gromov-Hausdorff sense to a metric on the base.

研究动机与目标

• 分析射影丛 $X = \mathbb{P}(E)$ 上凯勒-里奇流的长时间行为，其中 $B$ 为光滑射影簇。
• 理解在接近奇点时间 $T$ 时流的 Gromov-Hausdorff 极限，特别是当极限凯勒类为底流形 $B$ 上凯勒类的拉回时。
• 建立沿流的凯勒度量的一致估计，以保证有限时间纤维坍缩及向底流形的收敛。
• 将先前在对称情形下的结果推广至射影丛上任意初始凯勒度量的一般情形。

提出的方法

• 利用凯勒-里奇流的抛物型复蒙日-安培方程形式，推导凯勒度量 $\omega(t)$ 的一致上下界。
• 通过参考度量与次解估计的最大值原理论证，建立一致上界 $\omega(t) \leq C\omega_0$。
• 结合曲率估计与最大值原理，证明纤维 $F$ 的一致直径衰减估计 $\mathrm{diam}_{\omega(t)}F \leq C(T-t)^{1/3}$。
• 对由 $\omega(t)$ 导出的距离函数 $d_t$ 应用 Arzelà-Ascoli 定理，提取当 $t \to T$ 时 $X$ 上度量的收敛子列。
• 在 $X$ 上定义极限距离函数 $d_{\infty}$，并通过纤维化映射 $\pi$ 投影至底流形 $B$，得到 $B$ 上的极限度量 $d_{B,\infty}$。
• 利用 Gromov-Hausdorff 收敛准则，证明当 $t_i \to T$ 时，$(X, \omega(t_i))$ 收敛于 $(B, d_{B,\infty})$，且 $d_{B,\infty}$ 与底流形度量 $\omega_B$ 一致等价。

实验结果

研究问题

• RQ1 在何种条件下，射影丛 $X = \mathbb{P}(E)$ 上的凯勒-里奇流会引发有限时间纤维坍缩？
• RQ2 当极限凯勒类为底流形 $B$ 上凯勒类的拉回时，流的 Gromov-Hausdorff 极限是否可识别为 $B$ 上的度量？
• RQ3 为确保此类收敛，凯勒度量与纤维直径需要哪些一致估计？
• RQ4 与极限类为点类或曲面类的情形相比，当极限类为底流形拉回类时，流的行为有何不同？
• RQ5 该收敛结果能否从对称初始度量推广至射影丛上的一般凯勒度量？

主要发现

• 射影丛 $X = \mathbb{P}(E)$ 上的凯勒-里奇流在时间 $T$ 处发展出有限时间奇点，且极限凯勒类满足 $[\omega_0] + Tc_1(K_X) = \pi^*\omega_B$，其中 $\omega_B$ 为底流形 $B$ 上的某凯勒度量。
• 流度量满足一致上界：对所有 $t \in [0,T)$，有 $\omega(t) \leq C\omega_0$，其中 $C$ 与 $t$ 无关。
• 每个纤维 $F$ 的直径以 $\mathrm{diam}_{\omega(t)}F \leq C(T-t)^{1/3}$ 的方式一致衰减，暗示有限时间纤维坍缩。
• 存在一列 $t_i \to T$，使得度量空间 $(X, \omega(t_i))$ 在 Gromov-Hausdorff 意义下收敛于底流形 $B$ 上的度量空间 $(B, d_{B,\infty})$。
• 底流形 $B$ 上的极限度量 $d_{B,\infty}$ 与由底流形凯勒度量 $\omega_B$ 诱导的距离函数一致等价。
• 该结果将先前仅限于对称初始度量的收敛结果推广至射影丛上任意初始凯勒度量的一般情形。