[论文解读] Lower bounds on the Calabi functional

Simon Donaldson|ArXiv.org|Jun 24, 2005

Geometry and complex manifolds参考文献 15被引用 6

一句话总结

该论文通过测试构型，建立了紧致凯勒流形在固定凯勒类上卡比功能性（标量曲率的L²范数）的下界。证明了卡比功能性的下确界被一个由测试构型中心纤维上C*-作用导出的数值不变量Ψ(𝒳)的上确界所控制，将阿蒂亚-博特定理推广至凯勒几何，并为常标量曲率凯勒度量存在的K-半稳定性的必要性提供了新的证明。

ABSTRACT

The main result of this paper shows that "test configurations" give new lower bounds on the $L^{2}$ norm of the scalar curvature on a Kahler manifold. This is closely analogous to the analysis of the Yang-Mills functional over Riemann surfaces by Atiyah and Bott. The proof uses asymptotic approximation by finite-dimensional problems: the essential ingredient being the Tian-Zelditch-Lu expansion of the "density of states" function.

研究动机与目标

• 将杨-米尔斯泛函上的阿蒂亚-博特定理推广至凯勒几何中的卡比功能性。
• 基于与测试构型相关的代数几何不变量，建立标量曲率L²范数的下界。
• 提供一种新的、简化的证明，表明常标量曲率凯勒度量的存在性蕴含K-半稳定性，且不依赖于特殊构造。
• 通过线丛上同调的渐近分析，将下界推广至标量曲率的L^p范数。

提出的方法

• 将测试构型𝒳用作射影簇X及其线丛L的C*-等变退化。
• 通过C*作用在H⁰(X₀, ℒᵏ)上的作用定义数值不变量Ψ(𝒳)，其与广义Futaki不变量相关。
• 应用密度态的渐近展开（Yau-Tian-Zelditch）将迹不变量与中心纤维X₀上哈密顿函数h的积分联系起来。
• 在无限维情形应用矩映射理论，通过有限维Kirwan型问题近似。
• 通过在相关丛上对曲率形式进行积分，利用等变微分形式与水平提升推导出下界。
• 通过分析Tr(Aₖ^r)的渐近行为，将结果推广至L^p范数，得到N_p = ||h - ĥ||_{L^p(|X₀|)}。

实验结果

研究问题

• RQ1 能否将阿蒂亚-博特不等式（关联曲率泛函与滤子）推广至凯勒几何中的卡比功能性？
• RQ2 是否存在一个由测试构型导出的数值不变量，能为卡比功能性提供精确的下界？
• RQ3 常标量曲率凯勒度量的存在性是否蕴含K-半稳定性？能否通过有限维逼近证明这一点？
• RQ4 能否通过线丛上同调的渐近分析，将L²卡比功能性的下界推广至L^p范数？
• RQ5 迹为零的标量曲率的L^p范数与测试构型中心纤维上哈密顿函数的L^p范数之间存在何种精确关系？

主要发现

• 标量曲率S(ω)的L²范数的下确界被所有测试构型𝒳上的Ψ(𝒳)的上确界所控制。
• 当且仅当X不是K-半稳定时，该下界Ψ(𝒳)严格大于拓扑下界（涉及平均标量曲率）。
• 该证明为K-半稳定性是常标量曲率凯勒度量存在的必要条件提供了新的、简化的推导。
• 证明表明不变量Ψ(𝒳)等于中心纤维|X₀|上迹为零的哈密顿函数h - ĥ的L²范数，并可推广至L^p范数。
• Tr(Aₖ^r)的渐近分析表明，N_p(𝒳) = ||h - ĥ||_{L^p(|X₀|)}，将结果推广至所有p ≥ 1。
• 猜想inf_ω ||S(ω)||_{L²} = sup_𝒳 Ψ(𝒳)，暗示稳定性与常标量曲率度量存在性之间存在深刻联系。