[论文解读] Higher-dimensional analogues of stable curves

Valery Alexeev|ArXiv.org|Jul 26, 2006

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

一句话总结

本文通过稳定对 (X, B) 的理论，引入了高维稳定曲线与稳定映射的类比，其中 X 是维数 ≥2 的射影代数簇，B 是具有有理系数的除子，满足对数极小奇点条件且 K_X + B 的充分正性。核心贡献是利用极小模型程序与基于对称性的方法（特别是具有群作用的代数簇，如 торic、球对称情形）构建此类对的模空间框架，从而产生丰富的组合结构，并与超平面排列及 Gromov-Witten 理论建立联系。

ABSTRACT

The Minimal Model Program offers natural higher-dimensional analogues of stable $n$-pointed curves and maps: stable pairs consisting of a projective variety $X$ of dimension $\ge2$ and a divisor $B$, that should satisfy a few simple conditions, and stable maps $f:(X,B) o Y$. Although MMP remains conjectural in higher dimensions, in several important situations the moduli spaces of stable pairs, generalizing those of Deligne-Mumford, Knudsen and Kontsevich, can be constructed more directly, and in considerable generality. We review these constructions, with particular attention paid to varieties with group action, and list some open problems.

研究动机与目标

• 通过稳定对 (X, B) 的概念，将稳定曲线与稳定映射的理论推广至高维。
• 在极小模型程序尚未完全建立的情形下，通过具有群作用的代数簇中的对称性，构造稳定对的模空间。
• 建立稳定对与组合对象（如多面体剖分与超平面排列）之间的联系。
• 探索以稳定对为基础的高维 Gromov-Witten 理论的潜力。

提出的方法

• 通过对数极小奇点与 K_X + B 的充分正性定义稳定对 (X, B)，推广 Deligne-Mumford 与 Kontsevich 的稳定曲线与映射理论。
• 即使在高维情形下极小模型程序仍为猜想，仍将其作为指导原则。
• 利用具有群作用的代数簇（如 toric、spherical 与旗簇）中的对称性，直接构造模空间，而无需依赖完整的 MMP。
• 应用 Gelfand-MacPherson 对应关系，将稳定 toric 代数簇的模空间与射影空间中的超平面排列模空间联系起来。
• 利用 toric 退化（如退化至 Gelfand-Tsetlin 代数簇）研究模空间的交叠理论与退化行为。
• 将模空间解释为 toric Hilbert 模空间或旗簇的开子集，通过多面体剖分实现组合描述。

实验结果

研究问题

• RQ1 能否将部分旗簇（如两步旗簇）上稳定对的模空间解释为稳定映射的模空间？
• RQ2 能否在高维情形下通过 B_j 除子的交点处的取值来定义广义的量子上同调环？
• RQ3 是否存在基于除子取值而非点取值的非平凡高维 Gromov-Witten 理论？
• RQ4 Hassett 的加权 n 点有理曲线模空间是否可通过墙穿跃（wall-crossing）导出普通 Gromov-Witten 不变量的新公式？
• RQ5 在超平面排列的紧化模空间上，ψ-类交叠的多项式公式在 M_{0,n} 上的推广为何？

主要发现

• 具有对数极小奇点与充分正 K_X + B 的稳定对 (X, B) 推广了 Deligne-Mumford 与 Kontsevich 的高维稳定曲线与映射理论。
• 对于 toric 代数簇与超平面排列，稳定对的模空间同构于 toric Hilbert 模空间或旗簇的开子集，具有自然的组合结构。
• 每个稳定 toric 代数簇的通用截面导出一个同构于 (P^{r-1}, 一般位置的超平面) 的稳定对 (Y, B_1 + ... + B_n)，并保持对数极小奇点性质。
• Gr(r,n) 上稳定 toric 代数簇的模空间参数化 P^{r-1} 中一般位置的 n 个超平面的 n 元组，通过 Gelfand-MacPherson 对应关系实现。
• Gr(r,n) 到 Gelfand-Tsetlin 代数簇的 toric 退化允许模空间 M_{Gr(r,n),Q} 退化为 M_{Z,Q}，从而可研究其交叠理论。
• 本文提出，超平面排列模空间上 ψ-类的交叠积可能通过 toric 退化推广多项式公式。