[论文解读] K-stability implies CM-stability

Gang Tian|arXiv (Cornell University)|Sep 27, 2014

Geometry and complex manifolds参考文献 15被引用 7

一句话总结

该论文证明了极化投影流形的K-稳定性蕴含其CM-稳定性，为Yau-Tian-Donaldson猜想的证明迈出了关键一步。通过K-能量的渐近分析及涉及一参数子群与Futaki不变量的代数几何技术，作者表明K-稳定性确保了Mabuchi K-能量泛函的恰当性，从而在自同构群作用下蕴含CM-稳定性。

ABSTRACT

In this paper, we prove that any polarized K-stable manifold is CM-stable. This extends what I did for Fano manifolds in my 2012 paper.

研究动机与目标

• 建立极化投影流形从K-稳定性到CM-稳定性的蕴含关系。
• 通过将代数稳定性条件与常数量曲率凯勒度量的存在性联系起来，解决Yau-Tian-Donaldson猜想中的关键步骤。
• 证明K-稳定性蕴含Mabuchi K-能量泛函在自同构群模作用下的恰当性，这等价于CM-稳定性。
• 通过渐近分析与代数群作用，将先前关于法诺流形的结果推广至一般极化流形。

提出的方法

• 利用K-能量泛函的渐近展开，将其与沿一参数子群的广义Futaki不变量联系起来。
• 应用部分$C^0$-估计及Mabuchi能量的渐近行为，控制$\mathbf{G} = \mathrm{SL}(N+1,\mathbb{C})$上$\mathbf{F}$与$\mathbf{J}$泛函的增长。
• 采用代数群作用，特别是$\mathbf{G}_0$一参数子群，分析流形在射影空间中的退化。
• 利用旗流形上$\mathbf{T}_1$-作用的轨道结构，检测不稳定性，并从K-稳定性出发导出矛盾。
• 应用Richardson定理（关于仿射簇中闭轨道的性质），在CM-稳定性失效时构造矛盾。
• 依赖于Tian（1997）建立的代数CM-稳定性（通过行列式线丛）与解析CM-稳定性（通过K-能量恰当性）之间的等价性。

实验结果

研究问题

• RQ1 极化流形的K-稳定性是否蕴含CM-稳定性，如Yau-Tian-Donaldson计划所猜想？
• RQ2 能否通过K-能量的渐近分析，从K-稳定性推导出Mabuchi K-能量泛函的恰当性？
• RQ3 广义Futaki不变量与K-能量沿一参数子群的渐近行为之间的确切关系为何？
• RQ4 自同构群的作用如何影响CM-稳定性条件下K-能量泛函的恰当性？
• RQ5 CM-稳定性失效是否可通过代数环面作用诱导的射影空间中的退化现象检测？

主要发现

• 极化流形$(M,L)$的K-稳定性蕴含其关于$L^\ell$的CM-稳定性，对所有充分大的$\ell$成立，从而证明了定理1.3。
• 若$(M,L)$是K-稳定的，则Mabuchi K-能量泛函$\mathbf{M}_{\omega_0}$在$\mathrm{Aut}_0(M,L)$模作用下是恰当的，这等价于CM-稳定性。
• CM-稳定性的失效导致与K-稳定的矛盾，其根源在于存在一个一参数子群$\mathbf{G}_0$，其极限循环违反了广义Futaki不变量条件。
• 如引理2.1所导出的K-能量渐近展开，将K-能量与Futaki不变量联系起来，从而在群作用下实现对泛函增长的控制。
• 证明利用了旗流形中$\mathbf{T}_1$-轨道的结构以及仿射空间中轨道的闭性，从CM-稳定性失效中推导出不稳定性。
• 该结果确认了K-稳定性蕴含CM-稳定性，完成了Yau-Tian-Donaldson猜想在一般极化流形中分析与代数之间的关键桥梁。