[论文解读] Alpha invariant and K-stability of Q-Fano varieties

Yuji Odaka, Yuji Sano|arXiv (Cornell University)|Nov 29, 2010

Geometry and complex manifolds参考文献 27被引用 9

一句话总结

本文建立了纯代数几何的证明：若Q-Fano簇X的对数典范阈值（lct）超过n/(n+1)，则(X, -K_X)是K-稳定。作者通过Seshadri常数与对数典范阈值，将α-不变量与K-稳定性联系起来，证明高lct蕴含K-稳定性及自同构群的有限性，将Tian的解析准则推广至代数框架。

ABSTRACT

We give a purely algebro-geometric proof that if the alpha-invariant of a Q-Fano variety X is greater than dim X/(dim X+1), then (X,O(-K_X)) is K-stable. The key of our proof is a relation among the Seshadri constants, the alpha-invariant and K-stability. It also gives applications concerning the automorphism group.

研究动机与目标

• 建立Q-Fano簇的α-不变量与K-稳定性之间直接的代数几何联系，以代数不变量替代解析方法。
• 证明若对数典范阈值lct(X) > n/(n+1)，则(X, O_X(-K_X))是K-稳定，将Tian的解析准则推广至代数设定。
• 利用Matsushima定理及自同构群中无非平凡一参数子群的性质，证明K-稳定性蕴含光滑Fano流形自同构群的有限性。
• 将结果推广至有限群作用下的G-等变K-稳定性，证明若lct_G(X) > n/(n+1)，则(X, O_X(-K_X))是G-等变K-稳定。

提出的方法

• 将G-不变对数典范阈值lct_G(X)定义为|−mK_X|上所有G-不变子线性系统与m的下确界，用于度量对偶对(X, 1/m Σ)的奇点程度。
• 利用Seshadri常数将lct与测试配置的几何性质及对(X, -K_X)的稳定性联系起来。
• 从G-等变测试配置( X̃, L̃ )构造一个G-不变旗理想𝒥，其Blow-up可化解有理映射X̃ ⇢ X × A¹的奇点。
• 应用[15, 例9.2.23]中的对数典范阈值解释，对中心纤维理想I₀的Seshadri常数进行上界估计。
• 利用不等式(n+1)/n K_{B/X×A¹} − Sesh(𝒥, (X×A¹, −K_{X×A¹})) E ≥ 0，推导Donaldson-Futaki不变量的下界。
• 借助Matsushima定理及K-稳定性蕴含Aut(X)中无非平凡一参数子群的性质，推导出自同构群的有限性。

实验结果

研究问题

• RQ1 当对数典范阈值lct(X) > n/(n+1)时，是否蕴含Q-Fano簇X的K-稳定性？
• RQ2 Tian的α-不变量的解析准则能否通过代数几何不变量（如lct与Seshadri常数）完全恢复？
• RQ3 Fano流形的自同构群与其K-稳定性之间存在何种关系，特别是在lct(X) > n/(n+1)时？
• RQ4 阈值n/(n+1)对于K-稳定性是否为最优？是否存在如Pⁿ在等式成立时的例外情况？

主要发现

• 若lct(X) > n/(n+1)，则对任意n维Q-Fano簇X，(X, O_X(-K_X))均为K-稳定。
• 若lct(X) ≥ n/(n+1)，则(X, O_X(-K_X))为K-半稳定。
• 对复数域上光滑Fano流形，若lct(X) > n/(n+1)，则Aut(X)有限，因K-稳定性蕴含无非平凡一参数子群。
• 该结果可推广至G-等变K-稳定性：若lct_G(X) > n/(n+1)，则(X, O_X(-K_X))为G-等变K-稳定。
• 证明中通过G-不变旗理想的Blow-up实现奇点消解，将测试配置与Seshadri常数及对数典范阈值联系起来。
• 作者猜想当lct(X) = n/(n+1)时，除非X ≅ Pⁿ，否则K-稳定性仍成立，暗示该阈值为最优。