怀尔斯 · 抽屉里的七年

椭圆曲线的正式长相只有一行：y²＝x³＋ax＋b，其中 4a³＋27b² 不为零（保证曲线光滑、没有自交或尖点）。名字有点骗人：它不是椭圆，是三次曲线；当年算椭圆弧长时用到它，名字就留了下来。整数解（x、y 都是整数）最直观：取 y²＝x³−x，逐个代——x＝0 得 (0,0)；x＝1 得 (1,0)；x＝−1 得 (−1,0)；其余 x 都给出非平方数（x＝2 时 6、x＝3 时 24、x＝−2 时 −6，均非平方）。整点恰好三个。

这三点可不是随便挑的。判别式 Δ＝−16(4a³＋27b²)：本例 a＝−1、b＝0，Δ＝−16×(−4)＝64。整点 (0,0)、(1,0)、(−1,0) 全落在 y＝0 上——把它们代入方程，左为零右为零；它们是曲线的「二挠点」：自己加自己恰好等于一个特殊点（下页就把「点加法」讲清）。一条三次曲线自带三个二挠点，是这类曲线最醒目的胎记之一。

点的账难数，难在深水。整数解是明处的账，分数解才是深水：同一条 y²＝x³−x，分数点有无穷多个（随便两个整点连线还能再生新的分数点），可有些曲线的分数点却出奇地少。三百年来，「数点」从手艺长成了学问：明处数整数、深处数分数、远处数模运算下的点——下一页先把点与点之间的加法立起来。

椭圆曲线的点账之所以是「群」，靠一条惊人的几何规则：曲线上任取两点连一条线，这条线恰与曲线交于第三点（三次方程三个根）；把第三点沿横轴翻下来，就定义为「两点之和」。几何动作就两个：连线、翻转。连线变成切线（两点重合时）就是「加倍」：切线碰曲线于第四个交点（计重数三个根里的第三个），再翻下来得「二倍点」。这套加法有零元（远处那个「无穷远点」）、有负元（关于横轴的镜像），群的四条公理一条不缺。

拿一条曲线实算一遍。取 y²＝x³−x＋1，点 P＝(0,1)。加倍：切线斜率 m＝(3x²−1)÷(2y 在 P 处)＝(0−1)÷2＝−1/2；切线 y＝1−x/2 代入曲线：(1−x/2)²＝x³−x＋1，展开得 x³−x²/4＝0，根为 0（二重）与 1/4——第三交点 (1/4, 7/8)；翻下来：P＋P＝2P＝(1/4, −7/8)。分数点从两个整点里「生」了出来：这就是群账的自繁殖。

加法立起来，深水的问题就有了准确的问法。莫德尔定理（1922）：分数点全体虽可能是无穷集，却永远由有限个「生成元」加加减减生成——无穷的账，有限本金。本金有几个（秩）是三百年来最难数的东西之一。怀尔斯博士论文的武器（岩泽理论）正是数这本账的重型机械。下一页，把账数到「模运算」的世界。

把曲线放进「只有余数」的世界里数点，是数论最妙的一手。取素数 p，只保留 0 到 p−1 的余数（模 p 的世界），曲线上能落进网格的点有限——数一数：点的个数记 N_p，再定义 a_p＝p＋1−N_p（理想网格恰好每 x 配两根时的点数减实际点数）。每换一个素数，得一个 a_p；素数排成串，曲线就送出一张数表：a₃、a₅、a₇、a₁₁……。

实算一站。曲线 y²＝x³−x 放进模 5 的世界（余数 0—4）：逐一平方核验，点共 8 个（含无穷远点），a₅＝5＋1−8＝−2。放进模 3：点共 4 个，a₃＝3＋1−4＝0。放进模 7：点共 8 个，a₇＝0。数表开头：0，−2，0，……哈塞定理担保这些数不乱跑：|a_p｜≤2√p——模 5 时上限 4.47，−2 远在界内。一张素数个头的「指纹表」就此立起：不同的曲线，指纹不同。

这张指纹表就是本册全部剧情的枢纽。第一幕立了点账（几何的），第三幕的字典（模形式）送来的恰是同一张表——两个世界共用一套指纹，等于一本账。而「数表对得上」这件事的严格名字，就是谷山–志村猜想。下一页转暗线：把抽屉正式立起来。

模形式住在一个奇特的地方：上半平面（虚部为正的半张复平面），度量是双曲的。定义一句话：在上半平面上全纯、在对称群的所有整数矩阵变换下「认得出自己」、且在边界处规矩的函数。对称群给的规矩极苛：函数值在无穷多种坐标换算下保持原样——过剩的对称把函数逼进极小的笼子，笼子里的函数个个身世清白、性质如钟表。

笼子里的函数可以展开成一张数表。每个模形式都有唯一展开：f＝a₁q＋a₂q²＋a₃q³＋……（q 是个小量，qⁿ 就是 n 次方），系数 a_n 一列排开。最著名的一张表属于权 12 的判别式形式：系数 1、−24、252、−1472、4830……拉马努金当年手工算过它的前几项并猜出其古怪性质——本册只借一句话：数表自古就是数论家的猎场。椭圆曲线送出的指纹表（a_p）与模形式的系数表，格式竟然完全同款。

谷山–志村猜想的精确版于是能写下了：对每条椭圆曲线 E，存在一个权 2 的模形式 f，使得对几乎一切素数 p，E 的第 p 个指纹恰等于 f 的第 p 个系数。字典的一页就是一行对账。下一页，先看这张「美而不可证」的猜想难在哪。

猜想三十年零一步，难处有二。其一，两边都没有「入口」。曲线这边：给一条具体的曲线，它的指纹要一素数一素数地算，算到天荒地老也数不完；形式这边：权 2 的模形式构成一个有限维空间，但「哪一条曲线配哪一个」没有任何已知的搜法。两边各自都有一整套好用的理论，偏偏互不认识——就像两部各分五十卷的百科全书，检索码完全不同。

三十年里积累的倒是海量「情报」。逐条验证：每条新算出的曲线，其指纹前几十站都能在某张形式表里对上——从无一例失手；反向核查同样全中。韦伊还从反面立了一道关卡：若曲线配得上形式，它的一个算术量（导子）必须整除曲线自己的一个量（判别式的某部分）——大量「不可能配对」被这一关卡预先排除，剩下的候选越发整齐。情报越多，越像真的；越像真的，越没人知道怎么证。

但 1980 年代风向变了。一方面，表示论把「指纹」重述成伽罗瓦表示的语言——曲线自动送出一批二维矩阵，指纹恰是矩阵的迹；另一方面，模形式这边也有对应的矩阵（赫克算子）。两批矩阵对不上字典，只需对得上迹——「对账」从逐素数硬算变成了逐矩阵对迹，门缝透进了光。怀尔斯的阁楼，将从这道门缝进入。下一页先看字典的一页实演。

把第一幕那条曲线请回来：E：y²＝x³−x。它的指纹（p.9 实算）：a₃＝0、a₅＝−2、a₇＝0。第一幕没算完的接着算：放进模 13 的世界（余数 0—12）逐一核验平方，点共 8 个，a₁₃＝13＋1−8＝6；放进模 17，点共 16 个，a₁₇＝17＋1−16＝2。指纹表开头：0，−2，0，6，2，……（第 11 站仍是 0。）。

字典翻到对应的页码，是一张权 2 的模形式：f＝q−2q⁵−3q⁹＋6q¹³＋2q¹⁷−……。逐项对账：q³ 无项——a₃＝0，对上；q⁵ 系数 −2——a₅＝−2，对上；q⁷ 无项——a₇＝0，对上；q¹³ 系数 6——a₁₃＝6，对上；q¹⁷ 系数 2——a₁₇＝2，对上。连非素数站也对：q⁹ 系数 −3，恰是 a₃²−3＝0−3＝−3。一张表一行账，两界同源。

这条曲线有个特殊身世，值得记一笔。它自带一种「旋转 90 度不变」的隐藏对称（复乘），指纹表因此格外整齐：凡 3 余 1 型素数之外的站全为 0。谷山–志村的早期验证站，多从这类「天赋异禀」的曲线下手——它们最先对上账。而费马反例要造的那条弗雷曲线，恰恰是身世最普通的一类（半稳定）：字典最难的部分。下一页转暗线：锁住的理由。

弗雷的观察只需一步组装。假设费马反例存在：整数 A、B、C 与指数 p≥3 满足 A^p＋B^p＝C^p（两两互素）。把它们铸进一条椭圆曲线：y²＝x(x−A^p)(x＋B^p)。铸法看着随意，判别式一算见真章：形如 y²＝x(x−a)(x＋b) 的曲线判别式 Δ＝16a²b²(a＋b)²——代入弗雷的三个数，a＋b＝C^p，得 Δ＝16(ABC)^2p：判别式是三个整数的完美幂——一条「判别式干净得反常」的曲线。

拿小例把公式跑顺。取 a＝1、b＝1：曲线 y²＝x(x−1)(x＋1)＝x³−x（正是第一幕那条），Δ＝16×1×1×4＝64＝2⁶——素因子只有 2，判别式干净。弗雷曲线照此模子：素因子恰为 2 与 A、B、C 的素因子——两两互素反例下，这条曲线是「半稳定」的（判别式中每个素因子都只出现一次，就曲线的类型而言）。半稳定不是病，是一种「素因子清白」的出身证明。

弗雷看出这条曲线古怪在哪。它出身半稳定（清白），行为却离奇：用它的点账一算，与它应配的模形式的「权重」对不上——形如一个存在却不能进字典的人。1984 年他公开了这个怪相的猜想版本：这样的曲线根本不该存在。听众多数微笑：又一个「漂亮的观察」而已。下一页，里贝特把微笑变成了严肃。

1986 年夏，加州大学伯克利分校，肯·里贝特证明了 ε 猜想。这道猜想由塞尔提出、弗雷观察催生，陈述很短：像弗雷曲线那种「判别式干净却行为古怪」的半稳定曲线，若真存在，必对不上字典（非模）。里贝特的证明把「怪相」钉死成了定理：弗雷观察里的每一步古怪，都被严格的「降层」手续接住——从弗雷曲线的伽罗瓦表示出发，一层层剥去多余的部分，最后留下的表示不可能来自任何模形式。至此链条闭合：字典若真（每条半稳定曲线都模），则弗雷曲线不存在，则费马反例不存在——费马大定理成了半稳定谷山–志村的推论。

把这条逻辑链钉成一行。费马反例存在 ⟹ 弗雷曲线存在（1984 弗雷）；弗雷曲线存在 ⟹ 有一条半稳定而非模的曲线（1986 里贝特）；每条半稳定曲线都模 ⟹ 矛盾。三步里，前两步 1986 年前已完成，第三步悬着——但它是「猜想」，不是「神话」：有定义、有路线、有前人铺路。费马大定理三百五十八年来第一次变成一道「可攻击」的题。

消息传到普林斯顿的那个夏天，怀尔斯的家宴正巧在院子里。他后来回忆：听到确认的那一刻，他借口续茶，回到屋里做了这辈子最重要的一个决定——开锁。十年内不告诉同行、不投预印本、不参加相关讨论班。阁楼战役的战术也定了：不求全胜，只求「半稳定」这一半字典——因为费马只需要这一半。下一页转暗线：抽屉正式打开。

阁楼里的第一年没有演算，只有地图。怀尔斯把半稳定谷山–志村切成三段：一、把「曲线模」重述成「表示模」——每条曲线的指纹自动是一批二维矩阵的迹（表示论）；二、证明这些矩阵可以「抬升」：从模 p 的近似矩阵族抬成特征零的真矩阵族（提升术）；三、抬上去之后证明它们恰好撞进模形式的矩阵族（R＝T 型论证：变形环等于赫克环）。三段里，第三段的工具当时不存在——他得自己造。

造武器用了两年，成品叫「岩泽理论＋科利瓦金–弗莱赫方法」的合体。前者是他博士时代的家传：类群沿素数塔爬升的解析账本；后者是 1980 年代末的新术：把「近似解」沿着除子逐层加权求和，把一维的账升级成能对冲的账。1991 年前后，这套合体在他手里覆盖了「许多但非全部」的素数 p——离终点还远，但地图上的白区一块块变绿。同行无人知晓：普林斯顿这位教授几年没出大论文，不是江郎才尽，是在憋一整个定理。

地图之外还有一条保险丝。1990 年他把岩泽主猜想推到了全实域（与当年科茨–怀尔斯的复乘情形首尾呼应）——这条独立成果既堵住了「七年零产出」的猜疑，也为阁楼战役备足了弹药。下一页转暗线：抽屉打开的第一声。

审稿人核对的核心账目，是「指纹的另一种写法」。每条椭圆曲线自动送出一批二维矩阵（伽罗瓦表示）：在模 p 的世界里，曲线的点群是有限的，扭曲它的对称构成一个矩阵群，而矩阵的迹恰等于指纹 a_p——「数点」从此可以写成「读迹」。拿第一幕的曲线实演：y²＝x³−x 放进模 3 的世界共 4 点：(0,0)、(±1,0)、无穷远点——四个点互相加倍都不会走出这四个，点群恰是「二乘二」的四阶群；读出 a₃＝3＋1−4＝0，与指纹一致。

矩阵这边也有一个实数可数。模 3 的二维可逆矩阵群共 48 个元（第一列有 8 种选法、第二列除去共线剩 6 种，8×6＝48）。审稿的数学日常就是这样的账：一边是曲线的点群（4 点、9 点、p² 点……），一边是矩阵群的迹表，两边逐站对——3 阶分点的全体共 9 个（3 的平方），5 阶分点 25 个：p 阶分点恒 p² 个，这是「指纹铸成矩阵」的骨架账。

这套语言的威力在审稿里显形。「曲线是模的」被重述为「矩阵族的迹表与某个模形式的赫克算子迹表逐项相等」；而矩阵族之间可以比较、可以升降级、可以求和——第三块稿子里出洞的求和，正是在这套语言里被看清的。下一页，洞的位置精确画出。

出洞的那套手法，本意是「对冲」。数点的账有个老难题：有些算术量极难直接数（比如有理点群的大小），科利瓦金在 1980 年代末发明了欧拉系：沿着除子层层加权求和，把难数的量与好数的量在一个恒等式里对冲——第一次让「秩」这种深水里的量被显式上界按住。弗莱赫 1992 年把它推广到一层新场合；怀尔斯 1993 年的手稿把它再推一层——洞就出在这一推：新场合里求和的项在关键的「过渡站」不按预期消去，对冲的账两头对不齐。

审稿人把洞的边界标得清清楚楚。推广的欧拉系在「阶恰为一」的场合运转正常（第一幕曲线的账本秩为 0、挠为四，一切顺利）；出问题的是「阶更大」的层——求和权重在新层上不再互质，恒等式的两端差出一个无法控制的余项。用最小的实账感受一下：秩 0 的曲线（如 y²＝x³−x，秩 0、挠群四阶）一切对冲干净；秩一旦上到 1，同一套权重就打架。洞不大，但位置致命：它在承重墙上。

1993 年冬到 1994 年夏，怀尔斯试遍了「缝补」。把条件加严、把层级拆细、把权重换基——每条路都通到同一个死角。9 月之前，他一度决定认输：把「证明了一多半」的手稿公之于众。就在打包定稿的前夜，转机来了。下一页，9 月 19 日的早晨。

1994 年 9 月 19 日上午，怀尔斯与学生泰勒做最后一次「体面撤退」前的检查。两人想弄清：那一层出洞的欧拉系，究竟在多大程度上还能用——哪怕救不回全证，也许够写一篇说明。盯着盯着我，怀尔斯忽然看清一件事：出问题的那套求和，其实不是「坏掉的锤子」，而是「被用错地方的尺子」——它量出来的东西（某个群的大小），恰好可以用另一种老武器直接算出：岩泽理论。七年前被搁置的家传刀法，此刻回来了。

拼图在三个星期内合龙。新打法分两步：先用修好的欧拉系把「模 p 世界」的账做平（一个关键的整性验证）；再用岩泽理论把账从「模 p」抬到「特征零」——两步合起来，正是他把整座山切成三段时缺的那段：矩阵族的变形环与模形式的赫克环对上（R＝T）。9 月里逐站补齐；10 月 25 日，两篇手稿寄出：正文《模椭圆曲线与费马大定理》，加一篇与泰勒联名的「某些赫克代数的环论性质」——补洞之作成了第二篇论文。

这次胜利有一层更深的意味。洞出现在新方法的承重墙上，堵洞的却是最老的方法——不是退回旧路，而是把旧路修进新路：岩泽理论提供抬升，欧拉系提供对冲，表示论提供语言。三样武器合璧的那一刻，三百五十八年的悬案在数学上已经闭合：剩下的只有纸页与出版。下一页转暗线：抽屉的第四笔。

把 1995 年定理的精确形状说清楚。怀尔斯证明的其实是：每一条半稳定的椭圆曲线都是模的。费马大定理是推论：反例 ⟹ 弗雷曲线（半稳定）⟹ 与字典矛盾。一件更深的收成是方法论：表示、提升、R＝T——这一整套「把矩阵账与形式账对上」的机器，从此成了数论的标准装备；「模性」从一道猜想像涟漪一样扩出去。

涟漪六年内合龙。2001 年，四位学者（布勒伊、康拉德、戴蒙德、泰勒）把模性推到全部椭圆曲线——谷山–志村猜想至此全证，名字里三个人的猜想有了完整的定理形状。从 1955 年的会议卡到 2001 年的全证，四十六年；从怀尔斯开锁的 1986 年算起，十五年。字典从此是真的：每条曲线都查得到页码——后续数论的地基就此换成了混凝土。

给一个「真字典」的用例收个尾。第一幕那条 y²＝x³−x：它的有理点账在 2001 年后可以整体读出——秩 0（没有无穷漂移的分数点）、挠群四阶（三个二挠点加零元），账本清清爽爽。当年要一素数一素数侦察的「指纹—形式」对账，如今是定理担保下的常规操作。下一页，盘点这道定理的下游与荣誉。

字典成真，下游最先涨水的是三个方向。其一，椭圆曲线的系统课全面改写：曲线的「身份」由配对形式的级（导子）编号，全美国的曲线表按新户籍重新登记。其二，L 函数的深水区开进大船：伯奇–斯温纳顿–戴尔猜想（秩与零点之对账）从孤例验算变成有系统性入口的战场。其三，朗兰兹大图景里最亮的一格被点亮：数域侧与表示侧的词典，第一次由「可证的篇章」作序。

方法本身也在繁殖。R＝T 的框架被移植到许多「变形—提升」的场合：塞尔默群上同调的计数、伽罗瓦表示的形变理论、乃至 2010 年代数论里「可数性结果」的整套打法，族谱源头都在阁楼那三年。泰勒此后把这套机器推到更广的表示（后与同行合作拿下了另一批三十年悬案的特例）——师傅开锁，徒弟们学会了配钥匙。

费马问题自身的归宿也已写定。它从「问题」变成了「教科书里的一章」：库默尔以来的分段战史收进历史附录，定理本身成了模性定理的两行推论。三百五十八年里它逼出来的代数——理想论、类域论的前奏、岩泽理论、欧拉系——每一件都比定理本身活得长。下一页，盘点荣誉与生活。

荣誉按年份排成一列。1996 年皇家学会皇家奖章；1997 年沃尔夫斯凯尔奖——1908 年立下的十万马克悬赏，按遗嘱条款以当年币值折算，实付七万五千马克，悬赏兑现时距设立已八十九年，距期限还有十年；1998 年柏林国际数学家大会为超龄的他特设「菲尔兹特别银质奖章」（四十五岁，超出菲尔兹奖限龄）；2000 年受封爵士；2016 年阿贝尔奖——颁奖词称其证明「划时代的、令人惊叹的」。

这份清单里最动人的是那笔旧账的处理。沃尔夫斯凯尔奖宣布兑现时，怀尔斯的发言只有一句体面话：「这个问题曾让无数人爱上数论」——把奖金的戏剧性还给了题目的历史。他也没有把少年之题说成自己的少年之题之外的功业：阿贝尔奖的答谢里，他感谢的名单第一行是十岁那年的伊利图书馆。

生活的账同样要记。普林斯顿的家一住就是近三十年；2011 年受邀回英国，任牛津首任皇家学会研究教授，办公室窗外是默顿学院的草坪——四十年前读本科的地方。三件功业的年头排得开：岩泽理论在 1977—1990，模性与费马在 1986—1995，晚年他把精力还给了年轻人与共同数学事业。下一页，第五针上暗线正席。