这句话写完之後，陈拙没有继续往下推。
笔尖停在纸面上方，悬了几秒，最後被他放回了桌上。
办公室里很安静，暖气片偶尔响一下。
不是很响。
咔。
又停住。
像一个年纪很大的老教授想说话，但临时忘了要说什麽。
陈拙靠在椅背上，看着纸上那行字。
这句话当然很好写。
难的是下面该写什麽。
从已知胜利处反向拆解。
那就得先找到那条已经走通的路。
陈拙伸手，把面前那摞写着存在性的草稿纸往旁边挪了挪，然後站起身，走到办公室右侧的书架前。
书架是高研院给他配的。
木头很旧，但擦得很乾净，上面摆着不少皮埃尔让人送来的书和讲义，有些是全新的，有些则显然不知道在多少个教授手里转过一圈，书脊上有磨痕，扉页边角卷起，夹缝里还藏着旧便签和已经发黄的索引条。
陈拙擡手，从第二层抽出一本厚讲义。
结果它旁边一本薄册子也被带了出来，啪地一下掉在地毯上。
他低头看了一眼。
那本薄册子的封面上写着一行法文，底下还有皮埃尔年轻时留下的签名，字迹飞扬得有点不像数学家，反倒像某种不太靠谱的诗人。
陈拙弯腰把它捡起来，随手拍了拍封面上的灰。
书架上这些东西和机械厂家属楼阳台上的旧零件其实差不多。
看起来都很严肃。
真翻起来，也全是灰。
他把几本书抱回桌边，放在那摞霍奇草稿旁边。
书一放下，桌面就显得更挤了。
常数C答辩文件夹被镇纸压在左侧，像一块已经归档的石头，右侧是乱七八糟的霍奇草稿，中间还有玛蒂尔达师母的饼乾盒，咖啡馆小票被压在盒子底下，露出一点白边。
陈拙把饼乾盒往旁边推了推。
他打开最上面那本旧讲义。
纸页边缘已经有点脆，翻动的时候会发出很细的沙沙声，陈拙没有直接从目录看起，而是顺着几张旧便签的位置往後翻。
这些便签不是他夹的。
上面有皮埃尔的字迹，也有几处明显来自别人的批注，有人在一个定理旁边画了一个星号，又在页边写了一句非常简短的评语。
「这里是门。」
陈拙盯着那四个字看了两秒。
字迹很老，墨水颜色已经淡了。
但这句话倒是很清楚。
这里是门。
陈拙继续往下看。
那一页的标题下面，写着一个他早就见过很多次的名字。
莱夫谢茨（1，1）定理。
霍奇猜想里少数真正让人安心的地方。
或者说，唯一能称得上全面胜利的地方。
陈拙把那页纸按平，坐回椅子上。
他没有马上看细节，而是伸手拿起粉笔，走到黑板前，把昨天留下的几行公式擦掉。
陈拙後退半步，看着那块重新露出乾净底色的黑板。
然後，他在左边写下：
已经走通。
又在右边写下：
还没走通。
这两个标题一点也不学术。
甚至有点像张强当年整理错题本时会写出来的东西。
但陈拙觉得挺好。
至少看得懂。
左边，是人类已经走通过的那条路。
右边，是霍奇猜想真正的深水区。
他在左边已经走通下面写了两个词。
霍奇类。
除子。
写完之後，他盯着这两个词看了一会儿。
这就是那个成功案例最朴素的样子。
一边是看不见的影子。
一边是看得见的几何东西。
在最简单的那类情况下，人类真的找到了一条路，能让影子落到地面上，变成一个可以被代数方程描述出来的对象。
陈拙低头看了一眼旧讲义。
讲义上当然写得更复杂。
它不会说影子，也不会说地面。
它会写更精确的词，会写一行又一行漂亮但不太像人话的定义，会把每一个连接都标得严丝合缝，那是数学应该有的样子。
但陈拙现在不是在写论文。
他是在拆东西。
拆东西的时候，不需要先管名字好不好看。
先看它怎麽动。
陈拙又在霍奇类和除子之间画了一条线。
这条线很短。
短得让人觉得这件事似乎并不难。
但陈拙知道，真正难的地方就藏在这条短线里。
他小时候第一次看怀表也是这样。
齿轮从外面看都差不多，圆的，带齿，亮晶晶，放在桌上还挺好看，可一旦真要把它们装回去，才会发现有的齿轮只负责传动，有的负责限位，有的根本不能装反。
装错一颗。
整块表都不走。
左边这条已经走通的路，就是一块能走的旧表。
现在的问题不是它走不走。
问题是，它为什麽能走。
陈拙把粉笔在手里转了半圈，又在那条短线下面写了一个词。
抓手。
写完之後，他停住了。
这不是讲义上的词，也不是什麽正式数学语言。
但它很准确。
那条已经走通的路之所以能走，是因为在那个简单情形里，人类有一个能抓住影子的东西。
就像你知道墙後面有一根绳子，还得有办法把它从缝里钩出来。
有抓手，东西才不会只停留在应该存在上。
有抓手，它才能被拉出来，落到桌面上，让所有人看见。
陈拙转过身，回到桌边，翻了几页旧讲义。
讲义里用的是更正式的说法。
线丛。
第一陈类。
这些词当然重要。
但陈拙没有把它们全抄到黑板上。
黑板不是垃圾桶，不是什麽词都该往上扔。
他只在抓手旁边小小地写了一个括号。
线丛。
然後就停了。
够了。
他不是要在这一章里重讲半本代数几何。
他要找的是那块齿轮。
在余维一的情况下，这个齿轮确实存在，它能把那些原本只在上同调里留下痕迹的影子，拉回到一个更具体的位置。
这就是那条路能走通的原因。
它不是靠奇蹟，它靠的是接口。
陈拙擡头看向黑板左边。
已经走通。
霍奇类。
除子。
抓手。
线丛。
几个词摆在那里，并不复杂，甚至有点朴素。
朴素到让人容易误以为霍奇猜想也不过如此。
这当然是错觉。
数学里最坑人也是最常见的事情，就是一个低维情形看起来很自然，於是你以为高维也能照着走。
真走上去才发现，前面不是路，是沼泽。
陈拙把视线移到黑板右边。
还没走通。
他在右边写下：
霍奇类。
然後在下面隔了很远的位置，写下：
代数循环。
中间空出一大片。
这片空白看起来比左边那条短线刺眼得多。
陈拙拿着粉笔，在中间画了一条虚线。
虚线画到一半，他停住了。
因为这条线现在还不能画实。
左边那条路，是已经被人铺好的石板路。
右边这条，只能算站在雾里看见了对岸的轮廓。
常数C能做什麽？
陈拙回到桌边，从那摞霍奇草稿里抽出几页。
正规函数。
渐进包络面。
代数刚性邻域。
这些东西已经把问题往前推了一大步。
常数C可以像一张收紧的网，把原本在连续变化里游移不定的拓扑痕迹钉住，它能证明那道影子不会乱跑，能证明它被限制在某个非常小、非常硬的代数邻域里。
这很重要。
非常重要。
如果没有这一步，後面连找都不知道往哪里找。
但陈拙盯着那片空白，越看越清楚一件事。
钉住影子，不等於抓住实体。
中间还差一次正确的用力。
陈拙把那几页草稿重新放下。
他走到黑板前，在右边的虚线中间写了两个字。
缺口。
写完之後，他又皱了皱眉。
这个词不够准。
缺口太像是墙上破了个洞。
而眼下的问题不是洞。
是手伸不过去。
陈拙拿起黑板擦，把缺口两个字擦掉。
粉笔灰落下来，沾在他的袖口上。
他重新写。
抓手。
这一次，对了。
左边已经走通的路里，有抓手。
右边还没走通的路里，缺抓手。
陈拙後退一步，看着黑板。
事情终於变得稍微清楚了一点。
这不是说第六阶段突然变简单了。
相反，它还是很麻烦。
但麻烦的形状开始出现了。
之前它像一团雾。
现在雾里至少露出了一小截轮廓。
陈拙重新坐回桌边，拿起那块黄油饼乾，发现只剩一个很小的角。
他把那个角放进嘴里，慢慢嚼着。
他低头看了看饼乾盒。
空了。
陈拙沉默了一下。
玛蒂尔达师母的多吃任务完成得非常彻底。
问题是，盒子又空了。
明天送回去的时候，最好不要让皮埃尔教授先看见。
不然老头子很可能会再次提出没有数学意义、但情绪很充分的抗议。
陈拙把空盒子盖好，往桌角推了推。
然後他重新拿起铅笔，在存在性那页纸上补了几行。
第一行：
简单情形能走通，是因为有抓手。
第二行：
常数C能定位影子，但不能直接替代抓手。
第三行：
第六阶段的核心，不是继续钉住，而是拉出来。
写到第三行时，陈拙停了一下。
他觉得拉出来这个词看起来有点粗糙。
但也不能说不对。
数学当然应该精确。
可在真正找到办法之前，有些粗糙的词反而更有用。
它像是一根临时插在泥地里的木棍，不好看，但能让人知道路大概往哪边走。
他把纸放下，再次看向黑板。
左边：
已经走通。
右边：
还没走通。
中间的差别，不是常数C够不够锋利。
常数C已经足够锋利。
它能切开很多东西，能钉住很多东西，能把原本飘着的影子压到一个固定的位置。
可刀再锋利，也不能自动把东西从影子後面拽出来。
刀是刀。
手是手。
陈拙靠在椅背上，忽然想起很久以前，自己还在阳光家属院那个小书房里，和陈建国一起对着一堆怀表零件发呆。
那时候他什麽都不懂。
不懂齿轮为什麽转，不懂棘轮为什麽要卡在那里，也不懂游丝为什麽一松一紧就能让时间变得有秩序。
他只会试。
这个不对，换下一个。
还不对，再换。
直到某一个零件咔哒一音效卡进正确的位置，整套结构突然动起来。
那一瞬间的感觉，他到现在都还记得。
不是因为修好了表。
而是因为他第一次明白，复杂东西并不是靠复杂本身运转的。
它总有几个关键的咬合点。
找到那些点，整个系统才会动。
现在也是一样。
霍奇猜想当然比那块旧怀表复杂一万倍。
但道理没有变。
他不是要把所有零件同时装回去。
他要先找到那颗真正负责咬合的齿轮。
办公室外，走廊里又传来一点动静，有人在不远处低声说话，声音隔着厚门板，模模糊糊，听不清内容，很快，脚步声远去。
陈拙没有理会。
他起身走到黑板前，拿起粉笔，在右边还没走通的下方重新整理了一遍。
霍奇类。
影子。
常数C。
定位。
抓手。
代数循环。
这些词一个接一个排下来。
比刚才清楚了一些。
但仍然不是完整的路。
陈拙看着抓手两个字，想了想，在旁边加了一个问号。
这个问号并不让人沮丧。
相反，它让陈拙觉得舒服了一点。
因为问号总比一团雾好。
一团雾看起来什麽都像问题。
一个问号至少说明，问题开始被压缩了。
他拿着粉笔，轻轻点了点那个问号。
下一步，不是继续把常数C磨得更亮。
也不是立刻去写什麽新的大定理。
下一步，是找高维里的抓手。
找一个能像简单情形里的那条旧路一样，把看不见的霍奇类，一步步拖到看得见的代数循环上的东西。
陈拙把粉笔放回粉笔槽。
手指上沾了粉笔灰。
他低头看了看，随手拍了两下。
白色粉尘在空气里散开，很快就不见了。
窗外，雪终於开始下得明显了一点。
细小的雪粒在灯光和暮色之间飘动，落在范恩楼外光秃秃的树枝上，很快积出一层浅浅的白。
陈拙回到桌前，把那张写着存在性的纸重新摆正。
然後，在刚才那三行下面，慢慢写下第四行。
找到那个能把影子拽出来的抓手。
写完这句话，他没有再继续。
有些东西，写到这里就够了。
再往下写，就不是学习，是胡来。
他把笔放下，伸手拿过那摞旧讲义，将夹着莱夫谢茨（1，1）定理的那一页折了一个小角。
折完之後，他又觉得有点对不起这本书。
毕竟它已经够旧了。
陈拙想了想，从桌边撕下一小张便签，夹在那页里面，把刚才折起的角又抚平。
这下顺眼多了。
他把讲义合上，放在右侧草稿纸上方。
左边是常数C答辩文件。
右边是霍奇存在性的草稿。
中间隔着一个空掉的饼乾盒和一张露出边角的咖啡小票。
陈拙看着这张桌面，忽然觉得这画面很有普林斯顿特色。
一边是足以让三百多个顶级学者起立鼓掌的数学成果。
一边是一个还不知道怎麽下手的世纪猜想。
中间，是玛蒂尔达师母烤空了的饼乾盒。
挺合理。
人类文明大概就是这样推进的。
靠纸，靠粉笔，靠一点不太稳定的暖气。
以及足够的黄油。
陈拙靠回椅背，闭上眼睛休息了几秒。
再睁开时，他把那张存在性草稿抽出来，放到最上方。
>