有限域曲线的 Zeta 函数：Jacobian 群阶、循环 Resultant 与 Weil 多项式

这里的 zeta function 不是 Riemann zeta，而是记录代数曲线在所有有限扩域上点数的生成函数。对 genus \(g\) 曲线，它由一个 \(2g\) 次 Weil 多项式完全决定。Kedlaya 的量子算法不逐个数扩域点，而是用 Abelian 黑盒群算法求 Jacobian 在若干扩域上的群阶，再从这些 cyclic resultants 重建 Weil 多项式，复杂度关于 \(g\) 与 \(\log q\) 为多项式。

1. 定义与有理性

设 \(C\) 是 \(\mathbb F_q\) 上光滑、射影、几何连通曲线，

\[ N_n=|C(\mathbb F_{q^n})|. \]

局部 zeta function 定义为

\[ Z_C(T)= \exp\!\left( \sum_{n=1}^\infty N_n\frac{T^n}{n} \right). \]

Weil 猜想（曲线情形）给出

\[ Z_C(T)= \frac{P_C(T)}{(1-T)(1-qT)}, \]

其中

\[ P_C(T)=\prod_{j=1}^{2g}(1-\alpha_jT) \]

次数 \(2g\)、整数系数，并满足 \(|\alpha_j|=\sqrt q\)（复嵌入）。因此输出只需 \(O(g\log q)\) 量级系数位，而不是无限点数序列。

由对数导数比较：

\[ N_n=q^n+1-\sum_{j=1}^{2g}\alpha_j^n. \]

2. Jacobian 群阶编码同一根

曲线 Jacobian \(J_C\) 的 \(\mathbb F_{q^n}\)-有理点构成有限 Abel 群，Frobenius 本征值同为 \(\alpha_j\)。其阶满足

\[ |J_C(\mathbb F_{q^n})| =\prod_{j=1}^{2g}(1-\alpha_j^n). \]

另一方面，若把 reciprocal polynomial 约定处理好，这正是 \(P_C\) 与 \(T^n-1\) 的 resultant：

\[ R_n=\operatorname{Res}(P_C(T),T^n-1) \]

乘上可知符号/幂因子。序列 \(R_n\) 称为 cyclic resultants。求若干 Jacobian 群阶，就等于获得未知 Weil polynomial 的若干非线性指纹。

3. 如何把 Jacobian 做成黑盒群

Jacobian 元素是 degree-zero divisor classes。算法选择可计算规范表示（例如 reduced divisors），并实现：

\[ [D_1]+[D_2]=[D_1+D_2],\qquad-[D]=[-D] \]

后通过 Riemann--Roch/约化回到规范形式。对扩域 \(\mathbb F_{q^n}\)，域算术、因式分解与 divisor reduction 在指定曲线模型和固定/输入 genus 条件下为 \(\operatorname{poly}(g,n,\log q)\)。

Abelian 黑盒群 order algorithm 还需一组能高概率生成整个 \(J_C(\mathbb F_{q^n})\) 的元素。Kedlaya 构造可证明近均匀的随机 divisor classes，而不是假设随便选点就生成；收集足够元素后，用 order finding/关系格分解群：

\[ J_C(\mathbb F_{q^n}) \cong\mathbb Z_{d_1}\times\cdots\times\mathbb Z_{d_s}, \]

于是 \(R_n=\prod_id_i\)。

4. 从 cyclic resultants 重建 \(P_C\)

设未知根为 \(\alpha_1,\ldots,\alpha_{2g}\)。\(R_n=\prod_j(1-\alpha_j^n)\) 是根的对称函数。一般多项式可能有不同根集合产生部分相同 resultants；Weil polynomial 额外满足：

  • 整系数与固定常数项 \(q^g\)；

  • reciprocal functional equation；

  • 所有根绝对值 \(\sqrt q\)；

  • 系数有 Weil bounds。

这些约束把候选压到有限且可有效区分的集合。取关于 \(g\) 多项式多个 \(n\)，用整数因子/对数界和 Fried cyclic-resultant reconstruction 的有效版本，逐步恢复 elementary symmetric polynomials，从而得到 \(P_C(T)\)。最后经典验证候选对所有已求 \(R_n\) 成立。

5. 例子：射影直线与椭圆曲线

\(C=\mathbb P^1\) 的 genus 为 0，

\[ N_n=q^n+1,\qquad Z_C(T)=\frac1{(1-T)(1-qT)}. \]

椭圆曲线 \(E\) 的 genus 为 1：

\[ P_E(T)=1-aT+qT^2, \]
\[ |E(\mathbb F_q)|=q+1-a,\qquad|a|\le2\sqrt q. \]

求 \(E(\mathbb F_q)\) 群阶就得到 \(a\)，单个扩域已足以确定二次 Weil polynomial；高 genus 需要更多 cyclic resultants。

6. 速度提升与限制

量子复杂度关于 \(g,\log q\) 为多项式，依赖高效曲线/Jacobian 算术与随机元素构造。已知经典通用算法在某些参数（特别是域特征、genus）有不同表现；“超多项式”应按论文所比较的联合参数族陈述。

算法输出完整 zeta rational function，而非零点的浮点近似；van Dam 的相关工作研究用量子过程获取 zeta zeros/谱信息。不能把有限域曲线结果外推到计算 Riemann zeta 非平凡零点。

7. 小结与习题

  • 曲线 zeta function 由 \(2g\) 次 Weil polynomial 决定。

  • Jacobian 扩域群阶是 Weil 根的 cyclic resultant。

  • 量子 Abel 群分解高效求这些群阶，经典重建恢复多项式。

  • 整性、functional equation 和 Weil bounds 是从有限指纹唯一恢复的关键。

  1. 从 \(P_C\) 根表达推导 \(N_n\) 公式。

  2. 对 elliptic \(P(T)=1-aT+qT^2\) 写出 \(|E(\mathbb F_{q^2})|\)。

  3. 解释为何 Jacobian 元素必须有唯一/可比较的规范编码。

  4. 区分局部 zeta function 与 Riemann zeta。

参考文献