[论文解读] Stability of Valuations and Kollár Components

Chi Li, Chenyang Xu|arXiv (Cornell University)|Apr 19, 2016

Geometry and complex manifolds参考文献 58被引用 39

一句话总结

该论文通过证明在 klt 奇点的所有 Kollár 分量中，至多只有一个 K-半稳定，且若存在这样的分量，则其唯一地最小化归一化体积函数，建立了 klt 奇点的局部稳定性理论。关键结果是通过极小模型程序和 K-稳定性理论，唯一地刻画了最小化子，将代数几何中的射影几何与度量稳定性联系起来。

ABSTRACT

We prove that among all Kollár components obtained by plt blow ups of a klt singularity $o \in (X, D)$, there is at most one that is (log-)K-semistable. We achieve this by showing that if such a Kollár component exists, it uniquely minimizes the normalized volume function introduced in [Li15a] among all divisorial valuations. Conversely, we show any divisorial minimizer of the normalized volume function yields a K-semistable Kollár component. We also prove that for any klt singularity, the infimum of the normalized function is always approximated by the normalized volumes of Kollár components.

研究动机与目标

• 开发一个类似于 log Fano 代数簇 K-稳定性的 klt 奇点局部稳定性理论。
• 将最小化归一化体积函数的典范赋值识别为局部设定下稳定性的内在概念。
• 将 Kollár 分量表征为全局 K-稳定性理论中特殊退化在局部的类比。
• 建立 K-半稳定 Kollár 分量与归一化体积函数最小化子之间的对应关系。
• 证明对于任意 klt 奇点，归一化体积的下确界总是可由 Kollár 分量的归一化体积逼近。

提出的方法

• 在中心于 klt 奇点 $o \in (X,D)$ 的赋值上引入归一化体积函数 $\widehat{\rm vol}_{(X,D),o}$，推广了全局 K-稳定性中的 CM 权重。
• 应用极小模型程序（MMP）构造 Kollár 分量，作为具有例外除子为对数 Fano 代数簇的双有理模型。
• 利用到法丛的形变和滤子分析归一化体积在退化下的行为。
• 应用测试配置理论与等变 K-半稳定性理论，将最小化子与对数 K-多项式稳定的 Fano 锥奇点联系起来。
• 采用 [LL16] 中的轨道空间 Kähler-Einstein 度量准则，验证所构造 Kollár 分量的 K-半稳定性。
• 建立任意除子型最小化子的归一化体积均对应一个 K-半稳定 Kollár 分量，反之亦然。

实验结果

研究问题

• RQ1 对于给定的 klt 奇点，是否存在至多一个 K-半稳定 Kollár 分量？
• RQ2 归一化体积函数的最小化子能否被代数刻画，并与 K-稳定性联系起来？
• RQ3 在所有中心于 klt 奇点的赋值上，归一化体积的下确界是否可作为 Kollár 分量的归一化体积的极限实现？
• RQ4 K-半稳定 Kollár 分量是否被唯一地刻画为归一化体积函数的最小化子？
• RQ5 Kollár 分量的构造能否用于将任意 klt 奇点退化为一个 K-半稳定的 Fano 锥奇点？

主要发现

• 在 klt 奇点的所有 Kollár 分量中，至多只有一个 K-半稳定，证明了该类中稳定对象的唯一性。
• 一个 Kollár 分量是 K-半稳定，当且仅当它在所有除子型赋值中最小化归一化体积函数。
• 在所有中心于 klt 奇点的赋值上，归一化体积函数的下确界总是可由 Kollár 分量的归一化体积逼近。
• 对于 $A_n$ 和 $D_k$ 奇点，唯一 K-半稳定 Kollár 分量被显式构造并经由轨道空间 Kähler-Einstein 度量验证。
• 在 $A_n$ 奇点的情形下，K-半稳定 Kollár 分量对应于加权射影空间中的超曲面 $E = \{z_1^2 + \cdots + z_n^2 = 0\} \subset \mathbb{P}(n-1,\dots,n-1,n-2,n-2)$，该空间具有轨道空间 Kähler-Einstein 度量。
• 本文证实，弱例外奇点具有唯一的 Kollár 分量，该分量是 K-半稳定，且为归一化体积函数的唯一最小化子。