[论文解读] Toric degenerations of spherical varieties

Valery Alexeev, Michel Brion|ArXiv.org|Mar 23, 2004

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

一句话总结

本文证明了任意仿射或极化投影球对称G-簇均可通过最长Weyl群元素的约化分解索引的滤子，平展退化为一个toric簇。关键贡献是利用字符串多面体与对偶多面体，给出了极限toric簇为Gorenstein Fano的判别准则，该结果在镜像对称与稳定对模空间中有应用。

ABSTRACT

We prove that any affine, resp. polarized projective, spherical variety admits a flat degeneration to an affine, resp. polarized projective, toric variety. Motivated by Mirror Symmetry, we give conditions for the limit toric variety to be a Gorenstein Fano, and provide many examples. We also provide an explanation for the limits as boundary points of the moduli space of stable pairs whose existence is predicted by the Minimal Model Program.

研究动机与目标

• 证明每个仿射或极化投影球对称G-簇均可通过滤子平展退化为一个toric簇。
• 刻画极限toric簇为Gorenstein Fano的条件，即其对应多面体为对偶多面体。
• 通过稳定对模空间的边界点，将退化过程与极小模型程序联系起来。
• 利用字符串多面体，将已知关于旗簇与Schubert簇的结果推广至任意球对称簇。
• 在退化过程中，提供关于moment多面体整性与对偶性的显式构造与判别准则。

提出的方法

• 利用对偶典范基与字符串参数化，在球对称G-簇的坐标环上构造滤子。
• 为最长Weyl群元素$w_0$的约化分解定义字符串锥与多面体。
• 应用Caldero的滤子构造，诱导球对称簇到toric簇的平展退化。
• 通过以字符串多面体为纤维的投影，将退化toric簇的moment多面体与原始簇的多面体关联起来。
• 应用对数可极小奇点与典范除子的理论，证明退化过程保持有理奇点与平凡典范类。
• 利用极小模型程序预测的稳定对统一模空间的存在性，将退化解释为模空间的边界点。

实验结果

研究问题

• RQ1 在何种条件下，球对称簇的toric退化结果为Gorenstein Fano簇？
• RQ2 与$w_0$的不同约化分解相关的字符串多面体如何关联于退化的几何结构？
• RQ3 球对称簇的退化能否被解释为稳定对模空间中的边界点？
• RQ4 原始球对称簇与极限toric簇的典范类之间有何关系？
• RQ5 为何在$A_n$型以外的类型中，Gelfand-Tsetlin多面体并非对偶多面体？

主要发现

• 任何仿射或极化投影球对称G-簇均可通过$w_0$的约化分解索引的滤子，平展退化为一个toric簇。
• 若原始簇为Gorenstein Fano，则极限toric簇为${\rm Q}$-Gorenstein Fano，即使$L_0$仅为${\rm Q}$-线丛亦成立。
• 对于旗簇$G/P$且$L = {\rm O}(-K)$的情形，极限为Gorenstein Fano当且仅当对应的字符串多面体为对偶多面体。
• 在$A_n$型中，Gelfand-Tsetlin多面体为对偶多面体，但在$E_6$型中，存在某些约化分解使得字符串多面体非对偶多面体。
• 退化toric簇的moment多面体映射到原始簇的moment多面体，纤维为字符串多面体。
• 退化过程在几何上对应于稳定对模空间的边界点，与极小模型程序的预测一致。