[論文レビュー] A simplicial approach to effective divisors in $\overline{M}_{0,n}$

Brent Doran, Noah Giansiracusa+1 more|arXiv (Cornell University)|Jan 2, 2014

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

ひとこと要約

本稿は、$\overline{M}_{0,n}$ の有効除算因子類を研究するための単体的組合せ的枠組みを構築し、有効除算因子類（例外的除算因子を除く）と、零張力条件を満たす重み付き特異単体的複体の間の全単射を確立する。主な貢献は、$n \geq 7$ の場合に、既知の境界およびハイパートリーconeとは異なる新たな極小生成元の分類であり、特に特徴的標数に依存する効果的性を示す除算因子クラス（例：$d_{tri}$）の構成である。これは長年の予想を解決し、$n=7$ で除算因子幾何学にきわめて鋭い転換が生じることを明らかにする。本研究は、バランス可能な複体の組合せ論を用いた有効除算因子の構成と解析の体系的かつ包括的な手法を提供する。

ABSTRACT

We study the Cox ring and monoid of effective divisor classes of $\overline{M}_{0,n} = Bl\mathbb{P}^{n-3}$, over a ring R. We provide a bijection between elements of the Cox ring, not divisible by any exceptional divisor section, and pure-dimensional singular simplicial complexes on {1,...,n-1} with nonzero weights in R satisfying a zero-tension condition. This leads to a combinatorial criterion, satisfied by many triangulations of closed manifolds, for a divisor class to be among the minimal generators for the effective monoid. For classes obtained as the strict transform of quadrics, we present a complete classification of minimal generators, generalizing to all n the well-known Keel-Vermeire classes for n=6. We use this classification to construct new divisors with interesting properties for all n > 6.

研究の動機と目的

• 任意の底リング $R$ 上での $\overline{M}_{0,n}$ の Cox 環および除算因子類の有効モノイドを研究するための組合せ的枠組みを構築すること。特に、極小生成元と有効錐の構造に焦点を当てる。
• 有効錐および Cox 環の構造に関する根本的問題、特に標数依存性、極小生成集合、除算因子類の極性の役割を扱う。
• 特に $n \geq 7$ の場合に、四次曲線の厳密な変形の極小生成元を分類し、$n=6$ の Keel-Vermeire クラスをすべての $n \geq 7$ に一般化する。
• 特徴的標数に依存する興味深い幾何的・算術的性質を持つ新たな除算因子クラスを構成し、その極性を特定する。

提案手法

• 例外的除算因子で割り切れない有効除算因子類と、$\{1,\ldots,n-1\}$ 上の純次元的特異単体的複体（$R\setminus\{0\}$ の重みをもつ）との間の全単射を確立し、零張力条件を満たすものとする。
• $\overline{M}_{0,n}$ の Kapranov-Hassett 表現（$\mathbb{P}^{n-3}$ の繰り返しのブローアップ）を用いて、$\mathbb{Z}$ 上の Cox 環を定義し、任意のリング $R$ への底変換を可能にする。
• 特に1次元複体（グラフ）とその関連除算因子に注目するため、『バランス可能な複体』の概念を導入し、有効除算因子クラスを特徴付ける。
• 候補となる除算因子クラスと負に交わる明示的な曲線 $F_n$ を構成し、数値的交線理論を用いて極性を証明する。
• 線形代数とセクション理論を用いて、$D_{\text{tri}}$ が非効果的でも $2D_{\text{tri}}$ が効果的であることを示し、特に特徴的標数 2 で成立することを確認する。
• 既知の psi-クラスの次数および線形系の結果を活用し、構成された除算因子クラスが境界またはハイパートリー除算因子の線形包に属さないことを検証する。

実験結果

リサーチクエスチョン

• RQ1 有効モノイドおよび Cox 環の構造は、特に異なる標数において、底リング $R$ にどのように依存するか？
• RQ2 有効錐の極小射線の最初の格子点は常に有効除算因子クラスであるか？その性質は体の標数に依存するか？
• RQ3 有効モノイドの極小生成集合は、Cox 環の極小生成元の像として実現可能か？これはすべての標数で成り立つか？
• RQ4 境界およびハイパートリー除算因子で生成される錐とは異なる、有効除算因子クラスが極小射線を張るか？もしそうなら、どのように構成できるか？
• RQ5 単体的複体に関連する除算因子クラスが有効または既約であるための正確な組合せ的条件は何か？

主な発見

• $n \geq 7$ の場合、$\overline{\operatorname{Eff}}(\overline{M}_{0,n})$ に存在する極小射線の最初の格子点が有効であるのは、$\operatorname{char}(k) = 2$ の場合に限る。これは、底体にきわめて鋭い依存性を示している。
• 標数 $\neq 2$ のとき、有効モノイド $M(\overline{M}_{0,n})$ は、有効錐の極小射線を張るクラスによって生成されない。これは、極小生成元が必ずしも極小射線に対応するわけではないことを示している。
• $D_{\text{tri}}$ は、2つの三角形の不交和に対応する除算因子クラスであり、標数 2 のときのみ有効であるが、$2D_{\text{tri}}$ はすべての標数で有効である。$F_7 \cdot D_{\text{tri}} = -1$ により、極性が証明される。
• $\overline{M}_{0,9}$ のクラス $D_{\text{oct}}$ は既約であり、極小射線を張り、Opie のクラスの $S_n$-軌道とも一致せず、境界またはハイパートリー除算因子でもない。
• $n \geq 9$ の場合、境界、ハイパートリー、および Opie の除算因子で生成される錐とは異なる極小射線が存在する。これは、Castravet と Tevelev の予想を反証する。
• 本稿は、$\overline{M}_{0,n}$ における四次曲線の厳密な変形の極小生成元を完全に分類し、$n=6$ の Keel-Vermeire クラスをすべての $n \geq 7$ に一般化する。