除了彻底终结了哥德巴赫猜想之外,这篇论文诞生的那两件“副產品”,其价值也丝毫不亚於哥猜本身。
第一件,就是那个由徐辰独立构造的、连接加性与乘性世界的终极武器——“测试卷积核Φ_n”。
这个精妙的算子,被拉福格坚持地命名为“徐氏变换”,后来发现和之前被大眾广泛认为的cntt的徐氏变换重名后,又不得不改名为“徐氏谱变换”。
它为整个数论领域提供了一种全新的、能够將复杂的“加性计数问题”转化为“代数谱问题”的强大范式。、
这个工具的射程,並不仅仅局限於哥德巴赫猜想。在孪生素数猜想、波利尼亚克猜想,乃至某些广义黎曼猜想的弱化形式中,该工具都具有十分宽广的潜在应用空间。
可以预见,在未来的几十年里,无数的数论学家將会沿著“徐氏谱变换”的思路,去攻克那些曾经被认为是不可解的加性数论难题。
第二件,则是拉福格在这一个月里,对经典的“阿瑟-塞尔伯格跡公式”进行的精细化的展开。
这套展开,被他命名为“拉福格精细跡公式”。它將原本十分晦涩的轨道积分和谱项,用一种前所未有的清晰方式呈现了出来,极大地降低了后人学习和使用朗兰兹纲领的门槛。
……
在论文的正文、公式和长达十几页的参考文献全部排版完毕后,文档的最顶端,只剩下標题栏还是空白的。
“教授,正文搞定了。”徐辰揉了揉发酸的手腕,看著屏幕,“给这篇论文起个什么標题好?要不要加上『终极证明』或者『大一统』之类的词?”
拉福格站在徐辰身后,看著屏幕,微微摇了摇头。
“徐,在数学界,越是惊世骇俗的成果,它的標题往往越是克制、越是朴实无华。”
拉福格的声音中透著一种老派学者的庄重:
“当年安德鲁·怀尔斯证明费马大定理时,那篇震惊世界的论文標题,仅仅只是《模椭圆曲线和费马大定理》;佩雷尔曼证明庞加莱猜想时,標题也只是《里奇流的熵公式及其几何应用》。”
“真正的顶级数学,不需要任何夸张的形容词来修饰。真理本身,就是最强大的力量。”
拉福格指了指键盘。
“就把我们使用的核心工具,和最终解决的问题,平铺直敘地写上去就可以了。”
徐辰听完,深以为然地点了点头。
拉福格看了很欣慰,觉得徐辰还是很务实的。
……
但徐辰其实並不是想低调。
而是这种克制,恰恰是顶级学霸最致命的装逼方式。我不说我有多牛逼,我只是把事实摆在这里,懂的人自然会跪下。
徐辰双手放在键盘上,郑重地敲下了一行简洁、却註定要名垂青史的標题:
《自守表示的跡变换与哥德巴赫猜想》
……
这篇论文於11月12日正式整理完毕后,两人决定先將其掛上arxiv预印本网站。
“至於正式投稿……”拉福格摸了摸下巴,看著徐辰,“你之前已经把四大顶刊给『集邮』了一遍。这次,你打算投哪家?”
徐辰笑了笑:“既然是终极证明,那当然要投分量最重的那家。”
“那就《数学年刊》吧。”拉福格点了点头,“它是四大之首,也是歷来发表这种世纪级猜想证明的『御用期刊』。当年怀尔斯的费马大定理,也是发在他们那里的。”
徐辰没有犹豫,直接打开了《数学年刊》的投稿系统,將这篇名为《自守表示、跡公式筛法与哥德巴赫猜想》的论文,点击了“提交”。