[论文解读] Hyperelliptic curves in characteristic 2

Jasper Scholten, Hui June Zhu|ArXiv.org|Dec 19, 2000

Algebraic Geometry and Number Theory参考文献 8被引用 4

一句话总结

该论文证明了在 $\overline{\mathbb{F}}_2$ 上不存在任何亏格为 $2^n - 1$（$n \geq 2$）的超椭圆奇异曲线，并证明了此类曲线的牛顿多边形的第一斜率至少为 $1/h$，其中 $h = \lfloor \log_2(g+1) + 1 \rfloor$。此外，该研究还表明，$\overline{\mathbb{F}}_2$ 上超椭圆奇异曲线的模空间维数至多为 $g-2$，且在亏格为 4 时取等号，此时所有此类曲线均可表示为特定标准型 $y^2 - y = x^9 + c_5x^5 + c_3x^3$。这些结果通过系数的 $2$-进分析与牛顿多边形界限推导得出。

ABSTRACT

In this paper we prove that there are no hyperelliptic supersingular curves over F_2bar of genus 2^n-1 for any integer n>1. Let g be a natural number, and h=floor(log_2(g+1)+1). Let X be a hyperelliptic curve over F_2bar of genus g>2 and 2-rank zero, given by an affine equation y^2-y=c_{2g+1} x^{2g+1} +...+ c_1 x. We prove that the first slope of the Newton polygon of X is bigger than or equal to 1/h. We also prove that the equality holds if (I) g<2^h-2, c_{2^h-1} is nonzero; or (II) g=2^h-2, c_{2^h-1} or c_{3(2^{h-1})-1} is nonzero. We prove that genus-4 hyperelliptic curve over F_2bar are precisely those with equations y^2 - y = x^9 + a x^5 + b x^3.

研究动机与目标

• 确定在 $\overline{\mathbb{F}}_2$ 上是否存在亏格为 $2^n - 1$（$n \geq 2$）的超椭圆奇异曲线。
• 为 $\overline{\mathbb{F}}_2$ 上 $2$-秩为零的超椭圆曲线建立牛顿多边形第一斜率的下界。
• 确定 $\overline{\mathbb{F}}_2$ 上超椭圆奇异曲线模空间 $\mathcal{HS}_g/\overline{\mathbb{F}}_2$ 的维数（$g \geq 3$）。
• 通过提供一个标准型，对 $\overline{\mathbb{F}}_2$ 上所有亏格为 4 的超椭圆奇异曲线进行分类。

提出的方法

• 作者利用方程 $y^2 - y = \sum_{i=1}^{2g+1} c_i x^i$ 中系数 $c_i$ 的 $2$-进分析，推导出决定牛顿多边形斜率的系数同余条件。
• 定义 $h = \lfloor \log_2(g+1) + 1 \rfloor$，并证明在 $\overline{\mathbb{F}}_2$ 上 $2$-秩为零的超椭圆曲线，其牛顿多边形的第一斜率至少为 $1/h$。
• 当满足特定系数条件时，等式 $\mathrm{NP}_1(X) = 1/h$ 成立：若 $g < 2^h - 2$，则 $c_{2^h - 1} \neq 0$；若 $g = 2^h - 2$，则 $c_{2^h - 1} \neq 0$ 或 $c_{3 \cdot 2^{h-1} - 1} \neq 0$。
• 证明依赖于 Deuring–Shafarevich 公式，并通过曲线同构将方程标准化为奇次单项式，且满足 $c_{2g+1} = 1$，同时通过坐标变换消去某些系数。
• 对于亏格为 4 的情况，作者证明所有奇异曲线必须具有形式 $y^2 - y = x^9 + c_5x^5 + c_3x^3$，这是基于牛顿多边形分析所得的系数消失条件。
• 他们利用 $c_7 \neq 0$ 意味着 $\mathrm{NP}_1(X) > 1/3$ 的事实，因此奇异曲线必须满足 $c_7 = 0$，从而导出标准型。

实验结果

研究问题

• RQ1 在 $\overline{\mathbb{F}}_2$ 上是否存在亏格为 $2^n - 1$（$n \geq 2$）的超椭圆奇异曲线？
• RQ2 在 $\overline{\mathbb{F}}_2$ 上 $2$-秩为零的超椭圆曲线中，牛顿多边形第一斜率的最小可能值是多少？
• RQ3 $\overline{\mathbb{F}}_2$ 上超椭圆奇异曲线模空间 $\mathcal{HS}_g/\overline{\mathbb{F}}_2$ 的维数是多少（$g \geq 3$）？
• RQ4 所有 $\overline{\mathbb{F}}_2$ 上亏格为 4 的超椭圆奇异曲线是否都能由一个统一的标准型描述？

主要发现

• 通过牛顿多边形斜率界限与系数条件，证明了在 $\overline{\mathbb{F}}_2$ 上不存在任何亏格为 $2^n - 1$（$n \geq 2$）的超椭圆奇异曲线。
• 对于任意 $\overline{\mathbb{F}}_2$ 上 $2$-秩为零且亏格 $g \geq 3$ 的超椭圆曲线，其牛顿多边形的第一斜率至少为 $1/h$，其中 $h = \lfloor \log_2(g+1) + 1 \rfloor$。
• 当 $g < 2^h - 2$ 且 $c_{2^h - 1} \neq 0$，或当 $g = 2^h - 2$ 且 $c_{2^h - 1} \neq 0$ 或 $c_{3 \cdot 2^{h-1} - 1} \neq 0$ 时，等式 $\mathrm{NP}_1(X) = 1/h$ 成立。
• $\overline{\mathbb{F}}_2$ 上的模空间 $\mathcal{HS}_g/\overline{\mathbb{F}}_2$ 的维数至多为 $g - 2$（$g \geq 3$），且当 $g = 2^h - 2$ 且 $h \geq 3$ 时，维数至多为 $g - 3$。
• 对于亏格为 4 的情况，模空间 $\mathcal{HS}_4/\overline{\mathbb{F}}_2$ 是不可约的且维数为 2，且所有此类曲线均可表示为 $y^2 - y = x^9 + c_5x^5 + c_3x^3$ 的形式，其中 $c_5, c_3 \in \overline{\mathbb{F}}_2$。
• 在任何亏格为 4 的超椭圆奇异曲线中，系数 $c_7$ 必须为零，因为若 $c_7 \neq 0$ 将导致 $\mathrm{NP}_1(X) > 1/3$，与奇异性矛盾。