[论文解读] Note on K-stability of pairs

Song Sun|arXiv (Cornell University)|Aug 23, 2011

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

一句话总结

该论文通过测试构型与钱重的渐近分析，证明了具有光滑反Canonical除子 $D$ 的Fano流形 $X$ 在角度 $\beta = 0$ 时为K-半稳定，而在负角度 $\beta < 0$ 时为K-不稳定。关键结果确认了Tian-Yau关于 $X \setminus D$ 上Ricci平坦度量存在的定理的代数对应版本，为Kähler-Einstein几何中的连续方法提供了证据。

ABSTRACT

We prove that a pair (X, D) with X Fano and D a smooth anti-canonical divisor is K-unstable for negative angles, and K-semistable for zero angle.

研究动机与目标

• 建立具有光滑反Canonical除子 $D$ 的Fano对 $(X,D)$ 的K-稳定性性质，特别是极限角度 $\beta = 0$ 时的情形。
• 通过连续方法将具有锥奇点的Kähler-Einstein度量与 $X \setminus D$ 上的完整Calabi-Yau度量联系起来，解决该猜想性图景。
• 对Tian-Yau关于 $X \setminus D$ 上Ricci平坦度量存在的微分几何结果，提供代数几何验证。
• 证明对偶的Futaki不变量关于 $\beta$ 线性依赖，且K-稳定性在 $\beta \in (0,1]$ 的小扰动下保持不变。

提出的方法

• 通过 $D$ 的正规锥的形变构造测试构型，以分析 $\beta < 0$ 时的K-不稳定。
• 利用 $h^0(\mathcal{X}_0, \mathcal{L}_0^k)$ 与 $\operatorname{tr}(A_k)$ 的渐近展开式，以系数 $a_0, a_1, b_0, b_1, \tilde{a}_0, \tilde{b}_0$ 表达Futaki不变量。
• 应用钱重泛函 $CH_k$ 近似平衡嵌入，并通过单调性与 $L^2$-范数估计证明 $Fut(\mathcal{X}, \mathcal{D}, \mathcal{L}, 0) \geq 0$。
• 通过两个射影嵌入的并集 $N(D)$ 的几何构造，计算 $\mathbb{P}^1$-横截上 $\omega_{FS}^n$ 的积分与质心。
• 利用涉及数量曲率与哈密顿函数的Futaki不变量微分几何表达式，将代数稳定性与曲率条件联系起来。
• 利用Futaki不变量关于 $\beta$ 线性这一事实，实现 $\beta = 0$ 与 $\beta \in (0,1]$ 之间的插值。

实验结果

研究问题

• RQ1 对偶 $(X,D)$ 在角度 $\beta = 0$ 时是否为K-稳定，对应于 $X \setminus D$ 上的完整Ricci平坦度量？
• RQ2 $\beta < 0$ 时对偶 $(X,D)$ 的K-稳定性状态如何？其是否与具有锥奇点的Kähler-Einstein度量的不存在性一致？
• RQ3 对偶的代数Futaki不变量是否可用于验证从Calabi-Yau度量到Kähler-Einstein度量的连续方法？
• RQ4 若 $X$ 的K-稳定是否蕴含对所有 $\beta \in (0,1]$，对偶 $(X,D)$ 的K-稳定？
• RQ5 能否利用到正规锥的形变测试构型检测负 $\beta$ 时的K-不稳定？

主要发现

• 在 $\beta = 0$ 时，对偶 $(X,D)$ 严格K-半稳定，即对所有非平凡测试构型均有 $Fut(\mathcal{X}, \mathcal{D}, \mathcal{L}, 0) \geq 0$。
• 当 $\beta < 0$ 时，对偶为K-不稳定，通过到正规锥的测试构型构造得出负的Futaki不变量。
• 对偶的Futaki不变量关于 $\beta$ 线性，因此 $Fut(\mathcal{X}, \mathcal{D}, \mathcal{L}, \beta) = F_{\text{usual}}(\mathcal{X}, \mathcal{L}) + (1-\beta)(\tilde{b}_0 - \frac{\tilde{a}_0}{a_0}b_0)$。
• 利用 $D$ 上的Calabi-Yau度量构造近似平衡嵌入，确保了 $\beta = 0$ 时Futaki不变量的非负性，从而证明了K-半稳定性。
• 该结果确认了Tian-Yau定理的代数对应：$X \setminus D$ 上存在完整Ricci平坦度量，意味着在 $\beta = 0$ 时K-半稳定，支持从 $\beta = 0$ 到 $\beta = 1$ 的连续方法。
• 推论1.2成立：若 $X$ 为K-稳定，则对所有 $\beta \in (0,1]$，对偶 $(X,D)$ 为K-稳定，为K-稳定与具有锥奇点的Kähler-Einstein度量存在性之间的猜想等价性提供了证据。