[论文解读] A presentation for the Cox ring of $\overline{M}_{0,6}$

Martha Bernal Guillén, Diane Maclagan|arXiv (Cornell University)|Dec 21, 2017

Algebraic Geometry and Number Theory参考文献 8被引用 3

一句话总结

本文为具有六个标记点的零亏格稳定曲线的模空间 $\overline{M}_{0,6}$ 的 Cox 环提供了一个生成集。通过在边界除子和 Keel-Vermeire 除子上计算零点阶数，作者建立了 Cox 环中关系的矩阵表示，证明了给定矩阵 $\tilde{R}$ 构成表示除子类的矩阵 $A$ 的核的基，从而完整描述了该环的结构。

ABSTRACT

We compute the relations in the Cox ring of the moduli space $\overline{M}_{0,6}$. This gives a presentation of the Cox ring as a quotient of a polynomial ring with 40 generators by an ideal with 225 generators that come in 5 symmetry classes.

研究动机与目标

• 确定 $\overline{M}_{0,6}$ 的 Cox 环的完整生成集与关系集，即具有六个标记点的零亏格稳定曲线的模空间。
• 通过除子类的显式矩阵表示，描述 $\overline{M}_{0,6}$ 的 Picard 群结构。
• 证明矩阵 $\tilde{R}$ 构成表示边界除子与 Keel-Vermeire 除子的矩阵 $A$ 的核的基。
• 证明有理函数 $z_{ij}$ 与 $f_\tau$ 之间的关系恰好对应于除子类矩阵 $A$ 的核。
• 利用边界除子 $\nu_{ij}$ 和点 $Q_\tau$ 上的零点阶数数据，提供 Cox 环的明确表示。

提出的方法

• 作者计算了有理函数 $z_{ij}$ 与 $f_\tau$ 在 $\overline{M}_{0,6}$ 的边界除子 $\nu_{ij}$ 和点 $Q_\tau$ 上的零点阶数。
• 他们利用主除子在 Picard 群中类为平凡的事实，将除子类的线性组合等同于零。
• 矩阵 $A$ 由 $\operatorname{Pic}(\overline{M}_{0,6})$ 中边界除子与 Keel-Vermeire 除子的代表元构成。
• 证明矩阵 $\tilde{R}$ 具有分块结构，包含单位矩阵与零矩阵块，且其行向量张成矩阵 $A$ 的核。
• 证明过程通过验证四个关键零点阶数条件完成：$z_{ij}$ 在 $\delta_{kl}$ 上的阶数、$f_\pi$ 在 $\delta_{kl}$ 上的阶数、$z_{ij}$ 在 $Q_\pi$ 上的阶数，以及 $f_{\pi'}$ 在 $Q_\pi$ 上的阶数。
• 最后一步确认实际零点阶数矩阵 $R$ 等于 $\tilde{R}$，从而证明 $\tilde{R}$ 张成 $A$ 的核。

实验结果

研究问题

• RQ1 什么是 $\overline{M}_{0,6}$ 的 Cox 环的完整生成集与关系集？
• RQ2 有理函数 $z_{ij}$ 与 $f_\pi$ 在边界除子与特殊点上的限制行为如何？
• RQ3 $\operatorname{Pic}(\overline{M}_{0,6})$ 中表示除子类的矩阵 $A$ 的核具有何种结构？
• RQ4 能否通过零点阶数数据导出的矩阵完全捕捉除子类之间的关系？
• RQ5 $\tilde{R}$ 是否构成 $A$ 的核的基，且是否能完整描述 Cox 环的表示？

主要发现

• 具有单位矩阵与零矩阵块分块结构的矩阵 $\tilde{R}$，构成表示 $\operatorname{Pic}(\overline{M}_{0,6})$ 中除子类的矩阵 $A$ 的核的基。
• $z_{ij}$ 在 $\delta_{kl}$ 上的零点阶数为 1 当且仅当 $\{i,j\} = \{k,l\}$，否则为 0，确认其在生成关系中的作用。
• $f_\pi$ 在所有 $\{k,l\} \in \mathcal{E}$ 的 $\delta_{kl}$ 上的零点阶数为 0，表明 $f_\pi$ 不在边界除子上消失。
• $z_{ij}$ 在所有 $\{i,j\} \in \mathcal{E}$ 的 $Q_\pi$ 上的零点阶数为 0，表明 $z_{ij}$ 不在点 $Q_\pi$ 上消失。
• $f_{\pi'}$ 在 $Q_\pi$ 上的零点阶数为 1 当且仅当 $\pi = \pi'$，否则为 0，确认 $f_\pi$ 定义了除子 $Q_\pi$。
• 实际零点阶数矩阵 $R$ 等于 $\tilde{R}$，从而证明 $\tilde{R}$ 张成 $A$ 的核，因此完整描述了 Cox 环的关系。