的复印件。
「他在第十七页进行矩阵降维的时候,绝对漏掉了高维流形上的拓扑信息,这种暴力的切割,不可能不付出代价。」所有人开始顺着这个思路疯狂计算。
他们在草稿纸上构建各种高维空间,试图证明陈拙的矩阵在降维那一刻会崩溃。
整整三天。
每天只睡四个小时。
研讨室里的气氛压抑得让人喘不过气。
大卫在一堆废纸里翻找着什麽。
他擡起头,眼睛里布满血丝。
「没有崩溃。」大卫说。
西里尔走过去,看着大卫手里的草稿纸。
「他怎麽处理的?」西里尔问。
「代数循环。」
大卫咽了口唾沫。
「他在降维的前一步,构建了一个同调群,那些原本应该在降维中丢失的高维拓扑信息,全被他塞进了这个同调群里,然後用矩阵直接把整个群搬了下来。」西里尔愣住了。
他转过身,看着墙上的复印件。
这是一种极其野蛮又极度精妙的手法。
陈拙没有去计算那些高维信息到底是怎麽变化的,他只是做了一个结实的箱子,把信息装进去,然後连箱子带东西一起扔到了低维空间里。一滴水都没漏。
第三周。
研讨室里变得异常安静。
没有人再去黑板上试图攻击陈拙的逻辑了。
他们放弃了寻找漏洞。
他们开始顺着陈拙的笔迹,一步一步往下走。
西里尔拿着粉笔,在黑板上慢慢地写着陈拙的推导过程。
他的动作很慢。
像是一个在陌生森林里摸索的旅人。
阿瑟坐在下面,看着黑板。
「那个维数空缺怎麽填?」阿瑟问。
在传统的连续几何里,这里有一个天然的深坑。
微积分走到这里,就再也跨不过去了,这也是他们三十年来一直无法解决的问题。
西里尔没有回答。
他继续往下写。
写到第二十九页的部分。
西里尔的手停住了。
他看着黑板上的那个算式。
那是两个代数簇的交点数公式。
陈拙在这个位置,根本没有去想怎麽跨越那个深坑。
他直接用离散网格的节点,在深坑上面铺了一层钢筋。
那些交点数,严丝合缝地卡在了维数空缺的位置上。
一切都闭合了。
没有任何模梭两可的逼近,没有任何无穷小的极限。
就是乾脆利落的整数。
西里尔向後退了两步。
他看着那一整面黑板的推导。
一种前所未有的战票从脚底升起。
连续流形永远无法捕捉挠部分,不是因为工具不够好,而是因为连续空间本身就容不下这种离散的不变量。陈拙把那把柔软的剑折断了。
然後递给了他们一把铁锤。
第四周的周末。
研讨室的门一直关着。
最後一块黑板前,西里尔拿着一小截粉笔。
这是四十三页论文的最後一行。
阿瑟坐在第一排。
大卫站在墙角。
其他几位编委都沉默地坐在自己的位置上。
没有人说话。
粉笔在黑板上划过,发出单调的沙沙声。
西里尔写完最後一个符号。
一个完美的离散代数循环。
公式的结果,和复印件第四十三页上的结果,分毫不差。
粉笔从
-->>(第3/4页)(本章未完,请点击下一页继续阅读)