剩下便是继续复形工具范畴性的证明。
只有在比较关键的地方，才会抽时间前往锦飞一趟。
至于箐华数学系，以及国内其他数学机构，邀请参加的一些学术会议讲座。
则暂时选择婉拒。
就这样。
伴随时间一分一秒过去，徐铭信息学科和数学学科经验值增长的同时，项目课题进度也在稳步推进。
转眼又到暑假。
这天徐铭坐在镜春园自己办公室内，房门处于紧锁状态外面则挂着勿打扰的牌子。
经过这几个月的推导，他顺利找到了复形工具范畴性的证明方法。
在大量演算验证下，如果步骤计算顺利的话，今天就能彻底证明导出平展motivic上同调复形，集齐解决霍奇猜想的全部拼图。
放眼望去书桌和地面上，凌乱散落着大量草稿纸。
每张皆写着密密麻麻的数学公式。
办公室内的几块写字板，也同样如此。
倒并非徐铭故意不去收拾，而是整个人完全沉浸在对范畴性的证明中。
根本顾不上环境问题。
“通过以上可得，代数圈z给出了一个映射m(z)->m(x)。”
“m(z)的切片过滤表明，它可以通过z_l(-p)[-2p]的迭代扩展来构建。”
“因此……”
“映射m(z)->m(x)在过滤后的映射谱中定义……”
“反之，任何一个这样的映射，通过比较定理，都会在derham侧产生一个位于f^p的元素。”
“即一个(p，p)-型的类。”