[论文解读] Local criteria for the unit equation and the asymptotic Fermat's Last Theorem

Nuno Freitas, Alain Kraus+1 more|arXiv (Cornell University)|Dec 23, 2020

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

一句话总结

本文建立了纯粹局部的判定条件——基于素数 2 和 3 的分裂与分歧行为——用于完全实数域上的渐近费马大定理（FLT）。证明表明，若 2 惰性或完全分歧，且 3 完全分裂，或若 2 完全分歧且 3 完全分裂，则渐近 FLT 成立。其关键创新在于将全局丢番图问题约化为关于素数分解的局部条件。

ABSTRACT

Let F be a totally real number field of odd degree. We prove several purely local criteria for the asymptotic Fermat's Last Theorem to hold over F, and also for the non-existence of solutions to the unit equation over F. For example, if 2 totally ramifies and 3 splits completely in F, then the asymptotic Fermat's Last Theorem holds over F.

研究动机与目标

• 建立仅依赖于局部素数分解数据的、完全实数域上渐近费马大定理的充分条件。
• 证明在数域上单位方程无解的判定可完全由素数 2 和 3 的次数与分歧性质的局部条件决定。
• 将基于模形式的证明方法在渐近 FLT 中的应用范围，扩展至不受全局类群或伽罗瓦群约束的情形。
• 在标准朗兰兹猜想下，对结果提出一个猜想性的推广，适用于任意数域。

提出的方法

• 使用 S-单位方程，其中 S = {q}，q 为 2 上方的唯一素数，将渐近 FLT 问题约化为在 q 处的局部赋值阶约束。
• 应用一个简化引理，将任意 S-单位解约化为具有受控 q-进赋值的整数解。
• 利用局部类域论与特征多项式论证，证明在次数互素条件下，模 p 的单位满足 λ ≡ ±1 (mod p)。
• 利用 Triantafillou 在 3 完全分裂且次数不被 3 整除的域上关于单位方程的结果。
• 依赖先前工作中定理 6 的结果，该定理在特定赋值界下，将 S-单位方程的解与渐近 FLT 的有效性联系起来。
• 在猜想性基础上，通过 Serre 的模形式猜想以及新形式与椭圆或虚假椭圆曲线的关联，将结果推广至非完全实域。

实验结果

研究问题

• RQ1 能否仅通过素数 2 和 3 的局部分解数据，在完全实数域上保证渐近费马大定理成立？
• RQ2 在何种纯粹局部条件下，数域上的单位方程无解，条件涉及 2 和 3 的次数与分歧性质？
• RQ3 在不依赖类数等全局不变量的前提下，模形式提升定理与 S-单位方程约束在多大程度上可用于证明渐近 FLT？
• RQ4 在标准朗兰兹纲领猜想下，完全实域上的结果能否推广至一般数域？

主要发现

• 若 F 是奇数次的完全实数域，2 在 F 中完全分歧，且 3 在 F 中完全分裂，则 F 上渐近费马大定理成立。
• 若 F 是次数 n ≡ 1 或 5 (mod 6) 的完全实数域，2 在 F 中惰性，且 3 在 F 中完全分裂，则 F 上渐近费马大定理成立。
• 对任意素数 p ≥ 5，若 F 的次数 n 满足 gcd(n, p−1) = 1，且 p 在 F 中完全分歧，则单位方程 λ + µ = 1 在 O×F 中无解。
• 当 2 在 F 中惰性时，若 F 为奇数次且 λµ 满足额外同余条件，则 S-单位方程（S = {q}）无解，且满足 max{|ordq(λ)|, |ordq(µ)|} > 4。
• 本文提出了定理 1 和定理 3 在任意数域上的猜想性推广，基于两个标准猜想：Serre 模形式猜想的一个弱形式，以及新形式具有整数特征值时与椭圆或虚假椭圆曲线相关联的猜想。
• 证明策略依赖于将渐近 FLT 问题约化为对 S-单位的 q-进赋值的有界性，该目标通过局部代数数论与单位群结构实现。