整个证明过程,被分割成数十个内容。
逐行逐公式地过步骤。
田纲和邱诚桐两人,作为评审团主导者,结合每位专家擅长的领域,安排任务。
“郭教授,你来负责验证,‘∞-范畴的平展局部化’是否严谨。”
“老唐。”
“Motivic过滤与霍奇过滤的比较定理由你复核。”
……
“剩下的死磕‘从特征p到特征0的提升过程’,谁有问题的话,现在就可以直接提出来?”
包括唐志伟在内的专家,此刻早沉浸在,霍奇猜想被证明的喜悦中。面对完整的证明步骤,就好比看到什么稀世珍宝,恨不得立刻上手把玩。
这时又怎么会有异议。
在讨论会议上,几乎当田纲话音落下瞬间,当即便听见有人回应。
“赶紧开始吧田院长,我这手痒得很啊!”
说完。
会议室顿时传来大家的欢笑声。
显然是说到了心坎里。
记得当初,佩雷尔曼团队证明庞加莱猜想,在国际数学界引起轰动。世界上最顶尖的专家,自发放下手头上工作,加入对证明论文的验证,然这份热闹,却似乎和国内数学界无关。
如今霍奇猜想被国人解决,这种骄傲和自豪之情,是无法言说的。
眼下大家想法只有一个。
尽快验证结论,成竹在胸的面向学界,宣布这项数学盛世。
田纲感受到大家的热情,觉得满意之下,自然不会耽搁时间,他郑重站起身,果断宣布验证工作开始。
“那好。”
“今天就正式启动。”
……
接下来的时间,镜春园被一股严肃的氛围笼罩,研讨代数几何领域的最高殿堂。
徐铭作为证明人,也没有闲着。
除同步撰写学术论文,便是站在黑板前,解答其他专家的提问。
主要相比世界顶尖数学家,仅由国内专家组成的评审团,整体水平难免会差些,为早点完成全部验证,只能让徐铭详细讲解。
再说外界方面。
网上以及各大高校,针对此事的分析并未停止。
并且因一天天过去,愈发热闹。
话题频繁登上微博热搜。
毕竟放眼全世界,也不曾有过,持续时间这么长的学术会议。
只能说,大家心里都在压抑着。
既希望真的是,霍奇猜想课题的研究,有了突破性进展;却又害怕只是自己的一厢情愿。
转眼两个月过去。
就在元旦结束的第一个周,镜春园终于有好消息传出。
“导出平展Motivic上同调复形理论是成立的,它成功简化了代数几何领域,标准猜想的某一部分。”
上午。
唐志伟激动拿起,桌面上的几张草稿纸,边喊边向田纲走去。
在验证核心证明的同时,新理论体系本身的自洽性,同样至关重要,毕竟霍奇猜想的证明,完全是依赖于这项全新的理论体系。
最直接的方法。
便是尝试用这项新理论,去解决其他已知的问题。
如果新的理论工具,能够漂亮地,解决一些数学领域内存在的难点,那么它的威力和正确性,就会得到极大的佐证,这也被称为社会性验证,是数学界常用的验证方法。
按部就班完成分配的任务后,唐志伟便尝试,用导出平展Motivic上同调复形,去处理先前在代数几何中,遇到的一个问题。
推导过程中,他明显发现,熟悉的瓶颈消失不见。
就好比,面对一条河流,之前苦于没有过河工具,只能选择游泳。
但现在却是直接多了艘船。
前后差距之大,可想而知。
这也更加证明了,导出平展Motivic上同调复形理论,是多么完善强大。
所以一得到最终结果,便立刻向田纲,以及邱诚桐汇报。
不用专门喊人。
当唐志伟过去的时候,周围已然围上不少专家。
田纲从唐志伟手中,接过草稿纸研究,不多时眼前一亮,丝毫不掩饰脸上涌现出的喜色。
“太好了。”
“通过这段时间紧锣密鼓的验证,再加上这篇佐证,我想可以确认,霍奇猜想已被证明。”讲出这番结论的同时,不忘把手中的草稿纸递给邱诚桐:“邱主任,你也快看看上面的简化过程。”
针对霍奇猜想,证明过程的验证工作,进行了这么长时间后,大家心里也都有了一个底。
特别是再向徐铭提问时,听完讲解无不折服。
不得不承认,他们这些人的数学水平,根本够不到徐铭的层