[论文解读] A modular approach to Thue-Mahler equations

Dohyeong Kim|arXiv (Cornell University)|Jan 26, 2015

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

一句话总结

本文提出了一种模块化、构造性的方法，通过映射 κ 将 Thue-Mahler 方程的解与 ℚ 上的椭圆曲线关联起来，利用模形式理论和在有限集 S 外具有良好约化的椭圆曲线的有效界，求解此类方程。该方法提供了解数的显式上界，并给出了一种有效算法，利用 Cremona 的数据库计算所有解，已在大量数值例子中得到验证。

ABSTRACT

Let $h(x,y)$ be a non-degenerate binary cubic form with integral coefficients, and let $S$ be an arbitrary finite set of prime numbers. By a classical theorem of Mahler, there are only finitely many pairs of relatively prime integers $x,y$ such that $h(x,y)$ is an $S$-unit. In the present paper, we reverse a well known argument, which seems to go back to Shafarevich, and use the modularity of elliptic curves over $\mathbb{Q}$ to give upper bounds for the number of solutions of such a Thue-Mahler equation. In addition, our methods gives an effective method for determining all solutions, and we use Cremona's Elliptic Curve Database to give a wide range of numerical examples.

研究动机与目标

• 开发一种有效且构造性的方法，用于确定形如 h(x,y) = S-单位的 Thue-Mahler 方程的所有解，其中 h 是一个非退化的二元三次型，S 是一个有限素数集。
• 通过将解与在 S 外具有良好约化的椭圆曲线的同构类关联，提供在符号意义下互质整数对 (x,y) 的解数的显式上界。
• 建立一种实用算法，用于计算由 h(x,y) ≠ 0 定义的仿射曲线上的 S-整点集 Y(ℤ_S)，利用 ℚ 上椭圆曲线的模性。
• 通过使用 Cremona 的椭圆曲线数据库对多种三次型和素数集 S 进行大量数值计算，证明该方法的可行性。

提出的方法

• 定义一个映射 κ: Y(ℤ_S) → {ℚ 上椭圆曲线的同构类}，将每个解 t ∈ Y(ℤ_S) 映射到一个在 S 外具有良好约化的椭圆曲线 X_t，其判别式为 h 的判别式和 2。
• 证明任一椭圆曲线 E 的原像 κ⁻¹(E) 是由显式有理系数多项式定义的零维代数簇，从而可实现对对应于 E 的解的算法计算。
• 利用 ℚ 上椭圆曲线的模性，确保 κ 的像有限且可计算，从而实现解的有限性有效控制。
• 通过 Brumer 和 Silverman 的结果或借助 LMFDB 的枚举，对这类椭圆曲线的数量进行界定，从而得到 |Y(ℤ_S)| 的上界。
• 使用 Cremona 的数据库实现该方法，计算了多种 Thue-Mahler 方程的所有解，包括广义 Ramanujan-Nagell 方程和如 x(x−y)y 这类三次型。
• 通过求解由 E 的 Weierstrass 模型和三次型 h(x,y) 导出的多项式方程组，显式构造映射 κ 的纤维。

实验结果

研究问题

• RQ1 能否利用模形式和椭圆曲线理论，有效界定 Thue-Mahler 方程的解数？
• RQ2 能否构造一个从三次曲线上的 S-整点到 ℚ 上具有可控导子的椭圆曲线同构类的映射？
• RQ3 此类映射的原像能否由显式多项式方程描述，从而实现所有解的算法计算？
• RQ4 在实际应用中，该方法与 Baker 的对数形式方法相比如何，特别是在计算可行性方面？
• RQ5 各种 Thue-Mahler 方程的解集结构如何？能否通过这种模块化方法系统地计算出所有解？

主要发现

• Thue-Mahler 方程的解数被界定为 |Aut_ℚ(Y)| × G(S)，其中 G(S) 是在 S 外具有良好约化的椭圆曲线同构类的数量。
• 获得了一个有效上界：|Y(ℤ_S)| ≤ |Aut_ℚ(Y)| × k₂M^(1/2+ε)，其中 M 是 S 中素数的乘积，且 ε > 0。
• 对于 κ 的像中的每个椭圆曲线 E，映射到 E 的解集是有限的，且可通过显式多项式组计算，从而实现所有解的完整枚举。
• 该方法成功计算出 16 个不同 Thue-Mahler 方程的所有解，包括 x(x−y)y、(x²+7y²)y 和 x³−y³ 等形式，S 的素数个数从 3 到 4 不等。
• 数值表格证实了该方法的实用性，例如在 S = {2,7,11,13} 时，x(x−y)y 方程的非平凡解共 128 个。
• 该算法使用 Cremona 的数据库实现，结果通过显式同源和导子匹配进行验证，所有测试案例均确认正确性。