[论文解读] Some remarks on Heegner point computations

Mark E. Watkins|ArXiv.org|Jun 16, 2005

Algebraic Geometry and Number Theory参考文献 25被引用 10

一句话总结

本文提出了一种先进的计算技术，用于利用 Heegner 点在秩为 1 的椭圆曲线上生成有理点，通过利用高度信息、Atkin-Lehner 对合以及格约化，显著降低了所需的数值精度。主要贡献是一个实用算法，提高了点搜索的效率与可靠性，尤其适用于具有小规范高度的曲线。

ABSTRACT

We explain how to find a rational point on a rational elliptic curve of rank 1 using Heegner points. We give some examples, and list new algorithms that are due to Cremona and Delaunay. These are notes from a short course given at the Institut Henri Poincare in December 2004.

研究动机与目标

• 开发一种利用 Heegner 点计算秩为 1 椭圆曲线上非扭有理点的算法。
• 通过改进数值精度管理，降低 Heegner 点计算中实数运算的计算成本。
• 将下降理论、模参数化和理想类群结构的理论洞见整合到实际计算中。
• 提供一种条件有效但可实现的点搜索方法，适用于 Magma 等计算机代数系统。

提出的方法

• 利用模参数化 φ: X₀(N) → E，将 Heegner 点 τ ∈ ℋₙᴰ 映射到 E(C) 上的复点，其坐标属于 Q(√D) 的希尔伯特类域。
• 应用高度估计技术（遵循 Cremona 的方法），从其规范高度恢复有理点，减少对高精度算术的依赖。
• 利用 Atkin-Lehner 对合 Wₙ 优化辅助参数 β ∈ ℤ/2Nℤ 的选择，提高收敛性并缩小搜索空间。
• 使用格约化技术（受 Elkies 启发），最小化模参数化数值评估中所需的实数精度。
• 在 Magma 计算代数系统中实现该算法，利用其对模形式、复乘法和理想类群计算的支持。
• 结合这些方法与下降技术，确保所得点为非扭点且阶为无限。

实验结果

研究问题

• RQ1 如何利用有理点的规范高度，从其数值近似中恢复该点本身？
• RQ2 Atkin-Lehner 对合在何种方式下可提升秩为 1 曲线 Heegner 点选择的效率？
• RQ3 格约化技术在多大程度上可减少 Heegner 点计算中所需的数值精度？
• RQ4 如何利用理想类群与模参数化之间的相互作用，定位椭圆曲线上的有理点？

主要发现

• 使用高度估计可从规范高度恢复有理点，减少对高精度算术中穷举搜索的依赖。
• 引入 Atkin-Lehner 对合可优化 Heegner 参数的选择，提高生成小规范高度点的可能性。
• 格约化技术显著降低了模参数化数值评估中所需的实数精度，从而实现更快更稳定的计算。
• 综合方法产生了一种实用且可实现的算法，用于在秩为 1 的椭圆曲线上寻找非扭有理点，已在 Magma 中得到验证。
• 该方法依赖于标准猜想（如曼宁常数 = 1），但在正秩曲线的实际应用中表现可靠。
• 由于通过格约化降低了精度需求，该算法在规范高度较小的曲线上也表现有效，此时数值不稳定性最为严重。