[论文解读] On properness of K-moduli spaces and optimal degenerations of Fano varieties

Harold Blum, Daniel Halpern-Leistner+2 more|arXiv (Cornell University)|Nov 3, 2020

Geometry and complex manifolds参考文献 47被引用 10

一句话总结

本文通过在法诺簇模堆栈上构造 $Θ$-分层，提出一种代数方法来证明 K-多项式法诺簇的 K-模空间的完备性。其核心在于：若每个 K-不稳定法诺簇的稳定性阈值 $δ(X)$ 均由除子赋值实现，则完备性可得，该结论基于通过字典序最小化归一化 Futaki 不变量所定义的唯一最优不稳定测试配置。

ABSTRACT

We establish an algebraic approach to prove the properness of moduli spaces of K-polystable Fano varieties and reduce the problem to a conjecture on destabilizations of K-unstable Fano varieties. Specifically, we prove that if the stability threshold of every K-unstable Fano variety is computed by a divisorial valuation, then such K-moduli spaces are proper. The argument relies on studying certain optimal destabilizing test configurations and constructing a Theta-stratification on the moduli stack of Fano varieties.

研究动机与目标

• 建立一种代数方法，以证明 K-多项式法诺簇的 K-模空间的完备性，避免依赖分析方法。
• 将完备性问题归约为关于 K-不稳定法诺簇的不稳定化行为的猜想，特别是 $δ(X)$ 是否由除子赋值实现。
• 在法诺簇模堆栈上构造 $Θ$-分层，利用最优不稳定测试配置。
• 通过归一化 Futaki 不变量的字典序最小化，定义一种唯一且良序的不稳定化过程，以确保分层与族的相容性。
• 通过引入形式扰动，将 Langton 型算法推广至法诺簇模堆栈，以解决最小化测试配置中的非唯一性问题。

提出的方法

• 在法诺簇的模堆栈 ${\mathcal{M}}^{Τ\text{-Fano}}_{n,V}$ 上使用 $Θ$-分层框架，通过最优不稳定映射对不稳定点进行分层。
• 通过在 $\mathbb{R}[\![\epsilon]\!]^2$ 上对双值不变量 $\left(\frac{\mathrm{Fut}({\mathcal{X}})}{\|{\mathcal{X}}\|_{\rm m}}, \frac{\mathrm{Fut}({\mathcal{X}})}{\|{\mathcal{X}}\|_{2}}\right)$ 进行字典序最小化，定义最优不稳定测试配置。
• 引入形式扰动 $\bm{\mu}^\prime({\mathcal{X}},{\mathcal{D}}) = \frac{\mathrm{Fut}({\mathcal{X}},{\mathcal{D}})}{\|{\mathcal{X}},{\mathcal{D}}\|_{\rm m} + \epsilon\|{\mathcal{X}},{\mathcal{D}}\|_{2}}$，以解决最小化 Futaki 不变量比值时的非唯一性问题。
• 将 [AHLH18] 中的 $\Theta$-分层理论应用于法诺簇模堆栈，依赖于唯一最优不稳定测试配置的存在性。
• 将完备性问题归约为猜想：$\delta(X)$ 由除子赋值实现，这可确保字典序下存在唯一最小化元。
• 利用在 $\epsilon$ 的形式幂级数比较下，最小化 $\bm{\mu}^\prime$ 等价于在滤子中最小化 $\bm{\mu}$ 的事实，当该猜想成立时。

实验结果

研究问题

• RQ1 K-多项式法诺簇的 K-模空间的完备性能否通过一种独立于分析技术的代数方法建立？
• RQ2 K-不稳定法诺簇 $X$ 的稳定性阈值 $\delta(X)$ 在何种条件下，其最小化元存在于除子赋值中？
• RQ3 是否存在一种规范且唯一的最优不稳定测试配置定义方式，以解决最小化 Futaki 不变量比值时的非唯一性问题？
• RQ4 能否通过归一化数值不变量的字典序最小化，在法诺簇模堆栈上构造出 $\Theta$-分层？
• RQ5 唯一最优不稳定测试配置的存在性是否蕴含 K-模空间 $M_{n,V}^{\rm Kps}$ 的完备性？

主要发现

• K-多项式法诺簇的 K-模空间 $M_{n,V}^{\rm Kps}$ 的完备性由猜想 $\delta(X)$ 由除子赋值实现所蕴含。
• 若 $\delta(X)$ 由除子赋值实现，则每个 K-不稳定法诺簇均存在唯一最优不稳定测试配置，从而解决了最小化 Futaki 不变量比值时的非唯一性问题。
• 对归一化 Futaki 不变量 $\left(\frac{\mathrm{Fut}({\mathcal{X}})}{\|{\mathcal{X}}\|_{\rm m}}, \frac{\mathrm{Fut}({\mathcal{X}})}{\|{\mathcal{X}}\|_{2}}\right)$ 进行字典序最小化，可得到模堆栈 ${\mathcal{M}}^\text{Fano}_{n,V}$ 上的一个良序 $\Theta$-分层。
• 扰动项 $\bm{\mu}^\prime({\mathcal{X}},{\mathcal{D}}) = \frac{\mathrm{Fut}({\mathcal{X}},{\mathcal{D}})}{\|{\mathcal{X}},{\mathcal{D}}\|_{\rm m} + \epsilon\|{\mathcal{X}},{\mathcal{D}}\|_{2}}$ 定义的半稳定性条件与原始不变量一致，并确保最小化元的唯一性。
• 通过该方法构造的 $\Theta$-分层与族相容，且满足 Langton 型算法适用的必要性质。
• 推论 8.7 确认，在猜想成立时，基于 $\bm{\mu}^\prime$ 的分层与定理 7.3 中的分层一致，从而验证了该方法的有效性。