[论文解读] GIT Compactifications of M_{0,n} and Flips

Noah Giansiracusa, David Jensen+1 more|arXiv (Cornell University)|Dec 1, 2011

Digital Image Processing Techniques参考文献 16被引用 5

一句话总结

该论文通过在 $\mathbb{P}^d$ 中使用加权稳定曲线，构建了 $M_{0,n}$ 模空间的一大家族 GIT 紧化，表明这些紧化包含 $\overline{M}_{0,n}$、Hassett 空间以及新的模模型。论文提供了线性化空间的完整墙与扇形分解，明确分类了这些模型之间的翻转和除子收缩，并首次展示了模空间之间关于带标记的零亏格曲线的 Mori 理论翻转。

ABSTRACT

We use geometric invariant theory (GIT) to construct a large class of compactifications of the moduli space M_{0,n}. These compactifications include many previously known examples, as well as many new ones. As a consequence of our GIT approach, we exhibit explicit flips and divisorial contractions between these spaces.

研究动机与目标

• 通过在 $\mathbb{P}^d$ 中的 $n$-点有理正则曲线上的几何不变性理论（GIT）构造 $M_{0,n}$ 的全面紧化族。
• 在单一 GIT 框架内统一现有紧化——如 Deligne-Mumford 紧化 $\overline{M}_{0,n}$ 和 Hassett 的加权空间。
• 通过 GIT 变化（VGIT）系统分析这些紧化的双有理几何，识别它们之间的翻转与除子收缩。
• 为 VGIT 墙交叉中出现的翻转与收缩提供模解释，特别是在线性化位于墙上时。

提出的方法

• 将紧化参数化为 GIT 商 $U_{d,n}/\!\!/_{L} \operatorname{SL}(d+1)$，其中 $U_{d,n}$ 是 $\mathbb{P}^d$ 中带有标记点的 $n$-点有理正则曲线的轨迹。
• 使用一个有理权重向量 $L \in \mathbb{Q}_{>0}^{n+1}$，为曲线和每个标记点分配权重，从而定义 $\operatorname{SL}(d+1)$-作用的线性化。
• 应用 GIT 变化（VGIT）将线性化空间分解为扇形与墙，墙交叉诱导不同紧化之间的有理映射。
• 分类墙上的严格半稳定曲线，并确定哪些具有闭轨道，从而实现对诱导双有理映射的精确分析。
• 使用数值不变量如 $\sigma(I_k)$（即在标记点子集上的权重之和）来确定稳定性条件，并检测墙交叉时稳定轨迹的变化。
• 应用 F-曲线类来检验映射是否为翻转或除子收缩，利用翻转不收缩任何除子但每侧均收缩不同 F-曲线的性质。

实验结果

研究问题

• RQ1 哪些 $U_{d,n}$ 的 GIT 商给出 $M_{0,n}$ 的紧化，且在何种线性化条件下？
• RQ2 这些紧化之间的双有理映射——特别是翻转与除子收缩——如何由 VGIT 墙交叉产生？
• RQ3 这些紧化之间的翻转能否获得模解释，且是否在意义上为新模型（即不与先前已知模型同构）？
• RQ4 在何种精确条件下，墙交叉会诱导翻转而非除子收缩或曲线收缩？
• RQ5 是否存在非 Smyth 意义下的模紧化 $M_{0,n}$，且它们能否由 GIT 构造产生？

主要发现

• 对于稳定性扇形 $\Delta^\circ$ 内部的所有 $L$，GIT 商 $U_{d,n}/\!\!/_{L} \operatorname{SL}(d+1)$ 是 $M_{0,n}$ 的紧化，且存在一个保持 $M_{0,n}$ 的正则双有理态射 $\overline{M}_{0,n} \to U_{d,n}/\!\!/_{L} \operatorname{SL}(d+1)$。
• 线性化空间通过 VGIT 实现有限的墙与扇形分解，且每次墙交叉均诱导一个有理映射，该映射为翻转、除子收缩或曲线收缩。
• 当 $d=5$，$n=19$，且权重 $\gamma = \frac{4}{9} \pm \epsilon$ 时，紧化之间的映射 $f^+$ 和 $f^-$ 为翻转：$f^+$ 收缩 F-曲线 $(10,7,1,1)$，$f^-$ 收缩 $(12,5,1,1)$，且两者均不收缩任何除子。
• 紧化 $U_{5,19}/\!\!/_{\frac{4}{9},\vec{\frac{2}{9}}} \operatorname{SL}(6)$ 不与 Smyth 意义下的任何模紧化同构，因其包含严格半稳定点，且并非由 $U_{d,n}$ 在扇形线性化下的几何商构造而成。
• 本文表明，某些极端赋值（例如，将来自不相交指标集的尾部收缩）无法作为 $U_{d,n}$ 的 GIT 商实现，从而证明并非所有模紧化均来自此 GIT 构造。