[论文解读] Some Type I solutions of Ricci flow with rotational symmetry

Jian Song|arXiv (Cornell University)|Mar 13, 2012

Geometry and complex manifolds参考文献 14被引用 4

一句话总结

该论文证明了在复射影空间 ℂℙⁿ 在一点上进行爆破并配备任意旋转对称 Kähler 度量时，Ricci 流必然产生 Type I 奇点。通过曲率估计与 Cao 的分裂定理，证明在非坍缩条件下，沿例外除子的抛物爆破极限是一个完备的、非平坦的、收缩型梯度 Kähler-Ricci 孤子，其底流形与 ℂⁿ 在一点上爆破的流形同胚。

ABSTRACT

We prove that the Ricci flow on CP^n blown-up at one point starting with any rotationally symmetric Kahler metric must develop Type I singularities. In particular, if the total volume does not go to zero at the singular time, the parabolic blow-up limit of the Type I Ricci flow along the exceptional divisor is a complete non-flat shrinking gradient Kahler-Ricci soliton on a complete Kahler manifold homeomorphic to C^n blown-up at one point.

研究动机与目标

• 证明在 ℂℙⁿ 在一点上爆破并配备任意 U(n)-不变 Kähler 度量时，Ricci 流必然产生 Type I 奇点。
• 在奇点时刻的不同体积缩放模式下，分类流的渐近行为。
• 在体积不坍缩时，识别沿例外除子的流的爆破极限。
• 将结果推广至更广泛的 Kähler 流形类，包括 Hirzebruch 曲面及 Kähler-Einstein 流形上的射影丛。

提出的方法

• 对 Xₙ,ₖ = ℙ(𝒪(ℂℙⁿ⁻¹) ⊕ 𝒪(ℂℙⁿ⁻¹)(-k)) 上应用非归一化 Ricci 流，初始 Kähler 度量具有 Gₙ,ₖ-不变性。
• 利用 Calabi 试探法，将 Kähler-Ricci 流约化为在基空间 ℂℙⁿ⁻¹ 上的常微分方程组。
• 建立全纯双截面曲率的统一下界，形式为 −C/(T−t)，其中 C>0。
• 应用 Cao 的 Kähler-Ricci 流分裂定理（适用于非负全纯双截面曲率），排除 Type II 奇点。
• 进行抛物缩放 gⱼ(t′) = Kⱼ g(T + Kⱼ⁻¹ t′)，其中 Kⱼ→∞，以提取爆破极限。
• 利用 Cheeger-Gromov-Hamilton 收敛定理，证明极限是一个完备的、非平坦的、收缩型梯度 Kähler-Ricci 孤子，其底流形与 ℂⁿ 在一点上爆破的流形同胚。

实验结果

研究问题

• RQ1 在 ℂℙⁿ 在一点上爆破并配备 U(n)-不变 Kähler 度量时，Ricci 流是否必然产生 Type I 奇点？
• RQ2 当总在奇点时刻体积不消失时，沿例外除子的抛物爆破极限的结构是什么？
• RQ3 该爆破极限是否可被识别为非平凡的完备收缩型梯度 Kähler-Ricci 孤子？
• RQ4 奇点类型如何依赖于体积在缩放下的渐近行为？
• RQ5 该结果能否推广至具有类似对称性的其他 Kähler 流形，如 Xₙ,ₖ 或 Xₘ,ₙ,ₖ？

主要发现

• 在 ℂℙⁿ 在一点上爆破并配备任意 U(n)-不变 Kähler 度量时，Ricci 流必然产生 Type I 奇点。
• 若 liminfₜ→ₜ (T−t)⁻¹ Vol(g(t)) = ∞，则缩放后的流子列收敛于一个完备的、非平坦的、收缩型梯度 Kähler-Ricci 孤子，其底流形与 ℂⁿ 在一点上爆破的流形同胚。
• 若 liminfₜ→ₜ (T−t)⁻¹ Vol(g(t)) ∈ (0,∞)，则缩放后的流子列收敛于 ℂⁿ⁻¹ × ℂℙ¹，其度量为平坦与 Fubini-Study 分量的乘积度量。
• 若 liminfₜ→ₜ (T−t)⁻¹ Vol(g(t)) = 0，则缩放后的流收敛于 ℂℙⁿ 在一点上爆破的唯一紧致收缩型 Kähler-Ricci 孤子。
• 在非坍缩条件下，全纯双截面曲率被统一下界 −C/(T−t) 控制，其中 C>0。
• 极限孤子在自由 U(n) 作用下不变，且与 ℂⁿ 在一点上爆破的流形具有相同的拓扑类型，尽管未证明其双全纯同构性。