[论文解读] Ample divisors on moduli spaces of weighted pointed rational curves, with applications to log MMP for $\bar{M}_{0,n}$

Maksym Fedorchuk, David Ishii Smyth|arXiv (Cornell University)|Oct 9, 2008

Algebraic Geometry and Number Theory参考文献 4被引用 10

一句话总结

本文提供了关于模空间 $\overline{M}_{0,\mathcal{A}}$ 作为 $\overline{M}_{0,n}$ 的对数经典模型的无条件、特征无关的证明，采用一种新颖的交集理论方法，无需依赖几何不变性理论或正性定理，即可确立除子类的正性。关键结果是通过在 1-参数族上进行显式正性论证，完整实现了 Hassett 对 $\overline{M}_{0,n}$ 的对数极小模型程序（log MMP）。

ABSTRACT

We introduce a new technique for proving positivity of certain divisor classes on $\bar{M}_{0,n}$ and its weighted variants. Our methods give an unconditional description of the spaces of symmetric weighted pointed rational curves as log canonical models of $\bar{M}_{0,n}$.

研究动机与目标

• 为 $\overline{M}_{0,n}$ 的对数极小模型程序（log MMP）提供无条件证明，无需假设 $S_n$-等变 F-猜想，从而完成 Hassett 的程序。
• 对所有权重数据 $\mathcal{A}$，无条件确立 $\overline{M}_{0,\mathcal{A}}$ 的投影性，包括以往方法失效的情形。
• 无条件证明对数经典截面环 $R(\overline{M}_{0,n}, K_{\overline{M}_{0,n}} + \alpha\Delta)$ 的有限生成性。
• 发展一种在 $\overline{M}_{0,\mathcal{A}}$ 上验证除子类正性的通用方法，无需事先了解空间的投影性或其概形态。

提出的方法

• 引入一种新方法，通过 1-参数族和归纳性爆破下压序列，验证 $\overline{M}_{0,\mathcal{A}}$ 上塔陶洛吉克除子线性组合的正性。
• 在曲线族的爆破下压链上定义函数 $G_c(i)$，追踪交点数，将正性问题转化为该函数的单调性。
• 利用边界除子的归纳结构，通过“平方和”函数将正性论证从无权重情形推广至加权模空间 $\overline{M}_{0,\mathcal{A}}$。
• 通过验证每个子概形均与某个有效柯特尔除子正确相交，应用 Kleiman 准则于代数空间，从而在不假设空间为概形的前提下实现正性证明。
• 在 $\overline{M}_{0,\mathcal{A}}$ 上构造除子类 $D_k(c)$，并通过关于 $n$ 的归纳法证明其正性，利用扰动和爆破公式。
• 利用 $D_k(c)$ 在 $c > \frac{k+1}{2k}$ 时为 nef 的事实，并证明小扰动可保持正性，从而在 nef 锥内部实现正性。

实验结果

研究问题

• RQ1 在 $\overline{M}_{0,n}$ 上，除子 $c\psi - \Delta$ 在哪些 $c$ 值下为 nef？在哪些 $c$ 值下为 ample？
• RQ2 对于所有 $\alpha \in (\frac{2}{k+2}, \frac{2}{k+1}]$，对数经典模型 $\overline{M}_{0,n}(\alpha)$ 是否能无条件地实现为 $\overline{M}_{0,\mathcal{A}}$？
• RQ3 是否可在不假设 $S_n$-等变 F-猜想或不使用 GIT 的前提下，确立 $\overline{M}_{0,\mathcal{A}}$ 的投影性？
• RQ4 该方法是否可推广至其他模空间（如 $\overline{M}_{1,n}(m)$），并可否将其视为对数经典模型？
• RQ5 Kleiman 准则是否可应用于不假设为概形结构的代数空间？在何种条件下成立？

主要发现

• 对于所有 $c > \frac{k+1}{2k}$，除子 $D_k(c)$ 在 $\overline{M}_{0,\mathcal{A}}$ 上为 ample，且该结果无条件成立，无需依赖 $S_n$-等变 F-猜想。
• 对于所有 $k$，当 $\mathcal{A} = \{1/k, \dots, 1/k\}$ 时，空间 $\overline{M}_{0,\mathcal{A}}$ 被证明是 $\overline{M}_{0,n}$ 的对数经典模型，从而完整实现 Hassett 的对数 MMP 程序。
• 由于 $D_k(c)$ 的正性，$\overline{M}_{0,\mathcal{A}}$ 的投影性被无条件确立，即使事先未知该空间是否为概形。
• 对所有 $\alpha \in (\frac{2}{k+2}, \frac{2}{k+1}]$，对数经典截面环 $R(\overline{M}_{0,n}, K_{\overline{M}_{0,n}} + \alpha\Delta)$ 的有限生成性被无条件证明。
• 通过交集理论建立了一种新的代数空间上正性的准则，证明：若每个子概形均与某个有效柯特尔除子正确相交，则 Kleiman 准则成立。
• 该方法可推广至其他模空间：特别地，预计未来工作将应用相同技术证明 $\overline{M}_{1,n}(m)$ 的投影性及其对数经典模型结构。