[论文解读] Towards Mori's program for the moduli space of stable maps

Dawei Chen, İzzet Coşkun+1 more|ArXiv.org|May 18, 2009

Algebraic Geometry and Number Theory参考文献 23被引用 6

一句话总结

本文通过计算有效除子类并分析其几何性质，推进了 Mori 对模空间 $\overline{\mathcal{M}}_{0,0}(\mathbb{P}^r,d)$ 的程序。它识别出关键除子——如 $H$、$\Delta_{k,d-k}$、$D_{\text{deg}}$、$NL$、$TN$、$TR$ 和 $NI$——并利用测试曲线与交比理论，确定了稳定基点簇分解与有效锥结构，尤其针对小的 $d$ 和 $r$，揭示了双有理模型，包括希尔伯特概形与分支曲线空间。

ABSTRACT

We introduce and compute the class of a number of effective divisors on the moduli space of stable maps $\bar M_{0,0}(P^{r},d)$, which, for small d, provide a good understanding of the extremal rays and the stable base locus decomposition for the effective cone. We also discuss various birational models that arise in Mori's program, including the Hilbert scheme, the Chow variety, the space of $k$-stable maps, the space of branchcurves and the space of semi-stable sheaves.

研究动机与目标

• 通过 Mori 理论理解 $\overline{\mathcal{M}}_{0,0}(\mathbb{P}^r,d)$ 的有效锥与稳定基点簇分解。
• 在模空间上识别并计算关键有效除子类，如 $H$、$\Delta_{k,d-k}$、$D_{\text{deg}}$、$NL$、$TN$、$TR$ 和 $NI$。
• 通过研究这些除子所诱导的映射及其相关模型，分析模空间的双有理几何。
• 以已知模空间（如希尔伯特概形与分支曲线空间）为参照，提供模型 $M(D) = \mathrm{Proj}(\bigoplus H^0(\overline{\mathcal{M}}, mD))$ 的几何解释。
• 建立基于测试曲线与 Macaulay2 的计算框架，验证某些曲线为移动曲线，从而确认除子的有效性与基点簇结构。

提出的方法

• 通过几何关联条件计算除子类：$H$ 对应映射与余维数二子空间相交，$\Delta_{k,d-k}$ 对应可约定义域，$D_{\text{deg}}$ 对应非张成像。
• 利用投影映射 $\pi: \overline{\mathcal{M}}_{0,0}(\mathbb{P}^{r+m},d) \dashrightarrow \overline{\mathcal{M}}_{0,0}(\mathbb{P}^r,d)$ 的拉回，将除子类扩展至不同 $r$。
• 在 $\overline{\mathcal{M}}_{0,0}(\mathbb{P}^r,d)$ 的爆破上应用交比理论，尤其在 $\widetilde{D_{\text{deg}}}$ 上，计算 $\widetilde{H}$ 与 $\widetilde{NL}$ 的交比数。
• 在 $\overline{\mathcal{M}}_{0,0}(\mathbb{P}^3,4)$ 与 $\overline{\mathcal{M}}_{0,0}(\mathbb{P}^2,4)$ 中使用测试曲线 $C_3$ 与 $C_2$，验证其移动性与除子有效性。
• 利用 Macaulay2 验证至格拉斯曼流形 $G(4,5)$ 与 $G(3,5)$ 的相关映射为一般性满射，从而确认曲线为移动曲线。
• 构建一个通用算法，用于测试由零条件定义的映射族是否为移动族，其依据为关联映射到格拉斯曼流形的微分的秩。

实验结果

研究问题

• RQ1 对于小的 $d$ 与 $r$，$\overline{\mathcal{M}}_{0,0}(\mathbb{P}^r,d)$ 的有效锥的生成元是什么？
• RQ2 哪些除子类在 $\overline{\mathcal{M}}_{0,0}(\mathbb{P}^r,d)$ 上诱导出与已知模空间（如希尔伯特概形或分支曲线空间）双有理同构的模型？
• RQ3 如何利用测试曲线判断给定除子类是否有效或无基点？
• RQ4 当 $d \leq r$ 时，$\overline{\mathcal{M}}_{0,0}(\mathbb{P}^r,d)$ 的有效锥的稳定基点簇分解是什么？
• RQ5 能否构建一个通用算法，基于关联映射到格拉斯曼流形的几何性质，验证一个一维映射族是否为移动族？

主要发现

• 当 $d = r$ 时，有效锥 $\mathrm{Eff}_{d,d}$ 由 $D_{\text{deg}}$ 与 $\Delta_{k,d-k}$（$1 \leq k \leq \lfloor d/2 \rfloor$）生成。
• 在 $\widetilde{D_{\text{deg}}}$ 的爆破上，计算出交比数：$\widetilde{H}^{12} = 80160$，$\widetilde{H}^{11}\widetilde{NL} = 93120$，以及对所有 $0 \leq a \leq 6$，有 $\widetilde{H}^a\widetilde{NL}^{12-a} = 119020$。
• $\widetilde{H}$ 限制在 $\widetilde{D_{\text{deg}}}$ 上，数值等价于 $\eta + 3\kappa$；$\widetilde{NL}$ 数值等价于 $\lambda + 3\kappa$。
• $\overline{\mathcal{M}}_{0,0}(\mathbb{P}^3,4)$ 中的测试曲线 $C_3$ 是移动的，通过证明其关联映射到 $G(4,5)$ 的微分满射得以验证。
• $\overline{\mathcal{M}}_{0,0}(\mathbb{P}^2,4)$ 中的测试曲线 $C_2$ 是移动的，通过关联映射到 $G(3,5)$ 的微分满射得到确认。
• 开发出一个基于 Macaulay2 的通用算法，用于测试由零条件定义的一参数映射族是否为移动族，方法是检查关联映射到格拉斯曼流形的微分的秩。