[论文解读] Kahler-Einstein metrics on Fano manifolds, II: limits with cone angle less than 2 π

Xiuxiong Chen, Simon Donaldson+1 more|arXiv (Cornell University)|Dec 19, 2012

Geometry and complex manifolds参考文献 11被引用 40

一句话总结

本文在锥角趋于小于 $2\pi$ 的值时，建立了沿除子的凯勒-爱因斯坦度量序列收敛于奇点 Fano 代数簇上极限度量的收敛性。通过加权Schauder估计与退化的复Monge-Ampère方程，证明了极限度量属于具有锥权重的Hölder空间，将正则性理论扩展至奇异极限情形，并为Fano流形的统一K-稳定性准则提供了关键步骤。

ABSTRACT

This is the second of a series of three papers which provide proofs of results announced in arXiv:1210.7494. In this paper we consider the Gromov-Hausdorff limits of metrics with cone singularities in the case when the limiting cone angle is less than 2π. We show that these are in a natrual way projective algebraic varieties. In the case when the limiting variety and the limiting divisor are smooth we show that the limiting metric also has standard cone singularities.

研究动机与目标

• 分析当锥角 $2\pi\beta_i$ 趋近于 $2\pi\beta_\infty$ 且 $\beta_\infty < 1$ 时，沿光滑除子 $D$ 的凯勒-爱因斯坦度量序列的极限行为。
• 在锥角严格小于 $2\pi$ 的条件下，建立奇异Q-Fano簇上极限度量的存在性与正则性。
• 将锥型凯勒-爱因斯坦度量的正则性理论扩展至极限情形，证明极限度量属于加权Hölder空间 $\mathcal{C}^{2,\alpha,\beta_\infty}$。
• 通过分析锥角收敛下凯勒-爱因斯坦度量的退化，为证明Yau-Tian-Donaldson猜想提供基础步骤。

提出的方法

• 在锥型设定下使用加权Schauder估计，通过模型度量 $\omega_{(\beta)}$ 定义范数，以控制度量差的Hölder半范数。
• 对具有奇点权重 $|s|^{2(\beta-1)}$ 的复Monge-Ampère方程应用先验估计，其中 $s$ 是 $K_X^{-\lambda}$ 的截面。
• 使用局部化论证：在接近奇点集 $\Delta$ 的点处以模型球 $B^{(\beta)}(q,\rho)$ 为中心，距离 $d_\beta$ 由模型度量定义。
• 实施扰动论证：设 $\omega = \omega_{(\beta)} + i\partial\bar\partial\psi$，并利用方程 $\det(\omega) = \Omega_h |s|_h^{2(\beta-1)}$ 推导出对 $[\psi]_\alpha$ 与 $[i\partial\bar\partial\psi]_\alpha$ 的界。
• 通过缩放与平移论证将问题约化为局部模型，应用Schauder估计 (39)，其中常数 $K$ 仅依赖于 $\alpha, \beta$ 与 $\beta_\infty$。
• 使用Cheeger-Colding理论作为Evans-Krylov理论的替代方案，以处理非奇点处的正则性，确保Hölder范数的全局控制。

实验结果

研究问题

• RQ1 当锥角 $2\pi\beta_i$ 收敛至 $2\pi\beta_\infty < 2\pi$ 时，凯勒-爱因斯坦度量序列的极限的正则性如何？
• RQ2 在奇异Q-Fano簇上，极限度量是否属于加权Hölder空间 $\mathcal{C}^{2,\alpha,\beta_\infty}$，其中 $\alpha < \beta_\infty^{-1} - 1$？
• RQ3 能否在锥型设定下通过加权Schauder估计统一控制此类度量的收敛性？
• RQ4 在极限下，度量在除子 $\Delta$ 附近的退化行为如何？权重 $|s|^{2(\beta-1)}$ 在Monge-Ampère方程中的作用是什么？
• RQ5 锥型凯勒-爱因斯坦度量的正则性理论能否扩展至 $\beta_i \to \beta_\infty < 1$ 的极限情形？

主要发现

• 对于任意 $\alpha < \beta_\infty^{-1} - 1$，极限度量属于加权Hölder空间 $\mathcal{C}^{2,\alpha,\beta_\infty}$，确保在锥型设定下的更高正则性。
• 统一的Schauder估计 (39) 成立，常数 $K = K(\alpha, \beta)$ 对所有接近 $\alpha, \beta$ 的 $\alpha', \beta'$ 一致，从而保证估计在收敛下的稳定性。
• 通过涉及 $[\det - \Delta\psi]_\alpha$ 与 $[\psi]_\alpha$ 的先验估计，度量差的Hölder半范数被控制，从而得到 $M = \sup Q(x,y)$ 的统一有界性。
• 通过结合Schauder估计与 $\rho^\alpha$ 项的衰减，建立 $M$ 的界：$R^{-\alpha}M/4 \leq K\rho^\alpha[\det]_\alpha + CK$，该界与 $i$ 无关。
• 极限度量在极限簇的光滑部分满足弱锥型凯勒-爱因斯坦方程 $\omega_h^n = \Omega_h |s|_h^{2(\beta_\infty - 1)}$。
• 即使基础流形与除子固定，该结果仍成立，表明收敛性仅由锥角退化控制，而非复结构的退化。