[论文解读] On the moduli of Kahler-Einstein Fano manifolds

Yuji Odaka|arXiv (Cornell University)|Nov 20, 2012

Geometry and complex manifolds参考文献 50被引用 38

一句话总结

本文通过基稳定性与凯勒-爱因斯坦度量存在性之间的等价性，证明了具有有限自同构群的凯勒-爱因斯坦法诺流形构成一个豪斯多夫模空间代数空间，该空间为复轨道丛，且进一步表明此类流形的格罗莫夫-豪斯多夫极限是带有奇异凯勒-爱因斯坦度量的Q-法诺簇，从而通过代数几何与微分几何手段实现了自然紧化。

ABSTRACT

We prove that Kahler-Einstein Fano manifolds with finite automorphism groups form Hausdorff moduli algebraic space with only quotient singularities. We also discuss the limits as Q-Fano varieties which should be put on the boundary of its canonical compactification.

研究动机与目标

• 通过微分几何与代数几何技术构造凯勒-爱因斯坦法诺流形的规范模空间。
• 建立格罗莫夫-豪斯多夫极限的代数性质，即其为带有奇异凯勒-爱因斯坦度量的Q-法诺簇。
• 证明在自同构群有限时，平展族中凯勒-爱因斯坦法诺流形的集合构成一个扎里斯基开集。
• 通过CM度数最小化刻画稳定极限，为K-模空间猜想提供证据。
• 在法诺情形下统一微分几何（凯勒-爱因斯坦度量）与代数几何（K-稳定性、模空间）。

提出的方法

• 利用马布奇、贝曼、CDS与田刚建立的法诺流形上基稳定性与凯勒-爱因斯坦度量存在性之间的等价性。
• 通过极化指数为 $m$ 的测试配置定义 $K_m$-稳定性，该定义在 $m$ 足够可除时可刻画基稳定性。
• 应用CM（陈-唐纳森-马布奇）线丛度数比较族及其展开，通过分歧理论估计差异。
• 通过展开消除不确定性以比较不同族的CM度数，证明在形变下度数最小。
• 利用增强复结构连续性的格罗莫夫-豪斯多夫收敛性来定义KE法诺族的极限。
• 借鉴极小模型程序与凯勒-里奇流的类比，支持对稳定极限的猜想性刻画。

实验结果

研究问题

• RQ1 凯勒-爱因斯坦法诺流形的模空间能否被构造为具有商奇点的豪斯多夫代数空间？
• RQ2 一列KE法诺流形的格罗莫夫-豪斯多夫极限的代数性质是什么？
• RQ3 当自同构群有限时，平展射影族 $\pi: \mathcal{X} \to S$ 中KE法诺流形的集合是否为扎里斯基开集？
• RQ4 CM度数最小化原理能否刻画模空间的规范紧化？
• RQ5 通过展开比较CM度数的方法在其他极化簇（如卡拉比-丘或一般型簇）中在多大程度上可推广？

主要发现

• 具有有限自同构群的凯勒-爱因斯坦法诺流形构成一个豪斯多夫模代数空间，且为复轨道丛。
• 一列KE法诺流形的格罗莫夫-豪斯多夫极限是带有奇异凯勒-爱因斯坦度量的Q-法诺簇。
• 在平展射影族 $\pi: \mathcal{X} \to S$ 中，当自同构群有限时，KE法诺流形的集合在 $S$ 中为扎里斯基开集。
• Q-法诺簇族的CM度数在族为K-多项式稳定时精确达到最小，支持了规范紧化。
• 通过有理映射展开的CM度数比较表明，任何其他对穿孔族的补全均有更高度数，从而证明极限的唯一性。
• 结果可推广至卡拉比-丘与一般型簇，在这些情形下CM度数最小化同样刻画了规范模型，扩展了王与徐的前期工作。