[论文解读] Compact Moduli Spaces of Del Pezzo Surfaces and Kähler-Einstein metrics

Yuji Odaka, Cristiano Spotti+1 more|arXiv (Cornell University)|Oct 2, 2012

Geometry and complex manifolds参考文献 48被引用 32

一句话总结

本文建立了凯勒-爱因斯坦德尔佩佐曲面模空间的格罗莫夫-豪斯多夫紧化与一个显式的$ \mathbb{Q}$-戈伦斯坦可平展的对数德尔佩佐曲面代数几何模空间之间的同胚。通过结合微分几何（凯勒-爱因斯坦度量、格罗莫夫-豪斯多夫极限）与代数几何（GIT、$ \mathbb{Q}$-戈伦斯坦形变、K-稳定性），作者证明了紧化模空间恰好参数化那些具有凯勒-爱因斯坦度量的曲面，包括退化情形，并将田刚的存在性定理作为推论恢复。

ABSTRACT

We prove that the Gromov-Hausdorff compactification of the moduli space of Kahler-Einstein Del Pezzo surfaces in each degree agrees with certain algebro-geometric compactification. In particular, this recovers Tian's theorem on the existence of Kahler-Einstein metrics on smooth Del Pezzo surfaces and classifies the degenerations of such metrics. The proof is based on a combination of both algebraic and differential geometric techniques.

研究动机与目标

• 建立微分几何中的格罗莫夫-豪斯多夫紧化与凯勒-爱因斯坦德尔佩佐曲面代数几何模空间之间的自然桥梁。
• 解决一个开放问题：对度数$d \in \{1,2,3,4\}$的德尔佩佐曲面上凯勒-爱因斯坦度量的所有退化情形进行分类。
• 证明格罗莫夫-豪斯多夫极限空间$M_d^{GH}$同胚于$ \mathbb{Q}$-戈伦斯坦可平展的对数德尔佩佐曲面的射影模空间$M_d$。
• 在法诺簇上凯勒-爱因斯坦度量的研究中统一微分几何与代数几eometry方法，尤其关注低度情形。
• 为关于K-多稳定$ \mathbb{Q}$-法诺簇模空间的一般猜想提供基础。

提出的方法

• 通过GIT（几何不变量理论）构造度数3和4的代数几何模空间$M_d$，并通过沙阿的方法结合爆破构造度数2和1的模空间。
• 从格罗莫夫-豪斯多夫极限空间$M_d^{GH}$到代数模空间$M_d$定义一个连续映射$\Phi$，将每个极限映射到一个同构的对数德尔佩佐曲面。
• 利用巴诺-马布奇唯一性定理及其在轨道簇上的推广，证明$\Phi$的单射性，确保凯勒-爱因斯坦度量由其底层复结构唯一确定。
• 通过隐函数定理证明图像的开性，以及通过连续性证明图像的闭性，从而建立$\Phi$的满射性，表明$\Phi$是同胚。
• 利用$M_d^{GH}$的紧致性与$M_d$的豪斯多夫性，得出$\Phi$是同胚，从而完成定理1.1的证明。
• 利用K-稳定性与奇点的结果：凯勒-爱因斯坦法诺流形的格罗莫夫-豪斯多夫极限是$ \mathbb{Q}$-法诺，具有对数终端奇点，且为K-多稳定。

实验结果

研究问题

• RQ1 格罗莫夫-豪斯多夫紧化是否与对数德尔佩佐曲面的自然代数几何模空间一致？
• RQ2 当度数从4降至1时，凯勒-爱因斯坦德尔佩佐曲面的退化情形的精确奇点与几何结构是什么？
• RQ3 如何系统地将微分几何极限（格罗莫夫-豪斯多夫收敛）与代数几何模空间（通过$ \mathbb{Q}$-戈伦斯坦形变与GIT）匹配？
• RQ4 能否通过统一的模理论框架，从光滑德尔佩佐曲面的凯勒-爱因斯坦度量存在性定理推广至奇异极限？
• RQ5 是否存在一个关于K-多稳定$ \mathbb{Q}$-法诺簇的一般模堆栈，统一格罗莫夫-豪斯多夫极限与代数模空间，并自然地配备CM线丛？

主要发现

• 对于每个$d \in \{1,2,3,4\}$，度数为$d$的凯勒-爱因斯坦德尔佩佐曲面模空间的格罗莫夫-豪斯多夫紧化$M_d^{GH}$同胚于$ \mathbb{Q}$-戈伦斯坦可平展的对数德尔佩佐曲面的射影模空间$M_d$，如定理1.1所述。
• 同胚映射$\Phi: M_d^{GH} \to M_d$保持同构类，意味着每个格罗莫夫-豪斯多夫极限对应于代数模空间中唯一的对数德尔佩佐曲面。
• 在度数4时，结果恢复了Mabuchi-Mukai的早期工作；而在度数1–3时，该构造通过沙阿方法及进一步改进，提供了新的模空间。
• $M_d$包含一个在扎里斯基拓扑下稠密的开子集，参数化度数为$d$的光滑德尔佩佐曲面，而边界$M_d \setminus M_d^{\rm sm}$则参数化奇异的凯勒-爱因斯坦对数德尔佩佐曲面。
• 该构造证实了凯勒-爱因斯坦法诺流形的格罗莫夫-豪斯多夫极限是$ \mathbb{Q}$-法诺，具有对数终端奇点，且为K-多稳定，与该领域已知结果一致。
• 本文为一个一般猜想提供了有力证据：K-多稳定$ \mathbb{Q}$-法诺簇的模堆栈存在一个范畴模空间$M_h$，其为具有正CM线丛的射影代数簇，且与格罗莫夫-豪斯多夫紧化$M_h^{GH}$同胚。