[论文解读] Compact moduli space of Kahler-Einstein Fano varieties

Yuji Odaka|arXiv (Cornell University)|Dec 9, 2014

Geometry and complex manifolds参考文献 25被引用 8

一句话总结

该论文通过将基灵-豪斯多夫极限实现为基灵-极化稳定的 Q-翻转簇，并利用 GIT 稳定性与 Q-戈伦斯坦光滑化，构建了基勒-爱因斯坦 Fano 流形模空间的典范代数紧化。关键结果是，紧化后的模空间是一个代数空间，参数化基灵-极化稳定的 Q-翻转簇，且预计通过 CM 线丛实现其射影紧化。

ABSTRACT

We construct a geometrically compactified moduli algebraic space of Kahler-Einstein Fano manifolds.

研究动机与目标

• 构建基勒-爱因斯坦 Fano 流形模空间的几何意义明确的紧化。
• 在 Q-翻转簇的形变空间中，建立基勒-爱因斯坦度量存在性与 GIT 多稳性的对应关系。
• 证明紧化后的模空间参数化基灵-极化稳定的 Q-翻转簇，包括奇异（卡瓦马塔-对数终端）情形。
• 将 KSBA 理论从 canonical 模型推广至 Fano 情形，其中簇为正规且不可约。
• 通过 CM 线丛与韦伊-彼得松度量，为模空间的射影性提供基础。

提出的方法

• 利用 CDS/Tian 与 Donaldson 的工作，建立 Fano 流形上基勒-爱因斯坦度量与基灵-极化稳定性的等价性。
• 将自同构群作用在局部 Q-戈伦斯坦形变空间上的 GIT 多稳定性应用于刻画基勒-爱因斯坦度量。
• 利用 Q-戈伦斯坦光滑化条件，将 KE Fano 流形的退化与基灵-极化稳定的 Q-翻转簇联系起来。
• 将模堆栈构造为商堆栈 [W/PGL]，其中 W 是 Q-戈伦斯坦光滑化的基灵-半稳定 Q-翻转簇的开子集。
• 依赖 [LWX]、[SSY] 与 [CDS] 的结果，建立基勒-爱因斯坦度量与 GIT 多稳定性之间的形变理论等价性。
• 使用希尔伯特概形对 Q-翻转簇的参数化，并将 KE 滞留集识别为 GIT 半稳定滞留集，以定义模空间。

实验结果

研究问题

• RQ1 基勒-爱因斯坦 Fano 流形的基灵-豪斯多夫极限能否以纯代数方式描述？
• RQ2 基灵-极化稳定的 Q-翻转簇模空间是否为射影的？能否通过 CM 线丛证明这一点？
• RQ3 K-模构造能否推广至非光滑化的 Q-翻转簇？
• RQ4 在 Fano 情形下，基灵-豪斯多夫紧化与基灵-极化稳定性紧化之间有何关系？
• RQ5 能否在不假设 Q-戈伦斯坦光滑化的情况下，以代数方式构造模空间？

主要发现

• 紧化模空间 M̄ 是一个参数化基灵-极化稳定的 Q-翻转簇的代数空间，其边界由此类奇异 Q-翻转簇组成。
• Q-翻转簇上存在基勒-爱因斯坦度量，当且仅当其自同构群在局部 Q-戈伦斯坦形变空间上的作用为 GIT 多稳定。
• 模堆栈 M̄ 同构于商堆栈 [W/PGL]，其中 W 是 Q-戈伦斯坦光滑化的基灵-半稳定 Q-翻转簇的开子集，且该构造与嵌入次数 m 无关。
• 粗模空间 M̄ 预期通过 CM 线丛实现射影性，依据富士基-舒马赫与韦伊-彼得松度量理论。
• 此处构造的模空间是 [LWX] 第二版中模空间的约化子概形的半正规化，表明其结构更为精细。
• 该构造推广了二维 del Pezzo 曲面的情形，并将 KSBA 理论扩展至具有正规、不可约与 klt 奇点的 Fano 设置。