[论文解读] Openness results for uniform K-stability

Kento Fujita|arXiv (Cornell University)|Sep 24, 2017

Geometry and complex manifolds参考文献 19被引用 5

一句话总结

本文在代数几何中建立了关于一致 K-稳定性的开性结果，证明了若一个极化为 $L$ 的投影 slc 对 $(X,\Delta)$ 是一致 K-稳定的，且 $L$ 为 canonical 或 anti-canonical，则对于 N\'eron-Severi 空间中足够接近 $L$ 的任意 $\mathbb{Q}$-线丛 $L'$，$((X,\Delta),L')$ 仍保持一致 K-稳定。证明结合了边界与测试构型的扰动技术，利用赋值准则与 Donaldson-Futaki 量。

ABSTRACT

Assume that a projective variety together with a polarization is uniformly K-stable. If the polarization is canonical or anti-canonical, then the projective variety is uniformly K-stable with respects to any polarization sufficiently close to the original polarization.

研究动机与目标

• 在投影 slc 对中，建立极化小扰动下一致 K-稳定的开性。
• 解决一个长期存在的猜想：一致 K-稳定应被极化的微小变形所保持，特别是在 canonical 与 anti-canonical 情况下。
• 为问题‘一致 K-稳定是否为 N\'eron-Severi 空间中的开条件’提供部分肯定答案。
• 通过精细的分析与代数技术，将已知的 K-稳定结果推广至更广的对类，包括 demi-normal 与 log Fano 对。

提出的方法

• 通过使用有效 $\mathbb{Q}$-除子，同时扰动边界 $\Delta$ 与极化 $L$，以保持一致 K-稳定。
• 应用 Fujita、Li 与 Odaka 提出的 log Fano 对一致 K-稳定性的赋值准则，以处理 anti-canonical 情况。
• 利用 Donaldson-Futaki 量除以特定范数的统一有界性，处理 canonical 情况。
• 通过半ample demi-normal 测试构型，建立涉及 Donaldson-Futaki 量与 nef 除子范数的新不等式。
• 证明一个关键不等式 $ n\mu_N(L)J^{\operatorname{NA}}(\mathcal{X},\mathcal{L}) \geq \operatorname{DF}_{\Delta+N}(\mathcal{X},\mathcal{L}) - \operatorname{DF}_{\Delta}(\mathcal{X},\mathcal{L}) $，适用于 demi-normal 测试构型。
• 将扰动结果与 ample 性的开性结合，推导出原始极化邻域内的局部稳定性。

实验结果

研究问题

• RQ1 对于具有 canonical 或 anti-canonical 极化的投影 slc 对，一致 K-稳定是否在 N\'eron-Severi 空间中为开条件？
• RQ2 当极化为 $K_X + \Delta$ 或 $-(K_X + \Delta)$ 时，一致 K-稳定是否可在极化的微小扰动下保持？
• RQ3 极化与边界除子需满足何种条件，才能保证 $((X,\Delta), L')$ 在 $L'$ 接近 $L$ 时仍为一致 K-稳定？
• RQ4 在 demi-normal 设置下，测试构型与 Donaldson-Futaki 量在边界与极化扰动下的行为如何？
• RQ5 是否可在不假设 $K_X + \Delta$ 的 ample 性下，建立一致 K-稳定的开性，超越 canonical 情况？

主要发现

• 对于一个 log Fano 对 $(X,\Delta)$，若 $L = -(K_X + \Delta)$ 且 $((X,\Delta), L)$ 一致 K-稳定，则对任意满足 $\varepsilon L - B$ 为 ample 的有效 $\mathbb{Q}$-除子 $B$，有 $((X,\Delta + B), L - B)$ 一致 K-稳定，其中 $\varepsilon = \frac{\delta(X,\Delta) - 1}{n \cdot \delta(X,\Delta) + n + 1}$。
• 若 $L = K_X + \Delta$ 且 $L$ 为 ample，且 $\frac{n^2}{n^2 - 1}\mu_{K_X + \Delta}(L)L - (K_X + \Delta)$ 为 ample，则 $((X,\Delta), L)$ 的一致 K-稳定蕴含对 $\operatorname{N}^1(X)_{\mathbb{R}}$ 中 $L$ 邻域内所有 $L'$，$((X,\Delta), L')$ 均一致 K-稳定。
• 对任意半ample demi-normal 测试构型 $ (\mathcal{X},\mathcal{L}) $ 与任意有效 nef $\mathbb{Q}$-除子 $N$，不等式 $ n\mu_N(L)J^{\operatorname{NA}}(\mathcal{X},\mathcal{L}) \geq \operatorname{DF}_{\Delta+N}(\mathcal{X},\mathcal{L}) - \operatorname{DF}_\Delta(\mathcal{X},\mathcal{L}) $ 成立。
• 一致 K-稳定的开性在 canonical 与 anti-canonical 极化下均被确立：若 $((X,\Delta), L)$ 一致 K-稳定且 $L = K_X + \Delta$ 或 $L = -(K_X + \Delta)$，则对 $\operatorname{N}^1(X)_{\mathbb{R}}$ 中 $L$ 的欧氏邻域内所有 $L'$，$((X,\Delta), L')$ 均一致 K-稳定。
• 对 $\operatorname{N}^1(X)_{\mathbb{R}}$ 上任意范数 $\|\cdot\|$，存在 $\varepsilon' > 0$，使得对所有满足 $\|L' - L\| \leq \varepsilon'$ 的 $\mathbb{Q}$-线丛 $L'$，均有 $((X,\Delta), L')$ 一致 K-稳定。
• 定理 6.5 提供了统一 K-稳定的充分条件：若 $\mu_{K_X + \Delta}(L) > 0$ 且 $\frac{n^2}{n^2 - 1}\mu_{K_X + \Delta}(L)L - (K_X + \Delta)$ 为 ample，则 $((X,\Delta), L)$ 一致 K-稳定。