安德鲁·怀尔斯

获奖原因

安德鲁·怀尔斯（1953–）因在 1994 年证明费马大定理（Fermat’s Last Theorem）而成为世界闻名的数论学家。他通过证明”半稳定椭圆曲线皆模形式”（谷山–志村–韦伊猜想的特例）来攻下这一 350 年的难题。2005 年邵逸夫数学科学奖授予他，以表彰这一历史性成就。

问题来龙去脉

费马大定理断言：对整数 $n \ge 3$，方程 $x^n + y^n = z^n$ 没有非零整数解。怀尔斯的策略是”转嫁”——把数论问题变成”模形式 ↔ 伽罗瓦表示”的对应问题。

一、弗雷曲线（Frey curve）。 1985 年，格哈德·弗雷（Gerhard Frey）观察到：若存在费马方程的非平凡解 $(a,b,c)$，则椭圆曲线

$E : y^2 = x(x - a^n)(x + b^n)$

会是”极不寻常”的——它几乎不可能是模形式（其 conductor 极小但 discriminant 巨大）。这暗示：若”所有半稳定椭圆曲线都是模形式”（即谷山–志村–韦伊猜想 TSW 的半稳定情形）成立，则费马方程无解（否则会推出矛盾）。

二、伽罗瓦表示与模性。 给定椭圆曲线 $E/\mathbb{Q}$，对素数 $p$ 有” Tate 模”给出的 $p$-进伽罗瓦表示

$\rho_{E,p} : G_{\mathbb{Q}} = \mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q}) \longrightarrow \mathrm{GL}_2(\mathbb{Z}_p).$

“模性”等价于：该表示可由权 2 的模形式（ cuspidal eigenform）的” homologous”给出。怀尔斯需要证明：对半稳定 $E$，$\rho_{E,p}$ 来自模形式。

三、形变理论与 R=T。 关键工具是马祖尔（Mazur）的”形变理论”：固定模 $p$ 的剩余表示 $\bar\rho$，研究其所有提升 $\rho$ 组成的”形变函子”，它由一个完备局部环 $R$（普适形变环）表示；另一方面，模形式给出 Hecke 代数 $T$。证明的核心是 $R = T$：形变环等于 Hecke 代数，从而每个提升都来自模形式。怀尔斯用”岩沱理论（Iwasawa theory）“与”欧拉系（Euler systems）“来比较 $R$ 与 $T$ 的秩。

四、尾声与修补。 1993 年怀尔斯在剑桥宣布证明，但评审中发现一处”欧拉系”步骤的漏洞。1994 年，他与泰勒（Richard Taylor）用”水平互换”（switching the prime, 用 $p=3$ 而非 $p=5$ 的完全交结构）修补，最终完整发表。这一工作不仅解决了费马大定理，更把”模性提升”与”伽罗瓦表示”技术确立为现代数论的通用范式，直接启发了后来的”模性定理”完全证明（Breuil–Conrad–Diamond–Taylor, 2001）。

怀尔斯证明的美在于：他用最深的分析工具（自守形式、岩沱理论、形变理论）攻克了一个人人都能读懂的初等猜想，是数学统一性的史诗级范例。

相关链接

邵逸夫奖 数论代数几何 费马大定理