[论文解读] Explicit Gromov-Hausdorff compactifications of moduli spaces of Kähler-Einstein Fano manifolds

Cristiano Spotti, Song Sun|arXiv (Cornell University)|Apr 30, 2017

Geometry and complex manifolds参考文献 42被引用 9

一句话总结

该论文首次构建了复维数大于二的凯勒爱因斯坦法诺流形模空间的显式格罗莫夫-豪斯多夫紧化，表明对于四次度的德尔佩佐流形，GH紧化与经典的GIT商一致。该结果依赖于通过代数几何技术分析度量切锥和奇点，从而在该设定下精确建立了凯勒爱因斯坦与K-稳定法诺流形之间的对应关系。

ABSTRACT

We exhibit the first non-trivial concrete examples of Gromov-Hausdorff compactifications of moduli spaces of Kähler-Einstein Fano manifolds in all complex dimensions bigger than two (Fano K-moduli spaces). We also discuss potential applications to explicit study of moduli spaces of K-stable Fano manifolds with large anti-canonical volume. Our arguments are based on recent progress about the geometry of metric tangent cones and on related ideas about the algebro-geometric study of singularities of K-stable Fano varieties.

研究动机与目标

• 构建复维数大于二的凯勒爱因斯坦法诺流形模空间的显式、具体的格罗莫夫-豪斯多夫紧化。
• 为四次度德尔佩佐流形建立GH紧化与代数几何中GIT紧化的精确对应关系。
• 利用最近的度量切锥理论和K-稳定性进展，理解凯勒爱因斯坦度量在法诺流形上GH极限中奇点的性质。
• 探讨K-稳定法诺流形背景下，度量奇点与代数奇点之间的关系。
• 探究GIT多项稳定法诺流形是否具有典范或Gorenstein典范奇点，从而探讨KE与GIT模空间等价性。

提出的方法

• 利用Cheeger-Colding理论及Cheeger-Colding-Tian关于极限空间的结构，分析凯勒爱因斯坦度量的格罗莫夫-豪斯多夫极限。
• 采用度量切锥的两步构造：从奇点胚到加权代数切锥，再至度量切锥。
• 运用K-稳定法诺流形的最新体积界（Liu [41]）以限制GH极限中可能出现的奇点。
• 结合对轻微奇点法诺流形的分类结果（Fujita [29]）与稳定性比较论证，证明GH极限必为GIT多项稳定。
• 利用KE极限中度量奇点与代数奇点的匹配，识别紧化结构。
• 通过分析具体情形（如两个二次曲面的完全交与三次超曲面）来检验KE与GIT模空间之间的对应关系。

实验结果

研究问题

• RQ1 格罗莫夫-豪斯多夫紧化后的四次度德尔佩佐流形模空间是否与经典GIT商一致？
• RQ2 凯勒爱因斯坦度量在法诺流形上GH极限中可能出现何种奇点？它们与代数奇点有何关系？
• RQ3 在射影空间中，每个GIT多项稳定的三次超曲面是否必为Gorenstein典范奇点，且具有正规奇点？
• RQ4 能否将法诺3- folds的分类扩展至包含体积有界且奇点受控的KE度量的GH极限？
• RQ5 在何种条件下，法诺3- folds的KE模空间与GIT模空间一致？

主要发现

• 在维度 $ n \geq 2 $ 下，四次度德尔佩佐流形模空间的格罗莫夫-豪斯多夫紧化自然等同于经典GIT商 $ \overline{M}_{dP_4^n}^{GIT} $，从而确立 $ \overline{M}_{dP_4^n}^{GIT} \cong \overline{\mathcal{K}M}_{dP_4^n} $。
• 所有在 $ \mathbb{P}^{n+2} $ 中两个二次曲面完全交的KE度量的GH极限均为GIT多项稳定，因此紧化可明确描述为GIT商。
• 本文对可能具有奇点的两个二次曲面完全交的KE度量存在性给出了完整分类，扩展了此前对光滑情形的结果。
• 对于KE三次3- folds的GH极限，其奇点为Gorenstein典范奇点，且反 canonical 线丛满足 $ K_Z^{-1} = L_Z^2 $，其中 $ L_Z $ 为 $ \mathbb{Q} $-线丛。
• 假设猜想5.4成立，则体积 $ \geq 20 $ 的光滑KE法诺3- folds 的GH极限为Gorenstein典范奇点；若无该猜想，则体积 $ \geq 22 $ 时Gorenstein指标至多为2。
• 对于 $ \mathbb{P}^4 $ 中四次超曲面，GH模空间紧化不与GIT商一致，需在非约化双重圆锥处进行一次爆破，类似于二次度德尔佩佐情形。