[論文レビュー] 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

ひとこと要約

本稿は、完全実数体上の漸近的フェルマーの最終定理（FLT）に対して、素数 2 および 3 の分解および分岐の挙動に基づく、完全に局所的な基準を確立する。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 の次数および分岐に関する完全に局所的な条件によって決定可能であることを証明すること。
• モジュラー性に基づく手法の適用範囲を、グローバルな類群やガロア群の制約を超えて拡張すること。
• 標準的なラングランズ予想の下で、結果を任意の数体へと一般化する予想を提示すること。

提案手法

• S = {q} とし、q を 2 の上にある唯一の素点とする S-単位方程式を用い、漸近的 FLT 問題を q における付値の順序の局所的制約に還元する。
• 任意の S-単位解を、q-進付値が制御された整数解に還元する簡略化補題を適用する。
• 局所クラス体論および特性多項式の議論を用いて、次数が互いに素である条件下で、単位が p を法として λ ≡ ±1 (mod p) を満たすことを示す。
• 3 が完全に分解し、次数が 3 で割り切れないような体上での単位方程式に関する Triantafillou の定理を活用する。
• 過去の研究における定理 6 を依存しており、特定の付値の上限の下で、S-単位方程式の解が漸近的 FLT の有効性と関連することを示す。
• 予想的に、セールのモジュラー性予想と、新形式に付随する楕円曲線またはフェイク楕円曲線の存在を仮定することで、結果を非完全実体へと拡張する。

実験結果

リサーチクエスチョン

• RQ1 完全実数体上での漸近的フェルマーの最終定理は、素数 2 および 3 の分解に関する局所的データのみを用いて保証可能か？
• RQ2 数体上での単位方程式が解を持たないための、次数および分岐に関する完全に局所的な条件は何か？
• 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 で非分解であるとき、S = {q} とした S-単位方程式は、max{|ordq(λ)|, |ordq(µ)|} > 4 となる解を持たない。ただし F が奇数次であり、さらに λµ の積に関する追加の合同条件を満たすものとする。
• 本稿は、2 つの標準的予想（セールのモジュラー性予想の弱い形と、整数固有値を持つ新形式が楕円曲線またはフェイク楕円曲線に付随すること）の下で、定理 1 および 3 の任意の数体への一般化を予想的に提示する。
• 証明戦略は、漸近的 FLT 問題を S-単位の q-進付値の上界に還元することに依拠しており、これは局所的代数的数論および単位群の構造を用いて達成される。