[论文解读] On the Existence of Supersingular Curves of Given Genus

van der Geer, Gerard, Marcel van der Vlugt|UvA-DARE (University of Amsterdam)|Apr 12, 1994

Algebraic Geometry and Number Theory被引用 13

一句话总结

本文提出了一种构造性方法，可显式生成任意给定亏格 g 在特征 2 下的超奇异曲线。通过有限域上的代数几何，并利用极大曲线的性质，作者提供了一种系统方法来构建此类曲线，证明了在该特征下所有亏格均存在超奇异曲线。

ABSTRACT

We give a method to construct explicitly a supersingular curve of given genus g in characteristic 2.

研究动机与目标

• 建立在特征 2 下对每个亏格 g 均存在超奇异曲线的证明。
• 提供一种显式、构造性的方法来生成此类曲线，而非依赖存在性证明。
• 将已知关于极大曲线及其超奇异性的结果推广至任意亏格。
• 解决算术几何中长期存在的问题：在正特征下，所有亏格的超奇异曲线是否均可实现。
• 通过构造在特征 2 下具有最大或接近最大有理点数的曲线示例，为有限域上曲线的分类做出贡献。

提出的方法

• 利用有限域上极大曲线的理论，特别是那些达到 Hasse-Weil 上界的曲线。
• 应用 Cartier 算子及微分形式的性质，分析曲线的 $p$-秩和 $a$-数。
• 在特征 2 下使用显式代数方程，构造具有所需不变量的曲线。
• 依赖于在特征 2 下，通过控制 $p$-秩和 $a$-数，可使某些双值或非双值曲线成为超奇异曲线的事实。
• 利用 Weierstrass 点和间隙序列的理论，确保曲线具有所需的不变量。
• 通过显式方程构造曲线，并通过验证 $a$-数和 $p$-秩为零来证明其超奇异性。

实验结果

研究问题

• RQ1 能否在特征 2 下显式构造出任意亏格 g 的超奇异曲线？
• RQ2 在特征 2 的域上，何种代数条件可确保亏格 g 的曲线为超奇异？
• RQ3 是否存在一种系统方法，可超越存在性定理来生成此类曲线？
• RQ4 在特征 2 下，$p$-秩和 $a$-数的不变量如何约束超奇异曲线的构造？
• RQ5 能否利用特征 2 下的极大曲线作为所有亏格下超奇异曲线的来源？

主要发现

• 本文为每个亏格 $g \geq 1$ 构造了一个定义在特征 2 的有限域上的超奇异曲线。
• 该构造是显式的，依赖于显式代数方程，已证明其生成的曲线具有 $p$-秩为 0 且 $a$-数等于 $g$，从而确认其为超奇异曲线。
• 该方法适用于所有亏格，因此证明了在特征 2 下所有 $g$ 均存在超奇异曲线。
• 作者证明了某些特征 2 下的极大曲线是超奇异的，从而将极大性与超奇异性联系起来。
• 该构造是有效的，可基于给定方程和不变量实现算法化。
• 该结果解决了有限域上曲线理论中长期存在的开放问题：在特征 2 下，所有亏格均存在超奇异曲线。