安德鲁·怀尔斯（Sir Andrew John Wiles）

童年梦想的实现者：闭关七年证明费马大定理，通过对半稳定椭圆曲线模性的证明，把椭圆曲线与模形式深刻统一起来。

一、生平与时代背景

安德鲁·约翰·怀尔斯 1953 年 4 月 11 日生于英国剑桥。父亲莫里斯·弗兰克·怀尔斯（Maurice Frank Wiles，1923—2005）在剑桥学习道德科学与神学，后受按立为圣公会牧师，1955 年赴尼日利亚伊巴丹任新约研究讲师；母亲帕特里夏·玛格丽特·莫尔（Patricia Margaret "Paddy" Mowll，1927—2005）。安德鲁在家中三个孩子里排行第二（兄 Patrick 1951 年生，妹 Alison 1955 年生）。他的小学在尼日利亚开始，1959 年全家随父亲回剑桥（父任克莱尔学院院长），他进入剑桥国王学院学校（预备学校），数学教师是校长夫人玛丽·布里格斯（Mary Briggs）。

约 10 岁时，怀尔斯在当地公共图书馆翻到埃里克·坦普尔·贝尔（E. T. Bell）的遗著《最后的问题》（The Last Problem，1961 年出版），书中讲述了费马大定理的历史：一个 10 岁孩子能看懂、却让历代大数学家束手无策的问题。他从此立志攻克它，并开始自学数论（同余等）。1966 年 12 岁入剑桥莱斯学校（The Leys School），一位有数论博士学位的老师给了他哈代与赖特的《数论导引》，他还读到达文波特的《高等算术》，坚定了数论方向。

1971 年怀尔斯入牛津墨顿学院（Merton College），1974 年获学士学位；随后入剑桥克莱尔学院攻读博士。1975 年夏约翰·科茨（John Coates）到剑桥，开始指导他的研究——这是他从"读书"转向"做研究"的关键转折。博士期间他没有做费马大定理（科茨劝他不要把一生赌在一个可能无果的问题上），而是研究椭圆曲线的岩泽理论，博士论文为《互反律与 Birch–Swinnerton-Dyer 猜想》，证明了 BSD 猜想的若干特殊情形，1980 年获博士学位。1977—1980 年他同时任剑桥克莱尔学院初级研究员与哈佛大学本杰明·皮尔斯助理教授，在哈佛与巴里·马祖尔（Barry Mazur）合作，1984 年证明了 $\mathbb Q$ 的实 Abel 扩张与奇素数 $p$ 的岩泽理论主猜想。

1981 年春他访问波恩，1981 年秋入普林斯顿高等研究院，1982 年任普林斯顿大学教授（1982 年春曾访巴黎-萨克雷）。1985—1986 年获古根海姆奖学金访问 IHÉS 与巴黎高师。1986 年的一个傍晚，他在朋友家喝冰茶时偶然听说肯·里贝特（Ken Ribet）证明了"epsilon 猜想"——这意味着只要证明谷山-志村（Taniyama–Shimura）猜想，费马大定理即自动成立。他当即决定把全部精力投入模性问题，此后七年几乎与世隔绝地工作。1988 年他与普林斯顿分子生物学博士纳达·迦南（Nada Canaan）结婚，育有三女（Clare 1990、Kate 1991、Olivia 1994）；1988—1990 年任牛津皇家学会研究教授，1989 年当选皇家学会会士（FRS）。

1993 年 6 月 23 日，他在剑桥牛顿数学科学研究所"L-函数与算术"项目（及其"p 进表示、岩泽理论与动机的 Tamagawa 数"研讨会）连续三天报告的最后一场，宣布证明了费马大定理。然而论文送审后发现一个微妙漏洞（在 Euler 系控制 Selmer 群的论证中）。怀尔斯在理查德·泰勒（Richard Taylor）协助下苦战约一年，于 1994 年 9 月 19 日找到修复方法（即后来的 Taylor–Wiles 方法）。1995 年他的主论文《模椭圆曲线与费马大定理》与他和泰勒合作的《某些 Hecke 代数的环论性质》一同发表于《数学年刊》（Annals of Mathematics），费马大定理遂告证明。

此后荣誉纷至沓来：1995 年 Schock 奖、费马奖；1996 年与朗兰兹共获沃尔夫奖；1998 年因已超 40 岁不具备菲尔兹奖资格，国际数学联盟在柏林 ICM 授予银质纪念牌；2000 年被女王册封为爵士（KBE）；2005 年获邵逸夫奖；2016 年获阿贝尔奖；2017 年获皇家学会科普利奖章。2010 年他回到牛津任皇家学会研究教授；2013 年牛津以他命名的安德鲁·怀尔斯楼启用。

二、学术生涯年表

三、核心成果（逐条技术解析）

1. 岩泽理论主猜想（与马祖尔合作，实 Abel 域情形）

问题背景：岩泽理论主猜想把分圆域的 $p$ 进 $L$ 函数与模（特征理想）联系起来，是代数数论的核心猜想。

关键思想：怀尔斯与马祖尔用模形式与 Eisenstein 理想的方法，对 $\mathbb Q$ 的实 Abel 扩张和奇素数 $p$ 证明了主猜想。这是怀尔斯早期最重要的工作，也为他后来驾驭 Galois 表示与 Hecke 代数打下基础。

精确表述（特殊情形）：对 $\mathbb Q$ 的实 Abel 扩张 $F$ 和奇素数 $p$，$p$ 进 Dirichlet $L$ 函数在 $p$ 处的特征幂级数（Iwasawa 幂级数）与 $F$ 的分圆 $\mathbb Z_p$ 扩张的 Galois 群模的特征理想相匹配。

与前人关系：把岩泽、马祖尔、Coates 的思想结合，是当时主猜想最完整的结果之一。

2. 半稳定椭圆曲线的模性（模性提升定理）

问题背景：谷山-志村-韦伊（Taniyama–Shimura–Weil）猜想断言：每条定义在 $\mathbb Q$ 上的椭圆曲线都是模的——即其 $L$ 函数等于某个权 2 尖点模形式的 $L$ 函数（等价地，其 $l$ 进 Galois 表示来自一个模形式）。1986 年里贝特证明：若 $a^n+b^n=c^n$ 是费马大定理的反例（$n\ge 5$ 素数），则 Frey 曲线 $E:y^2=x(x-a^n)(x+b^n)$ 是半稳定椭圆曲线且不可能是模的——故半稳定情形的模性猜想蕴含费马大定理。

关键思想：怀尔斯没有直接对椭圆曲线下手，而是证明了一个更一般的模性提升定理（modularity lifting）：设 $p$ 为奇素数，$\bar\rho:G_{\mathbb Q}\to GL_2(\bar{\mathbb F}p)$ 是不可约且模的（来自模形式的 mod $p$ 表示），则任何满足适当有限性、半稳定条件（在 $p$ 处潜在半稳定、在其他坏素数处半稳定）的 $p$ 进提升 $\rho:G}\to GL_2(\bar{\mathbb Qp)$ 也是模的。对半稳定椭圆曲线 $E$，取 $p=3$：若 $\bar\rho$ 同构于一条已知模曲线的 mod 5 表示，从而可再用提升定理。}$ 不可约，则由 Langlands–Tunnell 定理（借助 $GL_2(\mathbb F_3)\cong \widetilde S_4$ 的可解性）知其模，从而 $\rho_{E,3}$ 模，故 $E$ 模；若 $\bar\rho_{E,3}$ 可约，则改用 $p=5$（"3–5 切换"），此时 $\bar\rho_{E,5}$ 必不可约，且存在一条辅助椭圆曲线使 $\bar\rho_{E,5

精确表述（推论——费马大定理）：对任意整数 $n>2$，方程 $x^n+y^n=z^n$ 无正整数解。因为可化归为 $n=4$（费马本人已证）与 $n$ 为奇素数情形；后者由半稳定 Frey 曲线的模性矛盾推出。

与前人关系：综合 Frey（1986）、Serre（猜想）、Ribet（epsilon 猜想/降阶）、Mazur（Galois 表示形变理论）、Langlands–Tunnell 等工作。

局限性：怀尔斯只证明了半稳定椭圆曲线的模性；完整模性定理（所有 $\mathbb Q$ 上椭圆曲线）由 Breuil、Conrad、Diamond、Taylor 于 2001 年在怀尔斯方法基础上完成。

3. Taylor–Wiles 方法（与理查德·泰勒合作）

问题背景：怀尔斯 1993 年宣布的原始证明中，用一个 Euler 系（Kolyvagin–Flach 系）来控制 Selmer 群，以证明形变环到 Hecke 代数的映射是同构（即 $R=T$ 定理）；审稿发现此 Euler 系给出的阶数界不足，形成漏洞。

关键思想：怀尔斯与泰勒引入修补（patching）方法：考虑一族辅助模曲线（增加辅助素数集的层数），把相应的形变环与 Hecke 代数投射极限化，通过比较它们在极限中的秩与自由性，在不依赖那个有缺陷的 Euler 系的情况下证明 $R=T$。这一"Taylor–Wiles patching"成为 21 世纪模性证明的通用引擎。

精确表述（直觉）：设 $R$ 为某个 Galois 表示的万有形变环，$\mathbb T$ 为对应 Hecke 代数，有满射 $R\to\mathbb T$。Taylor–Wiles 方法通过取一族Taylor–Wiles素数的形变/Hecke 对 $(R_Q,\mathbb T_Q)$，证明其投射极限在形式幂级数环上同构，且维数匹配，从而推出 $R\simeq\mathbb T$。

与前人关系：把 Mazur 形变理论与 Hecke 代数结合成系统机器；此后被推广到 Hilbert 模形式、酉群、GSp(4) 等众多情形，是朗兰兹纲领的核心技术之一。

局限性：最初版本需余切环是完全交（Gorenstein）等条件；后人（如 Kisin 的"积框架/framing"）进一步放宽。

4. 费马大定理的最终解决

问题背景：费马约 1637 年在丢番图《算术》页边写下"……我有一个真正奇妙的证明，这里空白太小写不下"，即断言 $n>2$ 时 $x^n+y^n=z^n$ 无正整数解。此后 358 年间无数数学家尝试，仅得部分结果（费马 $n=4$；欧拉 $n=3$；狄利克雷、勒让德 $n=5$；拉梅 $n=7$；库默尔对正规素数）。

关键思想：如上所述，通过 Frey 曲线 + Ribet 降阶 + 怀尔斯半稳定模性，把一个数论方程问题转化为椭圆曲线与模形式的对应问题。

精确表述：不存在正整数 $x,y,z$ 与 $n>2$ 使 $x^n+y^n=z^n$。怀尔斯（与泰勒补全）于 1994 年完成证明，1995 年正式发表于《数学年刊》141 卷。

与前人关系：直接建立在 Frey、Serre、Ribet、Mazur、Langlands–Tunnell 的工作之上；是朗兰兹纲领的一次辉煌验证。

局限性：证明只解决 $\mathbb Q$ 上的 FLT；一般数域或函数域的类似命题（如 FLT 在 $p$ 进域、函数域）由其他方法处理。

四、代表著作与文献

• 《实 Abel 扩张的类域》（Class fields of abelian extensions of $\mathbb Q$，与 B. Mazur 合作），Invent. Math. 76 (1984), 179–330。
• 《模椭圆曲线与费马大定理》（Modular elliptic curves and Fermat's Last Theorem），Annals of Math. 141 (1995), 443–551。主论文。
• （与 R. Taylor）《某些 Hecke 代数的环论性质》（Ring-theoretic properties of certain Hecke algebras），Annals of Math. 141 (1995), 553–572。修复证明的关键论文。
• 《模椭圆曲线与费马大定理》（中文常见译本/介绍）。
• 2016 年阿贝尔奖官方介绍与访谈（挪威科学与文学院）。

五、师承、学派与同时代交往

• 老师：博士导师约翰·科茨（John Coates，剑桥）；科茨对其从学生到研究者的转变至关重要。
• 重要合作者：巴里·马祖尔（岩泽主猜想，哈佛时期）；理查德·泰勒（修复费马大定理证明，Taylor–Wiles 方法；泰勒原为其研究生）。
• 关键人物：格哈德·弗雷（Gerhard Frey，提出 Frey 曲线）、让-皮埃尔·塞尔（Jean-Pierre Serre，模性猜想的精确表述）、肯·里贝特（Ken Ribet，证明 epsilon 猜想）、罗伯特·朗兰兹（Langlands 纲领）、马祖尔（Galois 表示形变理论）。
• 学派归属：现代代数数论/算术几何的英国-美国传统，是朗兰兹纲领的核心实践者；承剑桥（科茨、贝克传统）与普林斯顿（马祖尔、朗兰兹）之绪。
• 学生：包括理查德·泰勒（后与之合作）、Manjul Bhargava 等众多数论学者。

六、争议、公案与历史评价

• 1993 年的漏洞与修复：怀尔斯 1993 年 6 月宣布证明后举世轰动，但论文送审（审稿人 Nick Katz 等）发现 Euler 系论证中的关键漏洞。怀尔斯在高度曝光与压力下苦战近一年，一度几乎放弃；1994 年 9 月 19 日他与泰勒找到修补方法。这段经历他称为"一生中最重要的时刻"。这一过程体现了数学证明从宣布到核实的严肃性。
• 荣誉与"未得菲尔兹奖"：因证明发表时已超 40 岁，怀尔斯不具备菲尔兹奖资格；1998 年柏林 ICM 特设银质纪念牌。此后获沃尔夫、阿贝尔、科普利等顶级奖项，业界普遍认为其工作的份量远超常规菲尔兹奖级别。
• 优先权：费马大定理的证明完全归功于怀尔斯（泰勒协助修复漏洞，获共同署名的辅助论文）；Frey、Serre、Ribet 的前期铺垫被学界充分认可，无归属争议。
• 常见误传：有通俗读物夸大怀尔斯"独自完全闭关、完全不与人交流"——实际上他定期向少数信任的同事（如 Katz）汇报，并在普林斯顿讲授相关课程以掩盖真实意图；泰勒是在最后阶段被请来协助。
• 历史评价：阿贝尔奖评语称其"通过半稳定椭圆曲线的模性猜想， stunningly 证明了费马大定理，开启了数论的新时代"；其引入的方法推动了此后数十年朗兰兹纲领的进展。

七、身后影响与学术谱系

• 对数论的影响：模性提升定理与 Taylor–Wiles 方法成为证明各类模性猜想（Breuil–Conrad–Diamond–Taylor 完整模性定理 2001、Sato–Tate 猜想、Serre 猜想等）的通用工具，直接推动了 21 世纪朗兰兹纲领的大量突破。
• 对算术几何的影响：把 Galois 表示、形变理论、Hecke 代数、模曲线统一为强大机器；衍生出 Kisin 的积框架、p 进朗兰兹等方向。
• 文化影响：费马大定理的证明是 20 世纪最广为人知的数学成就之一，Simon Singh 的《费马大定理》（Fermat's Enigma）与同名 BBC 纪录片使怀尔斯与这一问题家喻户晓，极大提升了公众对数学的兴趣。
• 学术谱系：科茨（剑桥）→怀尔斯→泰勒等；怀尔斯的学生与合作者构成当代数论的一支主力。

八、延伸阅读与权威来源

• Andrew John Wiles (1953 – ) — MacTutor History of Mathematics：权威传记，本档案主要生平依据。
• Andrew Wiles — 牛津大学数学研究所：官方主页。
• Modular elliptic curves and Fermat's Last Theorem — Annals of Math. 141 (1995)：主论文。
• Ring-theoretic properties of certain Hecke algebras — Taylor & Wiles, Annals of Math. 141 (1995)：修复证明的关键论文。
• Abel Prize 2016 — Sir Andrew Wiles：获奖介绍与工作评述。
• Thirty years of proof — Isaac Newton Institute, 2023：1993 年 6 月 23 日宣布证明的官方回顾。
• Mathematical Genealogy Project — Wiles 条目：导师科茨。
• Simon Singh，《费马大定理》（Fermat's Enigma），1997：面向公众的畅销科普（部分叙事细节需与学术来源互校）。