研究abc猜想的其实不算个热门圈子。

但在今年年初,在格罗滕迪克引导漆昊去研究斯皮罗猜想后,这冷清的圈子热度开始上升。

数学界的人都知道修正版斯皮罗猜想与abc猜想互为等价命题,意味着漆昊选择了一条能够间接攻克ABC猜想的赛道。

现在再叠加望月新一高调官宣完成证明,两大公认的天才一下要对上了,这圈子一下吸引了全球数论研究者的全部注意力。

消息传到华国的时候,斯皮罗正在和费先科讨论一道题的中间映射的边界条件。

“望月新一发了ABC猜想的证明。”接到消息的斯皮罗说道。

“ABC猜想?”

费先科一脸惊讶:“和修正版斯皮罗猜想等价的那个?”

“对。”

“论文在哪儿?"

“京都大学数理解析研究所官网,arxiv上没有。”

“不上传arxiv直接发在机构官网?”

费先科放下粉笔,转过身来,眉头拧成一个疙瘩:“算了先不管这个,我们先下载论文。”

两人一起凑到电脑面前,将论文PDF文件下载后打开,发现竟然有五百多页。

“五百多页?”

费先科倒吸一口凉气:“这比法尔廷斯证明莫德尔猜想那篇论文还厚。”

“宇宙际泰希米勒理论。”

斯皮罗此时已经看向了正文:“这什么东西?”

费先科往下翻了一页,目录展开在屏幕上,论文的结构庞大得让人窒息,建立全新的范畴论框架,定义一系列全新的数学对象,这些对象之间的映射关系组成了一个非常复杂的交换图网络,每一个节点都是一套独立的定义体

系,每一条箭头都是一套独立的定理链。

斯皮罗这个时候已经明白了:“谢特,他是先造了一个全新的数学理论,然后在这个理论里证明ABC猜想是成立的。”

费先科拿过斯皮罗手里的鼠标,把论文翻到了正文部分。

他读了几页,脸上的表情从专注变成了困惑。

他发现斯皮罗说的没错,望月新一使用的概念、符号和推理框架,跟传统代数几何的东西完全不同。

望月自己发明了一整套全新的语言,然后用这种语言写了一个长达五百页的论证。

斯皮罗指着屏幕上的一个长公式:“你看这里,他定义了一个叫做霍奇剧院的对象,看起来像是某种把阿贝尔群和霍奇结构放在同一个范畴里处理的方式,但这个定义方式跟德利涅的混合霍奇结构完全不是一回事。”

“因为他根本就没打算用德利涅的框架。”

费先科说:“他是在远阿贝尔几何的基础上进一步向外突破。”

“格罗滕迪克的远阿贝尔几何?”

费先科点头:“对,远阿贝尔几何太难了,它要求同时精通代数几何、算术几何和范畴论,全世界能够跟进文献,独立做相关问题的学者应该不超过一百个人。”

“望月新一就是那群人中的一个,他之前在普林斯顿做报告的时候,讲的就是远阿贝尔几何在双曲曲线上的应用,当时就有很多人没听懂,后来他离开普林斯顿回了京都大学,十几年没怎么在国际会议上露面,大家都以为他

转行了或者放弃了。”

“现在望月又在远阿贝尔几何上衍生出了全新的数学理论,我估计这套理论,目前这个世界上没多少人能看懂。”

“幸运的是,我恰好是少数能读懂它的人。”

斯皮罗看了他一眼,斟酌地说:“如果有人精通代数几何和数论,没准儿也可以。”

费先科疑惑问道:“你想到了谁?”

“漆昊。

漆吴对着电脑一直没有说话。

他的左手托着下巴,右手手指在触控板上缓慢地滑动,一页一页地往下翻,非常认真。

诺维科夫说过,望月新一在他的上一代,也是个天才。

既然望月不是羽生那种水货,那对方发表了和他目前研究方向相关的论文,他没理由不去看一眼。