[论文解读] K-stability of constant scalar curvature Kähler manifolds

Jacopo Stoppa|ArXiv.org|Mar 28, 2008

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

一句话总结

本文证明了：若一个极化流形 admits 一个具有离散自同构群的常数量曲率凯勒（cscK）度量，则其为 K-稳定，从而改进了唐纳森早期关于 K-半稳定性的结果。证明方法基于 cscK 度量的爆破扰动与基于唐纳森-福塔基不变量的反证法，表明在 K-半稳定、cscK 度量及平凡自同构群的条件下，特定测试构型下将导致不稳定。

ABSTRACT

We show that a polarised manifold with a constant scalar curvature Kähler metric and discrete automorphisms is K-stable. This refines the K-semistability proved by S. K. Donaldson.

研究动机与目标

• 建立 admits 常数量曲率凯勒（cscK）度量且自同构群离散的极化流形的 K-稳定性。
• 在自同构群离散的附加假设下，将唐纳森关于 K-半稳定性的结果改进为严格 K-稳定性。
• 确认 Yau-Tian-Donaldson 猜想的一个关键情形，该猜想认为 cscK 度量蕴含 K-多稳定。
• 证明在无连续自同构的情况下，可通过扰动技术在 K-半稳定性下导出矛盾，从而证明 K-稳定性。

提出的方法

• 通过在特殊点 $ q \in X $ 处的爆破构造一族扰动的极化流形，使用 $ L_\gamma = \pi^*L^\gamma - \mathcal{O}(E) $，其中 $ \gamma \gg 0 $。
• 利用唐纳森-福塔基不变量的爆破公式，分析扰动族的稳定性。
• 应用 Arezzo 和 Pacard 的结果，表明若自同构群离散，则 $ X $ 上的 cscK 度量可被扰动为 $ \widehat{X} $ 上的 cscK 度量。
• 通过权重 $ w(k) $ 与 Hilbert 多项式 $ P(k) $ 的渐近估计，推导出唐纳森-福塔基不变量的下界。
• 通过证明：若 $ (X,L) $ 为适当 K-半稳定，则当 $ \gamma $ 足够大时，扰动族将变为 K-不稳定，从而与 cscK 度量的存在性矛盾。
• 利用 Mumford 定理：测试构型可视为 $ X \times \mathbb{C} $ 的爆破，并通过正规化方法分析退化情形。

实验结果

研究问题

• RQ1 在自同构群离散的极化流形上，cscK 度量的存在是否意味着 K-稳定性，而不仅限于 K-半稳定性？
• RQ2 能否通过在一点处对流形进行爆破扰动，从一个 K-半稳定流形构造出 K-不稳定的测试构型？
• RQ3 在 cscK 度量与离散自同构群的假设下，非平凡测试构型的唐纳森-福塔基不变量是否严格为正？
• RQ4 基于爆破与 cscK 度量延拓的扰动策略，是否可用于证明一致 K-稳定性或进一步完善 Yau-Tian-Donaldson 猜想？
• RQ5 自同构群在 cscK 流形稳定性中起何关键作用？其平凡性如何影响该扰动方法？

主要发现

• 若极化流形 $ (X,L) $ admits cscK 度量且自同构群离散，则其为 K-稳定，从而确认了 Yau-Tian-Donaldson 猜想的一个关键情形。
• 若极化流形 $ (X,L) $ 为适当 K-半稳定，且 admits cscK 度量与离散自同构群，则在特殊点处通过爆破扰动后，扰动族将变为 K-不稳定，导致矛盾。
• 扰动测试构型的唐纳森-福塔基不变量满足 $ F(\mathcal{X}) \geq C'' > 0 $，其中 $ C'' $ 为某正常数，与 K-半稳定性的假设矛盾。
• 渐近展开式 $ \frac{w(k)}{kP(k)} = \frac{C'''}{k} + O(k^{-2}) $ 暗示 Futaki 不变量有正下界，这与 K-半稳定性不相容。
• 在 K-半稳定性的假设下，爆破构造 $ (\widehat{X}, \pi^*L^\gamma - \mathcal{O}(E)) $ 对充分大的 $ \gamma $ 会生成 K-不稳定的极化流形。
• 该证明依赖于 Arezzo 和 Pacard 的结果：当且仅当自同构群离散时，cscK 度量在爆破上的延拓是无阻碍的。