[论文解读] Counting points on curves over families in polynomial time

Jonathan Pila|ArXiv.org|Apr 28, 2005

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

一句话总结

本文提出了一种确定性多项式时间算法，用于在固定曲线族中对有限域上的代数曲线的有理点进行计数，该方法利用雅芬诺夫簇（Jacobian variety）和通过推广 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.

研究动机与目标

• 开发一种统一且高效的算法，用于在固定次数、亏格和嵌入方式的曲线族中，对有限域上曲线的有理点进行计数。
• 通过阿贝尔簇及其群法则，将 Schoof 的椭圆曲线点计数算法推广至高亏格曲线。
• 确保算法在相对于域大小对数的多项式时间内运行，且次数仅依赖于曲线族。
• 通过判别式条件与通用雅芬诺夫簇构造，处理奇点与特殊化情形。
• 为曲线族中统一的点计数提供理论基础，涵盖平面曲线与超椭圆曲线。

提出的方法

• 应用定理 A，基于显式的射影描述与群法则，以多项式时间计算雅芬诺夫簇上弗罗贝尼乌斯自同态的特征多项式。
• 使用 Chow 的构造及其与约化的一致性，获得定义在 ℚ 上的曲线的雅芬诺夫簇及其模素数的约化。
• 通过系数属于参数环 Z[a₁,…,aₘ][X₀,…,Xₙ] 的形式构造曲线表示，确保其在一般情形下绝对不可约且非奇异。
• 定义判别式 Δ(C) 与 Δ(C,D)，以检测曲线变为奇异或超平面未能正确定交的情形。
• 利用 Igusa 与 Grothendieck 关于雅芬诺夫簇特殊化的结果，确保在域特殊化下雅芬诺夫簇结构保持不变。
• 通过计数零维概形中的点来校正奇点，该操作可在多项式时间内完成。

实验结果

研究问题

• RQ1 能否在具有固定几何不变量的曲线族中，对有限域上曲线的有理点计数实现统一处理？
• RQ2 是否可以利用阿贝尔簇及其群法则，将 Schoof 算法推广至高亏格曲线？
• RQ3 如何显式构造曲线的雅芬诺夫簇，使其与模素数的约化兼容？
• RQ4 判别式在检测曲线或除子结构退化的不良特殊化情形中起何种作用？
• RQ5 该算法能否扩展至包含受控奇点（如普通二重点）的曲线族？

主要发现

• 该算法在时间复杂度上受 B₁(log q)^B₂ 限制，其中 B₁ 与 B₂ 仅依赖于族的嵌入维数、定义方程数量及次数。
• 对于亏格为 g 的超椭圆曲线，该算法在 log q 上为多项式时间，且多项式次数依赖于亏格与曲线族。
• 该方法可统一应用于平面曲线族，包括具有有限个奇点的曲线，前提是判别式不为零。
• 通过 Chow 的构造与特殊化，显式构建了雅芬诺夫簇及其群法则，确保在所有约化下的一致性。
• 通过零维概形校正奇点，该方法可在多项式时间内完成点计数。
• 该结果为曲线族中统一点计数提供了理论基础，且可进一步推广至模形式类曲线族与阿贝尔簇族。