安德鲁·怀尔斯

获奖原因

安德鲁·怀尔斯因证明费马大定理而家喻户晓。1995 年，他（与理查德·泰勒合作补正一处关键漏洞）证明：对所有整数 $n>2$，方程 $x^n+y^n=z^n$ 没有非零整数解。其核心是把这一数论断言转化为”半稳定椭圆曲线必为模曲线”的几何–分析命题。2016 年阿贝尔奖表彰其”对费马大定理的惊人证明及其对算术几何的深远开启”。

问题来龙去脉

费马大定理（FLT）断言：当 $n>2$ 时，$x^n+y^n=z^n$ 无正整数解。费马在 1637 年页边写下”我有一个真正奇妙的证明，但空白太窄写不下”，却让此后三个半世纪的数学家徒劳追寻。

怀尔斯的突破在于换了一个战场。1950–60 年代，谷山（Taniyama）、志村（Shimura）与韦伊提出：每条有理椭圆曲线都是模的——即它可由模形式参数化（谷山–志村–韦伊猜想，TSC）。1985 年，格哈德·弗赖（Gerhard Frey）观察到：若方程 $a^p+b^p=c^p$ 有解，则由它构造的”弗赖曲线” $y^2 = x(x-a^p)(x+b^p)$ 将极度反常，几乎不可能是模曲线。1986 年，肯·里贝特（Ken Ribet）证明”塞尔模性猜想”的一个特例：若 TSC 对半稳定曲线成立，则 FLT 自动成立。于是 FLT 被”翻译”为一条关于模形式的几何命题。

怀尔斯的目标变为：证明半稳定椭圆曲线 $E/\mathbb{Q}$ 是模的。他的策略建立在朗兰兹纲领的 Galois 表示对应上。对素数 $\ell$，E 的 $\ell$-进 Tate 模给出表示 $\rho_{E,\ell}: \mathrm{Gal}(\bar{\mathbb{Q}}/\mathbb{Q}) \to \mathrm{GL}_2(\mathbb{Z}_\ell).$ “模性”等价于存在权 2 模形式 $f$，其对应的 $\ell$-进表示与 $\rho_{E,\ell}$ 同构。怀尔斯沿 Iwasawa 理论路线，转而证明这些表示构成的”形变”集合与模形式形变集合同构。

关键工具是 Hecke 代数的形变环 $R$ 与模形式形变环 $T$，目标是证 $R=T$。他用”主推”（main conjecture）类的同余关系把问题化为比较两者在若干特殊情形的值。1993 年他宣布证明，却被发现一处欧拉系统论证的缺口。经过一年补救，他与泰勒引入新的”环论论证”（Taylor–Wiles 方法，用切削素数的变形族）堵住漏洞，1995 年论文正式发表。

这一证明的影响远超 FLT 本身：它第一次大规模把 $\ell$-进伽罗瓦表示、模形式、$L$-函数与变形理论熔为一炉，直接催生了模性提升、Serre 猜想的证明（Khare–Wintenberger）以及朗兰兹纲领在 $\mathrm{GL}_2$ 情形的大踏步前进。怀尔斯的七年孤身奋战，因此成为”现代数论方法成熟”的里程碑。阿贝尔奖授予他，正是对这一世纪难题终结与算术几何新纪元的双重致敬。

相关链接

阿贝尔奖 数论代数几何 费马大定理