[论文解读] 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 的曲线，其有理点数与 Serre-Weil 界的差距不超过 3 —— 无论最大值还是最小值，总处于此范围内。证明使用了 Serre 的厄米模理论与阿贝尔簇上的极化粘合技术，对同源类型进行分类，并通过 Torelli 定理与 zeta 函数分析确立此类曲线的存在性。

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$ 上，亏格 3 曲线的有理点数的最大值或最小值是否始终在 Serre-Weil 界的 3 范围内。
• 将 Serre 早期关于亏格 2 曲线的结果推广至亏格 3，解决算术几何中长期存在的开放问题。
• 通过厄米模理论分析雅加比同源类型，建立实现接近 Weil 与 Serre-Weil 界点数的曲线的存在性。
• 解决由亏格 3 曲线雅加比上弗罗贝尼乌斯作用的特征多项式判别式引发的丢番图条件。
• 利用 Torelli 定理与极化约束，对具有极值点数的亏格 3 曲线的 zeta 函数进行完整分类。

提出的方法

• 利用 Serre 的厄米模理论，建立与一个普通椭圆曲线乘积同源的阿贝尔簇与由弗罗贝尼乌斯自同态生成的环上无挠模之间的等价关系。
• 将阿贝尔簇上的极化转化为模上的厄米形式，通过模论不变量对极化同源类型进行分类。
• 应用不同同源类型阿贝尔簇上极化粘合的理论，判断某一极化是否可实现在雅加比上。
• 通过 zeta 函数分析弗罗贝尼乌斯的特征多项式，列出具有极值点数的亏格 3 曲线雅加比的可能同源类型。
• 运用 Tate 定理将阿贝尔簇的同源类与弗罗贝尼乌斯多项式联系起来，并利用 Torelli 定理确保每个此类雅加比均可由某条曲线实现。
• 将存在性问题约化为关于判别式 $d = m^2 - 4q$ 的丢番图条件，其中 $m = \lfloor 2\sqrt{q} \rfloor$，并根据 $q = x^2 + x + a$ 中 $a$ 的符号与取值分情况分析。

实验结果

研究问题

• RQ1 对于哪些有限域 $\mathbb{F}_q$，存在一条亏格 3 曲线，其有理点数在 Serre-Weil 上界或下界的 3 范围内？
• RQ2 能否使用模论技术在所有 $q = p^e$ 上统一证明此类曲线的存在性？
• RQ3 在判别式 $d = m^2 - 4q$ 的何种条件下，相关环上存在不可约厄米形式？这与极值曲线的存在性有何关联？
• RQ4 在不同同源类型的阿贝尔簇上，极化粘合在何种情况下可行，何种情况下失败？失败时是否导致更紧的上界？
• RQ5 亏格 3 曲线的 zeta 函数在多大程度上能限制可能的有理点数？这与 Serre-Weil 界有何关系？

主要发现

• 对每个有限域 $\mathbb{F}_q$，均存在一条亏格 3 曲线，其有理点数与 Serre-Weil 上界或下界的差距不超过 3。
• 无论 $q$ 取值如何，亏格 3 曲线的实际最大（或最小）有理点数与 Serre-Weil 界的差距始终不超过 3。
• 对某些 $q$ 值，本文获得了对 Serre-Weil 上界的改进，即最大有理点数严格小于 $q+1 + gm$。
• 此类曲线的存在性通过分析与普通椭圆曲线弗罗贝尼乌斯自同态相关环上的厄米形式分类得以确立。
• 证明依赖于不同同源类型阿贝尔簇上极化的粘合；此类粘合的失败导致对 $N_q(3)$ 的更紧上界。
• 分析约化为在分解 $q = x^2 + x + a$（其中 $-x \leq a \leq x$）中 $a$ 与 $x$ 的丢番图条件，以及判别式 $d = m^2 - 4q$。