On the generalized Fermat equation $x^{13} + y^{13} = z^n$

基本信息

• 论文ID: 2510.12092
• 标题: On the generalized Fermat equation $x^{13} + y^{13} = z^n$
• 作者: Alex J. Best, Sander R. Dahmen, Nuno Freitas
• 分类: math.NT (Number Theory)
• 发表时间: 2025年10月15日
• 论文链接: https://arxiv.org/abs/2510.12092

摘要

本文研究广义费马方程 $x^{13}+y^{13}=z^n$（其中 $x,y,z \in \mathbb{Z}$，$\gcd(x,y,z)=1$，$n \in \mathbb{Z}_{\geq 2}$）。通过结合多种技术手段，包括模形式方法、经典下降法、单位筛法以及数域上的Chabauty和Mordell-Weil筛法，作者证明了当 $n=5$ 时该方程的所有解都是平凡的（即满足 $abc=0$）。在广义黎曼假设(GRH)下，作者还证明了当 $n=7$ 时也只有平凡解。此外，本文还提供了针对一般 $n$ 的部分结果，特别是证明了任何满足 $13\mid c$ 的解都是平凡的。

研究背景与动机

问题定义

广义费马方程是经典费马方程的推广，形式为： $x^p + y^q = z^r, \quad x,y,z \in \mathbb{Z}, \quad \gcd(x,y,z) = 1$

本文专注于指数三元组为 $(13,13,n)$ 的情形，即： $x^{13} + y^{13} = z^n, \quad x,y,z \in \mathbb{Z}, \quad \gcd(x,y,z) = 1$

研究重要性

1. 理论意义：广义费马方程是数论中的核心问题，连接了代数数论、算术几何和模形式理论
2. 历史背景：该方程已在 $n=2$（Bennett-Skinner）和 $n=3$（Bennett-Vatsal-Yazdani）的情况下得到解决
3. 技术挑战：随着指数增大，传统方法面临越来越大的计算和理论困难

现有方法局限性

• 单一技术方法在处理较大指数时效果有限
• 计算复杂度随指数增长而急剧增加
• 需要更精细的筛法和更强的模形式理论工具

核心贡献

1. 完全解决特定情况：完全确定了 $n=5$ 时方程的解，并在GRH下解决了 $n=7$ 的情况
2. 一般性结果：证明了对所有 $n \geq 2$，满足 $13\mid c$ 的解都是平凡的
3. 方法论创新：展示了如何有效结合多种现代技术来突破传统方法的局限
4. 计算技术：发展了强化的单位筛法，显著减少了需要考虑的超椭圆曲线数量

方法详解

任务定义

寻找广义费马方程 $x^{13} + y^{13} = z^n$ 的所有本质解（primitive solutions），即满足 $\gcd(x,y,z) = 1$ 的整数解 $(x,y,z)$。

整体策略

作者采用分情况讨论的策略：

1. 情况一：$13 \mid c$（等价于 $13 \mid a+b$）
2. 情况二：$13 \nmid c$

核心技术组件

1. 多Frey曲线方法（针对 $13 \mid c$ 情况）

对于情况一，作者使用了两条Frey曲线：

• $E_{a,b}$：定义在 $\mathbb{Q}(\sqrt{13})$ 上
• $F_{a,b}$：定义在完全实三次子域 $K$ 上

关键结果：

• 命题2.1：表示 $\rho_{E,p}$ 是不可约的
• 命题2.2：对于 $p \geq 5$ 且 $p \neq 13$，有 $\rho_{E,p} \cong \rho_{Z,p}$，其中 $Z$ 是 $E_{1,-1}$、$E_{1,0}$ 或 $E_{1,1}$ 之一

2. 超椭圆曲线约化（针对 $13 \nmid c$ 情况）

利用多项式 $x^{13} + y^{13}$ 在数域 $K$ 上的因式分解： $x^{13} + y^{13} = F \cdot \sigma(F) \cdot \sigma^2(F) \cdot (x+y)$

其中 $F$ 是次数为4的齐次多项式。通过经典下降法，将问题约化为确定超椭圆曲线上的有理点： $C_{p,e}: Y^2 = eX^p + 4^{p-1}(\rho^2-\rho+1)^p\rho^{-2}$

3. 单位筛法

第一层筛法（不使用模形式信息）：

• 对于每个素数 $p$（$5 \leq p \leq 47$，$p \neq 13$），将可能的单位 $e$ 减少到两个
• 包括 $e=1$（来自平凡解）和一个"多余单位"

第二层筛法（结合模形式信息）：

• 使用辅助素数 $q=19$ 的信息
• 结合Frey曲线 $E_{a,b}/\mathbb{Q}(\sqrt{13})$ 的性质
• 成功消除多余单位，特别是对于 $p=5,7$

4. Chabauty方法

对于 $p=5,7$，使用数域上的Chabauty方法确定超椭圆曲线 $C_p$ 上的 $K$-有理点：

$p=5$ 情况：

• Jacobian $J_5$ 的秩为2
• 应用Siksek的数域Chabauty方法
• 结合Mordell-Weil筛法确定所有有理点

$p=7$ 情况（假设GRH）：

• Jacobian $J_7$ 的秩为1
• 应用标准Chabauty方法

技术创新点

1. 多Frey方法的扩展：将文献6中的结果推广到 $d=1$ 的情况
2. 强化单位筛法：通过在素数 $p$ 处局部工作并使用模 $p^2$ 信息，实现高效筛选
3. 方法组合：巧妙结合模形式方法、下降法、筛法和Chabauty方法的优势

主要定理

定理1.1（主要结果）

设 $p \in \{5,7\}$，当 $p=7$ 时假设GRH。则广义费马方程 $x^{13} + y^{13} = z^p, \quad x,y,z \in \mathbb{Z}, \quad \gcd(x,y,z) = 1$ 的唯一解是平凡解：$(\pm 1, \mp 1, 0)$、$(\pm 1, 0, \pm 1)$ 和 $(0, \pm 1, \pm 1)$。

定理1.2（一般性结果）

对于所有整数 $n \geq 2$，方程 $x^{13} + y^{13} = z^n, \quad x,y,z \in \mathbb{Z}, \quad \gcd(x,y,z) = 1$ 没有满足 $13 \mid c$（等价于 $13 \mid a+b$）的非平凡解。

实验结果与验证

计算验证

• 使用Magma计算系统进行所有数值计算
• 对于 $p=5$：确定了 $C_5(K) = \{(X_0,\pm Y_0), (X_1,\pm Y_1), \infty\}$
• 对于 $p=7$：在GRH下确定了 $C_7(K) = \{(X_0,\pm Y_0), \infty\}$
• 验证了额外点不对应于原方程的解

筛法效果

单位筛法在实践中表现出色：

• 第一层筛法将候选单位从 $O(p^{12})$ 个减少到2个
• 第二层筛法进一步消除多余单位
• 对于 $p=5,7$ 以及 $11 \leq p \leq 37$（$p \neq 13$），成功消除所有多余单位

相关工作

本文建立在以下重要工作基础上：

1. Bennett-Skinner (2004)：解决了 $p=2$ 的情况
2. Bennett-Vatsal-Yazdani (2004)：解决了 $p=3$ 的情况
3. Billerey等 (2019,2023)：发展了多Frey方法和相关Frey曲线理论
4. Siksek (2013)：数域上的Chabauty方法

结论与讨论

主要结论

1. 完全解决了指数三元组 $(13,13,5)$ 和 $(13,13,7)$（后者需GRH）的广义费马方程
2. 对一般指数提供了重要的部分结果（$13 \mid c$ 情况）
3. 展示了多种现代技术组合使用的有效性

局限性

1. 对于 $n=7$ 的结果依赖于广义黎曼假设
2. 对于更大的素数指数，计算复杂度仍然很高
3. 某些技术（如Selmer群Chabauty）的应用还需要进一步发展

未来方向

1. 尝试无条件解决 $n=7$ 的情况
2. 扩展到更大的素数指数
3. 发展更强的Chabauty变体方法
4. 探索高维Frey簇的应用可能性

深度评价

优点

1. 方法论创新：成功展示了多种技术的有机结合，为解决类似问题提供了范式
2. 理论深度：涉及代数数论、算术几何、模形式理论等多个深刻领域
3. 计算精细：单位筛法的设计和实现体现了高超的计算技巧
4. 结果完整：对所考虑的情况给出了完全的解答

不足

1. 依赖假设：$n=7$ 的结果需要GRH，限制了结果的无条件性
2. 可扩展性：方法对更大指数的适用性仍需验证
3. 技术复杂性：需要多个高深理论的结合，增加了验证难度

影响力

1. 学术价值：推进了广义费马方程研究的前沿
2. 方法论贡献：为相关问题提供了新的技术路线
3. 计算意义：展示了现代计算工具在数论研究中的重要作用

适用场景

该方法适用于：

• 具有特殊结构的广义费马方程
• 可以构造合适Frey曲线的丢番图方程
• 能够有效应用单位筛法的情况

参考文献

本文引用了21篇重要文献，涵盖了模形式理论、算术几何、计算数论等多个方向的经典和前沿工作，为研究提供了坚实的理论基础。