On superspecial hyperelliptic curves of Rosenhain forms

技術要約：ローゼンハイン形式における超特異双曲型曲線の列挙

問題設定
本論文は、与えられた標数 $p$ における超特異（superspecial）種数 $g$ の双曲型曲線の同型類の個数を決定するという、基礎的な問題に取り組んでいる。種数 $g \le 3$ のケースは概ね解決されている一方で、$g \ge 4$ におけるこれら曲線の存在は一般には未解決のままであり、高種数の特定の計数は小標数において限られている。KudoとHarashitaによる先行研究では、Gröbner基底を用いた計算を利用して、標数19までの種数4の場合を解いている。本論文の目的は、これらの結果を、これまでカバーされていなかった範囲（具体的には $p=41$ まで）の種数4、5、および6へと拡張することである。

手法
著者らは、ローゼンハイン形式の曲線から導出された特定の必要条件に依拠する新しいアルゴリズム（Algorithm 3.1）を提案している。

1. ローゼンハイン形式と必要条件：
   本論文は、以下のローゼンハイン方程式によって定義される双曲型曲線に焦点を当てている：
   $$C: y^2 = x(x-1) \prod_{i=1}^{2g-1} (x - \lambda_i)$$
   核心となる理論的貢献は、標数 $p > 2$ において、このような曲線が超特異であるための必要条件を確立した定理1.3である。この定理は、もし $C$ が超特異であれば、すべての $i, j \in \{1, \dots, 2g-1\}$ に対して、$\lambda_i$、$1-\lambda_i$、および $\lambda_i - \lambda_j$ が有限体 $\mathbb{F}_{p^2}$ において平方数でなければならないことを述べている。

• 証明戦略： 証明は曲線のヤコビアン $J$ の性質を利用している。曲線が超特異であるとき、4-捩り（4-torsion）部分群 $J[4]$ が $\mathbb{F}_{p^2}$ 上で定義されることを示している。4-捩り点のMumford表現とその半点（half-points）を分析することにより、著者らは、分岐点の特定の断面積比（cross-ratio）が $\mathbb{F}_{p^2}$ において平方数でなければならないことを示している。

2. 列挙アルゴリズム：
   定理1.3に基づき、アルゴリズムは以下のように進行する：

• フィルタリング： $\lambda$ と $1-\lambda$ の両方が平方数であるような要素 $\lambda$ を含む集合 $S \subset \mathbb{F}_{p^2}$ を構成する。
• 候補生成： すべてのペアに対して $\lambda_i - \lambda_j$ も平方数となるような、相異なる集合 $\{\lambda_1, \dots, \lambda_{2g-1}\} \subset S$ を再帰的に選択する。
• 同型性の処理： 同型の曲線を重複してカウントすることを避けるため、対称群（分岐点 $\{0, 1, \infty, \lambda_1, \dots, \lambda_{2g-1}\}$ を置換するMöbius変換による作用）の下で等価なすべてのローゼンハイン形式を生成し、標準的な代表元を格納する。
• 超特異性の判定： 有効な候補集合ごとに、曲線のカルティエ・マニン行列（Cartier-Manin matrix）を計算する。曲線が超特異であるための必要十分条件は、この行列が零行列であることである。これは、$f(x)^{(p-1)/2}$ の展開における特定の係数が消滅するかどうかを確認することを含む。

主要な貢献と結果
主要な貢献は、これらの曲線の同型類の正確な個数を計算するためにこのアルゴリズムを適用し、種数4、5、および6における様々な小標数での結果を算出したことである。結果は以下にまとめられる：

• 種数 4： 本論文は、標数 $p \in \{23, 29, 31, 37, 41\}$ における個数を決定している。

  • $p=23$: 4クラス
  • $p=29$: 8クラス
  • $p=31$: 10クラス
  • $p=37$: 23クラス
  • $p=41$: 34クラス
  • 注： $p \le 19$ の結果は、KudoとHarashitaによる既知の結果と一致している。

• 種数 5： 本論文は、標数 $p \in \{13, 17, 19, 23, 29, 31, 37, 41\}$ における個数を決定している。

  • $p=13, 17$ では曲線は存在しない。
  • $p=19, 29$: 各1クラス。
  • $p=23$: 2クラス。
  • $p=31$: 6クラス。
  • $p=37$: 5クラス。
  • $p=41$: 3クラス。

• 種数 6： 本論文は、標数 $p \in \{17, 19, 23, 29, 31\}$ における個数を決定している。

  • $p=17, 19, 29$ では曲線は存在しない。
  • $p=23, 31$: 各1クラス。

意義と主張
本論文は、そのアプローチが（特にGröbner基底を用いる方法と比較して）、複雑な記号計算を回避することで明確な利点を提供すると主張している。代わりに、ローゼンハイン・パラメータの算術的性質を利用して、候補を効率的にフィルタリングしている。著者らは、小標数においては、平方条件を満たす候補集合の数が十分に小さいため、アルゴリズムの計算が可能であると述べている。

Magmaを用いてこのアルゴリズムを実装することにより、著者らは、より高い種数およびこれまで記録されていたよりも大きな標数において、超特異双曲型曲線の分類を成功裏に拡張した。本論文は、種数 $g \in \{5, 6\}$ について、本研究以前には $p > 2g+1$ である任意の標数 $p$ において同型類の個数が決定されていなかったことを明記している。これらの結果は、アイソジェニーベースの暗号理論や代数幾何符号への応用に関連する、超特異曲線の列挙という基礎的な問題に対する具体的なデータポイントを提供するものである。