[论文解读] The approach of St"ohr-Voloch to the Hasse-Weil bound with applications to optimal curves and plane arcs

Fernando Torres|ArXiv.org|Nov 14, 2000

Limits and Structures in Graph Theory参考文献 58被引用 9

一句话总结

本文将 Stöhr-Voloch 方法应用于 Hasse-Weil 界，以获得有限域上奇数阶的射影平面上完整平面弧大小的更紧致上界，并证明最优曲线的唯一性结果。通过利用线性系列、Frobenius 序数和 Weierstrass 点理论，本文改进了已知的第二大完整弧大小的上界，并通过其 zeta 函数和有理点结构，对如 Hermitian 曲线和 Suzuki 曲线等极大曲线进行了更强的刻画。

ABSTRACT

This is an expository paper concerning topics on rational points of curves defined over finite fields based on a paper by St"ohr and Voloch.

研究动机与目标

• 改进有限域上奇数阶射影平面上第二大完整平面弧大小的上界。
• 通过 Stöhr-Voloch 方法，对 $ F_q$-极大曲线（特别是 Hermitian 曲线和 Suzuki 曲线）进行更强的刻画。
• 通过从曲线的 zeta 函数导出的线性系列，研究最优曲线的唯一性。
• 将 Stöhr-Voloch 界应用于与完整弧相关的平面曲线，利用 Weierstrass 点理论和 Frobenius 不变量。
• 利用 Hirschfeld-Korchmáros 和 Voloch 的最新结果，改进平面曲线上 $ F_q$-有理点数的已有上界。

提出的方法

• 通过曲线上 $g^r_d$ 线性系列及其不变量 $ u_0, u_1, \text{...}, \nu_{r-1}$ 使用 Stöhr-Voloch 界，以有理点数的上界。
• 当 $ X( F_q) \neq \emptyset$ 时，从曲线 $ X$ 的 zeta 函数构造除子 $ D_{ X} = |( qs + 1)P_0|$，特别针对 $ F_q$-极大曲线。
• 对除子 $ D_{ X}$ 应用 Castelnuovo 的亏格界和 Halphen 定理，以推导最优曲线的几何约束。
• 依赖 Frobenius 序数和 $ D$-Weierstrass 点理论，分析线性系列中的分支和含烛空间。
• 通过将弧大小问题转化为有理点问题，将完整弧 $ K$ 关联到一个奇异平面曲线 $ C$，其正规化支持一个线性系列。
• 利用 Hirschfeld-Korchmáros 对平面曲线上有理点的界以及 Voloch 的结果，改进 $m'(2,q)$（即 $ P^2( F_q)$ 中第二大完整弧大小）的上界。

实验结果

研究问题

• RQ1 Stöhr-Voloch 方法能否对奇数 $q$ 的 $ P^2( F_q)$ 中第二大完整平面弧的大小给出更优的上界？
• RQ2 Stöhr-Voloch 方法在多大程度上能加强 $ F_q$-极大曲线（如 Hermitian 曲线和 Suzuki 曲线）的唯一性结果？
• RQ3 从曲线的 zeta 函数导出的线性系列是否能比以往的不变量提供更强的 $ F_q$-极大性刻画？
• RQ4 能否利用线性系列的 Frobenius 序数和 Weierstrass 点结构，推导出平面曲线上 $ F_q$-有理点数的更紧致上界？
• RQ5 当 $q$ 为奇数平方时，$m'(2,q)$（即 $ P^2( F_q)$ 中第二大完整弧的大小）的最佳可能上界是什么？

主要发现

• 本文建立了不等式 $m'(2,q) \leq q - \frac{\sqrt{q}}{2} + \frac{5}{2}$，适用于奇数 $q$，这是目前关于第二大完整弧大小的最优已知上界。
• 当 $q > 23^2$，$q \neq 3^6$，且 $d \leq \sqrt{q} - 3$ 时，不等式 $2M_q + M_q' \leq d(q - \sqrt{q} + 1)$ 成立，支持了 $m'(2,q) = q - \sqrt{q} + 1$ 的猜想。
• Hermitian 曲线被唯一地刻画为唯一满足 genus $\frac{\sqrt{q}(\sqrt{q} - 1)}{2}$ 的 $ F_q$-极大曲线，这是通过将 Stöhr-Voloch 方法应用于从 zeta 函数导出的除子 $\rD_{\rX}$ 实现的。
• Suzuki 曲线被证明是唯一满足 genus $q_0(q - 1)$ 且有 $q^2 + 1$ 个有理点的 $ F_q$-极大曲线，使用了相同的方法。
• 当 $d = \sqrt{q} - 2$ 且 $q$ 足够大时，上界被改进为 $m'(2,q) \leq q - \frac{\sqrt{q}}{2} - \frac{11}{2}$，基于 Aguglia-Korchmáros 对 $2M_q + M_q'$ 的结果。
• 本文证明：若 $d \leq \sqrt{q} - 3$ 且 $q$ 足够大，则在 $2M_q + M_q' \geq d(q - \sqrt{q} + 1)$ 条件下，$m'(2,q) = q - \sqrt{q} + 1$ 成立，从而证实了该弧大小的猜想。