[论文解读] Log canonical models for the moduli space of pointed stable rational curves

Han‐Bom Moon|arXiv (Cornell University)|Jan 6, 2011

Algebraic Geometry and Number Theory参考文献 19被引用 3

一句话总结

该论文在不假设F-猜想的前提下，证明了带除子 $K_{\overline{M}_{0,n}} + \sum a_i\psi_i$ 的带标记稳定有理曲线模空间的对数极小模型，与哈塞特点的加权带标记稳定有理曲线模空间 $\overline{M}_{0,\mathcal{A}}$ 之间存在同构关系。证明方法基于除子类的上推与下拉操作以及正性论证，以确立 canonical 除子的上推的正性，从而直接建立与哈塞特点空间一致的双有理模型。

ABSTRACT

We run Mori's program for the moduli space of pointed stable rational curves with divisor $K +\sum a_{i}ψ_{i}$. We prove that, without assuming the F-conjecture, the birational model for the pair is the Hassett's moduli space of weighted pointed stable rational curves, without any modification of weight coefficients.

研究动机与目标

• 通过使用除子 $K_{\overline{M}_{0,n}} + \sum a_i\psi_i$ 对 $\overline{M}_{0,n}$ 进行 Mori 程序，建立其双有理模型。
• 证明该模型与任意权数据 $\mathcal{A} = (a_1, \dots, a_n)$ 对应的哈塞特点模空间 $\overline{M}_{0,\mathcal{A}}$ 同构。
• 在先前将对数极小模型与加权模空间关联的研究中，移除对 F-猜想的假设。
• 通过上推与正性论证，为对数极小模型提供模空间的理论解释，即其为 $\overline{M}_{0,\mathcal{A}}$。

提出的方法

• 计算 $\overline{M}_{0,n}$ 与 $\overline{M}_{0,\mathcal{A}}$ 上除子类的上推与下拉，以关联 $\Delta_{\mathcal{A}} = K_{\overline{M}_{0,n}} + \sum a_i\psi_i$ 与约化态射 $\varphi_{\mathcal{A}}$。
• 证明 $\Delta_{\mathcal{A}} - \varphi_{\mathcal{A}}^*\varphi_{\mathcal{A}*}(\Delta_{\mathcal{A}})$ 是有效除子，且其支撑位于 $\varphi_{\mathcal{A}}$ 的例外集上。
• 利用 [Deb01, Lemma 7.11] 将 $\overline{M}_{0,n}$ 上 $\mathcal{O}(l\Delta_{\mathcal{A}})$ 的全局截面与 $\overline{M}_{0,\mathcal{A}}$ 上的全局截面对应起来。
• 通过证明其与所有曲线的交数非负，并且是 nef 除子的极限，来证明 $\varphi_{\mathcal{A}*}(\Delta_{\mathcal{A}})$ 在 $\overline{M}_{0,\mathcal{A}}$ 上是正的。
• 应用 Fedorchuk 的正性结果，并通过维数归纳法，确立 $\varphi_{\mathcal{A}*}(\Delta_{\mathcal{A}})$ 的 nef 性。
• 利用 $N^1(\overline{M}_{0,\mathcal{A}})$ 由边界除子生成的事实，结合其与所有曲线的非负交数，得出其为正的结论。

实验结果

研究问题

• RQ1 在不假设 F-猜想的前提下，$\overline{M}_{0,n}$ 上带除子 $K_{\overline{M}_{0,n}} + \sum a_i\psi_i$ 的对数极小模型是否同构于哈塞特点的模空间 $\overline{M}_{0,\mathcal{A}}$？
• RQ2 能否通过除子的上推-下拉操作与正性技术，证明 $\varphi_{\mathcal{A}*}(\Delta_{\mathcal{A}})$ 在 $\overline{M}_{0,\mathcal{A}}$ 上为正？
• RQ3 通过 $\mathrm{Proj}\big(\bigoplus H^0(\overline{M}_{0,n}, \mathcal{O}(l\Delta_{\mathcal{A}}))\big)$ 构造的对数极小模型是否能作为模空间 $\overline{M}_{0,\mathcal{A}}$？
• RQ4 当 $\varphi_{\mathcal{A}}^*\varphi_{\mathcal{A}*}(\Delta_{\mathcal{A}})$ 不是对数极小化时，是否仍可确立 $\varphi_{\mathcal{A}*}(\Delta_{\mathcal{A}})$ 的正性？

主要发现

• 对于任意权数据 $\mathcal{A} = (a_1, \dots, a_n)$，带除子 $K_{\overline{M}_{0,n}} + \sum a_i\psi_i$ 的对数极小模型 $\overline{M}_{0,n}(K_{\overline{M}_{0,n}} + \sum a_i\psi_i)$ 同构于 $\overline{M}_{0,\mathcal{A}}$，且无需假设 F-猜想。
• $\varphi_{\mathcal{A}*}(\Delta_{\mathcal{A}})$ 在 $\overline{M}_{0,\mathcal{A}}$ 上为正，从而直接推出对数极小模型之间的同构关系。
• 该证明依赖于证明 $\Delta_{\mathcal{A}} - \varphi_{\mathcal{A}}^*\varphi_{\mathcal{A}*}(\Delta_{\mathcal{A}})$ 是有效除子且支撑于 $\varphi_{\mathcal{A}}$ 的例外集上，因此 $\overline{M}_{0,n}$ 上 $\mathcal{O}(l\Delta_{\mathcal{A}})$ 的截面与 $\overline{M}_{0,\mathcal{A}}$ 上的截面一一对应。
• $\varphi_{\mathcal{A}*}(\Delta_{\mathcal{A}})$ 的正性通过归纳法与正性论证建立：其与所有曲线的交数非负，并且在边界除子的小扰动下仍保持为 nef。
• 存在一个全局的正下界 $\epsilon_{\mathcal{A}}$，使得对 $\overline{M}_{0,\mathcal{A}}$ 上所有不可约曲线 $B$，均有 $\varphi_{\mathcal{A}*}(\Delta_{\mathcal{A}}) \cdot B \geq \epsilon_{\mathcal{A}}$。
• 该结果将 Simpson 定理（定理 1.2）推广至非对称权重情形；对称情形下，通过恒等式 $K_{\overline{M}_{0,n}} + \alpha\psi = (1+\alpha)(K_{\overline{M}_{0,n}} + \frac{2\alpha}{1+\alpha}D)$ 恢复已知结果。