Curves of genus two with maps of every degree to a fixed elliptic curve

技術要約：固定された楕円曲線へのあらゆる次数の写像を持つ種数2の曲線

問題提起
本論文は、1828年にルジャンドルによって定式化された、複素数体 $\mathbb{C}$ 上の超楕円積分に関する古典的な問いに取り組んでいる。すなわち、「すべての整数 $n > 1$ に対して、$\mathbb{C}$ 上の種数2の曲線 $C$ から $\mathbb{C}$ 上の楕円曲線 $E$ への次数 $n$ の射が存在するような、種数2の曲線 $C$ と楕円曲線 $E$ の組が存在するか？」という問いである。楕円曲線への写像を許容する種数2の曲線は、2世紀近くにわたって研究されてきたが、「あらゆる次数」の写像を許容するという特定の条件については未解決のままであった。本論文は、このような組 $(C, E)$ が存在するかどうかを調査し、同型を除いてそれらを分類するものである。

手法
証明戦略は、楕円曲線 $E$ への次数2の写像を持つ種数2の曲線 $C$ と、第2の楕円曲線 $F$ との間の構造的関係に基づいている。手法は以下の論理的ステップに従う。

1. 二次形式への還元：
   カニ（Kani）および初期のピカール（Picard）による結果を用い、$C$ が $E$ への次数2の写像を持つ場合、一意な楕円曲線 $F$ と同型 $\psi: E[2] \to F[2]$ が存在し、$C$ のヤコビ多様体が $E \times F$ を $\psi$ のグラフによる商で割ったものと同種であること、を確立する。$C$ から $E$ への写像の集合は、ベクトル空間 $\text{Hom}(E, \text{Jac } C)$ における $\mathbb{Z}$-格子に対応する。これらの写像の次数は、この格子上の正定値二次形式を定義する。$C$ がすべての次数 $n > 1$ の写像を持つためには、この二次形式がすべての整数 $n > 1$ を表現しなければならない。

2. 準同型環の制限：
   次数3および次数4の写像の存在を分析することにより、著者らは $E$ および $F$ の準同型環に対する厳格な制約を導き出す。具体的には、$E$ は複素乗法（CM）を持ち、かつ $E$ と $F$ の間に特定の小さな次数 $p$ の巡回同種写像が存在しなければならないことを証明する。これにより、無限の探索空間が、可能な判別式の組 $(\Delta_E, \Delta_F)$ の有限なリストへと縮小される。

3. 計算による列挙：
   候補となる判別式の組のリストに対し、著者らはソフトウェアMagmaを用いて計算による探索を行う。その際、以下の手順を踏む。

   • 関連する楕円曲線の $j$ 不変量を含む数体を構成する。
   • 2次捩れ（2-torsion）の適合条件を満たす $E$ の自己準同型および $E$ から $F$ への準同型の次数の集合を決定する。
   • 周期行列および関連する二次形式を計算する。
   • 得られた二次形式が、2から31までのすべての整数を表現するかどうかを検証する。

4. 二次形式の検証：
   生存した二次形式が、4つの特定の四元二次形式 ($q_1, q_2, q_3, q_4$) のいずれかと同型であることを著者らは証明する。その後、これら4つの形式が確かにすべての1より大きい整数を表現することを、数論的な証明（命題2）によって示す。

5. 非存在の結果：
   あらゆる次数への写像を持たない一般的な曲線に対処するため、著者らは、任意の種数2の曲線に関連する、カニの「洗練されたウンベルト不変量（refined Humbert invariant）」と呼ばれる3元二次形式を利用する。彼らは、任意のそのような曲線に対して、最小の次数 $n$ の写像が存在しない特定の整数 $n$ が存在することを証明する（定理3では59以下、定理4では大きな定数 $kN$ 以下）。

主要な結果

• 定理1（分類）： 同型を除いて、$C$ が種数2の曲線、$E$ が楕円曲線であり、すべての $n > 1$ に対して次数 $n$ の写像が存在するという条件を満たす組 $(C, E)$ は、正確に20個存在する。

  • これらの組は、$E$ の自己準同型環の判別式および $F$ の判別式によって特徴付けられる。
  • 写像格子上の関連する二次形式は、正確に4つの同型類（$q_1, q_2, q_3, q_4$）に属する。
  • 論文内の表1は、これら20組すべての周期行列のパラメータ ($\tau, \sigma$) および判別式を提供している。
  • 表2は、これらの組に対応する曲線 $C$ の具体的な多項式モデル $y^2 = f(x)$ を提供している。

• 定理3（非存在の境界）： 任意の 種数2の曲線 $C$ に対して、ある整数 $n \in \{2, 3, 4, 5, 6, 7, 8, 9, 11, 12, 13, 19, 31, 59\}$ が存在し、その $n$ について、任意の楕円曲線への最小次数の写像は存在しない。

• 定理4（一般的な非存在）： より強力ではあるが、精度は低い境界として、多くの素数（1511までの積）を含む大きな整数 $N$ を用いたものが提供されており、任意の種数2の曲線について、ある $n \in \{2, 3, 13, kN\}$ において最小写像の存在が失敗することを示している。

意義と主張
本論文は、現代的な用語で構成されているものの、ルジャンドル、ヤコビ、ピカールといった19世紀の研究者たちによって理解され得たであろう問題の解決を主張している。主な意義は、このような曲線が存在することの驚きにある。著者らは、そのような曲線が存在すること自体が「おそらく驚くべきこと」であると述べている。

本研究は、これらの例外的な曲線の完全な分類を提供し、正確に20個の同型類を特定している。さらに、これら20個のケースが、あらゆる次数の写像が存在する唯一の事例であることを示している。それ以外のすべての種数2の曲線については、楕円曲線への最小写像の次数の間に「ギャップ」が存在することを示しており、その最大ギャップは59によって抑えられている。

また、論文では、セル・テイト（Serre-Tate）のリフトを通じて、標数 $p$ における通常の曲線（ordinary curves）についても同様の結果が得られることを簡潔に述べているが、標数 $p$ における超特異曲線（supersingular curves）については調査が行われておらず、異なる例が得られる可能性があることを明記している。

歴史的背景
導入部では、ルジャンドル（1828年）、ヤコビ、コワレフスカヤ、ポアンカレ、ピカール、ウンベルトによる研究の流れを引用し、約200年にわたる研究の系譜の中に本研究を位置づけている。著者らは、本問題が、超楕円積分を楕円積分へと簡約化するという古典的な研究の自然な拡張であり、特に「あらゆる次数」の変換を通じてそれが可能かどうかを問うものであることを強調している。