[论文解读] A Minimizing Valuation is Quasi-monomial

Chenyang Xu|arXiv (Cornell University)|Jul 2, 2019

Geometry and complex manifolds参考文献 24被引用 6

一句话总结

本文证明了在 klt 奇点处，归一化体积函数的极小化子总是拟单项的，从而证实了 K-稳定性理论中的一个关键猜想。通过补体的有界性以及 Kollár 分量的逼近，作者证明了在 klt 奇点族上，体积函数在扎里斯基拓扑下是构造的，从而得出 K-半稳定对数 Fano 对构成一族中的扎里斯基开子集，因此 K-双极稳定 Fano 代数簇由一个分离的良好模空间参数化。

ABSTRACT

We prove a version of Jonsson-Mustaţǎ's Conjecture, which says for any graded sequence of ideals, there exists a quasi-monomial valuation computing its log canonical threshold. As a corollary, we confirm Chi Li's conjecture that a minimizer of the normalized volume function is always quasi-monomial. Applying our techniques to a family of klt singularities, we show that the volume of klt singularities is a constructible function. As a corollary, we prove that in a family of klt log Fano pairs, the K-semistable ones form a Zariski open set. Together with [Jia17], we conclude that all K-semistable klt Fano varieties with a fixed dimension and volume are parametrized by an Artin stack of finite type, which then admits a separated good moduli space by [BX18, ABHLX19], whose geometric points parametrize K-polystable klt Fano varieties.

研究动机与目标

• 证实 Chi Li 的猜想：在 klt 奇点处，归一化体积函数的极小化子是拟单项的。
• 证明在 klt 奇点族上，体积函数在扎里斯基拓扑下是构造的。
• 利用体积的构造性与锥构造，证明 K-半稳定对数 Fano 对在任意族中构成扎里斯基开子集。
• 证明固定维数与体积的 K-双极稳定 klt Fano 代数簇可通过一个分离的良好模空间参数化，方法为 Artin 栈参数化。

提出的方法

• 以 Jonsson-Mustaţă 关于通过拟单项赋值计算对数极小阈值的猜想为基础。
• 应用 [Bir-BABI] 中的补体有界性，以控制族中 Kollár 分量的几何结构。
• 采用 [LX-SDCI] 中的逼近技术，将极小化赋值实现为缩放后 Kollár 分量的极限。
• 利用锥构造将对数 Fano 对的体积与 klt 奇点联系起来，从而实现构造性结果的转移。
• 结合 [BL-volumelower] 中体积的下半连续性与构造性，推导出 K-半稳定性的开性。
• 结合 [BX-uniqueness] 与 [ABHX-reductivity] 的结果，得出 K-双极稳定 Fano 代数簇存在一个分离的良好模空间。

实验结果

研究问题

• RQ1 在 klt 奇点处，归一化体积函数的每一个极小化子是否都是拟单项的？
• RQ2 在光滑基上，归一化体积函数在 klt 奇点族上是否是扎里斯基拓扑下的构造函数？
• RQ3 K-半稳定对数 Fano 对的集合在 klt 对数 Fano 对族中是否构成扎里斯基开子集？
• RQ4 固定维数与体积的 K-双极稳定 klt Fano 代数簇是否可由一个分离的良好模空间参数化？
• RQ5 体积的构造性是否蕴含在 klt Fano 对族中 K-半稳定性的开性？

主要发现

• 本文证实了在 klt 奇点处，归一化体积函数的任意极小化子都是拟单项的，从而解决了 Chi Li 的一个猜想。
• 在 Q-戈伦斯坦族的 klt 奇点上，归一化体积函数在扎里斯基拓扑下是构造的。
• K-半稳定对数 Fano 对的集合在任意 klt 对数 Fano 对族中构成扎里斯基开子集，这是体积构造性与锥构造的直接推论。
• 固定维数与体积的 K-双极稳定 klt Fano 代数簇由一个有限型的 Artin 栈参数化，该栈允许一个分离的良好模空间。
• 该结果确立了在族中 K-半稳定性的开性，完成了 Fano 代数簇模理论中的一个关键组成部分。