Ricci Flow on CP1-bundles over a Product of Kähler-Einstein Manifolds

技术摘要：$\mathbb{CP}^1$-丛上 Kähler-Einstein 乘积流的 Ricci 流研究

问题陈述
本文研究了一类特定流形上的 Ricci 流行为：即以紧致 Kähler-Einstein 流形乘积 $N = N_1 \times \cdots \times N_r$ 为底空间的 $\mathbb{CP}^1$-丛。研究重点在于由 Wang-Wang [WW98] 和 Dancer-Wang [DW11] 最初用于构造 Einstein 度量和 Ricci 孤立子的特定几何设想（ansatz）所构建的初始度量 $g_0$。主要目标有两个：首先，确定这种特定的度量设想是否在 Ricci 流演化下得以保持；其次，分类可能出现的有限时间奇异性的性质，特别是在 Kähler 情况下的 Type I 与 Type II 奇异性之间的区别。

方法论
作者结合了几何分析、ODE 约化以及曲率估计技术：

1. 几何设想与结构： 流形 $M$ 被建模为一个包含圆纤维的亚纯映射 $\pi: P \to N$，并扩展为流形 $M \cong I \times P$。度量由涉及径向参数 $s$、接触 1-形式 $\eta$ 以及缩放底空间度量 $g_{N_i}$ 的共形因子 $H(s)$ 和 $F_i(s)$ 的扭折乘积结构定义。作者严格定义了使度量在区间 $I$ 端点处光滑且完备所需的闭合条件。
2. 曲率计算： 利用黎曼亚纯映射的 O'Neill 张量，作者计算了该设想度量的 Ricci 曲率张量。他们证明了 Ricci 张量保持了与度量相同的结构形式（即 $ds^2$、$\eta \otimes \eta$ 以及底空间度量拉回的线性组合）。
3. 约化为 ODE： 通过建立 Ricci 张量共享度量结构的结论，作者证明了 Ricci 流的演化可以约化为关于共形因子的耦合抛物型偏微分方程（PDEs）系统。这些 PDEs 进一步被证明在流下等价于一个 ODE 系统，从而确保了该设想的保持性。
4. 奇异性分析：
   • 保持性： 通过存在并唯一确定导出的 ODE 系统解的证明，验证了设想的保持性。
   • 梯度估计： 作者对满足平方共形因子 $F_i^2$ 的热型方程应用了 Li-Yau 梯度估计。这使得他们获得了这些因子的梯度一致界限。
   • Schwarz 型估计： 通过分析 $F_i^2$ 的拉普拉斯算子在流形边界处的行为，作者导出了共形因子相对于消亡时间 $T$ 的线性下界，即 $F_i^2 \geq C(T-t)$。
   • 爆破论证： 为了分类奇异性，作者假设存在 Type II 奇异性并进行抛物型重缩放。他们利用导出的梯度界限以及特定的曲率分解（涉及 O'Neill 的 $A$-张量）表明，重缩放极限将等距分裂为一个包含平坦因子和一个二维稳态 Ricci 孤立子（“雪茄”模型）的乘积。他们论证这与 Perelman 的局部非塌缩定理相矛盾，从而排除了 Type II 奇异性的可能性。

核心贡献与结果

• 设想的保持： 本文证明（命题 3.1）了 Wang-Wang 和 Dancer-Wang 使用的特定度量设想在 Ricci 流下是保持的。因此，度量的演化完全由标量函数 $H(s,t)$ 和 $F_i(s,t)$ 的演化决定。
• Type I 奇异性分类： 主要结果（定理 4.5）确立了对于这些流形上的 Kähler-Ricci 流，任何有限时间奇异性必须是 Type I 的。这意味着曲率的爆发速率受限于 $C/(T-t)$。
• 对称性的推广： 本工作扩展了 Fong [Fon14]、Song [Son15] 和 Guo-Song [GS16] 之前的研究结果，后者的研究局限于底空间为具有 Calabi $U(n)$-对称性的单个 Kähler-Einstein 流形的场景。本文通过允许底空间为 Kähler-Einstein 流形的乘积，放宽了对底空间的对称性要求，同时保持了纤维结构。
• 曲率分解： 作者利用 O'Neill 张量处理纤维与乘积底空间之间的相互作用，给出了 Riemann 曲率张量关于底空间曲率和共形因子的显式公式。

意义
本文声称其意义在于丰富了对具有对称性流形上 Ricci 流奇异性的理解。虽然以往的工作侧重于单底空间或高秩丛，但本文处理了由乘积底空间结构引入的复杂性。作者指出，其结果证实了当流形具有“良好对称性”（在此情形下即特定的丛结构）时，发生 Type I 奇异性的可能性。

作者在识别所有情况下的具体爆破模型方面表现得较为谦逊。他们确认，如果奇异性是由 $\mathbb{CP}^1$-纤维的塌缩引起的，则爆破极限是乘积 $\mathbb{CP}^1 \times \mathbb{C}^n$（其中 $n = \dim_{\mathbb{C}} N$），这与先前的发现一致。然而，他们明确指出，如果奇异性源于底空间中特定因子（而非全部因子）的收缩，那么爆破极限的性质是“不直观的”，并且仍是一个有待后续工作中解决的开放性问题。因此，本文的主要贡献在于对 Type I 性质的严格证明以及对设想保持性的证明，而非对所有可能爆破模型的完整分类。