[论文解读] On parametrization, optimization and triviality of test configurations

Yuji Odaka|arXiv (Cornell University)|Jan 3, 2012

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

一句话总结

本文通过球面建筑物对极化代数簇的测试配置进行参数化，利用Kempf与Rousseau的结果，证明了最优不稳定测试配置的存在性。通过重新定义K-稳定性，消除了病态的'近乎平凡'测试配置，表明它们对应于球面建筑物的余稠密子集，并在修正定义下被排除，从而为Odaka（2011）的形式化提供了合理性。

ABSTRACT

We give a parametrization of test configurations in the sense of Donaldson via spherical buildings, and show the existence of "optimal" destabilizing test configurations for unstable varieties, in the wake of Mumford and Kempf. We also give an account of the recent slight amendment to definition of K-stability after Li-Xu, from two other viewpoints: from the one parameter subgroups and from the author's blow up formalism.

研究动机与目标

• 通过球面建筑物对测试配置提供几何参数化，拓展经典GIT思想。
• 为任意不稳定极化代数簇建立唯一最优不稳定测试配置的存在性，类比于Harder-Narasimhan过滤。
• 利用球面建筑物形式化阐明'近乎平凡'测试配置（必须从K-稳定性中排除的病态情形）的几何与代数性质。
• 将修正后的K-稳定性定义（Li-Xu之后）与两种视角统一：一参数子群与Odaka的爆破形式化。
• 证明病态测试配置的集合在球面建筑物中构成余稠密集，从而为稳定性理论中排除它们提供依据。

提出的方法

• 使用球面建筑物 Δ(GL(H⁰(X,L))) 作为指数1的测试退化的参数空间，利用Tits理论。
• 应用Rousseau与Kempf的定理（Tits中心猜想）证明归一化权函数的唯一极小化子存在。
• 在测试配置上定义等价关系（T-等价、U-等价），以形成测试退化与测试类。
• 在球面建筑物的几何实现上引入权函数 ν，该函数由GIT权导出，并通过Weyl不变范数归一化。
• 将'近乎平凡'测试配置的点集识别为 S′(T,ℚ) 中有理点的像，其中出现多个最小权。
• 利用Mumford与Kempf的下半连续性，证明 ν 在 |Δ(G)|_ℚ 上的连续性与下半连续性。

实验结果

研究问题

• RQ1 能否使用已知的几何对象（如球面建筑物）对极化代数簇的测试配置进行统一参数化？
• RQ2 每个不稳定极化代数簇是否都存在唯一最优不稳定测试配置，类比于Harder-Narasimhan过滤？
• RQ3 '近乎平凡'测试配置的几何与代数本质是什么？为何必须对K-稳定性定义进行修正？
• RQ4 球面建筑物形式化如何阐明一参数子群与K-稳定性之间的关系？
• RQ5 在排除病态测试配置的修正K-稳定性定义下，Odaka的爆破形式化是否仍可成立？

主要发现

• 对于非常 ample 极化代数簇 (X,L)，指数1的测试退化由球面建筑物 Δ(GL(H⁰(X,L))) 的有理点参数化。
• 最优不稳定测试配置的存在性与唯一性由Kempf-Rousseau定理在球面建筑物参数空间上的应用得出。
• '近乎平凡'测试配置的集合对应于球面建筑物的余稠密集，具体为自然映射下 ∪_T S′(T,ℚ) 的像。
• 这些病态配置在修正后的K-稳定性定义中被排除，该定义现与Odaka（2011）的爆破形式化一致。
• 归一化Chow权函数 ν 在球面建筑物的几何实现上连续且下半连续，从而保证极小化子的存在。
• 最优不稳定测试配置被实现为 |Δ(G)|_ℚ 中具有最小（负）归一化权的点，由GIT权函数唯一确定。