[論文レビュー] Computer aided Unirationality Proofs of Moduli Spaces

Frank–Olaf Schreyer|arXiv (Cornell University)|Sep 21, 2011

Algebraic Geometry and Number Theory参考文献 24被引用数 8

ひとこと要約

本稿では、有限体上のランダムなノードを持つ平面曲線を構成することにより、Macaulay2を用いたコンピュータ支援的手法を提示し、種数 g=10, 12, 14 の曲線のモジュライ空間の非有理的性を実験的に検証する。グレブナー基底計算における係数の爆発を回避するために有限体の算術を活用することで、確率的に生成された族がモジュライ空間を支配することを確認する。半連続性の議論を用いることで有効な因子の検出が可能となり、小規模な種数におけるシンジーギー予想の検証が可能となる。

ABSTRACT

We illustrate the use of the computer algebra system Macaulay2 for simplifications of classical unirationality proofs. We explicitly treat the moduli spaces of curves of genus g=10, 12 and 14.

研究の動機と目的

• 有限体上の実験的手法を用いて、曲線のモジュライ空間の非有理的性を検証する計算フレームワークの構築を目的とする。
• 一般パラメータの代わりに有限体上のランダム要素を用いることで、明示的な支配族を構築する理論的課題を克服することを目的とする。
• 有限体上でのランダム選択が誘導する確率測度を用いて、モジュライ空間の実験的調査を可能とすることを目的とする。
• 有限体上での半連続性およびグレブナー基底計算を用いて、モジュライ空間上の有効因子の検出を行うことを目的とする。
• 有限体上での曲線および因子の構築を通じて、種数 g=7 および g=10 における Farkas のシンジーギー予想を計算的に検証することを目的とする。

提案手法

• Macaulay2 のコンピュータ代数システムを用いて、有限体上での指定された種数および次数のランダムなノードを持つ平面曲線を構築するためのアルゴリズムを実装する。
• ブライト・ノイザー数 ρ(g,2,d) ≥ 0 となる最小の次数 d を計算し、δ = (d−1 choose 2) − g 個のノードを持つ平面モデルの存在を保証する。
• ランダムなイデアルまたはヒルベルト・バーチ行列を用いて、有限体 FF = Z/pZ 上の P² 内で δ 個の異なる点を生成し、特異点集合を定義する。
• δ 個の点で2階の消失を示すランダムな切断を選び、H⁰(P², I²_Δ(d)) 内にランダムな曲線を構築し、絶対的既約性および δ 個のノード特異点であることを証明する。
• 有限体上でのランダムな線形切断を用いて、曲線上の有理点を特定し、所定の次数の有効因子の構築を可能にする。
• 半連続性および p を法とする還元を用いて、数体上での性質を推論し、例えば種数 7 および 10 における Farkas のシンジーギー予想の妥当性を示す。

実験結果

リサーチクエスチョン

• RQ1 有限体上でのランダムな構成は、曲線のモジュライ空間の非有理的性の実験的検証に用いることができるか？
• RQ2 グレブナー基底計算において有限体を用いることで、族がモジュライ空間を支配することの効果的かつ係数安定な検証が可能になるか？
• RQ3 有限体上での半連続性の議論を用いて、曲線のモジュライ空間上の因子の有効性を推論できるか？
• RQ4 有限体上での曲線のランダムな有理点を用いて、完全線形系列およびシンジーギー性質の構築と検証をどの程度まで行えるか？
• RQ5 Macaulay2 を用いた有限体上での実験的手法により、種数 g=7 および g=10 における Farkas のシンジーギー予想に裏付けられる証拠が得られるか？

主な発見

• 種数 g=10 の場合、最小次数 d=9 および δ=18 個のノードを用い、FF=Z/10007Z 上でランダムなノードを持つ平面曲線を構築し、絶対的既約性およびノード特異点であることが正常に証明された。
• 有限体上での種数 7 の曲線に対してランダムな有効因子を次数 14 で構築したことで、g⁷₁₄ の存在が確認され、Farkas の予想のこのケースに対する支持が得られた。
• 種数 7 の曲線の canonical 挿入におけるグレード付きベッチ表の計算により、ベッチ数 (1,14,28,56,70,36,7) を持つ純粋な分解が得られ、N₂ 性質が確認された。
• 再埋め込みされた曲線のイデアルが次数 14、次元 2、幾何学的種数 7 を持つことが確認され、期待される canonical モデルと整合的であった。
• 線形切断によるランダム有理点の探索を用いることで、すべての点が有限体上に定義された因子の構築が可能となり、有効なシンジーギー計算が可能となった。
• 数体上での計算を法 p で還元することで、Farkas のシンジーギー予想が、特性 0 の体上での種数 7 および次数 14 の曲線に対して成立することが示された。