[论文解读] 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阶挠点的一族有理椭圆曲线的Mordell-Weil秩，使用同源、Selmer群和主齐次空间的显式公式。关键贡献是通过4-同源实现完全下降，从而实现精确的秩计算，克服了2-同源下降因潜在的非平凡Shafarevich-Tate群障碍而带来的局限性。

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-同源下降因潜在非平凡Shafarevich-Tate群障碍而带来的局限性。
• 计算特定族椭圆曲线 $ E_t $ 的Mordell-Weil秩，其 $ \tau $-不变量挠结构为 $ \mathbb{Z}/4\mathbb{Z} $ 或 $ \mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/4\mathbb{Z} $，特别是那些具有潜在大秩的曲线。
• 提供4-同源、其对偶同源以及与Selmer群和Shafarevich-Tate群相关的连接同态的显式公式。
• 分析Shafarevich-Tate群分量的结构，特别是当它们的阶不是完全平方数时，并通过非自对偶同源配对加以解释。
• 提供一种改进的秩计算算法，避免2-同源方法固有的秩下界问题，尤其适用于猜想秩 ≥4 的曲线。

提出的方法

• 本文构造了一个显式的4-同源 $ \phi: E_t \to E_t' $，其核由有理4阶挠点 $ (-1,t) $ 生成，并构造了一个2-同源 $ \varphi: E_t \to E_t'' $，其核为 $ [2](-1,t) = (0,0) $，两者均定义在 $ \mathbb{Q} $ 上。
• 通过显式连接同态 $ \delta' $ 和 $ \delta'' $，分别将点映射到有理平方或四次幂，识别出Selmer群 $ 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 $。
• 通过方程定义主齐次空间 $ 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 $，分别参数化Selmer群。
• 定义复合映射 $ \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 $。
• 该方法利用Cassels配对和Shafarevich-Tate群上的非退化双线性配对，分析 $ \mathrm{III}(E_t'/\mathbb{Q})[\hat{\phi}] $ 的结构，通过非自对偶同源配对解释非平方阶的原因。
• 该算法应用于五条曲线，其 $ r \in \{15/56, 24/65, 11/69, 7/88, 12/97\} $，计算了Selmer群和 $ \#\mathrm{III}(E_t'/\mathbb{Q})[\hat{\phi}] $，结果在Birch与Swinnerton-Dyer猜想下一致。

实验结果

研究问题

• RQ1 能否为具有有理4阶挠点的椭圆曲线构造一种显式的4-同源下降方法，提供超越2-同源方法的完整秩计算工具？
• RQ2 4-同源 $ \phi $ 的Selmer群和Shafarevich-Tate群分量的精确结构是什么？为何 $ \#\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 对于五条曲线 $ r = 15/56, 24/65, 11/69, 7/88, 12/97 $，计算出的Selmer群大小和Shafarevich-Tate群分量大小是多少？它们与Birch与Swinnerton-Dyer猜想下的预期秩有何关系？
• RQ5 为何Shafarevich-Tate群分量 $ \mathrm{III}(E_t'/\mathbb{Q})[\hat{\phi}] $ 在某些情况下阶不是完全平方数？这与同源 $ \phi $ 的非自对偶性有何关联？

主要发现

• 对于 $ r = 15/56 $ 的曲线，Selmer群 $ S^{(\hat{\phi})}(E_t'/\mathbb{Q}) $ 的大小为 $ 2^{13} $，且 $ \#\mathrm{III}(E_t'/\mathbb{Q})[\hat{\phi}] = 2^6 $，与Birch与Swinnerton-Dyer猜想下秩为2一致。
• 对于 $ r = 24/65 $，Selmer群大小为 $ 2^{13} $，且 $ \#\mathrm{III}(E_t'/\mathbb{Q})[\hat{\phi}] = 2^6 $，同样支持秩为2。
• 对于 $ r = 11/69 $，Selmer群大小为 $ 2^{11} $，且 $ \#\mathrm{III}(E_t'/\mathbb{Q})[\hat{\phi}] = 2^4 $，表明秩为2。
• 对于 $ r = 7/88 $，Selmer群大小为 $ 2^{12} $，且 $ \#\mathrm{III}(E_t'/\mathbb{Q})[\hat{\phi}] = 2^5 $，与秩为2一致。
• 对于 $ r = 12/97 $，Selmer群大小为 $ 2^{10} $，且 $ \#\mathrm{III}(E_t'/\mathbb{Q})[\hat{\phi}] = 2^7 $，支持秩为1。
• 本文解释称，$ \#\mathrm{III}(E_t'/\mathbb{Q})[\hat{\phi}] $ 并非总是完全平方数，是因为同源 $ \phi $ 不是自对偶的，因此Cassels配对不会强制其阶为平方数，这与乘法-by-$ m $ 映射的情况不同。