[論文レビュー] The maximum or minimum number of rational points on curves of genus three over finite fields

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

Coding theory and cryptography参考文献 5被引用数 6

ひとこと要約

本稿では、すべての有限体 $\mathbb{F}_q$ に対して、その有理点の個数がセール＝ウェイユの上限または下限から3以内にある genus 3 曲線が存在することを証明している。証明は、セールのヘルミート加群理論とアーベル多様体上の極性の貼り合わせ理論を用い、自己同型型の分類とトーリの定理、ゼータ関数の解析を通じて、このような曲線の存在を確立する。

ABSTRACT

We show that for all finite fields F_q, there exists a curve C over F_q of genus 3 such that the number of rational points on C is within 3 of the Serre-Weil upper or lower bound. For some q, we also obtain improvements on the upper bound for the number of rational points on a genus 3 curve over F_q.

研究の動機と目的

• 有限体 $\mathbb{F}_q$ 上の genus 3 曲線の有理点の最大値または最小値が、常にセール＝ウェイユの上限または下限から3以内にあるかどうかを特定すること。
• セールが先行して得た genus 2 曲線に関する結果を genus 3 に拡張し、算術幾何学における長年の未解決問題を解決すること。
• ジェイコビアンの自己同型型をヘルミート加群理論を用いて分析することで、ウェイユおよびセール＝ウェイユの上限に近い点数を持つ曲線の存在を確立すること。
• genus 3 曲線のジェイコビアンに作用するフロベニウスの特徴多項式の判別式に由来するディオファントス的条件を解明すること。
• トーリの定理と極性の制約を用いて、極値の点数を持つ genus 3 曲線のゼータ関数を完全に分類すること。

提案手法

• セールのヘルミート加群理論を用い、フロベニウス自己準同型に由来する環上の、普通の楕円曲線の積に同種であるアーベル多様体と、捩れのない加群との間の同値関係を確立する。
• アーベル多様体上の極性を加群上のヘルミート形式に翻訳し、加群論的不変量を用いて極性付き自己同型型を分類する。
• 異なる自己同型型をもつアーベル多様体上の極性の貼り合わせ理論を適用し、極性がジェイコビアン上で実現可能かどうかを同定する。
• ゼータ関数を通じてフロベニウスの特徴多項式を分析し、極値の点数を持つ genus 3 曲線のジェイコビアンの可能な自己同型型を列挙する。
• タートの定理を用いてアーベル多様体の自己同型類とそのフロベニウス多項式を関連付け、トーリの定理を用いて各ジェイコビアンを実現する曲線の存在を保証する。
• 存在問題を、$d = m^2 - 4q$ におけるディオファントス的条件に還元し、$m = \lfloor 2\sqrt{q} \rfloor$ として、$a$ の符号と値に基づく場合分けで解析する。

実験結果

リサーチクエスチョン

• RQ1 どの有限体 $\mathbb{F}_q$ に対して、セール＝ウェイユの上限または下限から3以内の有理点の個数を持つ genus 3 曲線が存在するか？
• RQ2 モジュール論的技法を用いて、すべての $q = p^e$ に対して、このような曲線の存在が一様に確立可能か？
• RQ3 関連する環上での分解不能なヘルミート形式が存在する条件は何か？ そして、これは極値の曲線の存在とどのように関係するか？
• RQ4 異なる自己同型型をもつアーベル多様体上の極性の貼り合わせは、いつ可能で、いつ失敗するか？ その失敗は、上界の改善をもたらすか？
• RQ5 genus 3 曲線のゼータ関数は、有理点の個数の可能な値をどの程度制約するか？ そして、セール＝ウェイユの上限とはどのように関係するか？

主な発見

• すべての有限体 $\mathbb{F}_q$ に対して、その有理点の個数がセール＝ウェイユの上限または下限から3以内にある genus 3 曲線が存在する。
• 任意の $q$ に対して、実際の genus 3 曲線の有理点の最大値（または最小値）とセール＝ウェイユの上限（または下限）との差は、常に3以下である。
• 特定の $q$ の値に対して、本稿はセール＝ウェイユの上限を改善しており、最大有理点数が $q+1 + gm$ よりも厳密に小さいことを示している。
• このような曲線の存在は、普通の楕円曲線のフロベニウス自己準同型に由来する環上のヘルミート形式の分類を通じて確立される。
• 証明は、異なる自己同型型をもつアーベル多様体上の極性の貼り合わせに依存しており、その貼り合わせが失敗する場合、$N_q(3)$ のより緊密な上界が得られる。
• 解析は、$q = x^2 + x + a$ の分解における $a$ と $x$ に関するディオファントス的条件に還元され、$-x \leq a \leq x$ かつ判別式 $d = m^2 - 4q$ を満たす。