老图书馆三楼最里侧的单间。

    窗没有关严，留着一道缝，初春的风顺着缝往里灌，带着外面雨混着泥土的味道。

    房间里很安静。

    大半面墙都被一块巨大的白板占据着。

    白板上密密麻麻，全是代数算式。

    从最左上角的起始条件，一直绵延到右下角，几乎没有留下什么空白。

    公式与公式之间，用箭头和辅助线连接着，象是一张巨大的，试图网住某种庞然大物的蛛网。陈拙站在白板前。

    他没动，视线停留在白板正中央的那一片局域。

    那是皮埃尔留下的拓扑断层。

    皮埃尔的手法很野蛮，完全不顾及空间结构的连续性，直接在拓扑空间里劈开了一道口子，留下了一个深不见底的代数奇点。

    为了把这道口子缝上，陈拙用了过去三天的时间。

    他退后了两步，把白板上的整体结构纳入眼底。

    顺着逻辑链条往下走，他用的是同调代数的工具。

    这是一种在学术界看来很稳妥，甚至可以说是挑不出毛病的处理方式。

    就象是在悬崖两边搭一座吊桥，为了保证桥面平稳过渡，他不得不设置了大量的过渡矩阵。每往下推导一步，前置的限定条件就会多出一条。

    算式像滚雪球一样越来越庞大。

    陈拙转过身，走向靠窗的那张桌子。

    左边放着一摞崭新的a4打印纸，右边放着一摞已经写满了演算过程的草稿。

    他抽出一张白纸，拿起笔，把白板右下角的最后一段收尾逻辑，在纸上重新跑了一遍。

    十分钟后。

    陈拙放下笔。

    演算结果没有问题。

    逻辑是闭环的，同调代数的平滑过渡确实起到了作用，那个断层被硬生生地缝合了起来。

    这套解法如果整理成论文拿出去发表，足够在二区的内核数学期刊上占一个不错的版面。

    甚至对于不少人来说，这已经是足以为履历镀金的巨大成就。

    但陈拙的眉头并没有松开，他拿起桌上的水杯，喝了一口水。

    他又转头看向白板。

    太难看了。

    数学是有审美的。

    漂亮的推导应该象一把刀，干脆，锋利，直指内核，没有一丝一毫的拖泥带水。

    而他现在白板上的这些东西，虽然正确，但太臃肿。

    为了弥补皮埃尔留下的窟窿，他用了三个庞大的子矩阵去作缓冲，这让整个代数结构显得头重脚轻。这就象是一件原本应该线条流畅的精美瓷器，硬生生在缺口的边缘，补了一块泥。

    走廊里传来了脚步声。

    脚步声在单间门口停下。

    门没锁，被推开了。

    李建明走了进来，他手里拿着个饭盒。

    “该吃饭了。”

    李建明把饭盒放在书桌的边缘。

    “你妈刘秀英同志前两天打电话到我办公室，千叮咛万嘱咐，让我盯着你按时吃饭，你要是在我这儿饿瘦了，我没法跟泽阳那边交代。”

    陈拙笑了笑，放下手里的水杯。

    “谢谢老师。”

    他走过去打开饭盒。

    里面是食堂打的青椒炒肉片和西红柿鸡蛋，米饭压得很实，还冒着腾腾的热气。

    李建明没闲着，他走到白板前，仰起头，看着那满满一墙的公式。

    看了一会，他从夹克口袋里摸出烟盒，抽出一根放在鼻子底下闻了闻，没点火。

    老图书馆有规定，三楼这片局域到处都是旧书和纸质文档，绝对不能有明火，李建明只能干过过烟瘾。“这条路算通了？”

    李建明盯着白板右下角的收尾处问。

    “算通了。”

    陈拙坐在书桌前，咽下一口米饭。

    “用的同调代数？”

    “嗯。”

    李建明转过身，看着正低头吃饭的少年。

    “我看你表情不怎么高兴。”

    李建明把烟塞回烟盒，拉过一把椅子坐下。

    “怎么，觉得费力气？”

    “不是费力气。”

    陈拙放下筷子。

    他站起身，走到白板前，拿手指点了点中间那片显得尤为密集的过渡矩阵局域。

    “皮埃尔在那边留的口子太大，他不讲道理，直接把拓扑空间的连续性给切断了。”

    “我用同调代数去硬接，光是做这种平滑的过渡，就耗了三个子结构，链条拖得太长了，到了后期的计算量会成几何倍数往上翻。”

    李建明顺着他手指的方向看过去，仔细琢磨了一会。

    “是繁琐了点。”

    李建明点了点头。