[論文レビュー] A practical algorithm to compute the geometric Picard lattice of K3 surfaces of degree $2$

Dino Festi|arXiv (Cornell University)|Aug 1, 2018

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

ひとこと要約

本稿では、数体またはQ上の関数体上の2次K3表面の幾何的ピカード格子を計算する実用的なアルゴリズムを提示する。4段階のプロセス（ピカードランクの上界計算、明示的除釈の計算、格子の生成、mod-pガロア表現による検証）を用いる。アルゴリズムは終了しない可能性があるが、終了する場合、正しい完全なピカード格子を返す。途中で停止した場合でも、出力は幾何的・算術的応用に有用な、正当に保証された部分格子のままとなる。

ABSTRACT

Let $k$ be either a number a field or a function field over $\mathbb{Q}$ with finitely many variables. We present a practical algorithm to compute the geometric Picard lattice of a K3 surface over $k$ of degree $2$, i.e., a double cover of the projective plane over $k$ ramified above a smooth sextic curve. The algorithm might not terminate, but if it terminates then it returns a proven correct answer.

研究の動機と目的

• 数体またはQ上の関数体上の2次K3表面の幾何的ピカード格子を計算する、実装可能で実用的なアルゴリズムの開発を目的とする。
• 実際の応用やコンピュータ代数システムに実装された既存のアルゴリズムが不足している問題に対処すること。
• 早期に停止された場合でも、幾何的ピカード格子の正当に保証された部分格子が得られる方法を提供すること。例えば、楕円曲線のファイブレーションの検出や有理点の稠密性の解析に応用可能である。
• −2曲線や超平面切断のみで生成されない場合に対応するため、自己同型群およびガロア群作用を組み込むこと。

提案手法

• ステップI：van Luijkの方法またはその改良を用いて、幾何的ピカードランクρ(X̄)の上界τを計算する。
• ステップII：特に有理曲線（−2曲線）および超平面切断を含む、表面上の明示的代数的曲線（除釈）を探索する。
• ステップIII：ステップIIで得られた除釈の類の生成する部分格子Λ ⊆ Pic(X̄)を生成する。
• ステップIV：命題7.7を用いて、mod-pガロア表現および群作用によりΛ = Pic(X̄)であるかを検証する。Λ_pの要素がι_pの核に属するかを確認する。
• ガロア群Gal(K/k)および自己同型群Gの作用を用いて、Λ_p内の軌道を分析し、非自明な核要素を除外する。
• 実際の実装では時間制限を適用する：アルゴリズムが早期に停止された場合でも、Λは警告とともに部分格子として返され、それが完全でない可能性は示唆されるが、部分的応用には有効である。

実験結果

リサーチクエスチョン

• RQ1 数体またはQ上の関数体上の2次K3表面の幾何的ピカード格子を計算する実用的アルゴリズムを構築できるか？
• RQ2 アルゴリズムが停止しない条件は何か？ また、計算された部分格子が完全なピカード格子であることを証明する際の主な障害は何か？
• RQ3 アルゴリズムが強制的に早期に停止された場合でも、有用な結果を得られるか？ また、部分出力の正しさについてどのような保証が与えられるか？
• RQ4 ピカード格子が−2曲線と超平面切断によって生成できる範囲はどの程度か？ これが成立しない場合にどのような意味があるか？
• RQ5 mod-pガロア表現および群作用を用いて、候補となるピカード格子の完全性をどのように検証できるか？

主な発見

• 本アルゴリズムは実用的であり、すでに実際の応用で成功裏に使用されており、引用文献[1]にて言及されている。
• アルゴリズムが停止しなくても、出力される部分格子Λは幾何的ピカード格子Pic(X̄)に正当に含まれるため、楕円曲線のファイブレーションの検出や有理点の稠密性の可能性の解析といった応用に有効である。
• 上界τが鋭くない（τ > ρ(X̄)）ことが原因で、アルゴリズムが停止しないことがある。これは、より多くの除釈を探索し続ける無限ループを引き起こす。
• 幾何的ピカード格子が−2曲線と超平面切断のみで生成されない場合、そのような曲線の探索が停止しない可能性があるため、アルゴリズムが失敗するおそれがある。
• Λ = Pic(X̄)であっても、G や Gal(K/k) における軌道が十分に大きくないために、検証ステップ（ステップIV）がこの事実を検出できず、無限ループに陥る可能性がある。
• アルゴリズムが途中で停止された場合でも、出力は正当な部分格子のままであり、ユーザーにはそれが完全でない可能性があると警告されるが、部分的な算術的・幾何的解析には引き続き利用可能である。