[论文解读] Relative K-stability of extremal metrics

Jacopo Stoppa, Gábor Székelyhidi|ArXiv.org|Dec 21, 2009

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

一句话总结

该论文证明，若一个极化流形 admits 极值度量，则其相对于自伴微分同胚的最大环面是相对 K-双稳定（relatively K-polystable）。在先前关于常数量曲率凯勒（cscK）度量工作的基础上，作者将 Futaki 不变量与测试配置框架推广至极值度量，证明了相对 K-双稳定性作为存在性的障碍，从而推进了极值情形下的 Yau-Tian-Donaldson 猜想。

ABSTRACT

We show that if a polarised manifold admits an extremal metric then it is K-polystable relative to a maximal torus of automorphisms.

研究动机与目标

• 将常数量曲率凯勒（cscK）度量的 K-双稳定性障碍推广至更广泛的极值度量情形。
• 建立若存在极值度量，则其相对于自伴微分同胚的最大环面是相对 K-双稳定的结论。
• 在极值度量的背景下，细化代数几何稳定性条件，使其与相对版本的 Yau-Tian-Donaldson 猜想一致。
• 提供一个考虑连续自伴微分同胚群的极值度量存在的必要条件，该条件无法被标准 K-双稳定性所捕捉。

提出的方法

• 将 Donaldson 的测试配置框架适配至相对设定，纳入自伴微分同胚的最大环面。
• 通过使用 ρ-不变内积，将 ρ-作用正交投影至模去环面作用的商空间，引入相对 Futaki 不变量。
• 利用上同调群上迹不变量的渐近展开式，以 k-展开式中的首项系数定义相对 Futaki 不变量与内积。
• 采用爆破技术，比较测试配置中心纤维在固定点处爆破前后的不变量。
• 应用 Hilbert-Mumford 准则分析固定点的权重，证明排斥型固定点会降低 Futaki 不变量。
• 利用层上同调的正合列计算爆破下迹不变量的修正项，表明在排斥点处爆破会使相对 Futaki 不变量减小。

实验结果

研究问题

• RQ1 极值度量的存在是否意味着相对于自伴微分同胚的最大环面是相对 K-双稳定的？
• RQ2 Futaki 不变量能否推广为一种相对形式，以反映极值度量背景下环面作用的影响？
• RQ3 相对 K-双稳定性条件是否足以保证极值度量的存在？还是需要额外约束？
• RQ4 在极值度量的测试配置中，固定点处的爆破如何影响 Futaki 不变量？
• RQ5 固定点的 Hilbert-Mumford 权重与相对 Futaki 不变量中修正项符号之间的精确关系为何？

主要发现

• 若一个极化流形 admits 极值度量，则其相对于自伴微分同胚的最大环面是相对 K-双稳定的。
• 相对 Futaki 不变量 $F_T(\hat{\alpha})$ 通过将 ρ-作用正交投影至模去环面作用的商空间而定义。
• 在排斥型固定点处进行爆破会导致 Futaki 不变量下降，当权重为正时，修正项为负。
• 爆破后迹内积的首项修正为 $O(\varepsilon^n)$，表明当 $\varepsilon$ 较小时内积仍保持较小。
• 证明了对于排斥型固定点，$\lambda(q) - \frac{b_0}{a_0}$ 为负，即当 $\varepsilon$ 较小时有 $\frac{b_0}{a_0} > \lambda(q)$，从而确认了 Futaki 不变量的下降。
• 该结果确认了相对 K-双稳定性是极值度量存在的必要条件，将 cscK 情形的结果推广至具有连续自伴微分同胚群的流形。