Integers representable as a difference of two rational fourth powers

以下是 Ashleigh Ratcliffe 和 Nguyen Xuan Tho 所著论文《可表示为两个非零有理数四次方之差的整数》的详细技术总结。

1. 问题陈述

本文探讨了丢番图方程的可解性：
$$n = x^4 - y^4$$
其中 $n$ 为正整数，$x, y$ 为非零有理数。

该问题的动机源于指数 $n=4$ 时的费马大定理，该定理意味着 $1$不能写成两个非零有理数四次方之差。虽然两个有理数四次方**和**（$x^4 + y^4 = n$）的情况已由 Cohen、Bremner 和 Tho 对 $n \le 10,000$ 基本解决，但差的情况在某些数值上仍不完整。作者旨在提供所有可表示为该形式的正整数 $n \le 10,000$ 的完整列表。

在数学上，该问题等价于寻找满足 $xyz \neq 0$ 的齐次方程整数解 $(x, y, z)$：
$$x^4 - y^4 = nz^4$$
由于四次方的性质，只需分析无四次方因子的 $n$ 即可。

2. 方法论

作者采用了一种多层面的计算与理论相结合的方法，融合了椭圆曲线、局部障碍以及高斯整数分解等技术。工作流程分为三个主要阶段：

A. 简易约化与椭圆曲线（第 2.1 和 2.2 节）

第一步涉及将问题转化为寻找特定椭圆曲线上的有理点。

• 变换：$x^4 - y^4 = nz^4$ 的任何非平凡整数解都意味着以下三个关联椭圆曲线之一上存在有理点：
  1. $Y^2 = X^3 + nX$
  2. $Y^2 = X^3 - nX$
  3. $Y^2 = X^3 - n^2X$
• 秩为 0 的检查：如果这些曲线中任何一条的秩为 0，则其有理点集是有限的（仅包含挠点）。作者使用计算机代数系统Magma计算秩和挠点。如果挠点不能产生有效解（即 $xyz \neq 0$），则证明该方程无解。
• 约化为八次方程：对于曲线秩为正的情况，问题通过定理 2 被约化为求解如下形式的方程：
  $$a^2u^8 + b^2v^8 = cw^4$$
  其中 $a, b, c$ 是两两互质的整数，且 $abc \in \{n/8, 2n\}$。
• 局部障碍与 Mordell-Weil 筛法：
  • 局部障碍：作者检查模 $p^k$ 的解。如果模某个素数不存在互质解，则全局方程无解。
  • Mordell-Weil 筛法：对于局部障碍无法排除解的情况，作者将问题映射为寻找源自八次方程的椭圆曲线上的有理点。他们利用 Mordell-Weil 筛法检查生成的模素数 $p$ 的点群是否与可能的局部解集合不相交，从而证明不可解性。

B. 勾股数方法（第 2.3 节）

对于八次方程 $a^2u^8 + b^2v^8 = cw^4$ 中系数 $c$ 为完全平方数（$c=k^2$）的特定情况，该方程可转化为涉及勾股数的系统：
$$x^2 + y^2 = z^2$$
利用本原勾股数的标准参数化，作者将问题约化为求解涉及四次方的方程组（例如 $d^2U^8 - e^2V^8 = bv^4$）。该方法成功解决了许多筛法无法处理的案例。

C. $\mathbb{Z}[i]$ 中的分解（第 3 节及附录 B）

对于剩余的顽固案例（列于论文表 2 中），作者利用了高斯整数环 $\mathbb{Z}[i]$ 中的分解方法。

• 分解：方程 $a^2u^8 + b^2v^8 = cw^4$ 被重写为：
  $$(au^4 + bv^4i)(au^4 - bv^4i) = cw^4$$
• 高斯整数：通过分析 $\mathbb{Z}[i]$ 中的最大公约数以及 $c$ 的素因子分解，作者推导出：
  $$au^4 + bv^4i = \alpha(s + ti)^4$$
  其中 $\alpha$ 是 $c$ 在 $\mathbb{Z}[i]$ 中的一个因子。
• 方案的局部不可解性：令实部和虚部相等，得到关于变量 $s, t, u, v$ 的两个齐次四次方程组。这在射影空间 $\mathbb{P}^3(\mathbb{Q})$ 中定义了一个方案。作者使用 Magma 检查该方案在特定素数（通常是 2、3、5 或 17）处是否局部不可解。如果该方案在模 $p$ 下无解，则原始丢番图方程无整数解。

3. 主要贡献

1. 完整分类：本文提供了所有可表示为两个非零有理数四次方之差的正整数 $n \le 10,000$ 的完整列表。
2. 解决未决案例：作者解决了先前研究（Grechuk 和 Tho）中遗留的特定案例，包括 $n = 219, 463, 514$ 等，直至 $n=10,000$。
3. 算法框架：本文详细阐述了一个稳健的计算流程，结合了椭圆曲线秩、Mordell-Weil 筛法、勾股数参数化以及高斯整数分解。该框架适用于涉及更高次幂的类似丢番图问题。
4. OEIS 序列：结果已收录于整数数列在线百科全书（OEIS），分别为序列 A393616（非零有理四次方）和 A393617（允许零）。

4. 结果

• 可解整数：论文表 3 列出了 136 个可表示为 $x^4 - y^4$ 的整数 $n \le 10,000$。对于每个整数，都提供了具体的有理数表示（例如 $5 = (3/2)^4 - (1/2)^4$）。
• 不可解整数：本文证明了在 $1 \le n \le 10,000$ 范围内，其余整数没有非零有理数解。
• 特定案例：附录提供了对 33 个需要 $\mathbb{Z}[i]$ 分解方法的“困难”案例的详尽证明。例如，对于 $n=463$，通过证明关联方案在 $p=2$ 和 $p=3$ 处局部不可解，表明方程 $214369u^8 + v^8 = 2w^4$ 无解。

5. 意义

• 完成综述：这项工作与 Cohen 关于四次方和的综述相呼应，完成了 $10,000$ 以内差的情况的图景。
• 方法论进步：它展示了将经典数论（高斯整数、勾股数）与现代计算工具（Magma、Mordell-Weil 筛法）相结合，以解决高次丢番图方程的强大能力。
• 未来研究的基础：详细的附录以及用于处理“困难”案例的具体技术，为解决类似问题（如六次方或更高指数的和或差）提供了蓝图。

总之，Ratcliffe 和 Tho 成功填补了关于有理数四次方之差的文献空白，提供了可表示整数的确定性列表，并对指定范围内不可表示的整数给出了严格的证明。