[论文解读] Optimal Curves of Genus 3 over Finite Fields with Discriminant -19

Е. С. Алексеенко, С. И. Алешников+2 more|arXiv (Cornell University)|Feb 11, 2009

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

一句话总结

本文对判别式为 -19 的有限域上的最优三型曲线进行了完整分类，证明其可表示为形如 $ z^2 = \text{关于 } x \text{ 的四次多项式} + \text{关于 } y \text{ 的线性项}$ 的显式方程。文章构建了素数域上至 997 的最大与最小曲线表，表明此类域中最大与最小曲线不能共存，并证明了任意此类曲线的雅可比簇同源于有限域 $ \text{F}_q $ 上最大或最小椭圆曲线的幂次。

ABSTRACT

In this work we study the properties of maximal and minimal curves of genus 3 over finite fields with discriminant -19. We prove that any such curve can be given by an explicit equation of certain form. Using these equations we obtain a table of maximal and minimal curves over finite fields with discriminant -19 of cardinality up to 997. We also show that existence of a maximal curve implies that there is no minimal curve and vice versa.

研究动机与目标

• 对判别式为 -19 的有限域上所有最优（最大或最小）三型曲线的同构类进行分类。
• 利用复乘理论与 $ \text{O}_K $ 上的赫尔米特模，其中 $ K = \text{Q}(\text{sqrt}(-19)) $，推导此类曲线的显式多项式方程。
• 构建一个关于素有限域 $ \text{F}_q $（$ q \leq 997 $）上最大与最小曲线的全面表格，且判别式为 -19。
• 证明在某一类域上存在最大曲线，意味着该域上不存在最小曲线，反之亦然。
• 应用 Honda-Tate 理论与 Deligne 定理关于同源类的结果，证明任意此类曲线的雅可比簇同源于一个最大或最小椭圆曲线的幂次。

提出的方法

• 利用复乘理论与 $ K = \text{Q}(\text{sqrt}(-19)) $ 的自同态环 $ \text{O}_K $，对最优曲线的雅可比簇同源类进行分类。
• 利用与同源于 $ E^g $ 的普通阿贝尔簇范畴等价于 $ \text{O}_K $-模范畴且带有幺模赫尔米特型的范畴之间的等价关系。
• 应用 Riemann-Roch 定理与线性系统分析，推导显式模型：当 $ \text{dim}(2D) = 2 $ 时，推导出形如 $ z^2 = \text{关于 } x \text{ 的四次多项式} + \text{关于 } y \text{ 的线性项}$ 的方程，具体形式取决于除子类型。
• 在点 $ Q $ 处使用赋值论证，证明 $ x, y, z $ 的单项式线性相关，从而确保 $ z $ 在 $ \text{F}_q(x,y) $ 上的最小多项式次数为 2。
• 应用赋值上的严格三角不等式，证明某些函数组合必须为零，从而导出曲线方程的最终形式。
• 通过检查有理点数量是否达到 Hasse-Weil-Serre 界，验证最大或最小曲线的存在性，使用特征多项式 $ L(t) = (1 \mp [2\sqrt{q}]t + qt^2)^3 $。

实验结果

研究问题

• RQ1 判别式为 -19 的有限域上，最优三型曲线的完整同构类集合是什么？
• RQ2 所有此类最优曲线是否均可由显式多项式方程描述？这些方程的形式如何？
• RQ3 在哪些素数域 $ \text{F}_q $（判别式为 -19）上存在最大或最小三型曲线？
• RQ4 在同一个判别式为 -19 的有限域上，是否可能同时存在最大与最小三型曲线？
• RQ5 对于 $ K = \text{Q}(\text{sqrt}(-19)) $，其自同态环 $ \text{O}_K $ 的结构如何限制此类曲线的雅可比簇同源类？

主要发现

• 所有判别式为 -19 的有限域上的最优三型曲线均可表示为形如 $ z^2 = \text{关于 } x \text{ 的四次多项式} + \text{关于 } y \text{ 的线性项}$ 的显式方程，如定理 5.1 所证明。
• 对于每个满足 $ q \leq 997 $ 且判别式为 -19 的素数 $ q $，本文提供了最大与最小曲线的完整列表，且最大与最小情况之间无重叠。
• 任意此类最优曲线的雅可比簇同源于 $ E^3 $，其中 $ E $ 是 $ \text{F}_q $ 上的最大或最小椭圆曲线，具体取决于情形。
• 在判别式为 -19 的 $ \text{F}_q $ 上若存在最大曲线，则同一域上不可能存在最小曲线，反之亦然。
• 提供了显式例子：当 $ q = 47 $ 时，最大曲线为 $ y^2 = x^3 + x + 38 $，最小曲线为 $ z^2 = 5 + 45x + 30x^2 + 10y $。
• 当 $ q = 997 $ 时，最小曲线为 $ y^2 = x^3 + 500x + 934 $，且 $ z^2 = x^2 + 336x + 564 + 196y $，证实了在大素数规模下最优曲线的存在性。