[论文解读] Extremal metrics and K-stability (PhD thesis)

Gábor Székelyhidi|ArXiv.org|Oct 31, 2006

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

一句话总结

本博士论文引入了统一K-稳定性作为复流形上极小度量存在的精细稳定性条件，证明了在纤维化曲面情形下，通过类比于Harder-Narasimhan过滤的极限测试配置，卡拉比泛函的下确界可被实现，且显式计算表明由Futaki不变量给出的下界是紧确的。该工作将K-稳定性推广至非代数、实参数的测试配置，并建立了不稳定度量与卡拉比泛函下确界之间的精确对应关系。

ABSTRACT

In this thesis we study the relationship between the existence of canonical metrics on a complex manifold and stability in the sense of geometric invariant theory. We introduce a modification of K-stability of a polarised variety which we conjecture to be equivalent to the existence of an extremal metric in the polarisation class. A variant for a complete extremal metric on the complement of a smooth divisor is also given. On toric surfaces we prove a Jordan-Holder type theorem for decomposing semistable surfaces into stable pieces. On a ruled surface we compute the infimum of the Calabi functional for the unstable polarisations, exhibiting a decomposition analogous to the Harder-Narasimhan filtration of an unstable vector bundle.

研究动机与目标

• 建立极小凯勒度量存在性与代数稳定性精细概念之间的精确联系，将K-稳定性猜想推广至非常数量曲率度量的情形。
• 通过计算卡拉比泛函的下确界，解决纤维化曲面上某些极化结构的不稳定性问题，表明其下确界被不稳定测试配置的负Futaki不变量所下界控制。
• 通过构造一种度量退化，将Kähler几何中的Harder-Narasimhan过滤类比推广至不稳定流形分解为极小部分的结构。
• 证明在所有测试配置上，Futaki不变量下界上确界等于卡拉比泛函的实际下确界，从而证实Donaldson的猜想。

提出的方法

• 引入统一K-稳定性作为K-稳定性的强化形式，通过所有非平凡测试配置上Futaki不变量的统一下界来定义。
• 构造一列动量轮廓φi，收敛至C²轮廓φ，该轮廓实现了纤维化曲面上卡拉比泛函的下确界。
• 通过收敛至h = Ŝ − S(ωφ)的凸分段线性函数hi，定义测试配置χi，其中S(ωφ)为极限度量的数量曲率。
• 利用定理5.2.3，将数量曲率变化的L²范数与归一化Futaki不变量关联，建立关键恒等式：||S(ωφ) − Ŝ||_{L²} = 4π × (−F(χ))/||χ||。
• 分析两种情形：当m ≤ k₂(k₂+2)时，以及当m > k₂(k₂+2)时，构造在τ = c处具有C²连接的φ，并确保S(ωφ)的凹性以保证有效性。
• 在纤维化流形上应用动量构造，以模拟极小度量并推导数量曲率轮廓，利用命题5.3.1中的显式解来处理稳定部分。

实验结果

研究问题

• RQ1 在纤维化曲面的不稳定极化结构上，卡拉比泛函的下确界是否等于所有测试配置上由Futaki不变量导出的下界上确界？
• RQ2 即使代数测试配置失效，是否仍可利用非代数、实参数的测试配置来实现卡拉比泛函的紧确下界？
• RQ3 通过极限度量将不稳定纤维化曲面分解为极小部分，这种分解是否在几何稳定性意义上类比于Harder-Narasimhan过滤？
• RQ4 在不稳定区域中，数量曲率轮廓的行为如何，特别是当中心区域无法容纳极小度量但趋于无限长且细时？
• RQ5 统一K-稳定性在多大程度上捕捉了极小度量的存在性，尤其是在标准K-稳定性不足以判定的情形下？

主要发现

• 在纤维化曲面上，卡拉比泛函的下确界恰好等于4π倍的所有测试配置χ上(−F(χ))/||χ||的上确界，从而在该设定下证实了Donaldson的猜想。
• 对于满足m ≤ k₂(k₂+2)的极化结构，极限度量轮廓φ为C²，并将流形划分为两部分，每部分均存在完整的极小度量。
• 当m > k₂(k₂+2)时，中心区域[k₂, c]的数量曲率S(ωφ) = −2/(1+τ)，非分段线性，相应柱状纤维在极限下趋于无限长且细。
• 所构造的测试配置非代数，表明在不稳定情形下，实现紧确下界需要非代数退化。
• 极限轮廓上的数量曲率S(ωφ)为凹函数，这确保了Futaki不变量计算的有效性及测试配置序列的收敛性。
• 极限测试配置对应于带有实参数的法丛形变，为最坏不稳定方向提供了几何实现。