柯罗滕迪克 · 涨潮之海

先造一个最小的世界。取一个素数 p，只看零到 p−1 这 p 个数，加减乘都照做，结果除以 p 取余数。除法也能做，只要除数不是 p 的倍数。这样得到的东西叫有限域，记作 F_p。它是能算的世界里最小的那种。

第一个例子，射影直线。一条直线上加一个「无穷远点」，就是射影直线。在 F_p 上它有几个点：p 个普通的，加一个无穷远的，一共 p＋1 个。p＝2 时三个，p＝5 时六个。这条账简单到不像数学。

第二个例子，圆。方程 x²＋y²＝z² 在射影平面上画出一个圆。它在 F_p 上有几个点，可以一个个数：p＝3 时四个，p＝5 时六个，p＝7 时八个，p＝11 时十二个，p＝13 时十四个。每个数都正好是 p＋1。

为什么总是 p＋1，有一条不用逐个数的算法。从圆上一点（负一，零）出发，画一条斜率为 t 的直线，它与圆的另一个交点由公式给出：x＝(1−t²)/(1＋t²)，y＝2t/(1＋t²)。t 取遍 F_p 里的 p 个值，再加一个「斜率无穷大」，一共 p＋1 个；每个 t 恰好给一个点，一个不多，一个不少。

有一个细节值得一提。公式里的分母 1＋t² 可能为零，这时那个 t 对应的点跑到无穷远去了。p 除以四余一时，负一是平方数，有两个 t 使分母为零，圆上就有两个无穷远点，普通的点少两个；p 除以四余三时没有这样的 t，圆上没有无穷远点，普通的点多两个。p＝5 是前一种，p＝7 是后一种，两种情形加起来都是 p＋1。

这条「p＋1」不是巧合。它说明：一个几何对象的点数，由它的「形状」决定，而不由方程的写法决定。圆与直线在射影平面上是同一种形状（都叫亏格零），所以点数一样。这句话要成为定理，得先有 p.14 那个叫概形的东西。

看一个没有解的方程。x²＋y²＝3，整数里一个解也没有。证明只用一句话：模三看。平方数模三只能是零或一，两个平方相加只能是零、一、二；要等于三的倍数，只能是零加零，于是三同时整除 x 与 y。既然三整除两个未知数，就把三约掉，方程变成同一个形状，可以再约一次，一直约下去。

这个论证的形状值得看清。它没有造出任何东西，它只是指出：如果有一个解，就能造出一个更小的解，而整数不能无限变小。这类论证叫无穷递降。它的力量在于「不必知道解在哪」，只要知道解不能在哪。

换一个世界，答案就变了。模三：x＝y＝0 就是一个解。模九：又没有解了。平方数模九只有零、一、四、七四种，两两相加能得到的余数里，独独没有三与六。所以这个方程在模九的世界里无解。

把「世界」换得更细，会出现更奇的事。取三个方程连乘：(x²−2)(x²−17)(x²−34)＝0。在实数里它有解（二的平方根）。在每个素数处的「p 进数」世界里，它也总有解：三个勒让德符号相乘等于一，不可能三个都是负号，所以总有一个是平方；p＝2 时 17 也是平方。可它在有理数里一个解也没有——2、17、34 都不是有理数的平方。

这就是那个有名的分裂：在每一个「局部」世界里都有解，在「整体」世界里没有解。局部是逐点看的，整体是一次看的；两者之间原来并不自动相通。

于是有一个问题浮出来。什么时候「局部处处有解」能推出「整体有解」。对单个二次方程，答案是能（这条定理叫哈塞—闵可夫斯基）；对上面这个由三个二次方程拼起来的东西，答案是不能。区别在哪：前者是一个整体，后者是三个整体拼起来的，拼缝处没有胶水。

「胶水」这个词，是这一册往后所有内容的种子。层把胶水说清楚，上同调把粘不上的那部分记下。下一页，先把「解集」换成「环」。

看一个「丢东西」的例子。圆 x²＋y²＝1 与直线 y＝1 相切，交点只有一个：（零，一）。可按次数的账，一次与二次的曲线应当交两个点。少的那个去哪了。

把它算出来就看见了。把 y＝1 代进去，得 x²＝0。这个方程有一个解 x＝0，可它是「二重」的：x² 有两个根，都落在零上。零点集只看得见「落在零上」，看不见「有两个」。

换一个看法，重数就回来了。不要看零点集，看「这些方程定义的函数」构成的那个环。平面上的函数是二元多项式，全体记作 k[x,y]；一条曲线由 f＝0 定义，就把 f 放进分母（确切说，取商环）。两条曲线相交，就把两边的方程都放进去。圆与直线交出 k[x,y]/(x²＋y²−1, y−1)，它同构于 k[x]/(x²)。

这个环有多大，可以量。把它看成 k 上的向量空间，基是两个元素：一与 x。维数是二。这个二，就是相交重数。零点集给的是一，环给的是二——多出来的那一份，正是被零点集丢掉的东西。

于是有了一条新路。「点」不必是坐标，可以是「环里的一个极大理想」；「空间」不必是点的集合，可以是「一个环」。在复数上看，极大理想与点一一对应，两种说法没有区别；换到别的域上，区别就大了。

举一个区别的例子。在 F₃ 上，多项式 x²＋1 没有根（零、一、二代入分别是 1、2、2），所以它不可约，它生成一个极大理想。按「零点」的算法，这条曲线上一个点也没有；按「理想」的算法，它恰好有一个点。这一个点代表的是「一对共轭的点」——要扩到九元域，它才裂成两个。

一句话：点是「一个位置」，位置本身可以带着内部结构；零点集只看得见位置，看不见结构。把结构保住，才能谈重数、谈厚度、谈「无穷接近」。这是概形要解决的第一件事。

定义只有一句。一个环的「谱」，就是它所有素理想的集合；再给这个集合配上一种拓扑（闭集取「包含某个理想的所有素理想」），它就成了一个空间。素理想是这样一个理想：它不是整个环，而且两个元素相乘落在它里面，必有一个落在它里面。

为什么不用极大理想。极大理想只给出「闭点」，空间是散的；用素理想会多出一些「不闭合的点」，好处是每个不可约的闭集都有一个代表整块闭集的「一般点」。。

第一个例子，整数环。它的素理想是零理想，与每个素数生成的主理想；谱上的点，就是「零」和「每一个素数」。小于一百的素数有二十五个，小于一百万的有七万八千多个，一直往右排，永不停止。

闭集长什么样。取理想（6），包含它的素理想只有（2）与（3），这一块闭集就两个点；取零理想，闭集是整条线；取整个环，闭集是空。开集就是这些的补——去掉有限个点，它跟实数轴上的开区间完全不像，却满足拓扑的全部公理。

第二个例子，二元域上的多项式环。它的闭点是「不可约的首一多项式」。按次数数：2、1、2、3、6、9 个，累计 23 个。有一条恒等式可校验：次数整除六的「次数乘个数」总和，正好是六次扩域的六十四个元素。

第三个例子，一个多项式在整数环上的「各处行为」。看 x²−2。它在有些素数处裂成两个一次因子（叫分裂），在有些素数处不裂（叫惯性），在 2 处则「重」起来（叫分歧）。判据是 2 是不是该素数下的平方剩余：小于二百的素数里，分裂的有二十个，惯性的有二十五个；按除以八的余数分，分裂的全在一与七，惯性的全在三与五，分界不含糊。

一句话：一个「点」原来可以是一整条曲线；空间不再由点组成，而由「位置」组成；位置上可以有看不见的厚度——正是下一页的事。

环里可以有这样一种元素。它不等于零，可它的平方等于零。这样的东西不可能是数——数的平方等于零，那个数就是零。可它在环里完全合法：取多项式环，把 x² 商掉，剩下的环里有两个「方向」：一与 x。任何元素都写成 a＋bε，其中 ε 就是那个 x，它的平方为零。

这个环有多大，一眼看得出。作为向量空间，它有两个基，维数是二。它对应的「空间」只有一个点（因为只有一个素理想，就是 x 生成的那个）。一个点，二维——多出来的那一维，就是「厚度」。

厚度对应的是重数。圆与直线 y＝1 相切，零点集只给一个点，商环给出二维，重数是二。抛物线 y＝x² 与 x 轴在原点相切，同样是二维，重数二。这个「二」不是估出来的，是数基向量数出来的。

一般的形式是贝祖定理。两条平面曲线，次数分别为 m 与 n，若无公共分支，则交点总数（计重数）恰为 m 乘 n。一次与二次交二点，二次与二次交四点，三次与三次交九点。旧的说法要加一堆但书——相切怎么办，交于无穷远怎么办，重数怎么算；新的说法只有一句：那个商环作为向量空间的维数等于 m 乘 n。

让幂零元进门，是一个具体的建议。据他自己在《收获与播种》里的追述，塞尔在 1957 年前后对他说：应当允许幂零元进来。这句话他记了一辈子。在旧看法里，幂零元是「脏东西」，要除掉才干净；在新看法里，它是重数的载体，除掉就等于把厚度抹平。

这一步的后果比它看起来大。它使「无穷小邻域」第一次成了一个可以运算的对象：不必取极限，不必说「趋于」，只用一个平方为零的元素就够。微分、变形、形变理论，此后都建在这上面。

一句话：重数此前只能靠「逼近」说清楚，现在它是环里的一个元素。可这样的空间怎么「粘」起来，是下一页的事。

定义有三件东西。一个拓扑空间；每点挂一个环（叫结构层）；每点附近都同构于某个环的谱。三件凑齐，就叫概形。第三件是关键：它说的是「局部看起来跟环的谱一样」，而不是「整体是一个环的谱」——整体可以比局部大得多。

为什么必须允许「整体大于局部」。看一个最小的例子：整数环模六。它只有两个素理想，（2）与（3），所以它的谱只有两个点。可这两个点的环记住了「六等于二乘三」。用中国剩余定理，模六的环与「模二的环乘模三的环」完全一样：六个元素一一对上，零对（零，零），一对（一，一），二对（零，二），三对（一，零），四对（零，一），五对（一，二）。

于是有两条对偶的规矩。环的「积」对应空间的「不交并」——两片分开的地方，函数就是两套函数各管一片。环的「张量积」对应空间的「交」——两片叠在一起，函数必须同时满足两边的方程。。

「切」这一半就是相交。两条曲线的交，取张量积；这个环作为向量空间的维数，就是交点的重数之和。p.9 那个二维的例子就是这样来的：圆与直线一切，交出二维，重数二。p.15 的贝祖定理，说的也是这件事。

所以概形不是一堆积木，是一本带胶水的册子。每一页是一个环的谱；页与页在重叠的地方按同构对齐，对齐之后就成一整本。允许重叠，也允许「一页里还有一页」——这就是为什么它能装下既有厚度、又有分支的对象。

这本册子的第一页来自塞尔。1955 年塞尔发表《代数凝聚层》，用层重写了代数几何，可他还停在「簇」上；柯罗滕迪克把「簇」换成「谱」，两者一合，就成了概形。他自己说过，这一步不是发明，是把两块现成的积木按对的方向拼起来。

一句话：空间有了，下一步要问「空间上能放什么」。答案是层——而层正是第三幕的账本。

层只有两条规矩。第一，每块开地方给一份数据（叫截面），从大块到小块有一个「限制」的映射，把数据变小。第二，若一堆小块盖住了某块地方，各小块上各给一份数据，而任意两块重叠处的数据恰好一样，那么必定存在唯一一份大块上的数据，限制下去正好是各小块那几份。

第二条就是胶水。它说的是：能粘的必须粘得上，而且粘法唯一。听着像废话，其实很挑东西——很多常见的对象粘不上。

举一个粘不上的。「有界函数」。左半与右半各取一个有界函数，重叠处一致，能拼成一个整体函数——这一次恰好还有界；可把区间分成无穷多段，每段上界不超过一，拼起来仍然可以无界。所以「有界函数」不成层。

再看一个成层的。「连续函数」成层：两块上连续，重叠处一致，拼起来一定连续，因为连续性只看每点附近。层挑的是「局部性质」——凡是能靠逐点检查决定的东西，都能成层。

最有用的层是结构层。在射影直线上，「多项式函数」构成一个层，记作 O。它的整体截面只有常数：一条射影直线上没有非平凡的全局多项式。若允许「带极点的多项式」，就有更多截面：允许 d 阶极点，整体截面的维数是 d＋1。取 d＝0、1、2、3、4、5，维数分别是 1、2、3、4、5、6。

为什么是 d＋1，理由很朴素：允许 d 阶极点的函数就是两个变量的 d 次齐次多项式，系数正好 d＋1 个，截面也就几维。

一句话：层的公理只有两条，可它把「局部」与「整体」的差别，变成一个可以数的量。下一页要数的，就是这个量的「差额」。

层能粘上的叫整体截面，粘不上的叫障碍。把这两样东西排成队，第一格记「能粘的」，第二格记「粘不上的」，第三格记「更高一层的粘不上」——这一队就叫上同调群。第一格里的元素个数（维数）是整体截面的多少；第二格的维数，是「差多少才粘得上」。

举一个纯代数的例子。整数到整数，每个数乘二，得到一个映射；它的像（偶数）与整数之比，剩下一半没打中。于是有一串：零到整数，乘二到整数，到「模二的两个元素」，再到零。中间那一步「剩下一半」，就是一个粘不上的东西。它的「差」被一个叫「扩张群」的东西记下来，这个群里只有两个元素。

换成曲线，就看得见几何。射影直线上，结构层的第二格是零：任何局部数据都能粘成整体，没有障碍。可换到一条有洞的曲线，第二格就不是零了：它的维数恰好等于洞的个数——也就是亏格 g。球面 g＝0，第二格零维；环面 g＝1，一维；两个洞 g＝2，二维。

于是「亏格」有了两个说法。旧说法：曲面上最多能画几条互不相交的闭合曲线而剪不断它。新说法：结构层第一上同调群的维数。两个说法给出同一个数，可后者能推广——推广到高维，推广到有限域，推广到没有「面」可看的地方。

再记一笔账。把「能粘的」维数减去「粘不上的」维数，得到一个数，叫欧拉示性数。球面是 1 减 0 等于 1；环面是 1 减 1 等于 0；两个洞是 1 减 2 等于 −1。这个数在变形下不变，是曲面的「指纹」之一。

一句话：上同调不问「有没有」，只问「差多少」；而「差多少」恰好是一个群，可以算，可以比，可以在映射下传递。这套机器一旦装好，下一步就是把它搬到有限域上去——那正是下一页。

取一条具体的曲线。y²＝x³−x。它在实数上是一条分成两段的曲线，在复数上是一个环面（亏格一）。现在问：在 F_p 这个世界里，它有几个点。办法很笨：把 x 从零取到 p 减一，逐个看右边是不是平方数，是就加两个点，不是就不加；最后加一个无穷远点。

数出来是这样一张表。p＝3：4 个点；5：8 个；7：8 个；11：12 个；13：8 个；17：16 个；29：40 个；41：32 个。若把点数记作 N，把「p＋1 减 N」记作 a，那么 a 依次是 0、−2、0、0、6、2、−10、10。

这张表里有一个界。不管 p 多大，a 的绝对值不超过 2 乘 p 的平方根。p＝13 时 a＝6，界是 7.21；p＝29 时 a＝−10，界是 10.77；p＝41 时 a＝10，界是 12.81。每一次都卡在界里面，而且卡得很紧——这就是「误差有界」的具体样子。

为什么是这样一个界，答案在线性代数里。设想有一个二维的空间，上面有一个线性变换（叫弗罗贝尼乌斯），它把每个坐标都取 p 次方。这个变换有两个特征值，记作 α 与 β。它们的和是 a，乘积是 p。点数就等于 p＋1−a，也就是三个迹的交替和：零维的迹 1，二维的迹 a，四维的迹 p。

于是韦伊猜想的第三条变成了一个关于大小的话。若两个特征值的绝对值都等于 p 的平方根，那么它们的和 a 的绝对值自然不超过 2 乘 p 的平方根——界不是估出来的，是算出来的。α 乘 β 等于 p，两个数的乘积定了，只要它们「一样大」，就各是根号 p。

要造这个二维空间，得先有「在代数世界里成立的拓扑」。复数上有开区间可用，有限域上没有；替代的办法是把「覆盖」重新定义成「局部同构的映射」。这套东西叫平展上同调，1960 年代初成形，此后成了算术几何的通用语。

一句话：他把「数点」换成了「算迹」。前者要一个个数，后者只要求一个矩阵的迹——而迹可以算，可以传，可以在映射下比较。这一步换完，韦伊猜想就不再是数论问题，是线性代数问题。

起点是把「覆盖」当成主角。在通常的拓扑里，最重要的是开集；可仔细一想，开集之所以有用，是因为它能「盖住」东西。于是他换了个问法：不去规定哪些集合是开的，只规定「一族映射什么时候算一次覆盖」。这套规定叫格罗滕迪克拓扑，配上它的一堆层，叫拓扑斯。

覆盖的规定一变，层就变，世界就变。规定得松，层就少；规定得紧，层就多。同一批对象，换一种覆盖，就得到另一个世界。概形与拓扑斯的关系，就像「一座城」与「这座城的地图册」：城是硬的，册子可以有好几本。

要紧的是：拓扑斯自带逻辑。在这个世界里，「存在」的意思是「局部存在」——只要有一族覆盖，每一片上都能找到一个，就算存在。「或者」的意思是「有一族覆盖，每一片上至少一个成立」。这两条一改，「非」也跟着改。

于是排中律可能不成立。举一个具体的：取实数轴，考虑它上面的连续函数。在这个世界里，「实数」就是连续函数。现在看函数 f(x)＝x。它是不是「等于零或者不等于零」。它不恒为零（在一处非零），也不处处非零（在零点为零）；而且这个判定没法靠「分片」解决——任何一片上，它都既不是恒零，也不是处处非零。

这不是玄学，它有公理。1970 年前后，劳维尔与蒂尔尼把拓扑斯从代数几何里拆出来，给了一套「初等拓扑斯」的公理：只谈对象与箭头，不谈开集。拆出来之后，拓扑斯进了逻辑与计算机科学——今天讲类型的语义、讲程序的证明，用的就是这套东西。

一句话：换一个世界，不是换一套比喻，是换一套「什么算证明」。这一步在数学史上极罕见：多数人改定理，少数人改定义，极少数人改「什么叫做对」。

先说经典的那一套。一个域，加上它的一批扩张，构成一棵树；树上的每个中间域，对应一个子群。这是伽罗瓦理论：域的问题变成群的问题。这条定理统治了代数两百年。

他的改法是把「域」换成「空间」，把「扩张」换成「覆盖」。一个空间的所有有限覆盖，也构成一棵树；树上的每个中间覆盖，对应基本群的一个子群。定理的形状一模一样，只是对象换了。换完之后，域论里的定理成了拓扑定理的特例，反过来也成立。

第一个例子，有限域。一个有限域的谱，它的基本群是一个「整数环的完备化」，由一个元素生成——那个元素叫弗罗贝尼乌斯，作用是「把每个数取 q 次方」。它的指数 n 的子群只有一个，所以次数 n 的连通覆盖也只有一个——把域扩到 n 次，没有第二种扩法。

第二个例子，有理数。有理数的谱，基本群就是伽罗瓦群：所有有理数域的对称。这个群巨大、复杂、至今没有被理解。他没有硬抓，他换了个办法：不去描述群本身，让它作用在一些组合对象上，从作用反推群。

那些组合对象是一类特殊的覆盖。把一条曲线覆叠到射影直线上，只允许在三个点处分支。这样的覆叠可以用一张画在纸上的地图完全描述：顶点、边、面。次数 1 到 5 的这类覆叠，按同构分类，分别有 1、3、7、26、97 个。

伽罗瓦群作用在这 97 个对象上，把它们分成若干组。同一组里的对象，是「定义在有理数上」的同一个对象的不同样子。于是问题变成：把这 97 个东西分组，看每组几个。这条思路后来叫远阿贝尔几何，1984 年他为此写了一份《纲领草案》。

一句话：抓不住群，就抓它作用的东西。这句话不新鲜，新鲜的是他把「作用的东西」找成了画在纸上的地图——于是最难的对象，落到了最朴素的计数上。

问题的起点很朴素。向量空间可以相加——取直和，维数相加。可它不能相减：维数三减维数五，没有对象对应。要在这样一堆东西上做算术，就得允许「负的向量空间」存在。

办法是形式地添负号。把「一个对象减去另一个对象」当成新的符号，再规定两条：若两个对象同构，它们的符号相等；若有一个短正合列（零到一个到另一个到第三个到零），则第三个的符号等于第二个减第一个。这样造出来的群，叫格罗滕迪克群。

举一个小例子，看得见它的脾气。取所有有限阿贝尔群，生成元是「素数阶的循环群」，关系来自短正合列。「模六的群」可拆成「模二直和模三」，符号等于 2；「模四的群」是「模二」的两次扩张，符号也是 2。两个群不同构，可在这个群里是同一个元素。

这个群到底记住了什么，可以算。它记住的是「质因子的个数，含重数」：从一到十二，这个数依次是 0、1、1、2、1、2、1、3、2、2、1、3。八是三个二相乘得 3，十二是二乘二乘三也得 3，所有信息压成一个整数。

第二个例子更有用。射影直线上的向量束，每一个都裂成若干「线束」的直和——这是他的一个定理。于是这个 K 群就是两个整数的直和：一个记秩，一个记次数。两个秩与次数都相同的束未必同构；这个群是有损的压缩。

它的第一件大用处是黎曼—罗赫。经典的说法：一条曲线上的除子，其次数与「截面数减一」之差，等于 2g−2。他的改法：把「曲线」换成任意映射，把「次数」换成 K 群里的元素，定理变成一句「某个图是交换的」。原定理成了取一个特例。

一句话：他造 K 群不是为了算，是为了让「相减」这件事合法。合法之后，一切关于「差」的定理才能写成等式，而不必处处加但书——这又是「把海抬高」的一次。

先把点数打包成一个函数。取一条曲线，把它在 F_p、F_p²、F_p³……上的点数依次记作 N₁、N₂、N₃……；再把这些数当作系数，做成一个幂级数：一加上 N₁ 乘 T，加上「N₁ 的平方加 N₂ 的一半」乘 T 的平方，依此类推。这个函数叫 ζ 函数。

拿 p.23 那条曲线试一试。y²＝x³−x 在 F₅ 上有 8 个点，所以一次项系数是 8。二次项系数是「64 加 N₂ 再除以二」，算出来是 48；反推回去，N₂＝32，也就是它在 25 元域上有 32 个点。三次项是 248，反推 N₃＝104，在 125 元域上 104 个点。开头是这样：一加 8T 加 48T 的平方加 248T 的立方，再加下去。

然后是一个惊人的事实：这一长串数，可以用一个分数写完。它等于（1＋2T＋5T 的平方）除以（（1−T）（1−5T））。分母展开是 1−6T＋5T 的平方；两个多项式一除，得到的正是上面那串系数。无穷多个点数，被两个二次以下的多项式装住了——这就是韦伊猜想的第一条。

第二条看对称。把 T 换成「五 T 分之一」，函数值不变。取 T＝0.1 试：原式给 2.7778，换过之后也给 2.7778。这个对称叫函数方程，说的是「点数在 n 与「二减 n」两处配平」。

第三条看根。分子的两个根是虚数，实部负五分之一，虚部正负五分之二；它们的绝对值都是 0.447，正好是 5 的平方根分之一。换句话说：两个根的模等于「底数的平方根分之一」——这就是韦伊猜想的第三条，也是它与黎曼猜想同名的理由。

为什么这一条最强。因为根的模一定，点数就不可能离「p＋1」太远：误差被两个根的模卡住，最大是 2 乘根号 p。p.23 那张表里每一次都卡在界内，原因就在这里——界不是估出来的，是根的大小算出来的。

一句话：一条曲线在无穷多个有限域上的点数，被两个数管住；找到这两个数，等于找到了这条曲线的指纹。他一生的工具最后都指向这件事，而这件事 1974 年由别人划上句号。

他的记录法只有一条：按日期写，不按题目写。今天想到什么就写什么，写完不回头，不分类，不改写。第二年再写，另起一本。四十三年下来，同一件事的解释可能前后矛盾，他也不去弥合——在他看来，矛盾本身是材料。

这套办法有它的道理。按题目写，等于先假定「什么属于同一个题目」；假定错了，材料就被切错。按日期写，材料原样摊着，结构等以后再找。这跟他的数学方法完全一致：不预设结构，等结构出现。

算一下速度。手稿两万八千页，跨 1949 到 1991 共四十三年，平均每年六百五十一页，每天一点七八页。这个速度不算快——一天不到两页，比一个认真的日记作者多不了多少。可它连续了四十三年，没有中断的年份。

《收获与播种》是例外，也是最密的一段。近两千页，写了三十三个月，平均每月五十七点六页，每天将近两页。这本书不是数学，是自传与清算：他写自己的一生、写三种情感、写对学生与同行的失望、写 1976 年那次「启示」与随后的长期静坐。

《梦的钥匙》更怪。1987 年写的，专门记梦，还给梦编了索引：按人物、按地点、按反复出现的意象。他相信梦里有结构，而结构要靠长期记录才浮出来——这话与他一辈子做的事，是同一句话。

这套办法的代价很直接。材料越多，读的人越少。一个人每天写两页，四十年就是一座山；山不整理，别人进不去。他晚年反复抱怨没人读他，可他从不整理——这两件事在他身上是一致的：整理等于预设结构，而他不肯预设。

一句话：他不预设结构，他等结构出现。这个办法在数学上救了他（造出了三套语言），在写作上埋了他（留下一座进不去的山）。

先把这笔账摊开。他留下的未刊手稿，约两万八千页，涵盖 1949 到 1991 年——从博士前后一直写到七十三岁。这批纸 1990 年与 1995 年两次交给马尔瓜尔，2010 年转交蒙彼利埃大学；2016 年数字化，2017 年 5 月 10 日上线。

上线的是其中一部分。一万八千页，占全部的六成四；剩下的一万页没有上线。原因不是技术：里面有别人的信、有涉及第三人的私事、有版权未清的段落，也有纯粹没整理完的散页。

读一遍要多久，可以算。若一个人每天读二十页，两万八千页要读一千四百天，将近三年十个月；每天读十页，要七年八个月。这还只是读一遍，不算读懂。相比之下，他正式发表的数学论文与书，合起来不到手稿的十分之一。

这批纸里有什么，现在只能说三类。第一类是他自己讲过的：几部未完成的大稿（关于栈、关于导子），以及《纲领草案》之后的一些续写。第二类是他与同行的通信，数量极大，涉及 1950 至 1980 年代几乎每一个重要进展。第三类是日记与梦的记录，与数学无关，可它们解释了他为什么在 1970 年转身。

有人指望里面有「失落的宝石」。这个指望不算离谱：他 1970 年以后的思考方向与主流不同，若真有突破，多半长在这些纸上。可也要说清楚：两万八千页里，大部分是草稿、重复与自我追问，不是定理。读手稿的人，先要学会在沙里待着。

一件事已经确定。他的方法留下来了，而且活得比结论长。概形、层、拓扑斯、K 群、六种运算——这些词今天写在每一本教科书里；他本人的名字，写在括号里。手稿是另一回事：它是方法的原材料，不是方法本身；原材料可以慢慢读，方法已经在用了。

一句话：一个人写了四十三年，后人要读一辈子；而他真正留下的东西，早就不在纸上了。