[論文レビュー] The Kodaira dimensions of $\overline{\mathcal{M}}_{22}$ and $\overline{\mathcal{M}}_{23}$

Gavril Farkas, David Jensen+1 more|arXiv (Cornell University)|May 1, 2020

Algebraic Geometry and Number Theory参考文献 58被引用数 10

ひとこと要約

本稿は、$\overline{\mathcal{M}}_{22}$ および $\overline{\mathcal{M}}_{23}$ と表記される genus 22 および 23 の安定曲線のモジュライ空間が、canonical divisor の傾き $\frac{13}{2}$ より小さい傾きの有効な除集合を構成することにより、一般型であることを証明している。著者らは、6 階の線形系列に伴う仮想的除集合類を用い、二次関係を満たすものとして、新たなトロピカル技法を開発して、これらの類が有効であることを示した。この結果、$\overline{\mathcal{M}}_g$ の Kodaira 次元分類における長年の未解決事例が解け、$\overline{\mathcal{M}}_{22}$ および $\overline{\mathcal{M}}_{23}$ が一般型であることが確認された。

ABSTRACT

We prove that the moduli spaces of curves of genus 22 and 23 are of general type. To do this, we calculate certain virtual divisor classes of small slope associated to linear series of rank 6 with quadric relations. We then develop new tropical methods for studying linear series and independence of quadrics and show that these virtual classes are represented by effective divisors.

研究の動機と目的

• モジュライ空間の曲線の Kodaira 次元分類における未解決事例であった $\overline{\mathcal{M}}_{22}$ および $\overline{\mathcal{M}}_{23}$ の Kodaira 次元を解明すること。
• 有効な除集合を、$\overline{\mathcal{M}}_{22}$ および $\overline{\mathcal{M}}_{23}$ 上で傾きが小さいものとして構成し、それらが一般型であることを証明すること。
• 線形系列の二次関係を満たす高次元部分集合から生じる仮想的除集合類を、高次元の局所的構造へと一般化し、交差理論および横断性の課題を克服すること。
• 鎖状のループ上で線形系列および二次関数の独立性を解析するための新しいトロピカル技法を開発し、仮想的クラスの有効性を証明すること。
• 仮想的退化局所的クラスの押し出し像が有効であり、かつ傾きが $\frac{13}{2}$ より小さいことを確認し、一般型の立場を裏付けること。

提案手法

• 線形束 $L \in W^6_{g+3}(X)$ に対して、積分写像 $\phi_L: \mathrm{Sym}^2 H^0(X,L) \to H^0(X,L^{\otimes 2})$ の退化局所的クラスを用いて仮想的除集合類を構成する。
• ペア $[X,L]$ の空間における退化局所の期待される余次元 $g - 20$ を用い、$\overline{\mathcal{M}}_g$ 上で余次元 1 の像を予測する。
• トロピカル幾何学を用いて、鎖状のループ上の線形系列を研究し、傾き列および許容関数を用いて二次関数の独立性を検証する。
• ループおよびブリッジに許容関数を割り当てるためのテンプレートアルゴリズムを考案し、$\mathcal{B} = \{\varphi_{i,j} \mid 0 \leq i \leq j \leq 6\}$ の 28 個の基底関数すべてをカバーする。
• 退化局所 $Z$ がその像上へ一般に有限であることを証明し、仮想的クラスが有効除集合へ押し出されることを示す。
• $h^0(X,L) = 7$, $h^1(X,L) = 3$, および $\dim \mathrm{Sym}^2 H^0(X,L) = 28$ を用いて、期待される余次元および仮想的除集合の傾きを計算する。

実験結果

リサーチクエスチョン

• RQ1 モジュライ空間 $\overline{\mathcal{M}}_{22}$ および $\overline{\mathcal{M}}_{23}$ は一般型であるか。これは、$\overline{\mathcal{M}}_g$ の Kodaira 次元分類における長年の未解決事例を解消する。
• RQ2 線形系列空間内の高次元部分集合から生じる仮想的除集合類が、$\overline{\mathcal{M}}_g$ 上で有効であることが示せるか。
• RQ3 トロピカル手法を用いて、6 階の特別な線形系列を持つ曲線における線形系列の二次関数の独立性を検証できるか。
• RQ4 $g = 22$ および $g = 23$ に対して、積分写像 $\phi_L$ の退化局所から構成された仮想的除集合クラスの傾きは何か。
• RQ5 仮想的退化局所クラスの押し出し像が、$\frac{13}{2}$ より小さい傾きの有効除集合を定めるか。これにより、一般型の立場が確認される。

主な発見

• モジュライ空間 $\overline{\mathcal{M}}_{22}$ および $\overline{\mathcal{M}}_{23}$ は一般型である。これは、$\overline{\mathcal{M}}_g$ の Kodaira 次元分類における長年の未解決事例を解消した。
• 積分写像 $\phi_L$ の退化局所に関連する仮想的除集合クラスの傾きは、canonical divisor の傾き $\frac{13}{2}$ より小さい。これにより、一般型の立場が裏付けられた。
• 28 個の基底関数を含む二次関数空間における独立性を証明する、革新的なトロピカルアルゴリズムを用いて、仮想的クラスが有効であることが示された。
• 本研究は、Slope 猜定に対する以前の反例を一般化し、$g = 22$ および $g = 23$ まで、傾きが小さい除集合の系列を拡張した。
• 交差理論および横断性の課題を、トロピカル的手法を用いて克服した。具体的には、退化局所が $\overline{\mathcal{M}}_g$ 上の像へ一般に有限に写像されることを証明した。
• 次数 $g+3$ の $\mathbb{P}^6$ への写像で、その像が二次曲面に含まれるような曲線の集合が、$\overline{\mathcal{M}}_{22}$ および $\overline{\mathcal{M}}_{23}$ 上に、傾きが小さい有効除集合を定めることが証明された。