[论文解读] Kahler-Einstein metrics and stability

Xiuxiong Chen, Simon Donaldson+1 more|arXiv (Cornell University)|Oct 28, 2012

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

一句话总结

本文证明了 Fano 流形 admits Kähler-Einstein 度量当且仅当其为 K-稳定，从而解决了复几何中一个长期存在的猜想。证明采用沿光滑除子的锥奇点连续法，通过测试配置分析退化情形，并表明若 K-稳定性不成立，则存在一个非平凡退化且修正的 Futaki 不变量为零，与稳定性矛盾。

ABSTRACT

We annnounce a proof of the fact that a K-stable Fano manifold admits a Kahler-Einstein metric and give a brief outline of the proof.

研究动机与目标

• 解决 K-稳定性是 Fano 流形上 Kähler-Einstein 度量存在的精确代数几何条件的猜想。
• 在 Tian、Stoppa 和 Berman 的早期部分结果基础上，建立 K-稳定性与 Kähler-Einstein 度量存在性之间的精确等价关系。
• 发展并应用一种带有锥奇点的连续法，以在 Fano 情形下连接微分几何与代数几何。
• 证明若不存在光滑极限，则一列锥角逐渐缩小的 Kähler-Einstein 度量的极限将产生一个修正 Futaki 不变量为零的测试配置。
• 利用最近关于奇异空间上弱 Kähler-Einstein 度量的结果，证明极限空间的自同构群为半单群，且修正 Futaki 不变量为零。

提出的方法

• 引入一个关于参数 β 的 Kähler-Einstein 度量族，其中 β ∈ (0,1]，沿光滑除子 D 具有锥角 β，且 β = 1 对应该光滑情形。
• 定义修正 Futaki 不变量 Futβ(X) = Fut(X) − 2π(1−β)F₀(D₀)，其关于 β 线性，且在非平凡测试配置下，若原始 Futaki 不变量非正，则在 β = 1 时为零。
• 使用连续法：假设不存在 Kähler-Einstein 度量，则构造一个 βi ↗ β∞ ≤ 1 的度量序列，并分析度量空间的 Gromov-Hausdorff 极限。
• 证明 Gromov-Hausdorff 极限空间 Z 同胚于具有对数终端奇点的正常射影代数簇 W，且极限度量是修正 Kähler-Einstein 方程的弱解。
• 在 Aut(W, Δ) 为半单群的条件下，利用 Hilbert-Mumford 准则与 Luna 切片定理，证明极限对 (W, Δ) 为测试配置的中心纤维。
• 通过最近关于弱 Kähler-Einstein 度量唯一性及修正 Ding 泛函临界点性质的结果，建立 Aut(W, Δ) 为半单群且 Futβ∞(X) = 0。

实验结果

研究问题

• RQ1 K-稳定性是否刻画了 Fano 流形上 Kähler-Einstein 度量的存在性？
• RQ2 能否使用带有锥奇点的连续法，通过退化分析证明 Kähler-Einstein 度量的存在性？
• RQ3 当一列 Kähler-Einstein 度量的锥角趋近于 β∞ < 1 时，其极限如何，这与测试配置有何关联？
• RQ4 在何种条件下，带有锥奇点的 Kähler-Einstein 度量序列的 Gromov-Hausdorff 极限会生成一个修正 Futaki 不变量为零的测试配置？
• RQ5 极限空间的自同构群是否为半单群，且修正 Futaki 不变量在极限下是否为零？

主要发现

• Fano 流形 admits Kähler-Einstein 度量当且仅当其为 K-稳定，从而证实了 Yau-Tian-Donaldson 猜想。
• 修正 Futaki 不变量 Futβ(X) 关于 β 线性，使得当 Futβ(X) = 0 且 β < 1 时，结合 Fut(X) ≤ 0，可构造矛盾论证。
• 若不存在 Kähler-Einstein 度量，则一列满足 βi ↗ β∞ ≤ 1 的度量必退化为一个与非平凡测试配置的中心纤维同构的极限空间 W。
• 极限空间 W 同胚于具有对数终端奇点的正常射影代数簇，且极限度量是修正 Kähler-Einstein 方程的弱解。
• 极限对 (W, Δ) 的自同构群为半单群，且修正 Futaki 不变量为零，这意味着若此类退化发生，则原流形不可能为 K-稳定。
• 证明依赖于奇异空间上弱 Kähler-Einstein 度量的唯一性，通过修正 Ding 泛函的临界点性质，将 Matsushima 定理推广至奇异情形。