[論文レビュー] The strong maximal rank conjecture and moduli spaces of curves

Fu Liu, Brian Osserman+2 more|arXiv (Cornell University)|Aug 3, 2018

Algebraic Geometry and Number Theory参考文献 9被引用数 6

ひとこと要約

この論文は、楕円曲線の鎖への退化と連結線形系列技術を用いた極限線形系列の分析により、22と23の種数についてAprodu-Farkasの強い最大ランク予想の2つの場合を証明する。主な結果は、それぞれのモジュライ空間 ℳ₂₂ および ℳ₂₃ における被覆的領域 𝒟₂₂ と 𝒟₂₃ が真部分集合であることであり、これらモジュライ空間が一般型であることを示す上で重要な一歩を確認する。

ABSTRACT

Building on recent work of the authors, we use degenerations to chains of elliptic curves to prove two cases of the Aprodu-Farkas strong maximal rank conjecture, in genus $22$ and $23$. This constitutes a major step forward in Farkas' program to prove that the moduli spaces of curves of genus $22$ and $23$ are of general type. Our techniques involve a combination of the Eisenbud-Harris theory of limit linear series, and the notion of linked linear series developed by the second author.

研究の動機と目的

• ℳ₂₂ および ℳ₂₃ が一般型であることを示すFarkasのプログラムにおける重要な一歩として、種数22および23における強い最大ランク予想を確立すること。
• 画像が二次曲面上にある 𝔤⁶_{25} もしくは 𝔤⁶_{26} を持つ曲線からなる領域 𝒟₂₂ および 𝒟₂₃ が、それぞれ ℳ₂₂ および ℳ₂₃ の真部分集合であることを示すこと。
• Eisenbud-Harrisの極限線形系列理論および連結線形系列技術を、特異曲線に拡張し、積分写像の非退化性を証明すること。
• Farkasのプログラムにおける期待される有効的除集合が実際に有効的であることを検証するため、多重次数における特定の切断の非消滅を証明すること。

提案手法

• 極限線形系列の挙動と線形系の特殊化における挙動を分析するため、種数1の曲線の鎖への退化を用いる。
• Eisenbud-Harrisの極限線形系列理論を応用し、退化極限における切断の多重次数および台の制御を行う。
• Ossermanが開発した連結線形系列技術を用いて、極限における切断の独立性を分析する。
• 潜在的に現れる切断が多重次数 md(w) において線形独立となるような多重次数 w を構成し、積分写像の非退化性を保証する。
• 極限線形系列における0、1、2回の入れ替えを含む場合を分析し、切断の台と多重次数の制約に対する組合せ的制御を用いる。
• 各チェーン成分を渡る成分の台を追跡し、切断のテンソル積の明示的計算を通じて独立性基準を検証する。

実験結果

リサーチクエスチョン

• RQ1 種数22および23において、強いつよめの最大ランク予想は成り立つか。具体的には、関連する積分写像が単射でない 𝔤⁶_{25} もしくは 𝔤⁶_{26} の存在が保証されるか。
• RQ2 領域 𝒟₂₂ ⊊ ℳ₂₂ であるか。つまり、すべての種数22の曲線が、画像が二次曲面上にある 𝔤⁶_{25} を持つわけではないか。
• RQ3 領域 𝒟₂₃ ⊊ ℳ₂₃ であるか。これにより、Farkasのプログラムにおける期待される除集合が、種数23において実際に有効的であることが保証される。
• RQ4 楕円曲線の鎖への退化法を用いて、これらのケースにおける対称平方積分写像の非退化性を証明できるか。
• RQ5 極限における多重次数および切断の台の条件が、種数22または23の一般曲線に対して積分写像が単射のままであることを保証するか。

主な発見

• 領域 𝒟₂₂ は ℳ₂₂ の真部分集合であり、一般の種数22の曲線は、画像が二次曲面上にある 𝔤⁶_{25} を持たない。
• 領域 𝒟₂₃ は ℳ₂₃ の真部分集合であり、一般の種数23の曲線は、画像が二次曲面上にある 𝔤⁶_{26} を持たない。
• 𝒟₂₂ の閉包は、種数1の曲線の鎖の領域を含まない。これは、退化設定における重要な非退化性条件を確認するものである。
• 種数22および23において、強い最大ランク予想は成立する。一般の曲線および一般の 𝔤⁶_d に対して、積分写像 Sym²V → Γ(X,ℒ⊗²) は単射である。
• 証明は特徴0においてそのまま適用可能であり、特徴 p ≥ 29 にまで拡張可能であるが、幾何的応用は特徴0に限定される。
• 特に、切断の台の制御と多重次数の独立性を用いる技術は、他の ρ = 2 の場合へ一般化可能であり、より広範な応用への道筋を示唆する。