[论文解读] GIT Constructions of Log Canonical Models of M_g

Jarod Alper, Donghoon Hyeon|arXiv (Cornell University)|Sep 9, 2011

Constraint Satisfaction and Optimization参考文献 20被引用 8

一句话总结

本文通过低次数希尔伯特点，基于GIT构造了模空间 $\overline{M}_g$ 的对数极小模型，证明了这些模型实现了具有可控奇点的稳定曲线的各种紧化。关键贡献在于证明了具有尖点和切点的某些退化曲线的希尔伯特稳定性，从而使得 $\overline{M}_g(\alpha)$ 对于 $\alpha \in [0,1]$ 可作为GIT商空间被构造出来。

ABSTRACT

The purpose of this article is to give an overview of the construction of moduli spaces of curves from the viewpoint of the log minimal model program for M_g by providing an update of recent developments and discussing future problems. This survey is distinguished from the recent articles of Fedorchuk-Smyth and Morrison in its focus on low degree Hilbert stability of curves.

研究动机与目标

• 通过使用低次数希尔伯特点的几何不变性理论（GIT）来扩展Hassett-Keel纲领，构造 $\overline{M}_g$ 的对数极小模型。
• 通过分析具有无限自同构群的极大退化曲线，解决标准GIT稳定性准则在低次数希尔伯特稳定性中失效的问题。
• 证明特定奇异曲线（如具有普通尖点和切点的曲线）在适当线性化下是半稳定的。
• 通过缩放除子类 $D = \sum \alpha_i \delta_i$ 的方式，提供预测对数极小模型模空间解释的框架。
• 通过在形变空间上的特征计算，证明当 $g < 7$ 时，$\overline{M}_g^{hs}$ 的 $\mathbb{Q}$-因子性。

提出的方法

• 在通过 $n$-次 canonical 或 bi-canonical 映射嵌入的曲线的希尔伯特概形上使用GIT商空间构造 $[X^{ss}/G]$，重点关注 $n=2,3,4$。
• 应用Kempf的不稳定一参数子群理论与Gröbner技术，分析具有特殊奇点的曲线的稳定性。
• 分析 $\mathbb{G}_m$ 在形变空间上的作用，以计算边界除子 $\delta_i$（特别是 $\delta_2$）的特征。
• 利用半稳定替换定理，证明若其稳定化形式位于严格半稳定曲线的吸引盆中，则潜在半稳定的曲线是半稳定的。
• 利用 [AFS10] 中的特征计算，预测在 $\overline{M}_g(tD)$ 中当 $t$ 从 1 降至 0 时模空间解释的转变。
• 通过GIT构造对数极小模型 $\overline{M}_g(\alpha)$ 为 $\text{Proj} \bigoplus_{m \geq 0} \Gamma(\overline{M}_g, m(K_{\overline{\mathcal{M}}_g} + \alpha\delta))$，其中 $\alpha \in [0,1]$。

实验结果

研究问题

• RQ1 对于哪些 $\alpha \in [0,1]$ 值，对数极小模型 $\overline{M}_g(\alpha)$ 可以作为希尔伯特概形的GIT商空间被实现？
• RQ2 低次数希尔伯特稳定性条件（如双 canonical、三 canonical）与高次数条件在稳定化具有尖点和切点的曲线方面有何不同？
• RQ3 具有无限自同构群的极大退化曲线在构造弱分离模空间函子中起什么作用？
• RQ4 在 $\overline{M}_g(tD)$ 中，$t$ 的哪些临界值会发生翻转（flips），以及何种奇点会取代椭圆尾部或桥接结构？
• RQ5 在何种条件下，具有 $A_1 \sim A_4$ 奇点的模空间 $\overline{M}_g^{hs}$ 是 $\mathbb{Q}$-因子的？

主要发现

• 在第二希尔伯特稳定性条件下，具有两个普通尖点的亏格为二的有理曲线的三 canonical 嵌入是半稳定的。
• 当 $g < 7$ 时，具有至多尖点和切点奇点的曲线模空间 $\overline{M}_g^{hs}$ 是 $\mathbb{Q}$-因子的。
• 在 $t = 9/(12\alpha_0 - \alpha_1)$ 处，尖点取代了对数极小模型 $\overline{M}_g(tD)$ 中的椭圆尾部，标志模空间解释的临界转变。
• 在 $t = 7/(10\alpha_0)$ 处，切点取代了 $\overline{M}_g(tD)$ 中的非分离椭圆桥接结构，表明对数极小模型程序进入新阶段。
• 对于 $i \geq 2$，在 $t = t_i = 7/(12\alpha_0 - \alpha_i - \alpha_{i+1}) + \epsilon$ 处，切点取代了亏格为 $i$ 和 $g-i-1$ 的分离椭圆桥接结构。
• 在 $i = 0,2,\dots,\lfloor(g-1)/2\rfloor$ 的不同临界值 $t_i$ 处发生翻转，且在翻转前 $\overline{M}_g((t_i - \epsilon)D)$ 是 $\mathbb{Q}$-因子的。