[论文解读] 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

一句话总结

本文利用模形式、水平降低和伽罗华表示中惯性子群像的比较，为全实域上的渐近费马大定理建立了一个可检验的判别准则。证明了该定理在 $ \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})$ 的自然密度。
• 将 $ \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}$ 上的模形式方法推广至一般全实域，以解决费马方程？

主要发现

• 本文基于模性与伽罗华表示技术，为任意全实域上的渐近费马大定理建立了可检验的判别准则。
• 对于 $K = \mathbb{Q}(\sqrt{d})$ 且 $d$ 为正的平方自由数，该判别准则对自然密度为 $5/6$ 的 $d$ 子集成立。
• 在艾希勒-申梅尔猜想成立的假设下，满足渐近费马大定理的 $d$ 的自然密度提升至 $1$。
• 该方法依赖于伽罗华表示中惯性子群像的比较，以排除费马方程的非平凡解。
• 判别准则的算法性质使得其可在具体情形下进行计算验证。
• 结果将模性方法从 $ \mathbb{Q}$ 扩展至任意全实域，为未来推广提供了框架。