[论文解读] Uniform K-stability for extremal metrics on toric varieties

Bohui Chen, An-Min Li+1 more|arXiv (Cornell University)|Sep 24, 2011

Geometry and complex manifolds参考文献 8被引用 8

一句话总结

本文证明了在环面簇上存在极小度量的必要条件是均匀 K-稳定性，即此类度量不可能存在，除非其对应的 Delzant 多面体与权重函数满足这一强稳定性条件。该结果支持了关于环面流形上 Abreu 方程可解性与 Mabuchi 泛函恰当性的精化版 Donaldson 猜想。

ABSTRACT

In this paper we prove that for toric varieties the uniform K-stability is the necessary condition for the existence of extremal metrics.

研究动机与目标

• 证明均匀 K-稳定性是环面簇上极小凯勒度量存在的必要条件。
• 验证均匀 K-稳定性蕴含 Mabuchi 泛函的恰当性，与 Tian 的解析稳定性猜想一致。
• 加强均匀 K-稳定性与环面流形上 Abreu 方程可解性之间猜想性联系。
• 将稳定性框架推广至任意有界凸区域，边界光滑的情形。
• 通过证明均匀稳定性蕴含 Monge-Ampère 测度的下界，为未来正则性理论奠定基础。

提出的方法

• 通过 Donaldson 定义的改进版本形式化均匀 K-稳定性，其强度超过标准的 K-多项式稳定性。
• 将 Abreu 方程视为在 Delzant 多面体上的四阶偏微分方程，度量的存在性与凸解相关。
• 使用变分方法最小化一个泛函，该泛函结合了 Hessian 行列式对数与涉及权重函数 A 的线性泛函。
• 应用紧致性论证与一致收敛性，证明若均匀 K-稳定性不成立，则通过 Monge-Ampère 测度退化导致矛盾。
• 利用 Donaldson 与 Zhou-Zhu 的结果，证明在均匀 K-稳定性下弱解存在。
• 将稳定性框架扩展至一般凸区域，边界光滑，定义一类具有受控边界行为的可容许函数类。

实验结果

研究问题

• RQ1 均匀 K-稳定性是否为环面簇上极小度量存在的必要条件？
• RQ2 均匀 K-稳定性是否蕴含环面流形上 Mabuchi 泛函的恰当性？
• RQ3 均匀稳定性条件能否推广至非环面、边界光滑的凸区域？
• RQ4 均匀 K-稳定性的失效是否导致候选解的 Monge-Ampère 测度退化？
• RQ5 是否存在均匀 K-稳定性与 Abreu 方程弱解存在性之间的直接联系？

主要发现

• 通过利用 Monge-Ampère 测度退化导致矛盾的反证法，证明了均匀 K-稳定性是环面簇上极小度量存在的必要条件。
• Mabuchi 泛函的恰当性是环面簇上极小度量存在的必要条件，证实了 Tian 猜想的一部分。
• 均匀 K-稳定性蕴含 Abreu 方程弱解的存在性，该结论由 Donaldson 建立并在此处得到扩展。
• 均匀 K-稳定性的失效导致一列凸函数的 Monge-Ampère 测度在内部趋于零，迫使极限为仿射函数，与归一化条件矛盾。
• 该结果支持了 Donaldson 猜想的精化版本：当且仅当其 Delzant 多面体与权重函数均匀 K-稳定时，环面流形才 admits 极小度量。
• 该框架可推广至任意有界凸区域且边界光滑的情形，此时均匀稳定性对可容许类中解的存在性亦为必要条件。