[论文解读] Sums of two biquadrates and elliptic curves of rank $\geq 4$

Farzali Izadi, Foad Khoshnam+1 more|arXiv (Cornell University)|Feb 25, 2012

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

一句话总结

本文证明，若正整数 $ n $ 可以以两种不同方式表示为两个四次方之和，则椭圆曲线 $ y^2 = x^3 - nx $ 的 Mordell-Weil 秩至少为 3。若 $ n $ 为奇数且奇偶性猜想成立，则秩为偶数且至少为 4。作者通过参数解法和 Sage 的计算验证，构造出了秩为 4 至 10 的显式例子。

ABSTRACT

If an integer $n$ is written as a sum of two biquadrates in two different ways, then the elliptic curve $y^2=x^3-nx$ has rank $\geq 3$. If moreover $n$ is odd and the parity conjecture is true, then it has even rank $\geq 4$. Finally, some examples of ranks equal to 4, 5, 6, 7, 8 and 10, are also obtained.

研究动机与目标

• 建立整数表示为两个四次方之和与相关椭圆曲线秩之间的联系。
• 研究当 $ n = p^4 + q^4 = r^4 + s^4 $ 且具有本原解时，椭圆曲线 $ E_n: y^2 = x^3 - nx $ 的秩。
• 探讨奇偶性猜想对 $ n $ 为奇数时 $ E_n $ 秩的影响。
• 利用参数解法和计算工具，构造此类曲线的显式例子，其秩高达 10。

提出的方法

• 利用欧拉对丢番图方程 $ p^4 + q^4 = r^4 + s^4 $ 的参数解法，生成 $ n $ 的本原解。
• 应用 2-同源映射 $ heta: E_n o E_n' $，其中 $ E_n': y^2 = x^3 + 4nx $，以关联相关曲线的 Selmer 群。
• 通过同态 $ heta $ 和映射 $ ho $ 使用 Selmer 群，分析有理点在平方模下的像。
• 利用公式 $ 2^{r+2} = | ext{im}( heta)| imes | ext{im}( ho)| $ 推导秩 $ r $ 的下界，基于 $ bQ^*/bQ^{*2} $ 中的独立元素。
• 应用奇偶性猜想，推导出当 $ n $ 为奇数时，若秩至少为 4，则其秩必为偶数。
• 使用 Sage 软件进行计算验证，以计算由参数解法导出的特定曲线的 Mordell-Weil 秩。

实验结果

研究问题

• RQ1 当 $ n $ 可以以两种不同方式表示为两个四次方之和时，椭圆曲线 $ y^2 = x^3 - nx $ 的最小秩是多少？
• RQ2 当 $ n $ 为奇数时，其奇偶性如何影响 $ E_n $ 的秩，特别是在奇偶性猜想成立的假设下？
• RQ3 能否构造出此类曲线的显式例子，其秩大于 3？在此类曲线中，可达到的最高秩是多少？
• RQ4 对于此类 $ n $，曲线 $ E_n $ 在 $ bQ $ 上是否非同构？参数解法的结构如何确保这一点？
• RQ5 Selmer 群与 2-同源映射在从下方界定 $ E_n $ 秩方面起什么作用？

主要发现

• 若 $ n $ 可以以两种不同方式表示为两个四次方之和，则椭圆曲线 $ y^2 = x^3 - nx $ 的 Mordell-Weil 秩至少为 3。
• 若 $ n $ 为奇数且奇偶性猜想成立，则 $ y^2 = x^3 - nx $ 的秩为偶数且至少为 4。
• 本文构造了秩为 4、5、6、7、8 和 10 的显式曲线例子，包括 $ n = 635318657 $（秩为 4）和 $ n = 173329443404113736737 $（秩为 10）。
• 对于偶数 $ n $，秩为奇数且至少为 3，与根数 $ u(E_n) = -1 $ 一致。
• 欧拉的参数解法确保了不同的 $ n $ 值对应 $ bQ $ 上非同构的曲线，因为它们之间不通过四次方相乘相关联。
• 使用 Sage 的计算验证确认了所构造曲线的秩，其中发现的最高秩为 10。