[论文解读] Descent on elliptic curves

Michael Stoll|ArXiv.org|Nov 22, 2006

Algebraic Geometry and Number Theory参考文献 20被引用 3

一句话总结

本文提出了一种在数域上的椭圆曲线上执行 n-下降的显式计算方法，重点在于将 Selmer 群元素构作为曲线的覆盖空间的显式模型。该方法使 n- Selmer 群的实用计算成为可能，并通过提供显式的几何表示促进了更高阶下降（如 p²-下降）的实现，目前已实现 n=2,3,4 的算法，且在 n=5 时取得了理论进展。

ABSTRACT

Let E be an elliptic curve over Q (or, more generally, a number field). Then on the one hand, we have the finitely generated abelian group E(Q), on the other hand, there is the Shafarevich-Tate group Sha(Q,E). Descent is a general method of getting information on both of these objects - ideally complete information on the Mordell-Weil group E(Q), and usually partial information on Sha(Q,E). What descent does is to compute (for a given n > 1) the n-Selmer group Sel^(n)(Q,E); it sits in an exact sequence 0 --> E(Q)/nE(Q) --> Sel^(n)(Q,E) --> Sha(Q,E)[n] --> 0 and thus contains combined information on E(Q) and Sha(Q,E). The main problem I want to discuss in this ``short course'' is how to actually do this explicitly, with some emphasis on obtaining representations of the elements of the Selmer group as explicit covering spaces of E. These explicit representations are useful in two respects - they allow a search for rational points (if successful, this proves that the element is in the image of the left hand map above), and they provide the starting point for performing ``higher'' descents (e.g., extending a p-descent computation to a p^2-descent computation).

研究动机与目标

• 开发在数域上的椭圆曲线上执行 n-下降的显式可计算方法，特别是计算 n- Selmer 群。
• 通过将 Selmer 群元素表示为椭圆曲线的覆盖空间，提供几何表示，以支持有理点的搜索。
• 通过从 n-下降数据构造显式模型，支持更高阶下降（如 p²-下降）。
• 最小化并约化覆盖曲线定义方程的系数，以提高计算效率。
• 通过算法与软件实现（如 MAGMA 中的实现），弥合理论下降与实际计算之间的鸿沟。

提出的方法

• 利用伽罗瓦上同调将 n- Selmer 群定义为 H¹(K, E[n]) 的子群，满足在 K 的所有素点 v 处的局部条件。
• 通过上循环表示 Selmer 群的元素，并利用扭作法构造相应的主齐次空间（即覆盖曲线）。
• 利用与上循环相关联的中心单代数的作用，在射影空间中构造这些覆盖空间的显式模型。
• 通过同构（如 ι: Aρ → Matₙ(K)）将代数模型映射到低维射影空间中。
• 通过最小化消除判别式中不必要的素幂，并通过 SLₙ(ℤ)-作用进行约化，以减小系数大小。
• 利用高度理论将覆盖曲线上点的高度与椭圆曲线上对应点的高度关联，证明 h_D(Q) ≈ (1/2n)h(x(P)) + O(1)。

实验结果

研究问题

• RQ1 如何将 n- Selmer 群的元素显式表示为椭圆曲线的几何覆盖空间？
• RQ2 哪些计算技术可实现从上同调数据到定义覆盖曲线的显式多项式方程的转换？
• RQ3 如何通过方程的最小化与约化来提升下降计算的效率？
• RQ4 显式模型在 Selmer 群元素中如何促进椭圆曲线上有理点的搜索？
• RQ5 高度理论在通过下降估计有理点大小方面起什么作用？

主要发现

• n- Selmer 群被计算为满足所有素点处局部条件的 H¹(K, E[n]) 的子群，从而为 Mordell-Weil 秩提供上界。
• 通过扭作法与矩阵代数同构，显式构造了 Selmer 群元素在射影空间中的曲线模型。
• 对于 n=2,3,4，存在算法可计算 n- Selmer 群并生成 ℙⁿ⁻¹ 中的约化模型，且已在 MAGMA 中实现。
• 方程的最小化与约化显著减小了系数大小，提高了计算的可行性。
• 覆盖曲线上点的高度渐近等价于其在椭圆曲线上像点高度的 (1/2n)，误差有界。
• Selmer 群中的负元素产生同构的曲线，但具有两种不同的 E-结构，因此元素在模 ±1 意义下考虑。