[论文解读] Singularities with G_m-action and the log minimal model program for $\bar{M}_g$

Jarod Alper, Maksym Fedorchuk+1 more|arXiv (Cornell University)|Oct 18, 2010

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

一句话总结

本文提出并比较了两种方法——关于 $\mathbb{G}_m$-作用在 pluricanonical 形式上的特征理论与稳定极限上的交点理论——以预测在对数极小模型 $\overline{M}_g(\alpha)$ 中，具有 $\mathbb{G}_m$-作用的奇异曲线出现的临界 $\alpha$-值。作者证明，对于 ADE、toric、unibranch Gorenstein 及 ribbons 奇点，两种方法均给出一致的预测结果，从而为 $\overline{M}_g$ 上的对数极小模型程序提供了猜想性框架。主要贡献在于为对数 MMP 中的模化退化现象提供了一个统一的预测机制。

ABSTRACT

We give a precise formulation of the modularity principle for the log canonical models of $\bar{M}_g$. Assuming the modularity principle holds, we develop and compare two methods for determining the critical alpha-values at which a singularity or complete curve with G_m-action arises in the modular interpretations of log canonical models of $\bar{M}_g$. The first method involves a new invariant of curve singularities with G_m-action, constructed via the characters of the induced G_m-action on spaces of pluricanonical forms. The second method involves intersection theory on the variety of stable limits of a singular curve. We compute the expected alpha-values for large classes of singular curves, including curves with ADE, toric, and monomial unibranch Gorenstein singularities, as well as for ribbons, and show that the two methods yield identical predictions. We use these results to give a conjectural outline of the log MMP for $\bar{M}_g$.

研究动机与目标

• 为对数极小模型 $\overline{M}_g(\alpha)$ 制定并检验模化原理，使其作为堆栈 $\overline{\mathcal{M}}_g(\alpha)$ 的良好模空间。
• 确定具有 $\mathbb{G}_m$-作用的奇异曲线在 $\overline{M}_g(\alpha)$ 的模解释中首次出现的精确 $\alpha$-值。
• 比较两种独立方法——特征理论与交点理论——对这些 $\alpha$-值的预测，并验证其一致性。
• 基于对奇异曲线的预测，为 $\overline{M}_g$ 上的对数极小模型程序提供一个猜想性框架。

提出的方法

• 通过计算 $\mathbb{G}_m$-作用在 pluricanonical 形式空间上的特征，确定线丛下降到 $\overline{M}_g(\alpha)$ 的 $\alpha$-值。
• 应用 Hilbert-Mumford 准则，计算具有 $\mathbb{G}_m$-作用的 $n$-重 canonically 嵌入曲线的 Hilbert 与 Chow 点的 GIT 指标。
• 在奇异曲线的稳定极限簇上使用交点理论，检测 $(K_{\overline{\mathcal{M}}_g} + \alpha\delta)$-负曲线，以指示对数 MMP 中的翻转。
• 比较 ADE、toric、unibranch Gorenstein 及 ribbons 奇点的曲线在特征理论与交点理论下的预测结果。
• 以 $\chi_\lambda$ 和 $\chi_\delta$ 表示 $\mu^{\overline{\operatorname{Hilb}}_{g,n}^{\,m}}([C],\widetilde{\eta})$ 与 $\mu^{\overline{\operatorname{Chow}}_{g,n}}([C],\widetilde{\eta})$ 的显式公式。
• 建立一个一般性定理（定理 5.2），将特征理论与交点理论对 $\alpha$-值的预测联系起来。

实验结果

研究问题

• RQ1 具有 $\mathbb{G}_m$-作用的奇异曲线在模化紧化 $\overline{M}_g(\alpha)$ 中首次出现的 $\alpha$-值是多少？
• RQ2 对 pluricanonical 形式上 $\mathbb{G}_m$-作用的特征理论不变量能否预测与交点理论方法相同的 $\alpha$-值？
• RQ3 对于 ADE、toric、unibranch Gorenstein 及 ribbons 奇点的曲线，特征理论与交点理论的预测是否一致？
• RQ4 具有 $\mathbb{G}_m$-作用的 $n$-重 canonically 嵌入曲线的 Hilbert 与 Chow 点的稳定性与对数 MMP 中的 $\alpha$-值之间有何关系？
• RQ5 模化原理如何用于构建 $\overline{M}_g$ 上的对数 MMP 的猜想性框架？

主要发现

• 对于具有 ADE、toric 及 unibranch Gorenstein 奇点的曲线，特征理论与交点理论预测的 $\alpha$-值完全一致。
• 对于 $\ell = (g-1)/2$ 的 ribbons $C_\ell$，其 canonical 嵌入的第 $m$ 个 Hilbert 点在 $\mathbb{G}_m$-作用下为严格半稳定，意味着 $\alpha = 1$ 是其在 $\overline{M}_g(\alpha)$ 中出现的阈值。
• 当 $g$ 为偶数时，所有具有 $\mathbb{G}_m$-作用的 canonically 嵌入 ribbons 均为 Hilbert 不稳定，确认其在 $\alpha < 1$ 时不出现于 $\overline{M}_g(\alpha)$ 中。
• ribbons $C_\ell$ 的第 $m$ 个 Hilbert 点的 Hilbert-Mumford 指标为 $\mu^{\overline{\operatorname{Hilb}}_{g,1}^{\,m}}([C],\rho) = g(g + m - gm)(\ell - \frac{g-1}{2})$，当且仅当 $\ell = (g-1)/2$ 时为零。
• 特征理论方法预测的 $\alpha$-值与交点理论方法一致，验证了两种方法在对数 MMP 中作为一致工具的有效性。
• 本文通过定理 5.2 建立了两种方法之间的普遍联系，表明 $K_{\overline{\mathcal{M}}_g} + \alpha\delta$ 在 $\mathbb{G}_m$-作用下的特征为零，等价于在稳定极限簇中存在 $(K_{\overline{\mathcal{M}}_g} + \alpha\delta)$-负曲线。