[論文レビュー] Geometric methods for improving the upper bounds on the number of rational points on algebraic curves over finite fields

Kristin Lauter, Serre, Jean-Pierre|ArXiv.org|Apr 25, 2001

Coding theory and cryptography参考文献 7被引用数 51

ひとこと要約

本稿は、有限体上の代数曲線の有理点の数に対する上界を改善するために、ガロア降下、ホンダ＝ターティー理論、およびシータ divisor の分解不能性という3つの幾何的技法を導入する。具体的な改善が得られ、$\mathbb{F}_{2^3}, \mathbb{F}_{2^5}, \mathbb{F}_{2^{13}}, \mathbb{F}_{3^3}, \mathbb{F}_{3^5}, \mathbb{F}_{5^3}, \mathbb{F}_{5^7}$ において小規模な genus に対して上界を2つ低下させ、$\mathbb{F}_{2^{2s}}$（$s>1$）においては1つ低下させた。また、$q=3,8,9$ において大規模な genus の場合に孤立した改善が得られた。これらの結果は、従来の構成法が明示的公式の上界に到達できなかった理由を説明し、幾何的技法を統合することでさらなる改善が可能である可能性を示唆している。

ABSTRACT

Currently, the best upper bounds on the number of rational points on an absolutely irreducible, smooth, projective algebraic curve of genus g defined over a finite field F_q come either from Serre's refinement of the Weil bound if the genus is small compared to q, or from Oesterle's optimization of the explicit formulae method if the genus is large. This paper presents three methods for improving these bounds. The arguments used are the indecomposability of the theta divisor of a curve, Galois descent, and Honda-Tate theory. Examples of improvements on the bounds include lowering them for a wide range of small genus when q=2^3, 2^5, 2^{13}, 3^3, 3^5, 5^3, 5^7, and when q=2^{2s}, s>1. For large genera, isolated improvements are obtained for q=3,8,9.

研究の動機と目的

• 有限体上の曲線の有理点の数に対する既存の上界を、幾何的技法によって精緻化すること。
• 明示的公式の上界と実現可能な曲線構成との間の継続的な隔たりに対処すること、特に明示的公式の上界に到達できない多くの場合に焦点を当てる。
• 過去に明示的公式の上界に到達しようとした試みが多くの場合に失敗した理由を、ジャコビアンにおける幾何的障害として説明すること。
• セールの精緻化されたホイールの上界とオイスターレの最適化を、ジャコビアンに内在するより深い算術的および幾何的制約を組み込むことで拡張すること。
• 高次の欠陥 $k$ を持つ場合の、可能な zeta 関数の完全なリストを生成し、極値曲線の体系的解析を可能にする。

提案手法

• 曲線が $\mathbb{F}_{q^r}$ 上に定義されている場合に、ガロア降下を用いて $\mathbb{F}_q$ 構造を構成し、フロベニウス自己準同型が $\pi\pi^\prime = q$ を満たすことを保証する。
• ホンダ＝ターティー理論を用いて、有限体上のアーベル多様体の同種類を分類し、特に有理自己準同型と極性を持つものに注目する。
• 曲線のジャコビアンのシータ divisor の分解不能性を用いて、特定の zeta 関数の型を除外し、候補となる曲線を排除する。
• フロベニウス自己準同型と極性の整合性を、$\pi^\prime = V$（$V$ はベールシーベング写像）という条件を用いて分析する。
• zeta 関数のパrameter化 $x_i = -(\alpha_i + \bar{\alpha}_i)$ を用いて、上界の制約を単位根および代数的整数の根に関する制約に翻訳する。
• セールが低次の欠陥 $k$ に対して提示した可能ないくつかの zeta 関数のリストを、多項式の因数分解および整数根に関するシーゲルの定理を用いて拡張する。

実験結果

リサーチクエスチョン

• RQ1 曲線のジャコビアンにおける幾何的制約、たとえばシータ divisor の分解不能性を用いて、特定の zeta 関数を除外し、有理点の数に対する上界を改善できるか。
• RQ2 ガロア降下をどの程度活用して、特定のフロベニウス自己準同型を持つ $\mathbb{F}_{q^r}$-曲線から $\mathbb{F}_q$-有理曲線を構成できるか。
• RQ3 ホンダ＝ターティー理論と極性の整合性条件は、最大の有理点数を持つ曲線の存在をどの程度制限するか。
• RQ4 多くの構成試みが明示的公式の上界に到達できない理由は、ジャコビアンの自己準同型代数や極性構造における幾何的障害に起因するのか。
• RQ5 高次の欠陥 $k$ を持つ曲線について、可能な zeta 関数の完全なリストは何か。また、それらは大規模な genus の場合に上界を改善するためにどのように利用できるか。

主な発見

• $q = 2^3, 2^5, 2^{13}, 3^3, 3^5, 5^3, 5^7$ の場合、本稿は小規模な genus の広い範囲で、有理点数の上界を2つ低下させた。
• $q = 2^{2s}$（$s > 1$）の場合、ホンダ＝ターティー理論と極性制約を用いて、特定の genus に対して上界を1つ低下させた。
• 本稿は、欠陥 $k \leq 6$ の場合の可能な zeta 関数の完全な分類を提供し、セールの初期の仕事の拡張として、極値曲線の体系的解析を可能にした。
• 多くの構成試みが明示的公式の上界に到達できなかった理由を、ジャコビアンの自己準同型代数と極性構造における幾何的障害として特定することで説明した。
• $q = 3, 8, 9$ の大規模な genus の場合に、孤立した改善が得られ、$k = 8$ の欠陥を持つ1つのケースが含まれており、本手法が小規模な genus を超えて有効であることを示した。
• J.-P. セールによる付録は、$\pi\pi^\prime = q$ の条件下でフロベニウス自己準同型の有理性が保証されることを確認し、ガロア降下の構成における重要な技術的ステップを正当化した。