五月中旬的下午。
老图书馆三楼。
阳光穿过窗户打在桌子上。
陈拙坐在桌前。
面前堆着一厚遝纸，背面全是用过的废纸，正面密密麻麻写满了推导公式。
他手里握着一支笔，最上面的一张草稿纸，中央画着一个复杂的连续几何曲面。
在曲面的左下角，有一个无法用常规代数循环覆盖的区域。
陈拙在那个区域旁边，写下了一行代表拓扑挠的同调群公式。
在这行公式的末尾，他画上了一个问号。
在整霍奇猜想的推导中，连续与离散存在天然的冲突。
连续的复空间会抹平部分拓扑挠，而这恰恰是阻碍代数循环成立的核心障碍。
陈拙看着那个问号。
笔尖落在纸面上。
他没有继续顺着连续曲面的同调类往下写。
手腕平移。
他在那个带有奇异点的曲面上方，画下了一道红线。
接着是第二道，第三道。
横纵交错。
他在纸上构建了一个离散网格。
红色的线条在白纸上切割，网格的节点一一对应，强行覆盖住了下方那个原本无法被代数表示的区域。这层离散网格，避开了连续映射的失效区。
它将复空间的积分问题，转化成了离散格点上的求和。
节点开始闭合。
陈拙握着笔，把网格的最後一条边缘，连接到了起始的基点上。
一个完美的闭环。
他把笔尖移到草稿纸的最下方空白处。
写下了一个周群映射的符号。
接着，画下了一个等号。
等号左边是连续空间的复积分公式，等号右边是离散代数循环的有限求和。
这套离散代数机制，打通了周群与上同调之间被堵死的那条路。
写完等号右边的最後一个字母。
笔在纸上拉出了一道乾涩的印子。
笔画边缘颜色变浅，中间留白。
墨水彻底耗尽了。
陈拙停下手。
他看着纸面底部的那个等式。
连续几个月的推导，在这一刻形成了彻底的闭环。
在这个等式成立的这一秒。
过去三十年里，国际代数几何界试图用连续微分几何来解决整霍奇猜想的主流路线，被彻底宣告了死路。
在这张草稿纸上，连续与离散的天然壁垒被强行打破。
那些曾经让无数顶尖数学家束手无策，隐藏在连续空间里的拓扑挠，被这张离散网格精准地剥离了出来。
它不再是一个虚无缥缈的几何幽灵，而变成了可以被代数循环确切计算的实体。
这不仅仅是解开了一个子问题。
这是一套全新的数学底层逻辑。
从今天起，全世界研究这个领域的学者，如果还想继续往下走，就必须停下脚步。
放弃他们研究了半辈子的连续映射。
从头开始，适应这套建立在离散格点上的全新代数机制。
陈拙看着纸面。
他放下手里的笔。
从旁边的笔袋里，抽出一支新的笔。
拔下笔帽。
他在那个完美的等式下方，也是整张草稿纸最後的一点空白处，写下了一句注记。
字迹工整，平和。
「由此可知，基於连续映射的传统逼近方法在此存在结构性冗余，已无继续探讨之必要。」写完这行字。
陈拙把笔帽扣上。
发出一声轻微的脆响。
他没有任何表情上的起伏。
只是把这句话，当成一个再正常不过的学术结论，留在了推导的末尾。
但这句客气而温和的陈述，在未来的一段时间里，将毫无保留地砸碎大半个代数几何圈的旧饭碗。陈拙的视线从这行字上移开。
手边堆着几本厚重的外文专着。
都是复流形和代数循环领域的经典教材，也是他这几个月翻阅最多的参考书。
他伸出手。
捏住最上面那本专着的书页边缘，将它合拢。
没有停顿，他依次将下面几本摊开的专着也一本本合上。
摞在一起。
推到桌子的最角落。
这个动作很轻，没有任何多余的力气。
就像上完了一门普通的公共选修课，顺手合上了以後再也不会去看的课本。
那些曾经被视作代数几何圣经的着作，在那个等式写完的瞬间，里面的核心方向就已经变成了废纸。陈拙收回手。
把桌面上那四十多页写满矩阵和离散网格的草稿纸拢到一起。
抓起那几张纸，在桌子边缘随意地磕了两下，边缘勉强对齐。
最上面那张纸的页角有些卷曲。
他没有去抚平。
拉开自己的书包，直接把这遝纸塞了进去。
连同一个旧水杯。
那支耗尽了的笔，被他随手扔进了桌底的垃圾桶。
陈拙站起身。
推开大门，走下楼梯。
老图书馆一楼的大厅里，借阅的老师正低头看着当天的晚报。
陈拙安静地走出老图书馆。
五月中旬的徽州，傍晚的空气带着一丝乾燥的闷热。
太阳快要落山了。
