[论文解读] Recipes to Fermat-type equations of the form x^r + y^r = Cz^p

Nuno Freitas|arXiv (Cornell University)|Mar 15, 2012

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

一句话总结

本文利用在全实域上的模形式发展了一种多Frey曲线策略，证明了当素数 $p$ 足够大时，方程 $x^7 + y^7 = 3z^p$ 不存在非平凡本原解。通过证明相关Frey曲线在 $\mathbb{Q}(\zeta_7)^+$ 上的模性与不可约性，并计算上排除了相关的Hilbert新形式与经典新形式，作者建立了当 $p > (1 + 3^{18})^2$ 时此类解不存在，标志着对签名 $(7,7,p)$ 方程的模方法取得了重大进展。

ABSTRACT

We describe a strategy to attack infinitely many Fermat-type equations of signature $(r,r,p)$, where $r \geq 7$ is a fixed prime and $p$ is a prime allowed to vary. We use a variant of the modular method over totally real subfields of $\mathbb{Q}(ζ_r)$. In particular, to a solution $(a,b,c)$ of $x^r + y^r =Cz^p$ we will attach several Frey curves $E=E_{(a,b)}$. We prove modularity of all the Frey curves and the exsitence of a constant constant $M_r$, depending only on $r$, such that for all $p>M_r$ the representations $\barρ_{E,p}$ are absolutely irreducible. Along the way, we also prove modularity of certain elliptic curves that are semistable at all $v \mid 3$.\par Finally, we illustrate our methods by proving arithmetic statements about equations of signature $(7,7,p)$. Among which we emphasize that, using a multi-Frey technique, we show there is some constant $M$ such that if $p > M$ then the equation $x^7 + y^7 = 3z^p$ has no non-trivial primitive solutions.

研究动机与目标

• 开发一种通用策略，以应对固定 $r \geq 7$ 而 $p$ 变化的无穷多个签名 $(r,r,p)$ 的Fermat型方程。
• 将模方法扩展至 $\mathbb{Q}(\zeta_r)$ 的全实子域，特别是 $K^+ = \mathbb{Q}(\zeta_r)^+$，以处理方程 $x^r + y^r = Cz^p$。
• 证明所有 $p > M_r$ 的残余伽罗瓦表示 $\bar{\rho}_{E,p}$ 的模性与绝对不可约性，从而支持层级降低论证。
• 将该方法应用于特定情形 $C=3$ 与 $r=7$，表明当 $p$ 足够大时，仅有有限多个解存在。
• 通过排除相关空间中所有候选新形式，彻底完成模方法的矛盾步骤，从而解决方程 $x^7 + y^7 = 3z^p$。

提出的方法

• 为在全实域 $K^+ = \mathbb{Q}(\zeta_r)^+$ 上的方程 $x^r + y^r = Cz^p$ 的一个潜在本原解 $(a,b,c)$，关联多个Frey曲线 $E_{(a,b)}^{(i,j,k)}$。
• 利用层级降低与模形式提升定理，证明所有构造出的Frey曲线在 $K^+$ 上的模性。
• 证明所有 $p > M_r$ 的模 $p$ 伽罗瓦表示 $\bar{\rho}_{E,p}$ 的绝对不可约性，其中 $M_r$ 仅依赖于 $r$，确保这些表示对应于新形式。
• 利用 $K^+$ 上的Hilbert新形式与 $\mathbb{Q}$ 上的经典新形式，对来自Frey曲线的可能伽罗瓦表示进行分类。
• 使用 Magma 与傅里叶系数数据（至范数 200）计算排除水平为 $2^s 3 \pi_7^t$ 的空间中的候选新形式，其中 $s \in \{0,1,3,4\}$，$t=1,2$。
• 通过 13 和 41 上的素数应用矛盾论证，排除所有剩余的新形式，从而完成 $x^7 + y^7 = 3z^p$ 的模方法。

实验结果

研究问题

• RQ1 模方法能否被扩展以应对固定 $r \geq 7$ 而 $p$ 变化的无穷多个签名 $(r,r,p)$ 的Fermat型方程？
• RQ2 对于 $x^7 + y^7 = 3z^p$，是否存在一个常数 $M$，使得当 $p > M$ 时不存在非平凡本原解？
• RQ3 能否在 $K^+ = \mathbb{Q}(\zeta_7)^+$ 上使用多个Frey曲线来增强模方法，并克服单曲线方法的局限性？
• RQ4 在此设定下，模 $p$ 伽罗瓦表示 $\bar{\rho}_{E,p}$ 是否对所有足够大的 $p$ 都是绝对不可约的？
• RQ5 能否利用部分傅里叶系数数据，在高维空间中实现Hilbert新形式的计算排除？

主要发现

• 本文证明了当所有 $p > (1 + 3^{18})^2$ 时，方程 $x^7 + y^7 = 3z^p$ 不存在非平凡本原解。
• 附着于多Frey曲线的模 $p$ 伽罗瓦表示 $\bar{\rho}_{E,p}$ 与 $\bar{\rho}_{E',p}$ 对所有 $p > (1 + 3^{18})^2$ 都是绝对不可约的。
• 通过 13 和 41 上的素数，计算上排除了 $S_2(2^3 3 \pi_7)$ 中全部 56 个有理新形式，确认了当 $p > 5$ 时矛盾成立。
• 通过傅里叶系数至范数 200，排除了 $S_2(2^3 3 \pi_7^2)$ 中全部 152 个有理新形式，非有理形式则通过前文部分的相同论证予以排除。
• 确立了存在常数 $M_3$，使得当 $p > M_3$ 时不存在非平凡本原解，其中 $M_3 = (1 + 3^{18})^2$。
• 该方法成功将模方法应用于 $r=7$，$C=3$ 的情形，通过结合模性、不可约性以及对经典与Hilbert模形式中新形式的计算排除，完成了论证。