[论文解读] Log minimal model program for the moduli space of stable curves: The second flip

Jarod Alper, Maksym Fedorchuk+2 more|arXiv (Cornell University)|Aug 6, 2013

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

一句话总结

本文建立了非分离代数堆栈的良好模空间的一般存在性定理，并将其应用于构造稳定曲线模空间在对数极小模型程序（LMMP）中的第二个翻转。通过 $\alpha$-稳定性与局部 VGIT 技术，作者统一构造了 $\overline{M}_{g,n}$ 的前三个 LMMP 步骤，证明了对数 canonical 模空间 $\overline{M}_{g,n}(\alpha)$ 可通过良好模空间获得模解释。

ABSTRACT

We prove an existence theorem for good moduli spaces, and use it to construct the second flip in the log minimal model program for the moduli space of stable curves. In fact, our methods give a uniform, self-contained construction of the first three steps of the log minimal model program for the moduli spaces of stable pointed curves.

研究动机与目标

• 发展一种在无分离性条件下的良好模空间的一般存在性定理，将 Keel-Mori 定理推广至非分离堆栈。
• 在 Hassett-Keel 程序中为对数 canonical 模空间 $\overline{M}_{g,n}(\alpha)$ 提供模解释，特别是针对 $\alpha > 2/3 - \epsilon$ 的情形。
• 通过统一方法，构造 $\overline{M}_g$ 的 LMMP 中第二个翻转，以 ramphoid 尖点替代 Weierstrass 型亏格 2 尾部。
• 通过用良好模空间替代粗模空间，克服在更高 LMMP 阶段中粗模空间失效的问题。

提出的方法

• 引入 $\alpha$-稳定性作为半稳定性的推广，定义一个新的模堆栈 $\overline{\mathcal{M}}_{g,n}(\alpha)$，用于参数化 $\alpha$-稳定曲线。
• 利用局部 VGIT（几何不变量理论的变体）分析 $\alpha_c$-闭曲线的形变理论，并通过局部商表示描述翻转点。
• 证明一个关于具有有限稳定子的代数堆栈的良好模空间的一般存在性定理（定理 4.1），即使堆栈是非分离的也成立。
• 证明 canonical 线丛 $K_{\overline{\mathcal{M}}_{g,n}(\alpha)} + \alpha\delta + (1-\alpha)\psi$ 下降到良好模空间 $\overline{\mathbb{M}}_{g,n}(\alpha)$ 上，并成为 ample 线丛。
• 通过退化与同时正规化方法，证明下降线丛的正性，从而确立良好模空间的射影性。
• 将该构造统一应用于所有 $\overline{M}_{g,n}(\alpha)$（其中 $\alpha > 2/3 - \epsilon$），从而自洽地构造出 LMMP 的前三个步骤。

实验结果

研究问题

• RQ1 能否为对数极小模型程序中出现的非分离模堆栈 $\overline{M}_g$ 构造出良好模空间？
• RQ2 在 $\overline{M}_g$ 的 LMMP 中，第二个翻转是否可通过 $\alpha$-稳定性与良好模空间获得模解释？
• RQ3 能否在不依赖 GIT 的前提下，统一构造 $\overline{M}_{g,n}$ 的前三个 LMMP 步骤？
• RQ4 $\alpha$-稳定性如何解决因无限自同构群而致粗模空间在更高 LMMP 阶段无法存在的问题？
• RQ5 翻转的精确局部结构是什么？如何通过局部 VGIT 房间与形变理论来描述？

主要发现

• 作者证明了一个关于具有有限稳定子的非分离代数堆栈的良好模空间的一般存在性定理（定理 4.1），将其推广至 Keel-Mori 定理。
• $\alpha$-稳定曲线的模堆栈 $\overline{\mathcal{M}}_{g,n}(\alpha)$ 对所有 $\alpha > 2/3 - \epsilon$ 构造完成，为对数 canonical 模空间提供了模解释。
• 良好模空间 $\overline{\mathbb{M}}_{g,n}(\alpha)$ 构造为线丛 $K_{\overline{\mathcal{M}}_{g,n}(\alpha)} + \alpha\delta + (1-\alpha)\psi$ 的截面环的 Proj，且被证明同构于 $\overline{M}_{g,n}(\alpha)$。
• 线丛 $K_{\overline{\mathcal{M}}_{g,n}(\alpha)} + \alpha\delta + (1-\alpha)\psi$ 下降到 $\overline{\mathbb{M}}_{g,n}(\alpha)$ 上并成为 ample 线丛，从而证明其射影性。
• $\overline{M}_g$ 的 LMMP 中第二个翻转被实现为从 $\alpha = 7/10$ 到 $\alpha = 2/3 - \epsilon$ 的过渡，以 ramphoid 尖点替代 Weierstrass 型亏格 2 尾部。
• 该构造对 $\overline{M}_g$ 与 $\overline{M}_{g,n}$ 均具统一性与自洽性，为 LMMP 的后续步骤提供了框架。