[论文解读] On a Family Of Elliptic Curves With Positive Rank arising from Pythagorean Triples

Farzali Izadi, Kamran Nabardi+1 more|arXiv (Cornell University)|Dec 28, 2010

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

一句话总结

本文提出了一类新的椭圆曲线族，形式为 $ y^2 = x(x - a^2)(x - b^2) $，源自毕达哥拉斯三元组 $ (a, b, c) $，并证明这些曲线具有正的 Mordell-Weil 秩。通过计算方法，包括 2-Selmer 上界和 Mwrank 软件，作者识别出秩高达 10 的曲线，从而建立了一个可系统构造正秩的新型曲线族。

ABSTRACT

The aim of this paper is to introduce a new family of elliptic curves in the form of $y^2=x(x-a^2)(x-b^2)$ that have positive ranks. We first generate a list of pythagorean triples $(a,b,c)$ and then construct this family of elliptic curves. It turn out that this new family have positive ranks and search for the upper bound for their ranks.

研究动机与目标

• 通过毕达哥拉斯三元组在 $\mathbb{Q}$ 上构造一类新的椭圆曲线族，其秩可被严格证明为正。
• 研究该新族中曲线的秩分布及其上界。
• 提供高秩曲线的显式例子，为在 $\mathbb{Q}$ 上寻找高秩曲线提供贡献。
• 分析这些曲线的结构，特别是其 2-挠曲点和 2-下降性质。
• 建立一种系统化方法，从数论构造出发，生成具有保证正秩的椭圆曲线。

提出的方法

• 使用参数化公式 $ a = i^2 - j^2, b = 2ij, c = i^2 + j^2 $，生成所有满足 $ i, j \leq 1000 $ 的毕达哥拉斯三元组 $ (a, b, c) $，其中 $ \gcd(i,j) = 1 $ 且 $ i, j $ 奇偶性相反。
• 对每个三元组构造椭圆曲线 $ E: y^2 = x(x - a^2)(x - b^2) $，确保其光滑且非同构于奇异曲线。
• 使用 2-下降技术计算 2-Selmer 秩，作为 Mordell-Weil 秩的上界。
• 应用 Mwrank 软件计算每条曲线的精确 Mordell-Weil 秩。
• 利用 Nagell-Lutz 定理识别挠点，并验证所有曲线均具有四个阶为 2 的独立点。
• 利用 $\mathbb{Q}$ 上椭圆曲线的结构定理，特别是分解式 $ E(\mathbb{Q}) \cong \mathbb{Z}^r \times T $，分析其秩。

实验结果

研究问题

• RQ1 能否通过毕达哥拉斯三元组的系统构造方法，生成具有正秩的椭圆曲线？
• RQ2 在该曲线族中，于 $\mathbb{Q}$ 上观察到的最大可能秩是多少？
• RQ3 在该族中，2-Selmer 秩与 Mordell-Weil 秩的关系如何？2-下降能否提供紧致的上界？
• RQ4 是否存在与高秩相关的结构或参数模式？
• RQ5 能否不依赖显式计算，仅通过代数几何或数论方法，独立地对这类曲线的秩进行有界？

主要发现

• 源自毕达哥拉斯三元组的椭圆曲线族 $ y^2 = x(x - a^2)(x - b^2) $ 具有正的 Mordell-Weil 秩，共生成了 202,461 条此类曲线，其中 $ i,j \leq 1000 $。
• 该族中观察到的最大秩为 10，例如当 $ (a,b,c) = (387,884,965) $ 时，曲线 $ y^2 = x^3 - 931225x^2 + 117037883664x $ 的秩为 10。
• 发现多条秩为 4 的曲线，包括 $ (2147,6204,6565) $ 对应的 $ y^2 = x^3 - 43099225x^2 + 177422080320144x $，以及其他秩为 3、2 和 1 的曲线。
• 2-Selmer 秩为 Mordell-Weil 秩提供了 48 的上界，基于曲线方程系数的次数估计。
• 该族中所有曲线恰好有四个 2 阶点，确认 2-挠曲子群同构于 $ \mathbb{Z}/2\mathbb{Z} \oplus \mathbb{Z}/2\mathbb{Z} $。
• 已为秩 1 至 10 的曲线显式计算出独立生成元，包括秩 4 曲线的有理点 $ \left(\frac{5079795156916250}{1371241}, \frac{145504830321607291308950}{1605723211}\right) $。