[论文解读] Rational $D(q)$-quintuples

Goran Dražić|arXiv (Cornell University)|Jan 1, 2021

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

一句话总结

本论文研究有理数 D(q)-五元组——即五个互异的非零有理数，使得其中任意两个数的乘积加上海量有理数 q 后为完全平方数。在假设八个特定椭圆曲线的扭变体满足符号猜想的前提下，作者证明了对于至少 99.5% 的无平方因子整数 q，存在无穷多个此类五元组，显著优于先前的密度界。

ABSTRACT

For a nonzero rational number $q$, a rational $D(q)$-$n$-tuple is a set of $n$ distinct nonzero rationals $\{a_1, a_2, \dots, a_n\}$ such that $a_ia_j+q$ is a square for all $1 \leqslant i < j \leqslant n$. We investigate for which $q$ there exist infinitely many rational $D(q)$-quintuples. We show that assuming the Parity Conjecture for the twists of several explicitly given elliptic curves, the density of such $q$ is at least $295026/296010\approx 99.5\%$.

研究动机与目标

• 确定哪些无平方因子有理整数 q 满足存在无穷多个有理 D(q)-五元组。
• 在已知下限密度突破 1/2 阈值的前提下，进一步提高此类 q 的密度下界。
• 通过有理函数与椭圆曲线扩展杜杰拉的 D(q)-五元组构造方法。
• 应用符号猜想来估计与这些五元组相关的椭圆曲线二次扭变体的秩。
• 计算 ℤ 中满足关联椭圆曲线的秩为正的 q 的自然密度，从而推导出存在无穷多个 D(q)-五元组。

提出的方法

• 通过推广杜杰拉对 D(q)-对与 D(q)-三元组的方法，利用 u 的有理函数参数化构造有理函数 D(q(u))-五元组。
• 在 Q(u) 上定义一条曲线 C，其双有理等价于 Q(u) 上的椭圆曲线 E，且其 Mordell-Weil 群的秩至少为五。
• 将 E 上的八个有理点分别关联到一个三次或四次多项式 PQi(u)，从而生成一族 D(q(u))-五元组。
• 对每个此类五元组，定义曲线 E(i) 的一个二次扭变体 E(i)q，其中 q 为无平方因子整数。
• 利用符号猜想将根数 W(E(i)q) 与 E(i)q(Q) 的秩联系起来，正秩意味着存在无穷多个有理 D(q)-五元组。
• 计算根数函数 W(E(i)q) 与 W(E(i)−q) 的周期 Ni，并在所有八条曲线的周期上取最小公倍数，以确定整体上具有正秩的 q 的密度。

实验结果

研究问题

• RQ1 对于无平方因子整数 q 的多大比例，存在一个无穷多个有理 D(q)-五元组的族？
• RQ2 在标准猜想下，此类 q 的密度能否显著超越已知的 1/2 限制？
• RQ3 在符号猜想成立的前提下，给定椭圆曲线的二次扭变体的秩为正的 q ∈ ℤ 的自然密度是多少？
• RQ4 局部根数 Wp(E(i)q) 作为 q 模某个固定整数的函数，其行为如何？其组合周期性如何？
• RQ5 能否系统性地扩展 D(q(u))-五元组的构造，通过椭圆曲线的有理点覆盖 ℚ 中大量 q 的密度？

主要发现

• 在假设八个显式给出的椭圆曲线扭变体满足符号猜想的前提下，存在无穷多个有理 D(q)-五元组的无平方因子整数 q 的密度至少为 295026/296010 ≈ 99.5%。
• 该结果适用于模 394680 的至少 295026 个剩余类，占该模下 296010 个无平方因子剩余类的 99.5% 以上。
• 对于负的无平方因子整数 q，该界限更高：模 394680 的 296010 个剩余类中，至少有 295435 个类对应无穷多个有理 D(q)-五元组。
• 该方法依赖于在 Q(u) 上的椭圆曲线上利用有理点构造八个不同的 D(q(u))-五元组，每个五元组通过特化生成一族 D(q)-五元组。
• 根数函数 W(E(i)q) 与 W(E(i)−q) 模 Ni 周期性成立，且这些周期的最小公倍数为 394680，该数定义了整体密度结果的模数。
• 该构造是有效的：对于每个正秩的此类 q，存在无穷多个有理 D(q)-五元组，且可通过有理参数化显式生成。