[論文レビュー] Counting points on curves over families in polynomial time

Jonathan Pila|ArXiv.org|Apr 28, 2005

Coding theory and cryptography参考文献 9被引用数 8

ひとこと要約

この論文は、固定された曲線族に属する曲線の有限体上での有理点を数える決定的多項式時間アルゴリズムを提示する。同定は、ヤコビアン多様体と、Schoofのアルゴリズムの一般化を用いたフロベニウス自己準同型の計算に依存する。主な貢献は、双曲的曲線や特異点が制御された平面曲線を含む、幾何学的および算術的不変量が一様な曲線族に適用可能な一様的かつ効率的な手法の確立である。

ABSTRACT

This note concerns the theoretical algorithmic problem of counting rational points on curves over finite fields. It explicates how the algorithmic scheme introduced by Schoof and generalized by the author yields an algorithm whose running time is uniformly polynomial time for curves in families.

研究の動機と目的

• 固定された次数、 genus、埋め込みを有する曲線族全体にわたって、有限体上での曲線の有理点数え上げの均一的かつ効率的なアルゴリズムの開発。
• アーベル多様体とその群法則を用いて、Schoofの楕円曲線点数え上げアルゴリズムを高 genus 曲線へ拡張すること。
• アルゴリズムが、体のサイズの対数に対して多項式時間で実行されることを保証し、次数が族にのみ依存するようにすること。
• 判別式条件と普遍ヤコビアン構成を用いて特異点と特殊化を処理すること。
• 平面曲線および双曲的曲線を含む、族全体にわたる均一な点数え上げの理論的基盤を提供すること。

提案手法

• 定理Aを適用して、曲線のヤコビアンにおけるフロベニウス自己準同型の特性多項式を、明示的な射影的および群法則の記述に基づき多項式時間で計算する。
• Chowの構成とその還元との整合性を用いて、Q 上の曲線のヤコビアンおよび素数を法とする還元を得る。
• 係数がパラメータ環 Z[a₁,…,aₘ][X₀,…,Xₙ] に属する形で曲線の表現を構成し、一般には絶対的既約かつ非特異的であることを保証する。
• 曲線が特異的になるか、超平面が適切に交差しなくなるような特殊化を検出するために、判別式 Δ(C) と Δ(C,D) を定義する。
• Igusa および Grothendieck の特殊化に関する結果を用いて、体の特殊化下でもヤコビアン構造が保たれることを保証する。
• 特異点を補正するために、0次元スキーム上の点数えを行い、これは多項式時間で行える。

実験結果

リサーチクエスチョン

• RQ1 固定された幾何的不変量を有する曲線族全体にわたって、有限体上での曲線の点数え上げを均一に行うことは可能か？
• RQ2 アーベル多様体とその群法則を用いて、Schoofのアルゴリズムを高 genus 曲線へ一般化することは可能か？
• RQ3 曲線のヤコビアン多様体を、素数を法とする還元と整合性を持つように明示的に構成することは可能か？
• RQ4 判別式は、曲線または除数構造が劣化する「悪い」特殊化を検出する上でどのような役割を果たすか？
• RQ5 特異点が制御された曲線（例えば通常の二重点を含む）を含む族へ、アルゴリズムを拡張することは可能か？

主な発見

• アルゴリズムは、B₁(log q)^B₂ で抑えられる時間で、F_q 上の曲線の有理点数を計算する。ここで B₁ と B₂ は、族の埋め込み次元、定義方程式の数、および次数にのみ依存する。
• genus g の双曲的曲線に対して、アルゴリズムは log q に関して多項式時間で実行され、多項式の次数は genus と曲線族に依存する。
• 判別式が 0 でない限り、特異点を有限個持つ平面曲線族に対しても、この手法は一様に適用可能である。
• Chowの構成と特殊化を用いて、ヤコビアンおよびその群法則の明示的構成がなされ、還元全体にわたって整合性が保たれる。
• 特異点は、0次元スキーム上の点数えを用いて補正され、これは多項式時間で計算可能である。
• この結果は、モジュライ的族の曲線やアーベル多様体への拡張を含め、族全体にわたる均一な点数え上げの理論的基盤を提供する。