[论文解读] On Log Canonical Models of the Moduli Space of Stable Pointed Curves

Matthew J. Simpson|ArXiv.org|Sep 25, 2007

Algebraic Geometry and Number Theory参考文献 14被引用 18

一句话总结

该论文在富尔顿关于ample锥的猜想下，证明了模空间 $\overline{\mathbf{M}}_{0,n}$ 的对数极小模型 $K_{\overline{\mathbf{M}}_{0,n}} + \alpha D$ 同构于具有对称权重的加权稳定曲线模空间，其中权重依赖于 $\alpha$。关键结果是当 $\alpha$ 落在某一范围内时，对数极小模型与加权稳定曲线模空间是双有理等价的，且通过除子正性与截面环的有限生成性实现了显式的几何实现。

ABSTRACT

We study the log canonical models of the moduli space MBar_{0,n} of pointed stable genus zero curves with respect to the standard log canonical divisors K+aD, where D denotes the boundary. In particular we show that, as a formal consequence of a conjecture by Fulton regarding the ample cone of MBar_{0,n}, these log canonical models are equal to certain of Hassett's weighted pointed curve spaces.

研究动机与目标

• 确定稳定带标记的 genus 零曲线模空间 $\overline{\mathbf{M}}_{0,n}$ 的对数极小模型的结构。
• 将与 $K_{\overline{\mathbf{M}}_{0,n}} + \alpha D$ 相关的对数极小模型与具有对称权重的加权稳定曲线模空间联系起来。
• 通过除子的正性，建立截面环 $\bigoplus_{n\geq 0} \Gamma(n(K_{\overline{\mathbf{M}}_{0,n}} + \alpha D))$ 的有限生成性。
• 在富尔顿猜想的条件下，证明当 $\alpha$ 位于特定范围内时，对数极小模型同构于加权稳定曲线模空间。
• 分析 $\mathfrak{s}_n$-等变 nef 锥在 $A_\alpha$ 除子附近的结构，并证明当 $n$ 足够大时其具有单纯形稳定化。

提出的方法

• 使用川添的无基点自由定理，确保当 $K_{\overline{\mathbf{M}}_{0,n}} + \alpha D$ 为 nef 且大时，截面环 $\bigoplus_{n\geq 0} \Gamma(n(K_{\overline{\mathbf{M}}_{0,n}} + \alpha D))$ 的有限生成性。
• 应用一个双有理态射 $f: X \to Y$，满足 $f_*\mathcal{O}_X = \mathcal{O}_Y$，将拉回的全局截面与原截面关联，证明对有效除子 $F$（被 $f$ 收缩）有 $\Gamma(X, f^*D + F) = \Gamma(Y, D)$。
• 用边界除子 $D_j$ 表达 $K_{\overline{\mathbf{M}}_{0,n}} + \alpha D$，使用公式 $K_{\overline{\mathbf{M}}_{0,n}} = \sum_{j=2}^{\lfloor n/2 \rfloor} D_j \cdot \frac{(j-2)(n-1) - j(j-1)}{n-1}$。
• 依赖富尔顿关于 $\overline{\mathbf{M}}_{0,n}$ 的 ample 锥的猜想，推导出对数极小模型同构于具有对称权重（依赖于 $\alpha$）的加权稳定曲线模空间。
• 通过研究面 $F_k$ 分析 $\mathfrak{s}_n$-等变 nef 锥，证明当 $n$ 足够大时，其稳定为单纯形结构，顶点 $p_k$ 由除子类上的线性方程定义。
• 通过计算其与对应于划分 $a+b+c+d=n$ 的曲线类的交点，证明当 $k \geq n/3$ 时，顶点 $p_k$ 是 $F$-nef，且在所有情况下验证了非负性。

实验结果

研究问题

• RQ1 在何种条件下，$\overline{\mathbf{M}}_{0,n}$ 的对数极小模型同构于具有对称权重的加权稳定曲线模空间？
• RQ2 截面环 $\bigoplus_{n\geq 0} \Gamma(n(K_{\overline{\mathbf{M}}_{0,n}} + \alpha D))$ 的有限生成性如何与加权稳定曲线的几何结构相关？
• RQ3 $\alpha \in (0,1)$ 时，$\mathfrak{s}_n$-等变 nef 锥在 $A_\alpha$ 除子附近的结构是怎样的？
• RQ4 对于哪些 $\alpha$ 值，$K_{\overline{\mathbf{M}}_{0,n}} + \alpha D$ 是 nef 且大，从而保证对数极小模型的存在？
• RQ5 当 $n$ 足够大时，nef 锥的面 $F_k$ 是否为单纯形？若是，其条件为何？

主要发现

• 在富尔顿关于 ample 锥的猜想成立的条件下，与 $K_{\overline{\mathbf{M}}_{0,n}} + \alpha D$ 相关的对数极小模型同构于具有对称权重（依赖于 $\alpha$）的加权稳定曲线模空间。
• 当 $\alpha \geq \frac{2}{n-1}$ 时，除子 $K_{\overline{\mathbf{M}}_{0,n}} + \alpha D$ 是有效且大，且当 $\alpha < 1$ 时是对数极小的。
• 当 $\alpha \in [7/10, 1]$ 时，截面环 $\bigoplus_{n\geq 0} \Gamma(n(K_{\overline{\mathbf{M}}_{0,n}} + \alpha D))$ 是有限生成的，且在某些情况下可通过几何不变性理论显式构造。
• 当 $n$ 足够大时，$\mathfrak{s}_n$-等变 nef 锥的面 $F_k$ 是单纯形，且当 $k \geq \lfloor n/2 \rfloor - t$ 时出现稳定化，$n \geq 8$ 时已观察到该现象。
• F-单纯形的顶点 $p_k$ 在 $k \geq n/3$ 时是 $F$-nef，通过计算其与所有对应于划分 $a+b+c+d=n$ 的曲线类的交点得到验证。
• 对 $p_k$ 的 $F$-必要性，$k \geq n/3$ 的界限是紧的，通过反例 $n = 3l + p$，$p \in \{1,2,3\}$ 证明：$p_{\lfloor n/2 \rfloor - l}$ 与某条曲线有负交点。