A valuative criterion of K-polystability

基本信息

• 论文ID: 2406.06176
• 标题: A valuative criterion of K-polystability
• 作者: Linsheng Wang
• 分类: math.AG (代数几何)
• 发表时间: 2024年6月，arXiv预印本
• 论文链接: https://arxiv.org/abs/2406.06176

摘要

对于任何带有环面作用的对数Fano对，本文为其关联了一个可计算的不变量，使得该对是（加权）K-多稳定的当且仅当此不变量大于1。作为应用，本文给出了对任意权函数$g$都承认$g$-孤立子的Fano簇的例子。

研究背景与动机

核心问题

K-稳定性理论是现代代数几何中的核心研究领域，由田刚首次引入并由Donaldson重新代数化表述。它是检测Fano流形上Kähler-Einstein度量存在性的代数条件。

研究动机

1. 计算挑战: 虽然均匀K-稳定性等价于K-稳定性，但计算delta不变量$\delta(X,\Delta)$或约化delta不变量$\delta_{red}^T(X,\Delta)$在实践中非常困难。
2. 理论缺口: 现有的Abban-Zhuang估计虽然在许多情况下能证明$\delta(X,\Delta) > 1$，但对于约化delta不变量的计算或估计缺乏明确结果。
3. 实用需求: 为了测试K-多稳定性，需要可计算的判别准则，而现有的田刚alpha不变量和等变K-稳定性方法仍有局限。

核心贡献

1. 主要定理: 建立了K-多稳定性的值论判别准则（定理1.1），将K-多稳定性问题转化为计算特定构造的三元组$(X_r, \Delta_r, W^{X_r}_\bullet)$的delta不变量。
2. Abban-Zhuang估计的锐性: 证明了Abban-Zhuang估计的锐性结果（定理3.2），为理解估计的精确性提供了理论基础。
3. 几乎完备条件下的等价性: 在几乎完备条件下，建立了原始对的K-多稳定性与构造对的K-稳定性之间的等价关系（定理1.6）。
4. $g$-孤立子的存在性: 作为应用，证明了某些Fano三重（如Mori-Mukai列表中的№2.28、№3.14和№2.23(a0)族）对任意权函数$g$都承认$g$-孤立子。

方法详解

任务定义

给定带有环面$T = \mathbb{G}_m^r$作用的对数Fano对$(X,\Delta)$，构造一个可计算的不变量来判别其K-多稳定性。

核心构造（Construction 4.1）

输入: 对数Fano对$(X,\Delta)$和环面作用$T \subseteq \text{Aut}(X,\Delta)$输出: 三元组$(X_r, \Delta_r, W^{X_r}_\bullet)$

构造过程:

1. 选择$N = \text{Hom}(\mathbb{G}_m, T)$的基$\{\xi_1, \cdots, \xi_r\}$
2. 对每个$\xi_i$，构造对应的环面除子$E_{\xi_i}$
3. 逐步进行伴随和细化：
   • 从$(X_0, \Delta_0) = (X, \Delta)$开始
   • 对$i = 1, \cdots, r$，通过$\langle\xi_i\rangle$-作用构造$(X_i, \Delta_i)$
   • 每步都保持klt Fano型性质和等变性

技术创新点

1. 值论空间的同构: 利用Lemma 2.17建立了$\text{Val}_{X_i} \times N(\langle\xi_i\rangle)_\mathbb{R} \to \text{Val}^{\langle\xi_i\rangle}_{X_{i-1}}$的同构，保持对数差异性质。
2. 多重分次线性系的细化: 通过环面除子的逐步细化，构造了保持基型除子对应关系的$N \times N^r$-分次线性系$W^{X_r}_\bullet$。
3. Futaki不变量的消失条件: 关键假设$\text{Fut}|_N = 0$确保了$\frac{A_{X,\Delta}(X_i)}{S(W^{X_{i-1}}_\bullet; X_i)} = 1$。

主要定理

定理1.1（主要结果）

如果$T \subseteq \text{Aut}(X,\Delta)$是极大子环面且$\text{Fut}|_N = 0$，则对数Fano对$(X,\Delta)$是K-多稳定的（K-半稳定的）当且仅当 $\delta(X_r, \Delta_{X_r}; W^{X_r}_\bullet) > (\geq) 1$

定理3.2（Abban-Zhuang估计的锐性）

如果$\text{ord}_F$是$\delta_{Z,T}(X,\Delta; V_\bullet)$的最小化子，则 $\frac{A_{X,\Delta}(F)}{S(V_\bullet; F)} = \delta_{Z,T}(X,\Delta; V_\bullet) \leq \inf_{Z' \to Z} \delta_{Z',T}(F, \Delta_F; W_\bullet)$

定理1.6（几乎完备条件）

假设$\text{Fut}|_N = 0$且多重分次线性系$W^{X_r}_\bullet$关于某个大除子$L$是几乎完备的，则存在有效$\mathbb{R}$-除子$F$使得$(X,\Delta)$是K-多稳定的当且仅当$(X_r, \Delta_r + F)$是K-稳定或K-多稳定的。

应用实例

Fano三重的$g$-孤立子存在性

定理1.8: 设$X$是Mori-Mukai列表中№2.28或№3.14族的Fano三重，或$X = X_0$是№2.23(a)族Fano三重的最优退化，则$X$对任意权函数$g: P \to \mathbb{R}_{>0}$都是$g$-加权K-多稳定的。

具体例子分析

1. 平面二次曲线（Example 4.6）: 对$(P^2, cQ)$其中$Q$是光滑二次曲线，证明了K-多稳定性等价于$0 \leq c < \frac{3}{4}$。
2. Fano三重№2.28和№3.14（Example 5.5）: 通过构造$H \subseteq P^3$上的三次曲线$C$，建立了$g$-加权K-多稳定性与$C$的GIT-稳定性之间的等价关系。

技术工具

环面除子的构造

对于$\xi \in N$，构造乘积测试构型： $(X_\xi, \Delta_{X_\xi}, L_\xi, \eta) = (X, \Delta, -(K_X + \Delta), (\xi, 1)) \times A^1$

这诱导了特殊除子值$\text{wt}_\xi = c_\xi \cdot \text{ord}_{E_\xi}$，其中$E_\xi$是关于$T$-作用的环面除子。

$\xi$-扭曲值论

对于$T$-不变值$v = v_{\mu,\xi_0}$和$\xi \in N_\mathbb{R}$，定义$\xi$-扭曲为$v_\xi := v_{\mu,\xi_0+\xi}$。

关键性质：如果$\text{Fut}|_N = 0$，则 $S(v_\xi) = S(v) + \theta_\xi(v)$ 其中$\theta_\xi(v) = A_{X,\Delta}(v_\xi) - A_{X,\Delta}(v)$。

理论意义与影响

计算优势

定理1.1的优势在于，测试K-多稳定性只需计算一个子簇$C_X(X_r) \subseteq X$上点的局部delta不变量，无需考虑其他$T$-不变点。

权重不敏感性

引入了"$T$-等变权重不敏感K-多稳定"的概念：对数Fano对$(X,\Delta)$称为$T$-等变权重不敏感K-多稳定的，如果对$P(T)$上的任意权函数$g$，$(X,\Delta)$都是$T$-等变$g$-加权K-多稳定的。

模空间理论

这些结果为构造非平凡的$g$-加权K-模空间提供了例子，这些空间同构于平面三次曲线或$P^1 \times P^1$中双二次曲线的GIT-模空间。

局限性与未来方向

主要限制

1. Futaki不变量消失条件: 假设$\text{Fut}|_N = 0$对一般情况可能不成立，限制了方法的适用范围。
2. 环面作用要求: 方法专门针对带环面作用的情况，对一般Fano簇不直接适用。

未来研究方向

1. 推广到更一般情况: 研究如何处理$\text{Fut}|_N \neq 0$的情况。
2. 计算算法: 开发实际计算$\delta(X_r, \Delta_r; W^{X_r}_\bullet)$的有效算法。
3. 更多应用: 寻找更多权重不敏感K-多稳定的Fano簇例子。

深度评价

优点

1. 理论突破: 首次给出了K-多稳定性的可计算判别准则，填补了理论空白。
2. 技术创新: 巧妙结合了值论、环面几何和K-稳定性理论。
3. 实际应用: 提供了具体的Fano三重例子，证明了理论的实用性。
4. 完整性: 从理论建立到具体应用形成了完整的研究链条。

技术贡献

1. Abban-Zhuang估计锐性: 深化了对现有估计精确性的理解。
2. 构造方法: 提供了两种构造$(X_r, \Delta_r, W^{X_r}_\bullet)$的方法。
3. 等变理论: 发展了等变K-稳定性的值论方法。

影响力评估

这篇论文在K-稳定性理论中具有重要地位，为该领域提供了新的计算工具和理论框架，预期将推动相关研究的进展。

参考文献

论文引用了该领域的重要文献，包括：

• Tian的K-稳定性原始工作
• Donaldson的代数化表述
• Liu-Xu-Zhuang的有限生成理论
• Abban-Zhuang估计的相关工作
• 最近关于$g$-孤立子存在性的研究