[论文解读] GIT Constructions of Moduli Spaces of Stable Curves and Maps

Ian Morrison|ArXiv.org|Oct 14, 2008

Geometric Analysis and Curvature Flows参考文献 28被引用 6

一句话总结

本文回顾了基于GIT构造稳定曲线与稳定映射模空间的方法，扩展了Gieseker的奠基性方法，涵盖带标记点的曲线与稳定映射。文章强调了在存在标记点与奇点时验证Hilbert稳定性的新颖技术，并将这些构造与对数极小模型程序联系起来，识别出在这些值处双有理模型发生变化的关键$α$值，预测了在$m=6$与$m=4$时特定曲线簇的$m$-Hilbert半稳定性。

ABSTRACT

This largely expository paper first gives an introduction to Hilbert stability and its use in Gieseker's GIT construction of $\overline{M}_g$. Then I review recent work in this area--variants for unpointed curves that arise in Hassett's log minimal model program, starting with Schubert's moduli space of pseudostable curves, and constructions for weighted pointed stable curves and for pointed stable maps due to Swinarski and to Baldwin and Swinarski respectively. The focus is on the steps at which new ideas are needed. Finally, I list open problems in the area, particularly some arising in the log minimal model program that seem inaccessible to current techniques.

研究动机与目标

• 将Gieseker用于构造$\overline{M}_g$的GIT方法扩展至带标记点的稳定曲线与稳定映射的模空间。
• 分析在引入标记点或奇点时验证Hilbert稳定性所面临的实际技术挑战。
• 将GIT商与对数极小模型程序联系起来，特别是通过$\alpha$-不变量与墙穿插（wall crossing）的作用。
• 识别出小$m$时$m$-Hilbert稳定性的开放问题，特别是对双有理模型的预测。
• 探讨GIT构造的典范商是否具有模解释，例如在伪稳定曲线或$c$-与$h$-半稳定曲线上。

提出的方法

• 采用Gieseker的四步策略：光滑对象的渐近稳定性、潜在稳定性定理、$\nu$-典范簇的局部闭性，以及模稳定对象的Hilbert半稳定性。
• 使用涉及$\mathrm{PGL}(N)$的$1$-参数子群$\rho$的数值准则，通过$H^0(X, \mathcal{O}_X(m))$的权来检验Hilbert稳定性。
• 在权计算中纳入在标记点处不消失的截面的贡献，要求超越Gieseker原始准则的精细估计。
• 应用潜在稳定性定理排除非稳定构型，特别是在带标记点的可约曲线中。
• 使用符号计算与消去定理分析小$m$时的$m$-Hilbert稳定性，特别是$m=4,6$，其中$m=\frac{9}{2}$通过消去分母解释。
• 通过极化类$K_{\overline{\mathcal{M}}_g} + \alpha\delta$及其斜率，将GIT墙穿插与对数极小模型程序联系起来。

实验结果

研究问题

• RQ1 在哪些$\alpha$值处，$\overline{M}_g(\alpha)$的双有理类型发生变化？这些值如何与$m$-Hilbert稳定性相关？
• RQ2 能否对小的$m$（如$m=4$或$m=6$）检查$m$-Hilbert半稳定性？这对模空间模型有何影响？
• RQ3 通过$m$-Hilbert稳定性构造的GIT商是否具有模解释，例如在伪稳定曲线或$c$-与$h$-半稳定曲线上？
• RQ4 VGIT中不同线性化如何影响最终商及其与对数极小模型程序的关系？
• RQ5 在节点处的分支序列在决定具有Weierstrass尾的曲线的$m$-Hilbert稳定性中起什么作用？

主要发现

• 对于$g \geq 4$，在$\frac{7}{10}$之下的下一个关键$\alpha$-值预测为$\alpha = \frac{2}{3}$，此时极化$K_{\overline{\mathcal{M}}_g} + \frac{2}{3}\delta$的斜率为$9.75$，与$m=6$Hilbert商的斜率一致。
• 具有 genus 2 Weierstrass 尾的曲线是$6$-Hilbert严格半稳定，且是$5$-Hilbert不稳定，表明在此$\alpha$-值处模空间发生翻转（flip）。
• 下一个关键$\alpha$-值预测为$\frac{19}{29}$，对应于斜率为$\frac{29}{3}$的极化，通过$m=4$Hilbert商实现（在消去$m=\frac{9}{2}$的分母后）。
• 属于$\Delta_2$的曲线在基于节点处分支序列的$\rho$下，对$m=\frac{9}{2}$是严格半稳定，对$m=4$是不稳定，表明在对数极小模型中$\Delta_2$被收缩。
• 在$6$-Hilbert半稳定退化下的平坦极限，用具有尖点（ramphoid cusp，$y^2 = x^5$）的有理尾替代了Weierstrass尾，与对数极小模型程序一致。
• Hassett未发表的工作基于$F$-猜想预测：$m=6$Hilbert商实现了$\alpha = \frac{2}{3}$时的对数典范模型，$m=4$实现了$\alpha = \frac{19}{29}$时的对数典范模型。