[論文レビュー] Bounding Picard numbers of surfaces using p-adic cohomology

Timothy G. Abbott, Kiran S. Kedlaya+1 more|ArXiv.org|Jan 20, 2006

Algebraic Geometry and Number Theory参考文献 36被引用数 29

ひとこと要約

本稿では、$p$-進コホモロジーを用いて、有限体上の滑らかで射影的な曲面の算術的・幾何的ピカード数を、コホモロジー上のフロベニウス作用の低 $p$-進精度近似によって境界づける計算手法を提示する。主な貢献は、Magma に実装された有効なアルゴリズムであり、$\mathbb{F}_2$ および $\mathbb{F}_3$ 上にピカード数 1 の滑らかな四次曲面が存在することを証明し、$\mathbb{F}_2$ 上に幾何的ピカード数 1 の滑らかな五次曲面が存在することを示している。この手法は符号理論への応用を示している。

ABSTRACT

Motivated by an application to LDPC (low density parity check) algebraic geometry codes described by Voloch and Zarzar, we describe a computational procedure for establishing an upper bound on the arithmetic or geometric Picard number of a smooth projective surface over a finite field, by computing the Frobenius action on p-adic cohomology to a small degree of p-adic accuracy. We have implemented this procedure in Magma; using this implementation, we exhibit several examples, such as smooth quartics over F_2 and F_3 with arithmetic Picard number 1, and a smooth quintic over F_2 with geometric Picard number 1. We also produce some examples of smooth quartics with geometric Picard number 2, which by a construction of van Luijk also have trivial geometric automorphism group.

研究の動機と目的

• 有限体上の代数的曲面のピカード数を有効に境界づける実用的な計算手法を開発すること。
• $p$-進コホモロジーの技術を用いて代数幾何学および符号理論における未解決問題に取り組むこと。
• 限定的な $p$-進精度で $p$-進コホモロジー上のフロベニウス作用を計算するアルゴリズムを実装し、ピカード数の境界を導出すること。
• 小規模な有限体、特に $\mathbb{F}_2$ および $\mathbb{F}_3$ 上で最小ピカード数（1）の曲面の明示的例を生成すること。
• ボローチとザルザーの研究に触発されて、LDPC 構造を持つ代数幾何符号を構成するためのこの手法の有効性を示すこと。

提案手法

• フロベニウス作用が $p$-進コホモロジーに与える影響を用いて、フロベニウス行列の低精度近似における線形代数的手法によりピカード数を境界づける。
• $p$-進コホモロジーとグリフィスの超曲面コホモロジーの記述に依存し、$p^k$ を法としてフロベニウス行列を計算する（$k$ は小さい）。
• 最終的な精度 $p^2$ を得るためには初期精度 $p^4$ が必要であり、中間段階では de Rham コホモロジー設定におけるフロベニウス作用素のリフトを含む。
• 中間コホモロジーの構造を活用した Magma 実装により、滑らかな超曲面の中間コホモロジーの計算が行われる。
• 全計算の前段階として、初期精度を低く（例：$p^3$ または $p^6$）設定し、候補をスクリーニングする。
• ピカード数はネロン＝セバール群のランクによって境界づけられることに着目し、フロベニウス行列のトレースと固有値が制約を受けることを利用している。

実験結果

リサーチクエスチョン

• RQ1 有限体上の滑らかな射影的曲面のピカード数は、低精度の $p$-進コホモロジー計算のみを用いて有効に境界づけられるか？
• RQ2 $\mathbb{F}_2$ および $\mathbb{F}_3$ 上にピカード数 1 の滑らかな曲面の明示的例は何か？ そしてそれらはどのようにアルゴリズム的に構成できるか？
• RQ3 $p$-進コホモロジー上のフロベニウス作用は、曲面の幾何的・算術的ピカード数にどのように制約を加えるか？
• RQ4 この手法を用いて LDPC 構造と制御された最小距離を持つ代数幾何符号を構成できるか？
• RQ5 五次曲面（例：$\mathbb{F}_2$ 上の五次曲面）のような高次元の曲面に対して、十分な $p$-進精度を達成する計算的実行可能性はいかがなものか？

主な発見

• $\mathbb{F}_2$ 上の滑らかな四次曲面について、$2^4$ を法とするフロベニウス行列の計算により算術的ピカード数が 1 であることが計算された。この計算には 7182 CPU 秒および 472 MB のメモリを要した。
• $\mathbb{F}_3$ 上の滑らかな四次曲面について、初期精度 $3^4$ を用い、$3^2$ を法とする計算により算術的ピカード数が 1 であることが確認された。
• $\mathbb{F}_2$ 上の滑らかな五次曲面について、$2^3$ を法とする計算と初期精度 $2^{12}$ を用い、幾何的ピカード数が 1 であることが示された。計算には 22685 CPU 秒および 179 MB のメモリを要した。
• この手法により、$p=7,11,13,17,19$ の場合について、幾何的ピカード数が 1 である滑らかな四次曲面が明示的に得られた。さらに $p=23,29$ の場合についても条件を満たすと予想されるが、未検証のままである。
• アルゴリズムは Magma に実装され、分母に高次の 2 のべきが含まれる $p=2$ の場合の課題にもかかわらず、精密さの管理を慎重に行うことで有効に機能することが示された。
• 結果として、低精度のフロベニウスデータのみを用いてもピカード数を境界づけることができ、その境界が最小ピカード数を持つ曲面の同定に十分であることが確認され、符号理論への応用を支持する。