[论文解读] Alpha invariants and K-stability for general polarisations of Fano varieties

Ruadhaí Dervan|arXiv (Cornell University)|Jul 24, 2013

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

一句话总结

本文利用Tian的alpha不变量，建立了Fano簇一般极化下的K-稳定性的充分条件，推广了Odaka-Sano对反canonical极化结果。关键贡献是一个结合alpha不变量与斜率条件的判别准则，证明了对一类新的1度del Pezzo曲面极化（包括$L_\lambda = 3H - \sum_{i=1}^7 E_i - \lambda E_8$，其中$\frac{19}{25} < \lambda < \sqrt{10} - 2$）的K-稳定性。该结果可推广至带有圆锥奇点的对数K-稳定性情形。

ABSTRACT

We provide a sufficient condition for polarisations of Fano varieties to be K-stable in terms of Tian's alpha invariant, which uses the log canonical threshold to measure singularities of divisors in the linear system associated to the polarisation. This generalises a result of Odaka-Sano in the anti-canonically polarised case, which is the algebraic counterpart of Tian's analytic criterion implying the existence of a Kähler-Einstein metric. As an application, we give new K-stable polarisations of a general degree one del Pezzo surface. We also prove a corresponding result for log K-stability.

研究动机与目标

• 将Odaka-Sano在反canonical情形下对K-稳定性的代数判别准则推广至Fano簇的一般极化情形。
• 基于极化Fano簇的alpha不变量与斜率不变量，建立K-稳定性的充分条件。
• 为一般1度del Pezzo曲面提供K-稳定极化的显式例子。
• 将K-稳定性判别准则推广至对数情形，纳入沿子簇的圆锥奇点。

提出的方法

• 定义斜率$\mu(X,L) = \frac{-K_X \cdot L^{n-1}}{L^n}$作为拓扑不变量，以归一化极化。
• 将alpha不变量$\alpha(X,L)$定义为$|L|$中$\mathbb{Q}$-除子的对数典范阈值的下确界。
• 建立充分条件：若$\alpha(X,L) > \frac{n}{n+1}\mu(X,L)$且$-K_X \geq \frac{n}{n+1}\mu(X,L)L$，则$(X,L)$为K-稳定。
• 证明alpha不变量的连续性结果，表明K-稳定性条件在$L$的小变形下是开的。
• 通过对数斜率$\mu_\beta((X,D);L)$与对数alpha不变量$\alpha((X,D);L)$，将框架扩展至对数K-稳定性。
• 利用爆破形式化与邻接性反转，通过测试配置上的分歧与重数，对对数alpha不变量进行上界估计。

实验结果

研究问题

• RQ1 Tian的alpha不变量K-稳定性准则能否推广至Fano簇的反canonical极化之外？
• RQ2 对极化$L$的何种条件可保证Fano簇的K-稳定性，超越已知的反canonical情形？
• RQ3 是否存在Fano簇（特别是del Pezzo曲面）的新颖非toric K-稳定极化例子？
• RQ4 alpha不变量准则如何推广至带有圆锥奇点的对数情形？
• RQ5 K-稳定性在极化族中是否为开条件？能否通过代数方法证明？

主要发现

• 本文证明：若$\alpha(X,L) > \frac{n}{n+1}\mu(X,L)$且$-K_X \geq \frac{n}{n+1}\mu(X,L)L$，则$(X,L)$为K-稳定。
• 对一般1度del Pezzo曲面$X$，极化$L_\lambda = 3H - \sum_{i=1}^7 E_i - \lambda E_8$在$\frac{19}{25} < \lambda < \sqrt{10} - 2 \approx 0.12$时为K-稳定。
• 当第二个不等式严格成立时，K-稳定性条件在极化$L$下是开的，此结论由alpha不变量的连续性得出。
• 对数K-稳定性准则将结果推广至带有圆锥奇点的对偶$(X,D)$：若$\alpha((X,D);L) > \frac{n}{n+1}\mu_\beta((X,D);L)$且$-(K_X + (1-\beta)D) \geq \frac{n}{n+1}\mu_\beta((X,D);L)L$，则在圆锥角$\beta$下为对数K-稳定。
• 证明使用测试配置与分歧分析，表明在给定条件下，对数Donaldson-Futaki不变量为正。
• 该方法首次为一般极化Fano簇提供了非toric的K-稳定性判别准则，提供了K-稳定极化的显式代数构造。