Maximal curves of genus 5 over finite fields

技術要約：有限体上の種数5の極大曲線

問題設定
本論文は、有限体 $\mathbb{F}_q$ 上で定義された種数5の極大曲線の存在について調査している。曲線 $C$ は、その $\mathbb{F}_q$ 有理点の数 $\#C(\mathbb{F}_q)$ がハッセ・ヴェイル・セールの（Hasse–Weil–Serre）上限値
$$\#C(\mathbb{F}_q) = q + 1 + g\lfloor 2\sqrt{q} \rfloor$$
（ここで $g=5$）に達する場合、極大であると定義される。本研究は、体の判別式（discriminant）が $d(\mathbb{F}_q) := \lfloor 2\sqrt{q} \rfloor^2 - 4q = -19$ である場合に焦点を当てている。この条件により、$q$ の値は剰余類 $0, 1, 2 \pmod 5$ に制限される。中心となる問いは、これらの特定の体パラメータに対してそのような極大曲線が存在するかどうかであり、もし存在する場合は、その明示的なモデルを示すことである。

手法
著者らは、代数幾何学、アーベル多様体の理論、および表現論を組み合わせた手法を用いている。その手法は以下のステップで進行する：

1. 自己同型群への還元：
   ホンダ・テイト（Honda-Tate）の定理、および通常の（ordinary）主極化アーベル多様体と単模既約エルミート加群との間のセールの圏の同値性を用いることで、著者らは、$d(\mathbb{F}_q) = -19$ である種数5の極大曲線のヤコビ多様体が、極大楕円曲線 $E$ の5乗に同種（isogenous）であることを確立している。その結果、曲線の自己同型群 $\text{Aut}_{\mathbb{F}_q}(C)$ は二面体群 $D_5$ に同型となる。

2. 曲線の型の分類：
   エンリケ＝バベッジ（Enrique-Babbage）の分類に従い、種数5の非双曲的（non-hyperelliptic）曲線は、三次曲線（$\mathbb{P}^1$ への次数3の写像を許容するもの）であるか、あるいは $\mathbb{P}^4$ における3つの二次形式の完全交差（complete intersection）である。著者らは、ゼイトゼフ（Zaytsev）による先行研究に基づき、双曲的なケースを除外している。調査は、これら残りの2つの幾何学的構造の下での $D_5$ の作用を分析することに分かれる。

3. ケース別分析：

   • ケース $q \equiv 2, 3, 4 \pmod 5$： 著者らは、三次曲線（$PGL_3(\mathbb{F}_q)$ への埋め込み）および完全交差（$PGL_5(\mathbb{F}_q)$ への埋め込み）における $D_5$ の埋め込みを分析している。$q \equiv 2 \pmod 5$ の場合、$PGL_3(\mathbb{F}_q)$ の位数が5で割り切れないため、必要な自己同型が存在できないことを示している。完全交差のケースについては、定義される二次形式の $D_5$ 作用下での不変性が、交差を特異にすることを強制し、それが曲線の滑らかさの要件に矛盾することを示している。
   • ケース $q \equiv 1 \pmod 5$： ここでは、$\mathbb{F}_q$ は原始5乗根を含む。著者らは、射影表現の理論と中心拡大を用いて、$D_5$ の作用を線形表現へと持ち上げている。彼らは、両方の潜在的な方程式（平面五次曲線としての三次曲線、および二次形式の完全交差として）を導出している。明示的なモデルは構築されているものの、特定の $q$（例：61, 311）を用いたMAGMAによる計算探索の結果、これらの潜在的なモデルは極大曲線を与えないことが明らかになった。
   • ケース $q \equiv 0 \pmod 5$： 著者らは、$d(\mathbb{F}_q) = -19$ という条件から導かれるディオファントス方程式 $x^2 + 19 = 4 \cdot 5^n$ を扱う。$p$ 進解析（具体的には漸化式に適用されたストラスマン（Strassmann）の定理）を用いて、床関数の制約を満たす唯一の解が $q = 5^7 = 78125$ であることを証明している（注：本文の要旨および定理1.2では $q=57$ と記載されているが、セクション6の証明では $n=7$ から $5^7$ が導かれている。しかし、提供されたテキストのセクション6、命題6.4では「...を満たす唯一の値は $q=57$ である」と明示的に結論づけている。提供されたテキスト内の $5^7$ と $57$ の間の不一致については、本文の明示的な主張に従う。また、ルネ・スフーフ（René Schoof）による付録は、$q=57$ の場合において曲線が存在しないと結論付けている）。

主要な貢献と結果
本論文は、判別式 $-19$ に対する極大種数5曲線の存在に関する包括的な分類を提供している：

• $q \equiv 2, 3, 4 \pmod 5$ における非存在： 定理1.1は、$d(\mathbb{F}_q) = -19$ かつ $q \equiv 2, 3, 4 \pmod 5$ であるとき、$\mathbb{F}_q$ 上に種数5の極大曲線は存在しないことを証明している。この証明は、要求される自己同型群 $D_5$ と、これらの体上の射影線形群の構造との間の不適合性に依拠している。
• $q \equiv 1 \pmod 5$ における潜在的モデル： $q \equiv 1 \pmod 5$ の場合、著者らは三次曲線および3つの二次形式の完全交差の両方について、明示的な潜在的方程式を提供している。これらのモデルは、$D_5$ 自己同型群の作用を用いて、定義多項式のパラメータを簡約化することによって導出されている。計算的な証拠は、これらの候補がテストされた体において極大曲線を与えないことを示唆している。
• $q \equiv 0 \pmod 5$ に対する制限： 定理1.2は、$q \equiv 0 \pmod 5$ かつ $d(\mathbb{F}_q) = -19$ を満たす唯一の値が $q = 57$ であることを確立している。論文内では、ルネ・スフーフによる付録において、この特定のケースにおいてもそのような曲線は存在しないことが証明されていると述べている。

意義
本論文は、与えられた種数の有限体上の曲線の有理点の最大数を決定しようとする「Manypoints」問題への理解に貢献している。判別式 $-19$ の場合の種数5の存在問題を解決することで、著者らは小さな種数の極大曲線に関する文献における特定の空白を埋めている。本研究は、アーベル多様体の分類（セールの同値性による）と、幾何学的制約（三次的 vs 完全交差）および表現論を組み合わせることで、特定の算術的設定において極大曲線の存在を排除する有用性を示している。これらの結果は、有理点の数が多い曲線に依存する代数幾何符号の既知の境界と存在基準を精緻化するものである。