“不可思议……”
金陵大学数院的办公室。
站在四面写满的白板前,舒尔茨的脸上写满了难以置信的表情。
虽然对于陆舟擅长解决各种证明类的数学猜想早有耳闻,但这种从旁人口中听来的东西,显然没有亲眼见识到的那份震撼。
待在课题组工作的这一个月里,往往他和佩雷尔曼还在讨论着关于一个复杂命题的求解时,而这家伙便已经在白板上罗列出了三条可能的思路,并且逐一对其进行了尝试。
他自诩自己的计算能力和思维能力都是很不错的,甚至可以说是非常强悍了。
否则的话,也不至于曾经拿过三次imo金牌,拿到无聊了才就此退赛,不再参加。
可即便是如此,在看到陆舟逆天的计算能力时,他还是被深深的震撼到了。
往往当他试着对其中的一条存在可能性的思路进行尝试时,陆舟基本上已经可以就该命题的结果给出一个肯定的结论了。
然而这所有的一切加起来,恐怕都比不上现在的震撼更加直观。
一个星期的时间便完成一个数学猜想的证明。
这几乎已经刷新了他对代数几何学的认知……
也刷新了这家办公室里其他人,对代数几何学这门学科的认知……
愣愣地看着白板上写满的证明过程,过了好一会儿,舒尔茨表情木然地看向了陆舟:“你是不是在脑袋后面安装了什么芯片之类的东西?”
收起了手中的记号笔,和舒尔茨困惑的视线对上,陆舟微微愣了下问道:“……你为什么会这么觉得?”
“……因为你的计算速度已经超出了我对数学的理解,”舒尔茨表情复杂地说道,“甚至于一些在我看来还得花上一点时间才能解决的问题……说真的,你都不需要打草稿的吗?”
陆舟理所当然回道:“并不是所有的问题都需要依靠草稿纸解决,有些模糊的问题可以依靠数学直觉,至于抽象的问题在脑中构思反而会起到意想不到的效果……当然,绝大多数情况下我还是会在草稿纸上笔算的,只是也许你没有注意到。”
只觉得头皮一阵发麻,舒尔茨干咳了声,迅速结束了这个话题:“……好吧,也许是你的速度快到让我注意不到吧。”
陆舟:“……谢谢夸奖,如果真有那种芯片的话,我肯定送你一枚。”
“你们先别互相吹捧了,”盯着白板上的算式,法尔廷斯说道,“我们还是继续吧。”
陆舟点了点头,将话题重新带回到了正轨上。
“……根据以上所述,beilinson-bloch猜想是成立的,即rank(k2(e))=1+spl(e)。”
“由此,根据我们的‘fold方法’,就可以直接推出cq(d,k)={(f(x1),···,f(xn))∈fnq|f(x)∈fq[x],degf(x)≤k?1}……成立,将该结果直接代入到推论4中,就能够将h(v)与不可约motive建立足够紧密的关联。”
盯着白板上的算式,法尔廷斯沉声说道:“由此我们就能够得到一个通用的上同调理论,它既能够发扬曲线的jacobi簇理论和abel簇理论的成功之处,”
“没错,这正是我们需要的,也是解决问题的关键!”
打了个响指,陆舟将视线投向了白板,眼中充满了神往,“现在motive理论和朗兰兹纲领中的数和形抽象的部分已经被我们提取出来了,剩下的就是如何将两者合二为一了。”
自阿基米德时代以来的终极命题!
这座屹立了千年的圣杯,就在他们的面前!
所有人都不约而同的屏住了呼吸。
甚至包括坐在办公室里,远远围观着的学生和助理们……
沉默大概持续了五分钟那么久。
几乎和陆舟同时从白板上收回了视线,法尔廷斯和他相视了一眼,开口说道。