BSD猜想全称是贝赫和斯维纳通-戴尔猜想(Birch and Swinnerton-Dyer 猜想), 是阿贝尔簇的顶级难题之一,这个难题主要依赖的是莫代尔定理, 就是法尔廷斯之前用阿贝尔簇解开的莫代尔猜想的那个定理没有错。
安宴刚才和顾维则聊天的时候,代入莫代尔定理,用阿贝尔簇看上去似乎是解开了这个难题。但是他现在一点儿也不敢相信,自己是真的解开了BSD猜想。
开……开什么玩笑,这可是BSD猜想,又不是什么阿猫阿狗的猜想。这可是千禧年大奖难题之一,数学七大猜想之一。怎么可能这么快就被他给解开了?如果他真的解开了,无数的数学大奖肯定是拿到手软。
并且解开阿贝尔簇的BSD猜想之后,延伸开还可以解决霍奇猜想。也就是——同为千禧年大奖难题之一的霍奇猜想。
霍奇猜想是关于代数簇的问题, 也就是在非奇异复射影代数簇上, 任一霍奇类是代数闭链类的有理线性组合。而霍奇猜想本身就构成广义相对论和量子力学相融合的M理论的几何拓扑载体和工具之一。证明霍奇猜想, 相当于就能够让M理论重新焕发新的生机。
阿贝尔簇是一个完全代数簇,而霍奇猜想是一个关于代数簇的问题。虽然安宴对威腾教授的M理论其实并不是很感冒, 但他也不得不承认威腾教授的想法的确是非常棒的。
倒回去在重新看一次,安宴开始重新计算。BSD猜想实在是太重要了,并且他也不认识自己是真的解开了BSD猜想, 或许刚才他只是看错了呢?
想到这里安宴又开始继续计算了下去。
第一次, 好像真的没有什么错误并且精准的描述了阿贝尔簇的算术性质和解析性质,第二次还是没有任何的错误, 并且他认为自己好像真的解开了BSD猜想。第三次,依旧没有任何错误的地方……直到他这十多天的时间计算了十多次之后, 整个人都傻了。
还真没有任何错误,等于说他是真的已经把这玩意儿给做出来了。
不,不可能吧?他就这么容易的把BSD猜想给做出来了?一边打电话,一边写草稿……然后就做出了BSD猜想, 这件事要是被别人给知道了。恐怕数学界和物理学界的人都是不会放过他的,这也能行?估计大家下巴都会惊掉。
别说是别人,他自己……也觉得挺不可思议的。
这都能行?
还,还真做出了?不,不会吧。想了想哈德森教授在数学上,尤其是在阿贝尔簇上的确能力有限,或许帮不到他。
他现在有两个选择,其一是将自己的论文发表在arXiv上,让别人去核对他的BSD猜想是否正确。其二——就是前往德意志拜访法尔廷斯,并且将这篇论文给法尔廷斯看。现在的法尔廷斯,在德意志的马普研究所担任数学研究所的所长。
法尔廷斯还没有给他消息,说明现在法尔廷斯还是非常忙碌的。而他如果不太确定自己做出来的BSD猜想是否正确,只能够请教这位在阿贝尔簇上拥有顶尖学识的大神。
将一个不太确定的成果发表在arXiv上,如果最后证明这东西是错误的,对于他的学术声誉是没有任何好处的。安宴想了想,决定先将自己的论文写在文档中,保存起来,最后拜访法尔廷斯之后,再将论文发表在arXiv上,投稿给数学年刊。
想到这里的时候,他打开电脑开始将论文敲打在电脑上。
直到他写完论文之后,才看见法尔廷斯给他回复的信件。
【已收到你的信件,你说在阿贝尔簇上有一个特别的发现,是关于阿贝尔簇上的什么问题?这一点我希望你能够给我解答一下。】
这位大神从始至终都是非常高冷的,他的回复似乎也是极为高冷的。
想了想,安宴决定还是回复一下法尔廷斯——
【尊敬的法尔廷斯先生,是关于阿贝尔簇算术性质和解析性质上的一些事情,我原本是准备打算去德意志拜访您的,不知道您什么时候有空?】
这一次,法尔廷斯回复的速度很快。
他刚好有一个空闲的休息时间,看见安宴的邮件之后,便顺手回复了一下。想要看看安宴在阿贝尔簇上有什么奇怪的发现。对于法尔廷斯而言,或许安宴的重大发现就是他已经发现且验算过得事情,这也是犹未可知的。
他本身就是一个高冷的人,更何况,安宴在他的心中还真排不上号。这位大神带过的学生,有许多在数学界,尤其是当年的数学界都是大名鼎鼎的人物。
安宴是有一些天分,但是这些天分在法尔廷斯看来是不值一提的。
给安宴留下邮箱地址也是觉得他只是一个可塑之才,仅此而已。
喝了一口咖啡的之后,法尔廷斯发现安宴已经给他回复了一封邮件。也不知道邮件是什么内容,点开邮件看了一眼。
放下咖啡,他再次确认邮件中的内容。
关于阿贝尔簇算术性质和解析性质之间的联系?这……难道不是BSD猜想吗?法尔廷斯沉默了一会儿,一直盯着电脑看,似乎像是要将电脑给看出一些什么东西似的。关于BSD猜想的问题,莫非他做出了BSD猜想?想了好一会儿,法尔廷斯又否决了这个想法。如果是BSD猜想,那实在是太惊人了。
至少,他不认为自己现在能够做出BSD猜想。
想了想,法尔廷斯还是给安宴回信过去,安宴说是要来拜访他,肯定是和阿贝尔簇的算术性质和解析性质有关系。
但是现在听上去,就跟天方夜谭似的。不过具体情况还是要等到安宴来了他才能够知道,既然他想要来拜访——就让他来拜访吧。
【安,如果你想要来,那么你就过来吧。确定是阿贝尔簇的算术性质和杰西性质上的问题?】
【尊敬的法尔廷斯先生,当然,我或许——解开了BSD猜想。不过我还不太确定,还需要进一步的验证。】
得到了法尔廷斯的回复,安宴松了一口气。
马科斯—普朗克研究所简称马普所,是德意志联邦和州政府支持的一个非营利性研究机构,其研究领域的成绩享誉世界。马普所由近80个科研院所组成,涵盖了对自然科学,生命科学,社会科学,艺术和人文学科基础研究。①
马普所数学研究所位于德意志北莱茵-威斯特法伦南部莱茵河畔的波恩。
而现在他要从加州前往波恩自然是需要一定的时间的,不过这件事情对于安宴来说没有BSD猜想的解答重要。如果真的做出了BSD猜想,克雷促进会的奖金都是小事儿。主要是能够在数学史上拥有浓厚的一笔,并且阿贝尔簇在量子物理学和大统一理论中或许会起到一些作用。
收到了法尔廷斯肯定地回复,安宴便开始收拾。他需要尽快赶到波恩去找法尔廷斯,就在安宴收拾的时候,海和伸弥敲响了安宴的大门。
打开门,安宴看着海和伸弥站在门外沉吟着说道,“伸弥君,有什么事情吗?”
“宴君——”海和伸弥看着安宴,眨巴了一下眼睛,这才着急的说道,“是这样的,我马上就要回霓虹国了。不过,你看上去似乎正在忙?”
“嗯,的确有些事情。”安宴回到房间,继续收拾自己的行李。
海和伸弥看着安宴的动作,有些好奇地说道,“宴君这是要回华国?”
“华国?不,我要去德意志。”安宴一边收拾一边说道,“我和法尔廷斯先生联系好了,我准备去波恩的马普数学研究所找法尔廷斯先生,请教他一些问题。”说道这里的时候,安宴看了一眼海和伸弥。
这家伙现在来找他,是因为没有什么事情吧?既然如此——那么他让海和伸弥帮他做一件事情吧。
被安宴这么看着,海和伸弥倒退了好几步,这才小心翼翼地说道,“宴君,请不要用那种眼神看着我。”
“伸弥君,你现在没有什么事情对吧?”
“额,的确没有什么事情。”
“我这里有一个U盘,请你把上面的内容打印出来。”
安宴掏出U盘放在海和伸弥的手中,并且嘱咐他说道,“这件事情非常重要,我希望你能够尽快在我收拾好之前拿回来。”
“U盘里的论文是什么?”
“你待会就知道了。”安宴神秘地笑了一下,看得海和伸弥一愣一愣的。尽管他不知道U盘里的内容究竟是什么。不过安宴已经交代让他去做事情了,作为朋友,这种小忙他肯定是会做到的。
离开安宴的房间,来到办公室,将U盘插入电脑。
他想着安宴究竟又写了什么论文?这还是有点儿好奇的,之前才做出希尔伯特空间的论文,这么快又做出了新的论文来,难道是关于希尔伯特空间的?海和伸弥一边想着,一边打开文件。
出现在他面前的是——
【关于BSD猜想的正确性验证】
淦!这家伙是要发疯吗?海和伸弥觉得有点魔幻,竟然在一个斯坦福大学物理系直博生的U盘里发现了一篇关于BSD猜想的验证过程。并且看他的模样,似乎是验证出来了似的。到底有没有验证出来海和伸弥不太清楚,但是这篇论文发表出去,一定是让人震惊并且会引起轩然大波的。
等等马普研究所和法尔廷斯……那不是那位菲尔茨奖大神法尔廷斯吗?这家伙居然和法尔廷斯先生都有联系。
他到底认识了一个什么样的怪物,海和伸弥一边吐槽着,一边打印安宴的论文。第一页打印出来之后,他拿着论文开始看了起来。之前的摘要和引言他还是能够看懂的,但是从第三页开始计算越来越复杂,他觉得自己的脑袋都已经不够用了。
这是什么,这又是什么?谁能回答他,他究竟看的是个什么东西?为什么一点儿都看不懂呢?
这就是大神的世界吗?还真是让人搞不懂。
海和伸弥深吸了一口气,将论文全都打印出来之后,交给了安宴,并对安宴说道,“安,你真的算出了BSD猜想?”
“不知道。”安宴摇着头,他的行李也收拾得差不多了。
“我这不是去马普数学所那边拜访法尔廷斯先生吗?或许能够在法尔廷斯先生那边得到一些回答。”安宴摊开手说道,“不过这件事情是不一定的。”
“好吧……”海和伸弥还想要继续说些什么,但是他又说不出来。只能够看着安宴,“大佬,大佬!”
“行了,你别拍马屁了。”安宴挑动眉头。
海和伸弥好奇的说道,“如果你真的做出了BSD猜想,能够直接毕业吧?”
“不清楚。”
“担任数学教授都是没有问题的吧。”说道这里,海和伸弥有些贱贱地笑着说道,“我说宴君,你看我当你的学生怎么样?”
“不怎么样。”安宴吐槽着说道,“如果有你这么一个中二学生,我觉得我可能会崩溃。”
“嗨呀,我们这么多年的友谊,难道收我做学生都不行吗?”
安宴盯着海和伸弥说道,“再说吧,况且即便是解开了BSD猜想,也不一定能够毕业。别忘了,我是物理系的学生,不是数学系的。”安宴拉着自己的行李,冲着海和伸弥挥手说道,“离开房间的时候,别忘记把大门给关掉。”
“……”这种时候,还有心情说这种事情,你也是一个天才了。
安宴离开了斯坦福大学,顺便给自己的教授哈德森报备了一下,说是自己要去德意志的波恩拜访法尔廷斯。
哈德森教授收到安宴的消息时,看着旁边还在做计算的理查德叹息了一声。
想也不用想,安宴能够认识法尔廷斯应该是在普林斯顿大学的数学会议上。而眼前理查德这个家伙……带他去了好多次物理学术会议,还是没有能够认识几个好一些的物理学教授。人和人之间的差距,确实挺大的。
虽然哈德森教授一开始就知道,但是真正出现这种差距的时候,他的心情还是有些复杂的。
“教授。”理查德感觉到教授的目光一直在他的身上盯着,她抬起头来看向教授,“有什么事情吗?”
“安宴离开斯坦福大学了。”哈德森尽量用平静地语气叙述这件事情,“他告诉我他要去德意志的波恩。”
“额……”理查德没有弄清楚哈德森教授的叙述是有什么问题,就是为什么安宴要离开斯坦福大学,为什么要去德意志的波恩?难不成退学了?不可能吧,在怎么说也不可能退学啊。
“教授,他——去波恩是有什么事情吗?”
“当然。”教授冷哼一声说道,“他是去波恩的马普数学所拜访法尔廷斯。”
“法……法尔廷斯?”理查德倒吸一口凉气,还是去马普所拜访?他的这个学弟已经牛到了这种地步吗?认识法尔廷斯这种大神不说,还能够去拜访。
要知道想要去拜访某位知名学者可不是一件这么容易的事情,尤其是法尔廷斯这种高冷大神更是如此。
安宴能够去拜访,肯定是提前就和法尔廷斯说过这件事情的。
也就意味着——安宴是有法尔廷斯的联系方式。
上帝,这实在是太疯狂了。安,竟然能够去拜访法尔廷斯,还获得了法尔廷斯的首肯。一定是哪里弄错了对不对,哈德森教授可不管理查德究竟是什么想法,只是紧盯着理查德说道,“你看看安,再看看你,如果你还不努力。或许安已经博士毕业,你还只是一个博士生也说不定。”
道理他都懂,但是他真的做不到像是安这样的出色啊。、…………
来到波恩的时候,安宴拿着行李箱,找了一个距离数学实验室近一些的酒店,入住。随后在给法尔廷斯打了一通电话过去,或许法尔廷斯先生留下的是马普数学研究所的电话。
但不管怎么说,安宴已经到达了波恩,现在天气正好,他趁着这个机会联系法尔廷斯先生是最好不过的。
正享受着午后的阳光,法尔廷斯刚忙完没有多久,办公室里的电话就响了起来。这个时候,谁会给他打电话?法尔廷斯蹙着眉头,拿起电话。
“是法尔廷斯先生吗?”
纯正的德语口音,但却是一个陌生的声音。
“你是?”
“法尔廷斯先生您好,我是安宴。来自斯坦福大学,前些天给您发了邮件过来说明要拜访您,有一些关于阿贝尔簇算术性质和解析性质上的事情。”
“是你啊。”法尔廷斯先生一如既往的高冷,“你现在已经到了波恩?”
“没错,我现在已经站在马普数学研究所外……”
“那好,你等着。”法尔廷斯挂掉了电话,这件事情,他一直记在心中。主要是BSD猜想实在是太重要了,不管对于数学还是物理学。他也有些怀疑安宴是否真的解开了BSD猜想,现在还没有看见论文,他不敢轻易下定论。
接受安宴的拜访也是因为安宴非常自信地说自己发现了BSD猜想的问题,或许他没有能够解开BSD猜想,但是在猜想上,他一定做了一些成绩出来。
法尔廷斯对于安宴还是有这个自信的,虽然他不是在自己看来最有天分的数学家。但是,无可否认安宴是一位出色的青年数学家。以后在数学上的成就是不会太低的,离开办公室,来到马普数学研究所门前。
他看见安宴站在门外,似乎正在等待着他。
走上前去,他一如既往,没有丝毫表情地说道,“安,你跟我来吧。”
“法尔廷斯先生,您好。”安宴彬彬有礼地行礼,法尔廷斯微微颔首,领着安宴走向马普数学研究所内。
他一边走,一边在想,这位安——是如何证明或者是在BSD猜想上做出成绩的呢?
法尔廷斯很是好奇。
来到办公室,法尔廷斯坐在自己的位置上,指了指旁边的座椅说道,“安,你先坐下吧。”
安宴坐在椅子上之后,法尔廷斯询问道,“需要喝点什么?”
“不,不用了。”安宴沉吟着说道,“法尔廷斯先生,您知道我来找您就是为了阿贝尔簇的事情。”
“没错。”法尔廷斯点头说道,“你在阿贝尔簇上发现什么好玩的事情?”
“这篇论文,您可以看看。”安宴将论文放在桌面上,看向法尔廷斯,“我发现的东西,都在论文上。”
“哦?”法尔廷斯挑动眉头,拿起论文,放在眼前。
首先——映入他眼帘的就是——
【关于BSD猜想的正确性】
“嘶!”倒吸一口凉气,法尔廷斯不可思议地盯着论文题目。先不管这篇论文的对错,仅仅是这个题目就已经让法尔廷斯感觉到异常的震撼。
接下来,这篇论文究竟会怎么样呢?在震撼之余,法尔廷斯似乎对于安宴的论文多了几分期待和质疑。