自己办公室内,房门处于紧锁状态外面则挂著勿打扰的牌子。
经过这几个月的推导,他顺利找到了复形工具范畴性的证明方法。
在大量演算验证下,如果步骤计算顺利的话,今天就能彻底证明导出平展Motivic上同调复形,集齐解决霍奇猜想的全部拼图。
放眼望去书桌和地面上,凌乱散落著大量草稿纸。
每张皆写著密密麻麻的数学公式。
办公室内的几块写字板,也同样如此。
倒并非徐铭故意不去收拾,而是整个人完全沉浸在对范畴性的证明中。
根本顾不上环境问题。
「通过以上可得,代数圈Z给出了一个映射M(Z)->:M()。」
「M(Z)的切片过滤表明,它可以通过Z_I(-p)[-2p]的叠代扩展来构建。」
「因此—」
「映射M(Z)->M(X)在过滤后的映射谱中定义」
「反之,任何一个这样的映射,通过比较定理,都会在deRham侧产生一个位于fp的元素。」
「即一个(p,p)-型的类。」
徐铭口中边喃喃自语,边快速在草稿纸上书写,当最后一个数学符号落下,骤然停下手上动作,整个人挺起胸膛吐出一口浊气。
神情肉眼可见的放松。
「成了。」
继证明导出平展Motivic上同调复形工具的提升性和比较性之后,眼下终于实现了范畴性的证明,从某种意义上来说这项体系框架已能被称作徐氏平展上同调。
随著所有拼图正式就位,那么接下来应该做的,便是对霍奇猜想发起总攻。
念头停留在这里,他先是把散乱的草稿纸整理起来。
然后迈步来到办公室房门处,主动把门打开。
尽管合叶转动仅发出了轻微的动静,但仅在约摸四五秒的时间后,便见三道熟悉的身影传进视野中。
正是研究中心的许逸阳,以及刘驰和李若川。
他们三人自然知道,导出平展Motivic上同调复形工具已经构造完成,但因水平和思维难以跟上徐铭,以至于无法参与复形工具的证明工作。
不过在他们心里,对徐铭无疑是有著充足信心,知道徐铭一定能证明成功。
所以今天
本章未完,请点击下一页继续阅读!