[论文解读] The GIT-stability of Polarised Varieties via discrepancy

Yuji Odaka|arXiv (Cornell University)|Jul 10, 2008

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

一句话总结

该论文通过证明满足$(*)$条件的K-弱稳定极化代数簇必具有半对数典范奇点，建立了代数几何中GIT稳定性与奇点理论之间的基本联系。利用分歧理论与Donaldson-Futaki不变量，将曲线模空间中的经典节点奇点条件推广至高维情形，表明稳定性条件通过分歧精确地度量了奇点，且在Fano情形下得到更强结果：K-弱稳定性蕴含对数终端奇点。

ABSTRACT

We prove that various GIT semistabilities of polarized varieties imply semi-log-canonicity.

研究动机与目标

• 理解GIT-稳定极化簇模空间中允许的奇点性质。
• 将经典结果（稳定曲线仅有节点奇点）推广至高维代数簇。
• 建立代数几何稳定性（K-稳定性）与双有理几何不变量（分歧）之间的精确联系。
• 证明K-弱稳定性蕴含半对数典范性，且在Fano情形下蕴含对数典范性。
• 通过证明在Calabi-Yau与典范情形下逆命题成立，表明结果最优。

提出的方法

• 使用$(*)$-概形的概念：等维、S2、余维数1处为Gorenstein，且canonical除子为Q-Cartier。
• 通过对数解析与正规化理论分析奇点，应用分歧理论。
• 将Donaldson-Futaki不变量作为稳定性代数几何不变量，通过测试配置计算其值。
• 在$X \times \mathbb{A}^1$上构造旗理想及其爆破，以建模退化并计算不变量。
• 通过一般超平面截面将高维情形约化为低维情形，以简化分析。
• 利用对数极小模型程序及对数终端模型的存在性，在非终端情形下导出矛盾。

实验结果

研究问题

• RQ1 满足$(*)$条件的K-弱稳定极化簇中，允许何种奇点？
• RQ2 能否利用稳定性理论将曲线情形下的经典节点奇点结果推广至高维代数簇？
• RQ3 K-弱稳定性是否足以保证奇点至多为半对数典范？
• RQ4 在Fano情形下，K-弱稳定性是否蕴含更强的奇点控制（如对数终端性）？
• RQ5 在已知逆命题结果下，从K-弱稳定性推出半对数典范性的结论是否为最强可能？

主要发现

• 满足$(*)$条件的极化簇$(X,L)$的K-弱稳定性蕴含$X$仅有半对数典范奇点。
• 在Fano情形下，$(X, \mathcal{O}_X(-mK_X))$的K-弱稳定性蕴含$X$为对数终端（从而正规）。
• 渐近（Chow或Hilbert）半稳定性蕴含半对数典范性，因为其蕴含K-弱稳定性。
• $\bar{K}$-半稳定性条件同样蕴含半对数典范性，证实其相对于K-稳定性的强度。
• 结果最优：在Calabi-Yau与典范簇情形下，逆命题成立，表明该界无法进一步改进。
• 正规化与导出除子的分歧在证明中起关键作用，负分歧值表明不稳定性。