[论文解读] Exceptional Loci on $\bar M_{0,n}$ and Hypergraph Curves

Ana-Maria Castravet, Jenia Tevelev|ArXiv.org|Sep 10, 2008

Algebraic Geometry and Number Theory参考文献 13被引用 5

一句话总结

本文通过超图曲线及其布里尔-诺伊曼簇，构建了模空间 $\overline{M}_{0,n}$ 上新的极小除子与刚性曲线。通过将遗忘态射解释为映射到 $\overline{M}_{0,k}$ 乘积的形式，作者识别出与开子簇 $M_{0,n}$ 相交的例外簇，从而在有效锥中得到新的极小射线，并首次给出了 $n=12$ 时 $M_{0,n}$ 中的一维例外曲线，该曲线为刚性曲线，且可能是富尔顿猜想的反例。

ABSTRACT

We give a myriad of examples of extremal divisors, rigid curves, and birational morphisms with unexpected properties for the Grothendieck--Knudsen moduli space $\bar M_{0,n}$ of stable rational curves. The basic tool is an isomorphism between $M_{0,n}$ and the Brill--Noether locus of a very special reducible curve corresponding to a hypergraph.

研究动机与目标

• 在 $\overline{M}_{0,n}$ 上构造新的极小除子与刚性曲线，使其与开子簇 $M_{0,n}$ 相交，从而违背高亏格模空间中典型的几何行为。
• 通过超图曲线及其布里尔-诺伊曼簇，提供 $\overline{M}_{0,n}$ 有效锥中极小射线的几何构造。
• 通过分析由超图定义的态射的例外簇，研究 $\overline{M}_{0,n}$ 的双有理几何。
• 通过展示例外簇包含内部成分，挑战在 $\overline{M}_{0,n}$ 上双有理态射的例外簇必须完全位于边界上的普遍预期。

提出的方法

• 将超图 $\Gamma = \{\Gamma_1, \dots, \Gamma_d\}$ 定义为 $\{1, \dots, n\}$ 的子集族，并构造超图态射 $\pi_\Gamma: \overline{M}_{0,n} \to \prod_{i=1}^d \overline{M}_{0,\Gamma_i}$，即遗忘映射的乘积。
• 将 $\pi\_\Gamma$ 实现为可约超图曲线的布里尔-诺伊曼簇所诱导的态射，从而实现例外簇的显式计算。
• 利用 $M_{0,n}$ 与特殊可约曲线的布里尔-诺伊曼簇之间的同构，将曲线的几何性质转化为 $\overline{M}_{0,n}$ 上的除子类与曲线类。
• 应用布里尔-诺伊曼理论与内朗-塞韦里理论的技术，分析有效锥与莫里锥，特别关注反拟内丛与边界除子的充分支持性。
• 通过对偶赫塞超图在 $\overline{M}_{0,12}$ 中构造一维例外曲线，证明其与 $M_{0,12}$ 相交且为刚性曲线。
• 使用涉及交比理论与曲面拉回的数值准则，证明任何生成极小射线的移动曲线必须位于边界上，除非其为刚性曲线，从而在该曲线与 $M_{0,n}$ 相交时导致矛盾。

实验结果

研究问题

• RQ1 在 $\overline{M}_{0,n}$ 上，双有理态射的例外簇是否可能与开子簇 $M_{0,n}$ 相交，从而与高亏格情形的行为相悖？
• RQ2 超图曲线是否会产生 $\overline{M}_{0,n}$ 有效锥中除边界除子及其拉回之外的新极小除子？
• RQ3 是否存在一条在 $M_{0,n}$ 内部相交的 $\overline{M}_{0,n}$ 中的刚性曲线，可能作为富尔顿猜想关于莫里锥的反例？
• RQ4 通过超图方法可构造多少条新的极小射线？其随 $n$ 的增长速率如何？
• RQ5 是否 $\overline{M}_{0,n}$ 可被 $\mathbb{P}^2$ 在 $n$ 个点上的爆破覆盖，从而推广已知的 $n=5$ 时的构造？

主要发现

• 本文通过对偶赫塞超图在 $\overline{M}_{0,12}$ 中构造了一条一维例外曲线，其与 $M_{0,12}$ 相交，这是模空间内部首次出现此类曲线的已知实例。
• 由超图构造产生的新极小射线数量随 $n$ 快速增长，且定理 3.12 所述的斐波那契递推构造可产生大量此类射线。
• 对于任意超图态射 $\pi_\Gamma: \overline{M}_{0,n} \to Z$，若 $Z$ 为光滑空间，则例外簇为除子簇，并在 $\overline{\operatorname{Eff}}(\overline{M}_{0,n})$ 中生成一条极小射线，如推论 3.3 所示。
• 作者证明，任何在 $\overline{M}_{0,n}$ 中生成极小射线的移动曲线必须位于边界上，除非其为刚性曲线；他们进一步在 $\overline{M}_{0,12}$ 中构造了此类刚性曲线，暗示其可能为富尔顿猜想的反例。
• 本文表明 $\overline{M}_{0,n}$ 可被 $\mathbb{P}^2$ 在 $n$ 个点上的爆破覆盖，推广了已知结论：$\overline{M}_{0,5}$ 是 $\mathbb{P}^2$ 在 4 个点上的爆破。
• 作者证明，超图态射的例外簇可具有所有可能维度的不可约分量，包括与 $M_{0,n}$ 相交的一维分量，这与高亏格模空间的情形形成关键区别。