[論文レビュー] Explicit Descent via 4-Isogeny on an Elliptic Curve

Edray Herber Goins|ArXiv.org|Nov 9, 2004

Algebraic Geometry and Number Theory参考文献 4被引用数 4

ひとこと要約

本稿では、有理数上の4階捩れ点をもつ一パラメータ族の有理数楕円曲線のモーデル・ヴェイユランクを計算する明示的な4-自己準同型降下法を提示する。同法は、自己準同型、セレール群、および主同次空間の明示的公式を用いる。主たる貢献は、2-自己準同型降下法の限界（シャファレヴィッチ＝タイト群の障害が非自明である可能性）を克服するため、4-自己準同型による完全な降下を可能にする点にある。

ABSTRACT

We work out the complete descent via 4-isogeny for a family of rational elliptic curves with a rational point of order 4; such a family is of the form $y^2 + x y + a y = x^3 + a x^2$ where $\sqrt{-a} \in \mathbb Q^ imes$. In the process we exhibit the 4-isogeny and the isogenous curve, explicitly present the principal homogeneous spaces, and discuss examples by computing the rank.

研究の動機と目的

• 4階の有理点をもつ楕円曲線に対する明示的な4-自己準同型降下法の開発。2-自己準同型降下法の限界（シャファレヴィッチ＝タイト群の障害が非自明である可能性）を克服する。
• 特定の楕円曲線族 $ E_t $ のモーデル・ヴェイユランクの計算。$ \tau $-不変量の捩れ構造が $ \mathbb{Z}/4\mathbb{Z} $ または $ \mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/4\mathbb{Z} $ であり、特に高いランクをとる可能性があるもの。
• 4-自己準同型、その双対、およびセレール群とシャファレヴィッチ＝タイト群における関連する接続準同型の明示的公式の提供。
• 特に平方数でない場合のシャファレヴィッチ＝タイト群の成分構造の分析。非自己双対的自己準同型ペアリングによるその説明。
• 2-自己準同型法に内在するランク下界問題を回避する、洗練されたランク計算アルゴリズムの提供。特にランク ≥4 であると予想される曲線に対して有効。

提案手法

• 本稿では、有理数4階捩れ点 $ (-1,t) $ で生成される核をもつ明示的4-自己準同型 $ \phi: E_t \to E_t' $ と、核が $ [2](-1,t) = (0,0) $ である2-自己準同型 $ \varphi: E_t \to E_t'' $ を構成し、両者を $ \mathbb{Q} $ 上で定義する。
• セレール群 $ S^{(\hat{\phi})}(E_t'/\mathbb{Q}) \subset \mathbb{Q}^\times / (\mathbb{Q}^\times)^4 $ および $ S^{(\hat{\varphi})}(E_t''/\mathbb{Q}) \subset \mathbb{Q}^\times / (\mathbb{Q}^\times)^2 $ を、点から有理数の平方または4乗に写す明示的接続準同型 $ \delta' $ および $ \delta'' $ を用いて特定する。
• 主同次空間 $ C_{d,t}' $ および $ C_{d,t}'' $ は、それぞれ方程式 $ d(w - z^2/(4t^2))z^2 = (w^2 - d)^2 $ および $ dW^2 = d^2 + (t^2+2)dZ^2 + Z^4 $ で定義され、セレール群をパラメトライズする。
• 合成写像 $ \psi' = \psi'' \circ \eta $ が $ C_{d,t}' \to C_{d,t}'' \to E_t $ として定義され、明示的な有理写像として：$ (z,w) \mapsto \left( -\frac{dz^2}{2t(w^2 - d)}, \frac{dz^2(w^2 + d)}{2(w^2 - d)^2} \right) $ および $ (Z,W) \mapsto \left( \frac{d}{Z^2}, -\frac{dW}{Z^3} \right) $ が与えられ、$ \delta'(\psi'(P)) \equiv d \mod (\mathbb{Q}^\times)^4 $ を満たす。
• カッシルペアリングおよびシャファレヴィッチ＝タイト群上の非退化な双線形ペアリングを用いて、$ \mathrm{III}(E_t'/\mathbb{Q})[\hat{\phi}] $ の構造を分析し、非自己双対的自己準同型ペアリングによる非平方数の順序の説明を行う。
• アルゴリズムは、$ r \in \{15/56, 24/65, 11/69, 7/88, 12/97\} $ の5曲線に適用され、セレール群と $ \#\mathrm{III}(E_t'/\mathbb{Q})[\hat{\phi}] $ が計算され、ビーアチとスウィンナートン＝ダイヤー予想と整合的である。

実験結果

リサーチクエスチョン

• RQ1 有理数4階捩れ点をもつ楕円曲線に対して、2-自己準同型降下法の限界を克服する明示的4-自己準同型降下法を構築可能か。これは、完全なランク計算ツールを提供する。
• RQ2 4-自己準同型 $ \phi $ に対するセレール群およびシャファレヴィッチ＝タイト群成分の正確な構造は何か。また、$ \#\mathrm{III}(E_t'/\mathbb{Q})[\hat{\phi}] $ が平方数でないのはなぜか。
• RQ3 接続準同型 $ \delta' $ および $ \delta'' $ は、それぞれ有理点を $ \mathbb{Q}^\times / (\mathbb{Q}^\times)^4 $ および $ \mathbb{Q}^\times / (\mathbb{Q}^\times)^2 $ の元に写す。これらはどのように作用し、曲線上の有理点のテストにどのように利用できるか。
• RQ4 5曲線 $ r = 15/56, 24/65, 11/69, 7/88, 12/97 $ に対して、セレール群およびシャファレヴィッチ＝タイト群成分の計算サイズは何か。また、ビーアチとスウィンナートン＝ダイヤー予想のもとで期待されるランクとどう関係するか。
• RQ5 シャファレヴィッチ＝タイト群成分 $ \mathrm{III}(E_t'/\mathbb{Q})[\hat{\phi}] $ が一部のケースで平方数でないのはなぜか。これは自己準同型 $ \phi $ の非自己双対性とどのように関係するか。

主な発見

• 曲線 $ r = 15/56 $ の場合、セレール群 $ S^{(\hat{\phi})}(E_t'/\mathbb{Q}) $ のサイズは $ 2^{13} $、$ \#\mathrm{III}(E_t'/\mathbb{Q})[\hat{\phi}] = 2^6 $ であり、ビーアチとスウィンナートン＝ダイヤー予想のもとでランク2と整合的である。
• $ r = 24/65 $ の場合、セレール群サイズは $ 2^{13} $、$ \#\mathrm{III}(E_t'/\mathbb{Q})[\hat{\phi}] = 2^6 $ であり、再びランク2を支持する。
• $ r = 11/69 $ の場合、セレール群サイズは $ 2^{11} $、$ \#\mathrm{III}(E_t'/\mathbb{Q})[\hat{\phi}] = 2^4 $ であり、ランク2を示唆する。
• $ r = 7/88 $ の場合、セレール群サイズは $ 2^{12} $、$ \#\mathrm{III}(E_t'/\mathbb{Q})[\hat{\phi}] = 2^5 $ であり、ランク2と整合的である。
• $ r = 12/97 $ の場合、セレール群サイズは $ 2^{10} $、$ \#\mathrm{III}(E_t'/\mathbb{Q})[\hat{\phi}] = 2^7 $ であり、ランク1を支持する。
• 本稿では、$ \#\mathrm{III}(E_t'/\mathbb{Q})[\hat{\phi}] $ が常に平方数でないのは、自己準同型 $ \phi $ が自己双対でないためであり、カッシルペアリングが平方順序を強制しない。これは、乗法マップ $ m $ に対する場合とは異なり、そのような制約がないためである。