[論文レビュー] Modularity and the Fermat Equation over Totally Real Fields

Nuno Freitas, Samir Siksek|arXiv (Cornell University)|Jul 11, 2013

History and Theory of Mathematics被引用数 4

ひとこと要約

この論文は、モジュラー性、レベル低下、およびインert性の像の比較を用いて、完全実体上の漸近的フェルマーの最終定理のための基準を確立する。$​\mathbb{Q}(\sqrt{d})$ において、平方因子を持たない $d$ の密度 $5/6$ で定理が成り立ち、エイクラー＝シュムール予想のもとでは密度 1 となる。これは古典的フェルマー方程式の数体版を前進させる。

ABSTRACT

Let $K$ be a totally real field. By the asymptotic Fermat's Last Theorem over $K$ we mean the statement that there is a constant $B_K$ such that for prime exponents $p>B_K$ the only solutions to the Fermat equation $a^p + b^p + c^p = 0$ with $a$, $b$, $c$ in $K$ are the trivial ones satisfying $abc = 0$. With the help of modularity, level lowering and image of inertia comparisons we give an algorithmically testable criterion which if satisfied by $K$ implies the asymptotic Fermat's Last Theorem over $K$. Using techniques from analytic number theory, we show that our criterion is satisfied by $K = \mathbb{Q}(\sqrt{d})$ for a subset of $d$ having density $5/6$ among the squarefree positive integers. We can improve this to density 1 if we assume a standard Eichler-Shimura conjecture.

研究の動機と目的

• モジュラー形式とガロア表現を用いて、完全実体上の漸近的フェルマーの最終定理の検証可能な基準を確立すること。
• 漸近的フェルマー方程式が自明な解しか持たないような完全実二次体 $\mathbb{Q}(\sqrt{d})$ の自然密度を特定すること。
• レベル低下とインert性の像の議論を活用して、$\mathbb{Q}$ からのモジュラー性のアプローチを任意の完全実体へ拡張すること。
• 解析的整数論の技法を用いて、基準が正の密度の二次体で成り立つことを検証すること。
• エイクラー＝シュムール予想を仮定することで、密度結果を改善すること。

提案手法

• 完全実体上のモジュラー定理を適用し、モジュラー形式に対応するガロア表現を関連付ける。
• レベル低下技術を用いて、関連するガロア表現の導子をフェルマー方程式に適合する形に削減する。
• ガロア表現における $p$ 以上の素数の上の素点におけるインナーレンスの像を比較し、$a^p + b^p + c^p = 0$ の非自明な解を制限する。
• インナーレンスの像とモジュラー性の性質に基づいた、アルゴリズム的にテスト可能な基準を構築する。
• 解析的整数論を用いて、基準が成り立つ平方因子を持たない $d$ の密度を推定する。
• エイクラー＝シュムール予想を仮定することで、密度の上限を $5/6$ から $1$ に高める。

実験結果

リサーチクエスチョン

• RQ1 どの完全実体 $K$ に対して漸近的フェルマーの最終定理が成り立つのか、すなわち、大きな素数 $p$ に対して $a^p + b^p + c^p = 0$ に自明な解しか存在しないのか。
• RQ2 モジュラー性とガロア表現の像の性質に基づいた基準を、アルゴリズム的にテスト可能な形に定式化できるか。
• RQ3 漸近的フェルマー方程式が $\mathbb{Q}(\sqrt{d})$ 上で成り立つような平方因子を持たない $d$ の自然密度は何か。
• RQ4 エイクラー＝シュムール予想は、漸近的フェルマー条件を満たす体の密度にどのように影響を与えるか。
• RQ5 $\mathbb{Q}$ からのモジュラー性の手法を一般の完全実体へ拡張し、フェルマー方程式を解けるか。

主な発見

• この論文は、モジュラー性とガロア表現の技法を用いて、任意の完全実体上での漸近的フェルマーの最終定理の検証可能な基準を確立する。
• 正の平方因子を持たない $d$ に対して $K = \mathbb{Q}(\sqrt{d})$ では、基準が自然密度 $5/6$ の $d$ の部分集合で成り立つ。
• エイクラー＝シュムール予想を仮定すると、漸近的フェルマーの最終定理が成り立つような $d$ の密度は $1$ に上昇する。
• この手法は、ガロア表現におけるインナーレンスの像を比較することで、フェルマー方程式の非自明な解を除外することに依拠している。
• 基準のアルゴリズム的性質により、特定のケースで計算的検証が可能である。
• 結果として、$\mathbb{Q}$ を超えて任意の完全実体へモジュラー性のアプローチを拡張し、将来的な一般化のための枠組みを提供する。