[论文解读] Kahler-Einstein metrics on Fano manifolds, III: limits as cone angle approaches 2π and completion of the main proof

Xiuxiong Chen, Simon Donaldson+1 more|arXiv (Cornell University)|Feb 1, 2013

Geometry and complex manifolds参考文献 27被引用 69

一句话总结

本文完成了关于法诺流形存在凯勒-爱因斯坦度量当且仅当其为 K-稳定这一猜想的证明。通过研究凯勒-爱因斯坦度量在锥形奇点下锥角趋近于 $2\pi$ 时的极限，证明了其收敛于一个 $\mathbb{Q}$-法诺代数簇上的弱凯勒-爱因斯坦度量，从而在复维数 $n \geq 2$ 的情形下完成了杨-田-唐纳森猜想的分析性证明。结果确认了 K-稳定性是法诺流形上存在凯勒-爱因斯坦度量的必要且充分的代数几何条件。

ABSTRACT

This is the third and final paper in a series which establish results announced in arXiv:1210.7494. In this paper we consider the Gromov-Hausdorff limits of metrics with cone singularities in the case when the limiting cone angle approaches 2π. We also put all our technical results together to complete the proof of the main theorem that if a K-stable Fano manifold admits a Kahler-Einstein metric.

研究动机与目标

• 完成杨-田-唐纳森猜想的证明，确立 K-稳定性是法诺流形上存在凯勒-爱因斯坦度量的必要且充分条件。
• 分析沿光滑除子的凯勒-爱因斯坦度量在锥角趋近于 $2\pi$ 时的极限，对应于光滑情形。
• 证明此类度量序列的极限收敛于一个 $\mathbb{Q}$-法诺代数簇上的弱凯勒-爱因斯坦度量。
• 将复蒙日-安培方程在锥奇点情形下的正则性理论推广至锥角趋于 $2\pi$ 的情形，确保势函数的 $C^{1,1}$ 估计。

提出的方法

• 利用等变测试配置的退化技术分析 K-稳定性，包含具有可控奇点的奇异中心纤维。
• 通过带锥奇点的复蒙日-安培方程，应用 $L^p$ 估计与势函数 $u$ 的 $C^{1,1}$ 估计。
• 运用最大值原理与哈纳克型不等式，控制势函数二阶导数振荡，其依赖于 Hessian 与曲率估计。
• 将吉尔巴格-特鲁迪丁的椭圆正则性理论适配至复的厄米特情形，利用度量逆矩阵 $u^{i\bar{j}}$ 的秩一投影分解。
• 利用 $\log \det$ 的凸性，导出控制 Hessian 增长的微分不等式，其依赖于度量与曲率。
• 应用控制收敛定理与紧致性论证，实现当 $\epsilon \to 0$ 时势函数及其导数逼近的极限过渡。

实验结果

研究问题

• RQ1 当锥角趋近于 $2\pi$ 时，带锥奇点的凯勒-爱因斯坦度量的极限会发生什么？
• RQ2 带锥奇点的复蒙日-安培方程的正则性理论能否推广至锥角趋于 $2\pi$ 的情形？
• RQ3 法诺流形上带锥奇点的凯勒-爱因斯坦度量序列的极限是否产生一个 $\mathbb{Q}$-法诺代数簇上的弱凯勒-爱因斯坦度量？
• RQ4 当锥角趋近于 $2\pi$ 时，势函数的 $C^{1,1}$ 正则性是否在极限中保持？
• RQ5 能否通过振荡估计与哈纳克型不等式，在极限中建立势函数二阶导数的 $C^\alpha$ 正则性？

主要发现

• 当锥角 $2\pi\beta_i$ 趋近于 $2\pi$ 时，带锥奇点的凯勒-爱因斯坦度量序列的极限存在，并在 $\mathbb{Q}$-法诺代数簇 $W$ 上诱导出一个弱凯勒-爱因斯坦度量 $\omega$。
• 在子序列下，由 $|-mK_{X_i}|$ 定义的嵌入 $T_i: X_i \to \mathbb{CP}^N$ 收敛于由 $|-mK_W|$ 定义的嵌入 $T_\infty: W \to \mathbb{CP}^N$，其中 $m$ 仅依赖于维数与 $\lambda$。
• 势函数 $u$ 的 $C^{1,1}$ 估计在极限中保持一致控制，满足 $\sup_{B_R} |u_{vv}| \leq C$，且对单位向量 $\{v, Jv\}$ 及对应 $\gamma$，有 $u_{\gamma\bar\gamma} \geq 0$ 且 $\leq C$。
• 二阶导数的振荡 $\omega(R)$ 满足不等式 $\omega(R) \leq \zeta \omega(3R) + C R + C R^2$，其中 $0 < \zeta < 1$，此不等式结合吉尔巴格-特鲁迪丁中的引理 8.23 可推出 $C^\alpha$ 正则性。
• $M_{3,\gamma} - w_\gamma^\epsilon$ 的 $L^p$ 估计导出 $\left(R^{-n}\int_{B_R} (M_{3,\gamma} - w_\gamma)^p\right)^{1/p} \leq C_2 (M_{3,\gamma} - M_{1,\gamma} + R^2)$，这对 $C^\alpha$ 估计至关重要。
• 最终的 $C^\alpha$ 估计通过结合矩阵分解 $u^{i\bar j} = \sum \beta_k \gamma_k \otimes \bar\gamma_k$ 与微分不等式 $\sum \beta_k (w_k(x) - w_k(y)) \geq -C_4 |x-y|$ 建立，从而实现一致的 Hölder 控制。