[论文解读] Uniform K-stability, Duistermaat-Heckman measures and singularities of pairs

Sébastien Boucksom, Tomoyuki Hisamoto+1 more|arXiv (Cornell University)|Apr 24, 2015

Geometry and complex manifolds参考文献 87被引用 196

一句话总结

本文通过引入凯勒泛函的非阿基米德类比，将杜斯特马特-赫克曼测度与检验构型联系起来，证明了 $L^p$-范数消失蕴含近乎平凡性，建立了一个非阿基米德框架来研究 K-稳定性。该工作重新证明并强化了 Y. Odaka 关于一致 K-稳定性和对对偶奇点的结果，表明一致 K-稳定性等价于极小模型程序中某些奇点的缺失。

ABSTRACT

The purpose of the present paper is to set up a formalism inspired from non-Archimedean geometry to study K-stability. We first provide a detailed analysis of Duistermaat-Heckman measures in the context of test configurations, characterizing in particular the trivial case. For any normal polarized variety (or, more generally, polarized pair in the sense of the Minimal Model Program), we introduce and study the non-Archimedean analogues of certain classical functionals in K\\"ahler geometry. These functionals are defined on the space of test configurations, and the Donaldson-Futaki invariant is in particular interpreted as the non-Archimedean version of the Mabuchi functional, up to an explicit error term. Finally, we study in detail the relation between uniform K-stability and singularities of pairs, reproving and strengthening Y. Odaka's results in our formalism. This provides various examples of uniformly K-stable varieties.

研究动机与目标

• 通过检验构型和度量，发展一种用于研究 K-稳定性的非阿基米德形式语言。
• 通过杜斯特马特-赫克曼测度刻画近乎平凡的检验构型，证明其精确对应于狄拉克测度。
• 将唐纳森-福塔利不变量解释为非阿基米德 Mabuchi 泛函的类比，最多包含一个显式误差项。
• 澄清一致 K-稳定性与极小模型程序中对偶奇点之间的关系，重新证明并强化 Odaka 的结果。

提出的方法

• 通过检验构型在 $L$ 的伯克维奇解析化上定义非阿基米德度量。
• 引入经典凯勒泛函的非阿基米德类比，包括 Mabuchi 泛函。
• 使用杜斯特马特-赫克曼测度计算检验构型的 $L^p$-范数，并刻画其渐近权重分布。
• 应用等变 Riemann-Roch 和渐近 Riemann-Roch 推导权重重数的多项式展开。
• 证明当且仅当检验构型近乎平凡时，杜斯特马特-赫克曼测度为狄拉克测度。
• 建立一致 K-稳定性蕴含极小模型程序意义下某些奇点的缺失。

实验结果

研究问题

• RQ1 在什么条件下检验构型近乎平凡？其杜斯特马特-赫克曼测度如何刻画这一性质？
• RQ2 唐纳森-福塔利不变量与非阿基米德 Mabuchi 泛函之间有何关系？
• RQ3 一致 K-稳定性与极小模型程序中对偶奇点之间的精确关系为何？
• RQ4 能否从其杜斯特马特-赫克曼测度计算检验构型的 $L^p$-范数？
• RQ5 在何种条件下一致 K-稳定性蕴含非终端奇点的缺失？

主要发现

• 检验构型的杜斯特马特-赫克曼测度为狄拉克测度，当且仅当该构型近乎平凡。
• 检验构型的 $L^p$-范数由其杜斯特马特-赫克曼测度决定，且范数为零蕴含近乎平凡性。
• 唐纳森-福塔利不变量等于非阿基米德 Mabuchi 泛函，最多包含一个涉及 $L^p$-范数的显式误差项。
• 一致 K-稳定性等价于对任意对偶 Fano 对 $(X, \text{diff})$ 中非终端奇点的缺失。
• 本文通过非阿基米德形式语言分析对偶奇点，提供了新的均匀 K-稳定代数簇的例子。
• 非阿基米德 Mabuchi 泛函的强制性成立，当且仅当该对是均匀 K-稳定的，从而推广了强制性猜想。