[论文解读] An approach of the Minimal Model Program for horospherical varieties via moment polytopes

Boris Pasquier|arXiv (Cornell University)|Nov 27, 2012

Algebraic Geometry and Number Theory参考文献 8被引用 12

一句话总结

本论文提出了一种基于连续形变的moment多面体的凸几何方法，用于${\mathbb{Q}}$-Gorenstein投影旗胞化代数簇的极小模型程序（MMP）。通过为一个ample Cartier除子关联一个一参数族的多面体，作者们在无需直接计算nef锥的情况下，显式描述了MMP的每一步——包括flip和Mori纤维化，推广了Reid的紧致toric MMP结果，并完成了Brion对球对称簇的研究。

ABSTRACT

We describe the Minimal Model Program in the family of $\\mathbb{Q}$-Gorenstein projective horospherical varieties, by studying a family of polytopes defined from the moment polytope of a Cartier divisor of the variety we begin with. In particular, we generalize the results on MMP in toric varieties due to M. Reid, and we complete the results on MMP in spherical varieties due to M. Brion in the case of horospherical varieties.

研究动机与目标

• 将极小模型程序（MMP）推广至${\mathbb{Q}}$-Gorenstein投影旗胞化代数簇，该类簇推广了toric与球对称簇。
• 通过使用moment多面体作为计算工具，克服在球对称簇中计算nef锥$NE(X)$与canonical除子$K_X$的困难。
• 从一个ample Cartier除子的选择出发，为MMP的每一步——flip、除子收缩与Mori纤维化——提供具体且算法化的描述。
• 通过建立基于多面体的显式构造，推广Reid的紧致toric MMP结果，并完成Brion对球对称簇的MMP研究。

提出的方法

• 该方法从旗胞化簇$X$上ample Cartier除子的moment多面体出发，构造一个一参数族的moment多面体$(Q^\epsilon)_{\epsilon \geq 0}$。
• 每个$Q^\epsilon$对应于原始多面体的形变，通过凸几何编码了簇的双有理变换。
• 多面体结构的演化——特别是顶点、边与面的变化——追踪了MMP中曲线与除子的收缩。
• 该方法利用$G$-等变态射与多面体变换之间的对应关系，使得在每一步都能显式构造出簇与态射。
• 通过检测多面体从非顶点配置到顶点配置的转变，识别出flip，这对应于簇的着色扇形结构的变化。
• 当多面体坍缩为一点（极小模型）或低维多面体（Mori纤维化）时，过程终止，纤维通过最终的多面体结构确定。

实验结果

研究问题

• RQ1 能否在不计算nef锥$NE(X)$的情况下，有效实现${\mathbb{Q}}$-Gorenstein投影旗胞化簇的极小模型程序？
• RQ2 moment多面体如何被用于算法化地描述旗胞化簇MMP中的flip、除子收缩与Mori纤维化？
• RQ3 ample Cartier除子的选择在决定该类簇MMP路径中起什么作用？
• RQ4 簇的奇点在MMP步骤中如何演化？它们在何时为${\mathbb{Q}}$-Gorenstein或${\mathbb{Q}}$-因子化？
• RQ5 旗胞化簇MMP中Mori纤维化的通解是什么？如何从几何上描述它们？

主要发现

• ${\mathbb{Q}}$-Gorenstein投影旗胞化簇的MMP对任意连通半单群$G$均终止，推广了Reid的紧致toric MMP结果，并完成了Brion对球对称簇的MMP研究。
• MMP的每一步——包括flip与Mori纤维化——均可通过ample Cartier除子的moment多面体的连续形变显式描述。
• 当多面体从非顶点配置转变为顶点配置时，flip出现，对应于簇的着色扇形结构的变化。
• MMP的最终结果为极小模型（当多面体坍缩为一点时）或Mori纤维化（当多面体退化为低维多面体时），其纤维同构于$G/P_\beta$。
• 在例6中，MMP通过交换颜色$\alpha$与$\beta$的角色产生一个flip，且$X^+$映射到旗簇$G/P_\beta$作为Mori纤维化。
• 在例7中，MMP从一个非${\mathbb{Q}}$-因子化的簇$X$出发，通过多面体形变执行一次flip，最终得到从$X^+$到$G/P_\beta$的Mori纤维化，其纤维为射影直线。