[論文レビュー] Limit linear series and ranks of multiplication maps

Fu Liu, Brian Osserman+2 more|arXiv (Cornell University)|Jan 23, 2017

Algebraic Geometry and Number Theory参考文献 12被引用数 5

ひとこと要約

この論文は、楕円曲線の鎖に退化させることで、曲線上の線型系列の積写像のランクを研究するための新しい技法を開発する。極大ランク予想の新しいケースを証明し、特に $ m=2 $ および $ m=3 $ について、特定の genus 範囲を満たす場合に適用可能であり、方向の制限なしに二次式の場合の新たな証明を提供する。これにより、曲線のモジュライ空間における失敗集合に関する新たな幾何的情報を得る。

ABSTRACT

We develop a new technique for studying ranks of multiplication maps for linear series via limit linear series and degenerations to chains of genus-1 curves. We use this approach to prove a purely elementary criterion for proving cases of the Maximal Rank Conjecture, and then apply the criterion to several ranges of cases, giving a new proof of the case of quadrics, and also treating several families in the case of cubics. Our proofs do not require restrictions on direction of approach, so we recover new information on the locus in the moduli space of curves on which the maximal rank condition fails.

研究の動機と目的

• 退化を用いて楕円曲線の鎖に曲線を退化させることで、射影埋め込みに依存しない、曲線のみの問題に翻訳する、線型系列における積写像のランクを研究するための新手法を開発すること。
• 特定の genus およびランクの条件下で、特に $ m=2 $ および $ m=3 $ の場合に、極大ランク予想の新しいケースを証明すること。
• 方向の制限なしに、二次式の場合（$ m=2 $）の極大ランク予想に対する新たな証明を提供すること。
• 極大ランク条件が失敗する、曲線のモジュライ空間における集合に関する、新たな幾何的情報を回復すること。
• 極限線型系列技法の適用範囲を、単射性の研究から、積写像の像の大きさ（全射性）の研究へと拡張すること。

提案手法

• 曲線を楕円曲線の鎖に退化させることで、問題を射影埋め込みに依存しない曲線固有の問題に翻訳する。
• Eisenbud と Harris の基本的滑らか化定理を用いて、特異曲線からの結果を滑らかな曲線に持ち上げる。
• 特に Osserman (2006, 2014) の代替的アプローチを用いた、極限線型系列の理論を、退化曲線上の線型系列の分析に適用する。
• セクションのサポートパターンに関する組合せ的議論を用いて、楕円曲線の鎖上のセクションの独立性を示す初等的基準を開発する。
• 補題（例：補題 4.2 および 補題 4.3）を用いて、セクションのサポート行列の行を体系的に削除し、独立性を証明する。
• 特定の $ (g,r,d) $ および $ m $ の配置にこの基準を適用し、積写像の像が可能な限り大きいかどうかを検証する。

実験結果

リサーチクエスチョン

• RQ1 方向の制限なしに、退化技法を用いて $ m=2 $ および $ m=3 $ の極大ランク予想を証明できるか。
• RQ2 $ m=3 $ および $ r=3,4,5 $ の場合に、極大ランク予想が成り立つ最小の genus $ g $ は何か。
• RQ3 極大ランク条件の失敗集合が、楕円曲線の鎖の幾何にどのように関係するか。
• RQ4 極限線型系列を用いて、積写像 $ \operatorname{Sym}^m V \to \Gamma(X, \mathcal{L}^{igotimes m}) $ の像が十分に大きいことを示せるか。
• RQ5 $ m=3 $ および $ r=5 $ で $ g \geq 26 $ の場合に極大ランク予想を証明可能か。また、これはモジュライ空間にどのような含意をもたらすか。

主な発見

• 極大ランク予想は、$ r \geq 3 $、$ r+g > d $、および $ \rho \geq 0 $ の条件下で $ m=2 $ に対して成り立つ。
• $ m=3 $ の場合、$ r=3 $ かつ $ g \geq 7 $、$ r=4 $ かつ $ g \geq 16 $、または $ r=5 $ かつ $ g \geq 26 $ のとき、予想は成り立つ。
• $ \overline{\mathcal{M}}_g $ の、genus 1 の曲線の鎖からなる集合は、上記の状況における極大ランク条件の失敗集合の閉包に属さない。
• この手法により、方向の制限なしに $ m=2 $ の場合の新たな証明が得られ、失敗集合に関する新たな情報を得る。
• 楕円曲線の鎖上のセクションの独立性を示す基準を確立し、積写像の像の大きさを体系的に検証可能にする。
• 結果は任意の特徴が 0 の体上で有効であり、この手法は強化された極大ランク予想および任意の線型系列へと拡張可能である。