第四十章 九十年的账：通道分布与三条读法

一、分布

把第三十至三十八章的判定汇总（2026 待判不计），二十届的主要工作按通道归类，允许一项计入多条：

类别 大致届次数 代表通道一（压缩／局部化） 中等偏少 Hörmander、Bombieri、

Bhargava；

Thom、Jones、Ngô、Vi

azovska（局部化型）通道二（目标发生） 少 Milnor、Atiyah–

Singer、Hironaka、Marg

ulis、Thurston、Figalli通道三（扩张） 最多 Douglas、Schwartz、Gr

othendieck、Mumford、

Connes、Donaldson、Dr

infeld、Mori、Lions、Ko

ntsevich、Voevodsky、P

erelman、Villani、Hairer

、Scholze第四通道候选（语言层） 少而稳定 Serre–

Kodaira（1954）、Quille

n（1978）、Witten（199类别 大致届次数 代表

0）、Voevodsky（2002

）、Huh（2022）解决型（不在对象域内） 约占一半 Roth、Baker、Novikov

、Thompson、Deligne、

Faltings、Zelmanov、La

fforgue、Birkar 等

三条读法从这张表里读出来。

二、读法一：通道三是主线

九十年里最常出现的动作是扩张：当对象类不封闭时，扩张它。

而且这个动作的形状惊人地稳定。把两组相隔最远的例子并排：

1950 Schwartz：求导在函数类上不封闭 → 扩张到分布。 2014 Hairer：乘

法在分布类上不封闭 → 扩张到正则结构。 1936 Douglas：最小化序列在曲

面类中无极限 → 造一个有极限的类。 2006 Perelman：Ricci 流在有限时间

产生奇点 → 允许手术并证明可控。

六十四年、七十年的跨度，句式一字未改：某族算子在当前类上不封闭，扩张到它封闭的地方，而方向被那族算子唯一指定。

这是第三编第十九章那条扩张选择律在九十年尺度上的检验。它通过了。

三、读法二：解决型约占一半，而它不在对象域内

这条是对本书自己的限制，必须写在明处。

二十届中约有一半的主要工作是“用已有结构解决一个已存在的问题”。这些工作的重要性丝毫不低——Deligne 证 Weil 猜想、Faltings 证 Mordell 猜想、Perelman 证庞加莱猜想，都是二十世纪数学的高峰。但它们不在三通道的对象域内，因为三通道分类的是“新结构的发生”，而不是“老问题的解决”。

于是有一条本编得出的、前四编没有的判断：

数学的进展有两种，它们的机制不同，不应当被同一套框架描述。 一种是发

生：新的对象类、新的目标、新的说法被造出来。 一种是解决：在已有的框

架里，把一个悬置的命题定下来。

本书的三通道只描述前一种。声称它能描述后一种，是本书最容易犯、也最

该避免的过度延伸。值得注意的是，两者常常同届出现，而且往往是同一个人的同一项工作的两面——Perelman 既解决了一个老问题，又做了一次通道三的扩张；Yau 同样。这说明二者不是互斥的分类，而是同一项工作的两个不同侧面。

四、读法三：第四通道的候选不止一个

第三编第二十章把“范畴论的诞生”列为三通道穷尽性的唯一候选反例，理由是：它既没有压缩什么，也没有一族算子不封闭，而是现有的语言说不出一句已经在被使用的话。

走完九十年之后，同型的候选至少有五个：

年份           工作              说不出的那句话
1945         范畴与函子（非菲奖）      “这个同构是自然的”
1954         层与谱序列           “局部数据如何拼成整
                             体”
1978         高阶 K 理论         “高阶 K 群应该是什
                             么”
1990         物理方法（最不干净）      一整套提问与猜测的方
                             式
2002         动机上同调           “代数簇的上同调”作
                             为一个统一对象
2022         组合中的 Hodge 理论   把一套语言整体搬到另
                             一类对象上

一个孤例可以被当作特例；五到六个同型的例子，跨越七十七年，分布在拓扑、代数几何、K 理论、组合各处，就不再像特例了。

因此本编对第三编第四十四章的问题三给出一个更明确的形式：

不是“三通道是否穷尽”，而是“第四条通道（语言层升维）的签名是什

么”。 候选签名：不存在代价降阶（A 假），不存在不封闭的算子族（C

假），目标本身也不新（B 假或弱），而新增的是一个精确的说法，用来说

一句一直在被含糊使用的话。

这条签名目前还不能判错——“含糊使用”缺一个可操作的判据。把它做成可判错的，是本书留给下一步的具体工作，而且它现在有六个可用的检验样本。

五、本编的自我限定

本编整体属第三层证据。 每一条通道判定都依赖对当时该领域状态的历史判断，而这类判断可以被史料推翻。第四节的统计随任何一条判定的修改而变。本编不影响前四编。 决定定理、三通道的签名、退化定理、失明判据，都不依赖本编中任何一句话。若本编全部作废，前四编一字不改。

本编唯一实质推进的是第四通道的候选清单，而这一条恰恰是通过“分类在若干处判不出来”得到的——一张分类表最有用的地方，往往是它判不出来的那几格。

［编号说明］ 第五编（九十年数学典范的发生迁移）占第二十九至四十章，故第六编自第四十一章起。

第六编 边界与未决

编首语

前五编各自交出了东西：第一编交缺口，第二编交定理，第三编交分类，第四编交构造，第五编交史证。本编不再增加内容，它做三件收口的事。

第一件，把方法说成可操作的。 第四十一、四十二章讲六条建模路径与起点的选择，并说明起点选错不只是慢——它会使一整类论证在原理上失效。

第二件，把标准写下来。 第四十三章列出本书对一份工作的要求，第四十四章交出十个可检验的问题，每一个都自带失败标准。

第三件，把账算清。 第四十五章逐编列出本书声称了什么、哪些是本书的增量、每一编最脆弱的一环在哪里。第四十六章交代还没做的。

本编最要紧的一章是第四十五章。 一本书的可信度不取决于它宣称了多少，取决于它把自己的边界画在哪里。