A Complete classification of the rank of a certain family of elliptic curves

技術要約：ある特定の楕円曲線族の階数に関する完全な分類

問題設定
本論文は、奇素数 $p$ に対して、方程式 $E_p: y^2 = x^3 - 6px$ で定義される楕円曲線のモディル・ウェイル階数（Mordell–Weil rank）を調査するものである。楕円曲線の階数は算術幾何学における基本的な不変量であるが、特定の族に対してそれを明示的に決定することは依然として困難な課題である。著者らは、素数パラメータ $p$ の 24 を法とする剰余類に基づき、$E_p(\mathbb{Q})$ の階数を厳密に分類することを目指している。また、$p=3$ の場合、すなわち曲線 $E_3: y^2 = x^3 - 18x$ のケースについても検討を行う。

手法
主要な手法として、有理点（位数2の点）を持つ楕円曲線の階数を抑え込むための古典的な手法である 2-降下法（2-descent） を用いる。著者らは以下の枠組みを利用する：

1. 同種写像と降下準同型： $E_p$ は、その 2-同種曲線 $\bar{E}_p: y^2 = x^3 + 24px$ と共に解析される。著者らは、降下準同型 $\alpha: E_p(\mathbb{Q}) \to \mathbb{Q}^*/(\mathbb{Q}^*)^2$ および $\bar{\alpha}: \bar{E}_p(\mathbb{Q}) \to \mathbb{Q}^*/(\mathbb{Q}^*)^2$ を定義する。
2. トソル（Torsor）解析： これらの準同型の像は、整数上での関連する斉次空間（トソル）の可解性を分析することによって決定される。これらのトソルは、ディオファントス方程式 $N^2 = b_1 M^4 + b_2 e^4$ の形をとる（ここで $b_1 b_2$ は曲線の係数に対応する）。
3. 局所的可解性： 著者らは、レジェンドル記号を適用し、様々な素数（具体的には 3, 8, 16, 24）で簡約化することにより、これらのトソルの可解性を系統的にテストする。これにより、不可能な因子を排除し、像の濃度 $|\alpha(E_p(\mathbb{Q}))|$ および $|\bar{\alpha}(\bar{E}_p(\mathbb{Q}))|$ を正確に特定することができる。
4. 階数の計算： $\text{rank } r$ について、$2^r = \frac{1}{4} |\alpha(E_p(\mathbb{Q}))| \cdot |\bar{\alpha}(\bar{E}_p(\mathbb{Q}))|$ という公式を用いることで、階数の上界を導出する。
5. パリティ予想（Parity Conjecture）： 上界が 3 の場合に、奇数階（1 または 3）を区別するため、著者らはパリティ予想を援用する。まず、Birch および Stephens による局所ルート数公式を用いて、グローバル・ルート数 $w(E_p/\mathbb{Q})$ を計算し、すべての奇素数 $p$ に対して $w(E_p/\mathbb{Q}) = -1$ となることを導く。パリティ予想が成立している（あるいはテイト・シャファレヴィッチ群が有限である）という仮定の下では、これは階数が必ず奇数であることを意味する。

主な貢献と結果

• $p \neq 3$ における分類：
  • $p \equiv 1 \pmod{24}$ の場合： 階数は 1 または 3 である。2-降下解析により、上界は 3 となる。パリティ予想を仮定すると、階数は奇数であるため、1 または 3 となる。
  • $p \not\equiv 1 \pmod{24}$ の場合： 24 を法とする他のすべての奇素数の剰余類（$p \equiv 5, 7, 11, 13, 17, 19, 23$）において、階数は正確に 1 である。2-降下解析は上界 1 を与え、降下群の非自明性が無限位数の点の存在を示唆することで、階数が少なくとも 1 であることが確認される。
• $p = 3$ の場合： 著者らは、曲線 $E_3: y^2 = x^3 - 18x$ が階数 0 を持つことを証明する。
• パリティ予想を用いない条件付きの結果： 本論文は、パリティ予想に依存せずに階数が正確に 1 となる特定の条件を提示している：
  • $p \equiv 7 \pmod{24}$ かつ $(p-6)$ が平方数である場合、階数は 1 である。
  • $p \equiv 11, 17, 19 \pmod{24}$ かつ $(3p-2)$ が平方数である場合、階数は 1 である。

意義
本論文は、素数パラメータ $p$ の 24 を法とする剰余類に基づいた、族 $E_p$ の階数の完全な分類を提供したと主張している。得られた結果は、階数の分布が、素数パラメータに対するモジュラー算術の制約のみによって制御されているという、驚くほど単純な構造を示している。具体的には、この族は、階数がほぼ常に 1 である一方で、$p \equiv 1 \pmod{24}$ の剰余類においてのみ階数が 3 に上昇し得るという二分法を示す。本研究は、係数の構造 $6p$ を扱い、2-降下法を用いてすべての奇素数に対して階数を解決することで、従来の $y^2 = x^3 - Dx$ 型の族の研究を拡張するものである。これらの知見は、SAGE を用いた計算例によって検証されている。