[論文レビュー] 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

ひとこと要約

本稿は、6つのマークド点をもつ genus 0 の安定曲線のコンパクト化されたデリーニュ＝ムーディー スタック $\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.

研究の動機と目的

• 「6つのマークド点をもつ genus 0 の安定曲線のモジュライ空間 $\overline{M}_{0,6}$ の Cox 環の完全な生成集合および関係式のセットを特定すること。
• 除集合クラスの明示的行列表現を通じて、$\overline{M}_{0,6}$ の Picard 群の構造を記述すること。
• 行列 $\tilde{R}$ が、Picard 群における境界除集合および Keel-Vermeire 除集合を表す行列 $A$ の核の基底をなすことを確立すること。
• 有理関数 $z_{ij}$ および $f_\tau$ 間の関係が、除集合クラス行列 $A$ の核に正確に対応することを証明すること。
• 境界除集合 $\nu_{ij}$ および点 $Q_\tau$ における零点の位数データを用いて、Cox 環の明示的提示を提供すること。

提案手法

• 著者たちは、$\overline{M}_{0,6}$ 内の境界除集合 $\nu_{ij}$ および点 $Q_\tau$ における有理関数 $z_{ij}$ および $f_\tau$ の零点の位数を計算する。
• 主除集合は Picard 群において自明な類をもつという事実を用い、除集合クラスの線形結合を 0 に等しいとみなす。
• 行列 $A$ は、$\operatorname{Pic}(\overline{M}_{0,6})$ 内の境界除集合および Keel-Vermeire 除集合の代表元から構成される。
• 行列 $\tilde{R}$ は、恒等行列およびゼロ行列のブロック構造を持つことが示され、その行は行列 $A$ の核を張る。
• 証明は、4つの主要な零点条件の検証によって進行する：$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 除集合クラスを表す行列 $A$ の核の構造は何か？
• RQ4 除集合クラス間の関係は、境界除集合における零点の位数データから得られる行列によって完全に記述可能か？
• RQ5 行列 $\tilde{R}$ は $A$ の核の基底をなすか？また、それは Cox 環の提示を完全に記述するか？

主な発見

• 恒等行列およびゼロ行列のブロック構造を持つ行列 $\tilde{R}$ は、$\operatorname{Pic}(\overline{M}_{0,6})$ 内の除集合クラスを表す行列 $A$ の核の基底をなす。
• $z_{ij}$ の $\delta_{kl}$ における零点の位数は、$\{i,j\} = \{k,l\}$ ならば 1、それ以外は 0 である。これは $z_{ij}$ が関係を生成する役割を果たすことを確認する。
• $f_\pi$ の $\delta_{kl}$ における零点の位数は、すべての $\{k,l\} \in \mathcal{E}$ に対して 0 である。これは $f_\pi$ が境界除集合に沿って零点を持たないことを示している。
• $z_{ij}$ の $Q_\pi$ における零点の位数は、すべての $\{i,j\} \in \mathcal{E}$ に対して 0 である。これは $z_{ij}$ が点 $Q_\pi$ で零点を持たないことを示している。
• $f_{\pi'}$ の $Q_\pi$ における零点の位数は、$\pi = \pi'$ ならば 1、それ以外は 0 である。これは $f_\pi$ が除集合 $Q_\pi$ を定義することを確認する。
• 実際の零点の位数行列 $R$ は $\tilde{R}$ に等しく、$\tilde{R}$ が $A$ の核を張ることを証明する。したがって、$\tilde{R}$ は Cox 環の関係を完全に記述する。