五月中旬的下午。
老图书馆三楼。
阳光穿过窗户打在桌子上。
陈拙坐在桌前。
面前堆着一厚遝纸，背面全是用过的废纸，正面密密麻麻写满了推导公式。
他手里握着一支笔，最上面的一张草稿纸，中央画着一个复杂的连续几何曲面。
在曲面的左下角，有一个无法用常规代数循环覆盖的区域。
陈拙在那个区域旁边，写下了一行代表拓扑挠的同调群公式。
在这行公式的末尾，他画上了一个问号。
在整霍奇猜想的推导中，连续与离散存在天然的冲突。
连续的复空间会抹平部分拓扑挠，而这恰恰是阻碍代数循环成立的核心障碍。
陈拙看着那个问号。
笔尖落在纸面上。
他没有继续顺着连续曲面的同调类往下写。
手腕平移。
他在那个带有奇异点的曲面上方，画下了一道红线。
接着是第二道，第三道。
横纵交错。
他在纸上构建了一个离散网格。
红色的线条在白纸上切割，网格的节点一一对应，强行覆盖住了下方那个原本无法被代数表示的区域。这层离散网格，避开了连续映射的失效区。
它将复空间的积分问题，转化成了离散格点上的求和。
节点开始闭合。
陈拙握着笔，把网格的最後一条边缘，连接到了起始的基点上。
一个完美的闭环。
他把笔尖移到草稿纸的最下方空白处。
写下了一个周群映射的符号。
接着，画下了一个等号。
等号左边是连续空间的复积分公式，等号右边是离散代数循环的有限求和。
这套离散代数机制，打通了周群与上同调之间被堵死的那条路。
写完等号右边的最後一个字母。
笔在纸上拉出了一道乾涩的印子。
笔画边缘颜色变浅，中间留白。
墨水彻底耗尽了。
陈拙停下手。
他看着纸面底部的那个等式。
连续几个月的推导，在这一刻形成了彻底的闭环。
在这个等式成立的这一秒。
过去三十年里，国际代数几何界试图用连续微分几何来解决整霍奇猜想的主流路线，被
…。。