[论文解读] On Weierstrass points and optimal curves

Rainer Fuhrmann, Fernando Torres|ArXiv.org|Sep 10, 1997

Nonlinear Partial Differential Equations参考文献 33被引用 52

一句话总结

该论文利用 Weierstrass 点理论和 Frobenius 序列，证明了有限域上某些最优曲线的唯一性（至多 $\mathbb{F}_q$-同构）。它证明了在 $\mathbb{F}_{\ell^2}$ 上，若 genus $g > (\ell-1)(\ell-2)/4$，则极大曲线同构于 Hermitian 曲线或特定平面曲线；当 $\sqrt{q} \notin \mathbb{N}$ 时，它进一步表明，满足 $g = q_0(q-1)$ 且有 $q^2+1$ 个有理点的曲线同构于 Suzuki 型 Deligne-Lusztig 曲线。

ABSTRACT

We use Weierstrass Point Theory and Frobenius orders to prove the uniqueness (up to isomorphism) of some optimal curves.

研究动机与目标

• 建立有限域上最优曲线（特别是极大曲线和 Deligne-Lusztig 曲线）的唯一性（至多 $\mathbb{F}_q$-同构）。
• 通过将 Stöhr-Voloch 理论应用于 zeta 函数和 Frobenius 序列导出的线性系统，推广并拓展先前关于最优曲线的研究结果。
• 通过分析其 Weierstrass 结构和 $\mathbb{F}_q$-有理点，表征具有最多有理点的曲线。
• 证明在给定 genus 和点数下，某些曲线同构于已知的最优曲线（如 Hermitian 曲线和 Suzuki 型曲线）。
• 证明与特定线性系统相关的态射是嵌入映射，从而改进了关于 genus 计算和曲线结构的早期结果。

提出的方法

• 利用曲线的 zeta 函数定义线性系统 $\mathcal{D} = |(\ell+1)P_0|$，其中 $P_0$ 是 $\mathbb{F}_{\ell^2}$-有理点。
• 将 Stöhr-Voloch 理论应用于线性系统 $\mathcal{D}$，以分析 $\mathcal{D}$-分歧除子和 Weierstrass 点处的 Frobenius 序列。
• 利用 Frobenius 序列 $\{0, 1, q_0, 2q_0, q\}$ 来刻画曲线及其自同构群的结构。
• 分析除子 $S^\mathcal{D}$ 和 $R^\mathcal{D}$，以计算有理点处的次数和赋值，证明所有 $\mathbb{F}_q$-有理点均为 $\mathcal{D}$-Weierstrass 点。
• 利用典范除子关系 $(2q_0 - 2)\mathcal{D} \sim K_X$ 推导出非有理点处微分形式的阶的信息。
• 构造从曲线到 $\mathbb{P}^4(\mathbb{F}_q)$ 的显式态射 $\pi = (1:x:y:z:w)$，并证明其像为 Suzuki-Tits 偏序 $\mathcal{O}$。

实验结果

研究问题

• RQ1 在何种条件下，$\mathbb{F}_{\ell^2}$ 上的极大曲线在 $\mathbb{F}_{\ell^2}$-同构意义下是唯一确定的？
• RQ2 能否仅从 genus 和 $\mathbb{F}_q$-有理点数量，确立与 Suzuki 群 $Sz(q)$ 关联的 Deligne-Lusztig 曲线的唯一性？
• RQ3 对于满足 $\sqrt{q} \notin \mathbb{N}$ 的最优曲线，其 $\mathbb{F}_q$-有理点处的 Weierstrass 半群结构如何？
• RQ4 Frobenius 序列和 Stöhr-Voloch 理论如何帮助刻画最优曲线上与线性系统相关的态射？
• RQ5 与线性系统 $|(q + 2q_0 + 1)P_0|$ 相关的态射是否为嵌入？这对曲线的几何结构有何含义？

主要发现

• 当 $\ell$ 为奇数时，任何在 $\mathbb{F}_{\ell^2}$ 上满足 $g > (\ell-1)(\ell-2)/4$ 的极大曲线，均同构于 Hermitian 曲线 $y^\ell + y = x^{\ell+1}$（此时 $g = \ell(\ell-1)/2$）或平面曲线 $y^\ell + y = x^{(\ell+1)/2}$（此时 $g = (\ell-1)^2/4$）。
• 与线性系统 $\mathcal{D} = |(\ell+1)P_0|$ 相关的态射是嵌入映射，改进了 [FGT, Prop. 1.10] 中的早期结果。
• 当 $q = 2q_0$ 且 $q_0 = 2^s$ 时，任意在 $\mathbb{F}_q$ 上的曲线 $X$，若 genus $g = q_0(q-1)$ 且有 $q^2 + 1$ 个有理点，则其同构于与 Suzuki 群 $Sz(q)$ 关联的 Deligne-Lusztig 曲线。
• Suzuki 型曲线的 $\mathcal{D}$-Weierstrass 点集合恰好为 $X(\mathbb{F}_q)$，且对每个 $P \in X(\mathbb{F}_q)$，$(\mathcal{D},P)$-序列为 $0, 1, q_0+1, 2q_0+1, q+2q_0+1$。
• 由 $\mathcal{D}$ 定义的态射 $\pi: X \to \mathbb{P}^4(\mathbb{F}_q)$ 的像是 Suzuki-Tits 偏序 $\mathcal{O}$，建立了该曲线与有限几何之间的几何联系。
• 曲线在 $\bar{\mathbb{F}}_q$ 上的自同构群同构于 $PGL(5,q)$ 中保持 Suzuki-Tits 偏序的稳定化子，证实了该曲线的刚性与唯一性。