塞尔 · 层的语言

拓扑学的第一课是学会数数——但数的不是数，是点、线、面。任取一个立体，数清三样：顶点有多少个、棱有多少条、面有多少块；然后做一道减法：顶点数减棱数加面数。立方体：顶点 8、棱 12、面 6，8−12＋6＝2。四面体：顶点 4、棱 6、面 4，4−6＋4＝2。换任何一种不会撕裂粘合的变形，这个数都不动——它是形状自带的记号，叫欧拉示性数。

记号的妙处在分辨。把形状分两类：球面类的，示性数是 2；带一个洞的环面类——像甜甜圈、像咖啡杯带把——示性数是 0。验一个环面：取纸上画好的环面网格，逐格数顶点棱面，得 0（p.44 亲手来一遍）。一个数，就把「有洞」与「无洞」分开——数数辨形，这是拓扑学交给世界的第一个不变量：变形之下不变、不同的形状之下不同的量。

「不变量」三个字是本册一切数学的地基。判断两个东西是不是同一个，直接比对往往难于登天；找几个不变量，各算一道算术，一比便知。示性数是最老的一个：欧拉在一七五〇年前后数出 V−E＋F＝2；此后两百年，数学家们造出的不变量越来越多——数洞的、数绕法的、数「粘不拢之处」的——但手艺全是一样的：把形状翻译成数，再比数。

不变量还有一面更深的用场。它不只分辨，还预言：一个空间若示性数是 2，它就决不能与示性数是 0 的空间互变——省去了无穷次尝试。本章后面要遇到的两个不变量，一个数「绕法」（p.8），一个数「粘不拢」（p.22）；塞尔的博士论文，就是给「绕法」算总账（p.16）。不变量的逻辑是：先造记号，再谈形状——先有语言，后有风景。

欧拉公式：V−E＋F（顶点−棱＋面）
立方体 8−12＋6＝2；四面体 4−6＋4＝2
球面类示性数 2；环面类（带一个洞）示性数 0
不变量：变形之下不变，用以分辨与预言

第二件底牌：数「绕法」。取一个平面上挖了洞的区域——比方一块圆环形的皮；拿一根线从外头伸进去，绕着洞转圈，再收回来。绕一圈、绕三圈、绕反方向两圈——都是不同的绕法。一个空间里，线总共能有几种本质不同的绕法——这个问题的答案，就是空间「洞情」的精确档案：洞有几个、有多深，全写在绕法的目录里。

绕法可以像钟面一样做算术。时针转过三格再转四格，等价于转过七格——超过十二格，就减去十二：这是钟面算术，加减照做、满十二归零。绕法也一样：先绕两圈再绕三圈，等于绕五圈；绕五圈与「绕五圈」没有区别，与「绕四圈」有区别。于是「绕法」全体天然成了一套带加减法的账本——数学里管这种结构叫群：元素能做加法、有零、有负号的集合。钟面账本只有十二页；绕一圈的账本有无穷页，一页记一个圈数。

绕法的账本，正是判洞的仪器。平面圆盘上任何一根线的绕法都只有一种——「没绕」：想绕一圈，线必须穿盘而过，而盘不许撕。圆环形皮上绕法有无穷多种——洞在，圈就收不回去。「线的每一圈能不能收回去」这条判据，把「有洞」与「无洞」翻译成了一道纯算术题：看账本是薄是厚。这门手艺的学名是同伦：形变归并绕法的学问，绕法的账本就叫同伦群。

第一幕至此立起两根柱子。示性数：数点线面，一数定形（p.7）；同伦群：数绕法，圈圈入账（本页）。两根柱子各数一样东西——前者数整体，后者数局部伸手进去的路径。还缺第三根：当空间升到高维，「绕」变成「包」，账本厚得吓人——一九五〇年的世界，只算清了寥寥几页。塞尔的整场硬仗，就是把这本厚账算清。先把高维的战场摆出来。

绕法可加：绕 2 圈＋绕 3 圈＝绕 5 圈（钟面算术同理，满 12 归零）
群：能加减、有零有负号的「账本」
圆盘：绕法仅 1 种（无洞）；圆环皮：绕法无穷多种（有洞）
同伦＝形变归并绕法；同伦群＝绕法账本

把球面排成一行：圆周是一维球面，皮球面是二维球面；再往高维去——每一维都有一个球面：三维的、四维的……抽象得看不见，规矩却一样：到球心等距的点全体。拓扑学家给「绕法」编了号：k 维的膜套在 n 维球面上，绕法的账本记作 π_k(Sⁿ)——读作「k 维绕 n 维球面的同伦群」。平面上数圈的老手艺，就是它 k＝1 的特例。

这本账在一九五〇年只开了头几页。最平的一页早有答案：套在 n 维球面上的 n 维膜，绕法恰有一种「正一圈」——账本是整数页（正一圈、负一圈、零）。往下：贴着球面再高出一维的膜，一九三七年起也摸清了（绕法只有两种：有或无，满二归一）。可再往上，账页大片空白：数学家试算了几张，得出的数字七零八落，毫无规律——有人猜「大约都是稀薄的有限账」，有人疑心藏着无穷页的大账本。谁也不知道。

难处在哪里，值得说透。低维的圈，靠「看」就能收回去或收不回去；高维的膜看不见——一切只能靠代数。而一九五〇年的代数器械，对付「整体」很吃力：想算一张账页，得把球面切成碎块、逐块记账、再对总账——碎块之间的边界互相对不齐，总账就算不下去。缺的是一台机器：一台能把「分块记账、边界对总账」自动做完、并且保证做对的机器。这台机器当时刚刚发明，名叫谱序列。

问题清单就此立好。高维球面的绕法账本，逐页是什么：有限页还是无穷页、有没有规律、由谁来算——一九四五年入学的十九岁青年，将在六年内给出第一份系统的总账——用的正是那台新机器。第一幕的三件底牌（示性数、绕法、谱序列）已经集齐两件半。

球面记号：Sⁿ＝n 维球面；绕法账本 π_k(Sⁿ)
平账：π_n(Sⁿ)＝整数页（正、负、零一圈）
一九五〇年：高维账页大片空白，有限抑无穷，未知
缺的器械：谱序列（分块记账、边界对总账的机器）

要把他的战果说清，先把「账本」的两种页型分清。第一种是钟面页：满十二归零——转十二格回到原点；任何一页有限次就循环。第二种是整数页：从负无穷到正无穷排开，永远回不到零。数学里，钟面页叫有限群（十二个元素，加十二次必回零），整数页叫无穷阶——它没有周期，加多少次都不回。

两种页型的分量天差地别。钟面页是「有限的账」：再厚的钟面也只有十二页、六十页，可以逐页列尽；整数页是「无底的账」：一页之中藏着整条数轴。判一本账里有没有整数页，是代数里最要紧的判别之一——「有穷还是无穷」不是大小之别，是性质之别。他论文的中心问题，用这套话说就是：球面绕法的账本，每一页是钟面页，还是整数页。

验一验已知的几页。平账那页：绕 n 维球面一整圈、两整圈……——正一圈负一圈零，恰好是整数页：π_n(Sⁿ) 无穷，这是谁都知道的明账。再高一层：π_n＋1(Sⁿ)——贴着球面再鼓起一维的膜——账本只有两页（有、无），满二归一，是十二页的钟面表亲。一页无穷、一页有限：光看这两页，猜不出全局——这正是混沌之处。

他的总纲用一句话立住。除了一道「脊柱」，所有高维页全是钟面页：球面账本几乎全有限。脊柱的位置也点得干净：n 为偶数时，账本在 k＝2n−1 一页嵌着整数页——无穷全集中在这条线上，此外无底账。混沌与秩序的分界，就此画在纸上。机器怎么开出这条分界线，下一页看原理。

钟面页＝有限群（ℤ/12：加 12 次归零）；整数页＝无穷阶（ℤ：永不归零）
明账：π_n(Sⁿ)＝ℤ；π_n＋1(Sⁿ)＝ℤ/2
总纲（1951）：k＞n 时全为有限群，唯一例外 π_4m−1(S^2m) 含 ℤ
有穷/无穷＝性质之别，非大小之别

谱序列的原理，可以用一句话立住：一笔算不动的大账，拆成碎块小账；小账各自先算，再用「边界必须对齐」的规矩互相约束；一轮修一轮，账目层层逼近，最后收敛到真值。难处在「不乱账」：碎块一多，边界对不上、轮次一多互相踩脚——谱序列的全部天才，就在把「对齐」做成了机器的内置规矩：每一层的边界自动衔接上一层，翻多少页都不会错。

拆一个最小的例子看看。设一笔账由两块小账合成：左块记 3，右块记 5。第一层粗账：总共是 8。可两块有重叠——重叠处被两边各记了一次，必须扣掉。第二层修正：重叠处大小 2，账目修正为 6。第三层再查边界：两块外侧还有半格归公——再补 1，得真值 7。三轮下来账平：3＋5−2＋1＝7。谱序列的每一层就是这样一轮修正；妙在修正的规则是机械的（边界对齐），不用巧思，不怕账多。

这套机器为什么恰好治得了球面。球面可以切成「纤维碎块」——低维的纤维一层层摞成高维的底：好比千层饼，每层的小账可算，层与层之间的边界关系就是那台内置规矩。绕法账 π_k 原本缠成一团，进了机器之后被拆成「逐层逼近」的一列轮次：第一轮粗账给出轮廓，第二轮修正给出细节，几轮之后，钟面页与整数页自己现形。一九五〇/五一年的嘉当讨论班把这台机器公开整理；他的论文，是它立竿见影的第一场大捷。

把暗线提前收一笔。注意这台机器是什么：不是新定理，是一种记账的语言——把「怎样可靠地算大账」这件事本身，做成了语法。语言造好，球面账本几十年的混沌一页页显形。第二幕的数学到此收摊：下一页汇总他算出的全部版图，然后看世界给造机器、用机器的人的回礼。

谱序列：拆块→粗账→逐轮边界修正→收敛于真值
最小例：3＋5，扣重叠 2、补边界 1 ⇒ 真值 7
球面入机器：纤维碎块逐层摞起，绕法账逐轮逼近
机器的本质＝一种记账语言：难算 ⇒ 能算

把一九五一年的战果画成地图。横轴是球面的维数 n，纵轴是膜的维数 k；对角线以下（k≤n）是老账；对角线以上（k＞n）原先是白茫茫的混沌。他证明：这片混沌几乎整片是有穷的——每页钟面页；唯一一条亮线纵贯：偶数维球面 2m 的账本在 k＝4m−1 一页，嵌着整数页。地图上，有限是无边的旷野，无穷是一条清晰的脊柱。

脊柱那页值得单独看一眼。以最矮的一格为例：n＝2、k＝3——三维膜绕皮球面的账，一九三一年霍普夫就算出是整数页（无穷）；塞尔的定理把这类「无穷」一网打尽：每一处 4m−1 绕 2m 都有无穷账，且除此之外再无。无穷不再东一个西一个地冒出来吓人——它被圈进了一条可数的脊柱里。混沌变成秩序，就是这道手续。

还有一件配套的器械要记。账页之间有一座桥：悬浮——把膜的维数抬高一级，账目会变薄一层（有限账的页数有规律地缩短）。这座桥是弗罗伊登塔尔一九三七年造的；他把桥架上了地图，使少数几页的实算可以复制到无穷多页。机器（谱序列）与桥（悬浮）合用，球面账本从「逐页试算」变成「有章可循」——此后七十年的计算史，走的都是他这张地图。

第二幕的账算完，写一句总评。六年，一篇论文：机器调好了，地图画完了，奖杯来过了。换作旁人，此生已足；他转身就走——走进一片当时看毫不相干的原野：多项式方程的几何。第三幕看他为什么走、拿什么走。

版图：k＞n 全为钟面页；脊柱 π_4m−1(S^2m) 含整数页
最矮一格：π₃(S²)＝ℤ（霍普夫 1931）
悬浮之桥（弗罗伊登塔尔 1937）：抬维数、账变薄、可复制
机器＋桥 ⇒ 逐页试算变有章可循

层这门语言，从一本地图册讲起。大地方一张图画不下，地图册就分页：每页管一小块，页与页留出重叠。一本合格的地图册有两条规矩：每页把本块画清；重叠处两边必须对得上——左边画着的街，右边也画着，且画的是同一条。把「每页的内容」与「页间对账的规则」合在一起，就是一本册子的全部语法。层，就是这套语法的数学化：空间每小块上配一份「数据」，重叠处配一条「粘合规则」。

为什么非要这样绕一道。因为许多对象天然「只见局部、不见整体」：一段小弧上的连续函数好写，一整条曲线上的未必存在；一小片上的解好求，整片上的常求不出。层的语法承认这个现实：把「局部的数据」当基本材料，把「粘合」当受检的工序——整体不是出发点，而是要一点点拼出来的成品。这一步「把整体还给局部」的观念翻身，是二十世纪数学最重要的转身之一：此后说一个几何对象，先说清它每一小块上的层。

粘合这道工序有快有慢。多数情形一帆风顺：局部数据按规则一对，整体对象立现——比如每页各画半条街，重叠处一致，整条街就拼成了。但也有粘不拢的时候：局部分分秒秒都对，重叠处却差着一口——下一页专讲这种「粘不拢」。先立一条语言学的常识：一门好的语言，必须能把「顺利」与「不顺」都清点出来；层把顺利交给粘合，把不顺交给一门新账——上同调。

回到本册主线上。层的语法在拓扑与分析的世界已经通行（勒雷战营讲义、嘉当讨论班）；他把「凝聚」二字添上——限定在多项式世界长得整齐的那几类层——语言就在代数几何落了户。下一页先看这门语言怎么数「粘不拢」的账，那是全部机器的引擎。

层＝局部数据（每小块一份）＋粘合规则（重叠处对账）
地图册两规矩：每页画清本块；重叠处两边一致
整体＝拼出来的成品，不是出发点
顺利交给粘合；不顺交给上同调（p.22）

举一个一算就懂的「粘不拢」。取一个圆周，盖两段略长的弧，让上下两段在两头重叠。每段弧上取一「角度」：从弧内某处起，角度沿弧连续地量过去——这段上完全做得到，只要弧不开满一圈。现在粘合：重叠处，上段量的角度与下段量的角度必须一致——一比，总差着点什么：沿圆周一整圈回来，角度已经多转了一整圈。局部处处完美，整体差一圈：这一圈，就是「粘不拢」的账。

把这笔账数成数。「差一圈」可以有方向、有多圈：重叠处差一圈、差两圈、差反方向三圈——账目可以加减，恰如 p.8 的钟面与绕法。事实上这笔账就是整数页：一页记「差几圈」。数「粘不拢」的账这门手艺，叫上同调；账本的页数与厚度，是空间的又一件不变量——它数的东西与绕法群两两呼应：绕法从「伸进去的线」数洞，上同调从「盖上去的局部数据」数洞，一内一外，两种账本互相印证。

为什么这门账如此要紧。因为「局部分分秒秒都对、整体差一口气」的失败，恰是数学里最常见的失败：方程局部有解、整体无解；局部能开方、整体开不成。上同调把「差一口气」变成一个可以计算的数——失败不再靠运气撞见，而是逐格清点。一门语言能把失败也编入账目，才算真正成熟；这是层的语法高于旧几何语法的地方。

到此引擎装好。层：局部数据＋粘合规则（p.21）；上同调：粘不拢的账本（本页）。剩最后一块：把这套语言装进代数几何——多项式世界里没有「小弧」与「邻近」，怎么盖、怎么粘——这就是他一九五五年论文正文干的事，下一页看成品。

粘不拢示例：圆周盖两弧取角度，重叠处差一整圈
上同调＝「粘不拢」的账本；本例账本为整数页（差几圈）
与绕法呼应：一内一外，两种账本互证
失败可清点 ⇒ 局部有解整体无解不再靠运气撞见

把语言搬进代数世界，有两个关口。第一关是土地：代数几何没有「邻近」——多项式方程的零点是「切割」出来的集合，碎得厉害，传统的开邻域根本不存在。他采用扎里斯基的方案：把「多项式为零的集合」当作闭集，闭集之外当作开集——土地陡峭，但能站。第二关是居民：拓扑世界的层五花八门，代数世界只养得起「长得整齐」的一类。他划定这一类，名为凝聚层：局部有限生成、方程组式的层——多项式世界天然出产的居民。

语言落成，立刻结出定理。论文的核心结果是一条有限性：在紧的代数形状（方程组的完整零点图像）上，凝聚层的上同调账本全部是有限维——每页可列尽，没有无底的账。这条定理是代数几何的「账本法」：从此代数几何的任何上同调计算，先有「有限」兜底，误差与维数都可控。对照拓扑世界：球面绕法的账花了六十年才立起有限性总纲；代数几何这边，语言一落成，有限性当天到账。

有限性立刻派上用场。举一笔最小的账：一条曲线上的多项式函数——限定「在至多 d 个点处允许极点」——全体构成一个有限维空间。维数是多少，旧办法是逐个方程硬抠；层的语言里，维数由上同调账本两页之差读出：d−g＋1（g 是曲线的洞数，p.7 的示性数在此再现）。p.44 将对一条具体曲线把这笔账算全。硬抠变读账——语言的力量又一次兑现。

第三幕的数学收摊。土地（扎里斯基拓扑）、居民（凝聚层）、账本（有限性）三件齐了——代数几何有了自己的上同调，韦伊猜想的第一块地基打上。但还有最后一步没走：两套几何各有一套上同调了，它们是什么关系——下一幕的词典，把这一步走完。

土地：扎里斯基拓扑（多项式零点集为闭集）
居民：凝聚层＝局部有限生成的整齐层
核心定理（FAC）：紧代数形状上，凝聚层上同调全为有限维
应用：曲线函数空间维数 d−g＋1（硬抠变读账）

用一个最小的形状把两套方言听清。方程 y²＝x³−x：在代数之城，它是一份精确的账——整数解几对、有限域里解几只，逐只可数；在解析之城，把 x、y 放行到复数，同一方程铺开成一只环面——一个甜甜圈形状的曲面，洞数清晰，微积分全套上身。同一个名字，两份户籍：一份记「数解」，一份记「形状」。数学史上各说各话，就在这一页纸上看得见。

两份户籍各有杀手锏。代数之城的杀手锏是严格：方程的世界没有极限、没有近似，每一个结论都硬到可以交给数论——数「有限域里解的个数」，数论的账只认这种硬度。解析之城的杀手锏是灵活：环面上微积分随手可算，示性数、上同调（第二幕、第三幕的老朋友）张口就来。可两把杀手锏互不通用：代数之城没有「附近」，解析之城没有「恰好数清」。词典的价值，就是把两把刀合在同一只手里。

接缝处有一个天然的疑问。第三幕在代数之城造好了上同调（凝聚层的账本）；第二、三幕在解析之城与拓扑世界早有上同调。同一个形状两套账本——账目是否一致：若一致，代数之城从此可以「借」解析之城的算法：在软的地方算好，把结果搬回硬的世界——这是词典最想要的用途；若不一致，两城仍旧分治，韦伊猜想里「用拓扑账读解数」的断言就空悬。答案，就是下一页的词典本身。

先立一句预告。词典的回答出人意料地干脆：在紧的形状上，两份户籍完全对得上——概念一一互译，账目分文不差。这句预告的条目与证明思路在 p.29；它带来的第一笔横财（对偶）在 p.30。两套方言讲完了，下一页进入词典正文。

同一方程 y²＝x³−x：代数城记「解的个数」；解析城铺开成环面（洞数 1）
代数杀手锏＝严格可数；解析杀手锏＝微积分与上同调
核心疑问：两套上同调账目是否一致
预告（GAGA）：紧形状上两份户籍完全对得上

词典的正文是三条对照。第一条：户籍互译——紧的代数形状与它的解析化身，作为「形状」是同一个对象，两城的户籍页可以互相过户。第二条：居民互译——代数城的凝聚层与解析城的凝聚层一一对应：每一层在对面城里有且只有一个对应居民，来去无碍。第三条：账目互译——对应居民的两套上同调，账目分文不差：维数相同、粘不拢的格数相同。三条合起来，两座城从「通婚」升格为「同城」。

第三条是词典的心脏，值得多看一眼。上同调账目不差，意味着「粘不拢的账」不挑方言：用微积分算出的数与用方程算出的数必然相等。于是出现一种新式打法——过河拆桥，或曰借城：要证的命题若在解析之城好证（工具多），先到对面证好，再凭词典把结论搬回代数之城。历史上多少代数几何的老难题，就这么在隔壁城里顺手解决。词典一天在，这条路天天开。

词典还有一条隐含的守则。对照表不是无条件通行：只在「紧」的形状上生效——完整、闭合、无漏边的形状。松开的形状（如一条开放的曲线）上，两城居民未必一一对应，账目也可能走样。守则的意义在读法：词典页脚的「适用范围」四个字，与词条正文同样要紧——一门语言的成熟，一半在词汇，一半在边界。

第四幕的机器至此配齐。第三幕有语言（层），本幕有词典（三条对照）。剩最后一件：词典派生出的第一笔大账——对偶。它把曲线上的函数空间与「影子空间」配成一对，账目互为镜像；下一页把这笔镜像账算全，全幕收摊。

词典三条：户籍互译；凝聚层一一对应；上同调账目不差
打法：借城——解析城证好，凭词典搬回代数城
守则：仅在紧（完整闭合）形状上通行
语言的成熟＝词汇＋边界

对偶先从一个日常账法讲起。一间多层仓库，问「空着多少格」有两种数法：从前往后数空格；或者——先数满格，再从总格数里扣。两条路殊途同归。上同调的账本也有这种镜像：一个对象有正账（它自己那页的粘不拢之数），还有影子账（另一对象「对偶层」那页的账）；两笔账相加，恒等于一个由形状本身决定的定数。这笔定数是形状的出厂设置——洞数全在里面。他一九五五年把这条镜像律立成定理，后人称塞尔对偶。

在曲线上验一笔。取一条带 g 个洞的曲线（p.28 的环面是 g＝1 的样本），数「至多 d 个极点的函数」空间维数——p.23 老账重提。正账：函数空间维数，记 h⁰；影子账：镜像层的账，记 h¹。对偶律断言：h⁰−h¹＝d−g＋1——难算的那页（h¹）与好算的那页（h⁰）之差，被洞数与极点数完全锁定。 p.44 将对 g＝1、几个 d 值把这笔账逐格算出。这条公式是十九世纪黎曼—罗赫定理在层语言里的形态——老定理换了新说法，才算真正被「读懂」。

对偶的深意超出公式。它说：每一笔账都有一面镜子——正面算不出的账，其镜像背面往往好算；而镜子背面的结构（对偶层）由形状自己配给。算账从此多了一种整体战法：正账、影子账、定数三方互相钳制，谁也造不了假。这种「三方钳制」的读账法，此后成了整个学科的日常。

第四幕收摊。语言（第三幕）、词典（p.29）、对偶（本页）——代数几何的账房里，器械成套了。第五幕换一口气：看他晚年在另一片疆土上，用同一种本事写下「证明之前」的路线图。

对偶律：正账＋影子账与定数互相钳制（仓库两数法同理）
曲线之账：h⁰−h¹＝d−g＋1（g＝洞数，d＝允许极点数）
黎曼—罗赫定理的层语言形态（塞尔对偶，1955）
镜子由形状自配 ⇒ 算不出正面，算背面

第五幕的第一个猜想，从「基」讲起。中学里人人都用过它：平面上的任意一点，都能用两个方向「横走几步、竖走几步」走到——这两个方向就是基：最少的独立方向，一切对象都能由它们拼出。向量空间的好处全在这：永远存在一组基——二维有两个方向，三维有三个，多少维都不缺。有基的账本，人人会查。

可世界不全是向量空间。把「方向」们限制成只能用整数系数拼装——不许走半步——账本就叫模：向量空间的穷亲戚。穷亲戚的麻烦在于：基未必存在！方向可能是「斜」的：每两步合起来恰是一步——谁也不比谁基本，挑不出一组最少的独立方向。模没基，账难查：这是代数里出了名的泥潭。一九五五年，他在 FAC 里顺手提出一道判别题：多项式世界（方程的语言）里造出的整齐的模——射影模——有没有基。这问法后来通称塞尔猜想。

猜想的说法可以更具体。取多项式环——把 x、y、z 与它们的乘幂全放行的代数世界——问：这世界里造出的射影模，是不是都能找到一组基。直觉说「应当能」：多项式世界是最像向量空间的代数世界，一切看着都齐整。可「应当能」与「是」之间隔着一堵墙：射影模的定义只保证「局部有基」——每一小块上有基；整体拼起来有没有，不保证。「局部有、整体有没有」——这问法眼熟：正是第三幕层论的老问题换了行头。

把暗线提前点破。「局部有基、整体有没有」是粘合问题的又一个化身：层论教过的直觉（局部数据＋粘合规则、粘不拢的账）在这里原样运转。他提出猜想的位置——一篇讲层论的大论文的末节——恰说明语言造好之后，新问题会自己长出来。这则猜想的命运，下一页揭晓。

基＝最少的独立方向；向量空间必有基，模未必有
多项式环上射影模有无基＝塞尔猜想（FAC 末节，1955）
射影模＝局部有基的整齐模；整体有基与否，未知
「局部有、整体有没有」＝粘合问题再化身

猜想挂出一九五五年，悬了二十一年。二十年里多少人试过：整块的问题攻不动，零碎的维数（低维情形）逐个拿下——一维、二维先后有人证出，三维以上纹丝不动。转机在一九七六年几乎同时到来：美国的奎伦与苏联的苏斯林，各自独立证明——多项式世界里的射影模，全部有基。两条路不同、答案同一个，这是猜想真命题的又一份人证。二十一年的悬案，一句话结清。

应验之后有一条更深的账要读。注意猜想提出的方式：不是从哪个具体方程逼出来的，而是从语言的判别力里长出来的——「多项式世界像向量空间，它应当守规矩」。猜想应验，等于给「语言的直觉」盖了一枚验讫章：按新语法觉得「应当如此」的，事实果真如此。这类应验与算出一个具体数值不同——它验证的是整套语法的可靠度，收益归所有后来者。

他本人的态度值得单独记。猜想被证后，他的公开反应一贯克制：向两位证明者致意，指出证明里关键的代数手法（一套他自己也用熟的整体—局部技术）与层论的血缘。此后各处文献把这一定理通称「奎伦—苏斯林定理」，他从不争这个名分。同理，他那条「有限性判别」的论文里顺手提出的问题，解决者后来得了菲尔兹奖——他提问题，从不当问题的主人。

第五幕还剩最后一件预言，分量更重。如果说射影模猜想是语言判别力的「小样」，那么模性猜想——一条关于椭圆曲线与模形式的大猜想——就是他语言直觉的「全额押注」：它预言两个看似无关的世界有一本完整的词典，且附有精确的对应规则。这本词典牵出通往费马最后定理的路。下一页看它。

悬置 21 年（1955→1976）：低维逐个拿下，高维纹丝不动
应验：奎伦与苏斯林 1976 年各自独立证明（奎伦—苏斯林定理）
应验的收益：给整套语法盖验讫章，归所有后来者
他提问题，从不当问题的主人

模性猜想的两个世界，先各自点个名。世界一是椭圆曲线：三次方程画出的曲线——数论的家常菜，自古就是数解与整点的战场；世界二是模形式：一类高度对称的函数——在一种精巧的「变换群」作用下按严格的规则变形。一九五〇年代起，日本学者谷山、志村与韦伊一线的工作让人疑心：这两个世界之间有一本词典——每条椭圆曲线都该对应一个模形式。疑心归疑心，词典是否存在，悬而未决。

他把疑心升级成了精确的预言。一九七〇年代，他研究椭圆曲线的「对称指纹」（模 p 的矩阵记号），注意到一条规律：指纹长得整齐的曲线，恰好都在词典对应的位置上。一九七六年前后，他把观察写成猜想：给出可判别的条件——哪些曲线必然在词典里。这比「全都对应」的旧说法强得多：条件明确、逐条可验——预言的味道就在这里：先于证明，指定哪些路上有风景。这就是通称的塞尔模性猜想。

应验的链条分两段。前一段通向费马：里贝特一九九〇年证明，词典配上他猜想的一个特例，恰好推出费马最后定理——三百五十年的老题，被两座猜想前后夹住；怀尔斯一九九五年补上前一座（椭圆曲线的模性），费马收官——那条著名长链上，他的猜想是关键一环。后一段是他猜想本身：卡雷与温滕贝格二〇〇五至二〇〇八年间逐级证明，猜想全数应验。提出后三十年，路全部走通。

第五幕的数学到此收摊。两则应验：一则二十一年（射影模），一则三十年（模性）；两则都验讫了他语言直觉的成色。下一页把暗线收拢：为什么「预言」是造语言之人的最高作品。

两个世界：椭圆曲线（三次方程）⇄ 模形式（高度对称的函数）
预言（1970 年代）：指纹整齐 ⇒ 必在词典对应位置（塞尔模性猜想）
费马之链：里贝特 1990 ＋ 怀尔斯 1995 ⇒ 三百年老题收官
猜想全证：卡雷—温滕贝格 2005—2008