[论文解读] A generalization of Ross-Thomas' slope theory

Yuji Odaka|arXiv (Cornell University)|Oct 9, 2009

Geometry and complex manifolds参考文献 29被引用 107

一句话总结

该论文通过为 $X \times \mathbb{A}^1$ 中旗理想爆破产生的半测试配置中的 Donaldson-Futaki 不变量提供显式公式，将 Ross-Thomas 的斜率理论推广至更一般情形，扩展了框架以包含半对数 canonical 奇点。该公式将不变量分解为典范除子部分与分歧项，其正性蕴含 K-稳定性，从而为典范极化半对数 canonical 曲线的 K-稳定性以及具有数值平凡典范除子的代数簇的 K-半稳定性提供了新的代数几何证明。

ABSTRACT

We give a formula of the Donaldson-Futaki invariants for certain type of semi test configurations, which essentially generalizes Ross-Thomas' slope theory. The positivity (resp. non-negativity) of those "a priori special" Donaldson-Futaki invariants implies K-stability (resp. K-semistability). We show its applicability by proving K-(semi)stability of certain polarized varieties with semi-log-canonical singularities, generalizing some results by Ross-Thomas.

研究动机与目标

• 将 Ross-Thomas 的斜率理论从理想化的测试配置推广至 $X \times \mathbb{A}^1$ 中更一般的旗理想。
• 为这些推广后的半测试配置中的 Donaldson-Futaki 不变量提供具体公式。
• 建立这些不变量的正性（相应地，非负性）蕴含具有半对数 canonical 奇点的极化代数簇的 K-稳定性（相应地，K-半稳定性）。
• 提供关于典范与 Calabi-Yau 型代数簇的 K-(半)稳定性的纯代数几何证明，补充现有的微分几何结果。

提出的方法

• 推导出在 $X \times \{0\}$ 上爆破旗理想时 Donaldson-Futaki 不变量的显式公式（定理 3.2），推广 Ross-Thomas 的设定。
• 将不变量分解为两部分：反映整体正性的典范除子项与反映奇点的分歧项。
• 利用邻接的逆定理及总空间的对数典范性，在半对数 canonical 假设下控制分歧项。
• 应用该公式，通过分析不变量分量的符号，证明当 $L = \omega_X$ 时半对数 canonical 极化曲线的 K-稳定性，以及当 $K_X$ 数值平凡时代数簇的 K-半稳定性。
• 利用正规化与爆破结构分析例外除子的自交项，特别是 $(-E^2)$，以确立正性。

实验结果

研究问题

• RQ1 Ross-Thomas 的斜率理论能否推广至包含超出定义到法丛形变的旗理想的更一般旗理想？
• RQ2 推广后的 Donaldson-Futaki 不变量的正性是否蕴含具有半对数 canonical 奇点的极化代数簇的 K-稳定性？
• RQ3 该 Donaldson-Futaki 不变量的公式能否用于给出典范与 Calabi-Yau 型代数簇的 K-(半)稳定性的纯代数几何证明？
• RQ4 在奇点存在的情况下，不变量公式中的典范除子项与分歧项如何相互作用？
• RQ5 正规化与爆破结构在分析不变量计算中例外除子自交性的过程中起什么作用？

主要发现

• 旗理想爆破的推广型 Donaldson-Futaki 不变量由公式（定理 3.2）给出，其可分解为典范除子部分与分歧项。
• 该不变量的正性蕴含 K-稳定性，非负性蕴含 K-半稳定性，如推论 3.11 所示。
• 对于满足 $L = \omega_X$ 的半对数 canonical 极化曲线，推广型不变量为正，从而证明其 K-稳定性。
• 对于具有数值平凡 $K_X$ 的半对数 canonical 代数簇，不变量为非负，从而证明其 K-半稳定性。
• 当 $X$ 为半对数 canonical 时，分歧项非负，这是由于正规化总空间 $X^\nu \times \mathbb{A}^1$ 与分歧子及零截面的对数典范性所致。
• 在曲线情形下，典范除子项对不变量有正贡献，这是由于例外除子在零维中心上的分量满足 $(-E^2) > 0$。