第240章 暑假作业（2 / 2）
每天只睡四个小时。
研讨室里的气氛压抑得让人喘不过气。
大卫在一堆废纸里翻找着什麽。
他擡起头，眼睛里布满血丝。
「没有崩溃。」大卫说。
西里尔走过去，看着大卫手里的草稿纸。
「他怎麽处理的？」西里尔问。
「代数循环。」
大卫咽了口唾沫。
「他在降维的前一步，构建了一个同调群，那些原本应该在降维中丢失的高维拓扑信息，全被他塞进了这个同调群里，然後用矩阵直接把整个群搬了下来。」西里尔愣住了。
他转过身，看着墙上的复印件。
这是一种极其野蛮又极度精妙的手法。
陈拙没有去计算那些高维信息到底是怎麽变化的，他只是做了一个结实的箱子，把信息装进去，然後连箱子带东西一起扔到了低维空间里。一滴水都没漏。
第三周。
研讨室里变得异常安静。
没有人再去黑板上试图攻击陈拙的逻辑了。
他们放弃了寻找漏洞。
他们开始顺着陈拙的笔迹，一步一步往下走。
西里尔拿着粉笔，在黑板上慢慢地写着陈拙的推导过程。
他的动作很慢。
像是一个在陌生森林里摸索的旅人。
阿瑟坐在
「那个维数空缺怎麽填？」阿瑟问。
在传统的连续几何里，这里有一个天然的深坑。
微积分走到这里，就再也跨不过去了，这也是他们三十年来一直无法解决的问题。
西里尔没有回答。
他继续往下写。
写到第二十九页的部分。
西里尔的手停住了。
他看着黑板上的那个算式。
那是两个代数簇的交点数公式。
陈拙在这个位置，根本没有去想怎麽跨越那个深坑。
他直接用离散网格的节点，在深坑上面铺了一层钢筋。
那些交点数，严丝合缝地卡在了维数空缺的位置上。
一切都闭合了。
没有任何模梭两可的逼近，没有任何无穷小的极限。
就是乾脆利落的整数。
西里尔向後退了两步。
他看着那一整面黑板的推导。
一种前所未有的战票从脚底升起。
连续流形永远无法捕捉挠部分，不是因为工具不够好，而是因为连续空间本身就容不下这种离散的不变量。陈拙把那把柔软的剑折断了。
然後递给了他们一把铁锤。
第四周的周末。
研讨室的门一直关着。
最後一块黑板前，西里尔拿着一小截粉笔。
这是四十三页论文的最後一行。
阿瑟坐在第一排。
大卫站在墙角。
其他几位编委都沉默地坐在自己的位置上。
没有人说话。
粉笔在黑板上划过，发出单调的沙沙声。
西里尔写完最後一个符号。
一个完美的离散代数循环。
公式的结果，和复印件第四十三页上的结果，分毫不差。
粉笔从西里尔的指间滑落。
掉在讲上，断成两截。
西里尔转过身。
他看着这群一起共事了几十年，研究了一辈子连续微分几何的老同事。
西里尔的脸上没有愤怒，也没有被挫败的气急败坏。
只剩下了一种沉默的平静。
「算完了。」西里尔说。
阿瑟看着黑板，喉结动了一下。
「逻辑上有断层吗？」
阿瑟的声音很低。
「你也是跟着一路算下来的.....」
西里尔回答。
「从第一页到第四十三页，严丝合缝。」
研讨室里再次陷入死寂。
大卫低着头，看着自己手里的一份研究计划。
那是他准备下个月申请基金的课题，方向是用连续映射逼近霍奇猜想。
现在，这份计划就是一堆废纸。
「我们输了？」
另一位编委开口，声音有些沙哑。
西里尔走下讲。
「我们过去三十年发展的连续流形工具，极其伟大。」
西里尔看着大家。
「在复几何的其他领域，它们依然是最好的武器。」
他停顿了一下。
视线转回到黑板上那个离散网格的图例上。
「但面对整霍奇猜想。」
西里尔深吸了一口气。
「Zhuo证明了，我们的工具在这条路上有着天然的结构缺陷。」
「这条路，我们走不通了。」
阿瑟双手捂住脸，搓了搓。
「他把我们的路封死了。」阿瑟闷声说。
「他不光封死了路。」
西里尔转过身。
「他还搭了一座桥，他把连续空间的复积分，完美转化成了离散格点上的有限求和。」
西里尔走到桌前，拿起那份卷边的复印件。
「先生们。」
西里尔看着手里的纸。
「代数几何的下半场，规则变了。」
「回去清理一下书架吧，我们要开始习惯，在离散的格点上做数学了。」
没有人反驳。
在这个研讨室里关了整整一个月，他们比谁都清楚这份作业的含金量。
真理面前，资历和学派一文不值。
西里尔把复印件放在桌子上。
「大卫。」
西里尔叫了一声。
大卫擡起头。
「通知编辑部排版。」西里尔说。
「需要附上审稿意见，让他修改引言部分吗？」大卫问。
那句存在结构性冗余，实在太刺眼了。
「不改。」
西里尔回答得很乾脆。
「一个字都不用改，连标点符号都保留。」
西里尔看着桌子上的复印件。
「作为下一期《数学年刊》的头版，全文刊发。」
例会再次召开。
还是那个会议室，还是那张橡木桌。
皮埃尔坐在最末端。
西里尔把排版好的清样放在桌子上。
第一篇，就是Zhue的论文。
皮埃尔看着清样，拿起面前的水杯喝了一口。
水是热的。
他看着坐在长桌两侧的老对手们。
他们的神情有些疲惫，但没有人提出异议。
皮埃尔没有说话。
他也不需要说什麽。