一大早，陈拙背着书包去了数院。
数院的楼有些年头了，楼道里的光线常年偏暗。
陈拙顺着楼梯上了三楼，推开走廊尽头那间大号会议室的门。
老楼的暖气还没开始供热，空间大，冷风直往领口里钻。
吴涛正站在那块占据了整面墙的巨大黑板前。
他身上裹着一件厚实的深蓝色羽绒服，拉链一直拉到下巴，嘴里叼着一根烟，随着他咬牙的动作，火光在嘴角上下一点一点的。
黑板上密密麻麻全是推导公式，左边擦了写，右边写了擦，留下一层层白色的粉笔灰印子。会议桌上散落着一堆淩乱的草稿纸，最中间压着的，是陈拙几天前拿过来的那五页关於同调映射的大纲。
听到推门声，吴涛转过头。
他眼底满是红血丝，眼袋重得像是好几天没睡过一个好觉。
看到陈拙走进来，吴涛把手里的半截粉笔往黑板槽里一扔，拍了拍手上的灰，顺势把嘴里的烟拿下来捏在手里。
「来了。」
吴涛声音有点沙哑，拉开会议桌旁的椅子坐下。
陈拙走到他旁边，把书包放在桌上，拉开另一张椅子坐下。
他看了一眼满黑板的公式，又看了看桌上那些画满叉号的草稿纸，语气很自然地问了一句。「卡在哪一步了？」
吴涛苦笑了一声，伸手在陈拙那五页大纲的第三页上点了点。
「从这个引理，推导到下一步的同构群。」
吴涛用指甲在两行公式之间划了一道线。
「这中间的跨度太大了。」
陈拙顺着他指的方向看过去。
「如果直接代入连续域的边界条件，逻辑上是可以过渡的。」陈拙说。
「逻辑上行得通，但算不出来。」
吴涛站起身，重新走到黑板前，拿起一根新的粉笔，在黑板右下角空白的地方快速写下了一长串带有积分符号的式子。
粉笔在黑板上敲出清脆的声响。
「你看，当我们把边界条件代入，试图在第三个维度上进行积分展开的时候，结果发散了。」吴涛停下笔，转过头看着陈拙。
「在拓扑空间里，积分一旦发散，後面的同构群就立不住。」
陈拙没有立刻接话。
他坐在椅子上，目光盯着黑板上那个发散的积分式，脑子里快速复盘着自己的原始推导过程。在他原本的构想里，这里的连续性是天
…。。