第240章 暑假作业
第240章 暑假作业 (第2/3页)
其他工作。」
阿瑟看着西里尔。
「你当真要花时间去验算这个？」
「皮埃尔既然敢把东西放在这张桌子上，就不会是随便涂鸦的废纸。」
西里尔拿着复印件往外走。
「一个月时间，我就不信，我们用连续流形建了三十年的大厦，会被一个离散网格给切开。」研讨室的门被关上了。
没有窗户，只有头顶冷白色的灯。
四面墙上挂满了巨大的黑板。
第一周。
空气里全是粉笔灰的味道。
阿瑟站在第一块黑板前，手里拿着半截粉笔。
黑板上写满了一层又一层的偏微分方程。
「这里。」
阿瑟用粉笔在黑板上重重地点了一下。
「他的离散奇点在这里是孤立的，只要我们引入一个无限小的连续极限，就可以强行把这个奇点平滑掉。」西里尔坐在椅子上，手里拿着铅笔，在草稿纸上跟着阿瑟的思路算。
大卫在旁边的白板上做辅助计算。
半个小时过去。
大卫停下了笔。
「不行。」
大卫的声音有些发乾。
阿瑟转过头看着他。
「为什麽不行？」
「平滑不掉。」
大卫指着白板上的最後一行。
「连续极限套上去之後，那个代数循环的交点数直接变成了零，信息丢失了。」
阿瑟不说话了。
西里尔也放下了手里的铅笔。
他们试图用微积分那把极其锋利但柔软的剑，去刺穿陈拙建立的网格。
但连续性的工具，在接触到那个底层的离散代数机制时，就像水泼在石头上一样，直接滑落了。陈拙根本没有给他们留出平滑的缝隙。
那个奇点被死死地锁在网格的交汇处，拒绝任何连续映射的覆盖。
「他把空间切碎了。」
西里尔看着黑板。
「他不允许我们用连续的眼光去看它。」
阿瑟把手里的粉笔扔在讲上。
「这是强盗逻辑。」
第二周。
研讨室里的咖啡杯堆满了角落的桌子。
黑板上的方程被擦了又写，写了又擦。
既然攻击奇点无效，他们决定从大局上找漏洞。
「降维。」
另一位资深编委指着手里的复印件。
「他在第十七页进行矩阵降维的时候，绝对漏掉了高维流形上的拓扑信息，这种暴力的切割，不可能不付出代价。」所有人开始顺着这个思路疯狂计算。
他们在草稿纸上构建各种高维空间，试图证明陈拙的矩阵在降维那一刻会崩溃。
整整三天。
每天只睡四个小时。
研讨室里的气氛压抑得让人喘不过气。
大卫在一堆废纸里翻找着什麽。
他擡起头，眼睛里布满血丝。
「没有崩溃。」大卫说。
西里尔走过去，看着大卫手里的草稿纸。
「他怎麽处理的？」西里尔问。
「代数循环。」
大卫咽了口唾沫。
「他在降维的前一步，构建了一个同调群，那些原本应该在降维中丢失的高维拓扑信息，全被他塞进了这个同调群里，然後用矩阵直接把整个群搬了下来。」西里尔愣住了。
他转过身，看着墙上的复印件。
这是一种极其野蛮又极度精妙的手法。
陈拙没有去计算那些高维信息到底是怎麽变化的，他只是做了一个结实的箱子，把信息装进去，然後连箱子带东西一起扔到了低维空间里。一滴水都没漏。
第三周。
研讨室里变得异常安静。
没有人再去黑板上试图攻击陈拙的逻辑了。
他们放弃了寻找漏洞。
他们开始顺着陈拙的笔迹，一步一步往下走。
西里尔拿着粉笔，在黑板上慢慢地写着陈拙的推导过程。
他的动作很慢。
像是一个在陌生森林里摸索的旅人。
阿瑟坐在下面，看着黑板。
「那个维数空缺怎麽填？」阿瑟问。
在传统的连续几何里，这里有一个天然的深坑。
微积分走到这里，就再也跨不过去了，这也是他们三十年来一直无法解决的问题。
西里尔没有回答。
他继续往下写。
写到第二十九页的部分。
西里尔的手停住了。
他看着黑板上的那个算式。
那是两个代数簇的交点数公式。
陈拙在这个位置，根本没有去想怎麽跨越那个深坑。
他直接用离散网格的
（本章未完，请点击下一页继续阅读）