学神王冠 中(45)
“这个我倒是听清楚的。”安宴笑着说道，“不过，我做研究的时候也没有差多少。我么两人，半斤八两吧。”
“嘿嘿。”顾维则在电话那头笑了笑，“小宴现在也还在忙吗？”
“
对。”安宴轻轻地恩了一声，随后拿着笔在草稿纸上画出图形，越看越不对劲儿。于是拿着手机对顾维则说道，“则哥，我发现了一个东西。就先不和你聊了，我先挂了啊！”
说完，安宴就挂掉了电话。
“诶，小宴，小宴……”顾维则叫了好几声，电话那头传来忙音。他叹息了一声，看了看通话记录。摇了摇头，小宴这个时候应该在忙吧。
他知道小宴其实一直都很忙，虽然不了解小宴究竟在忙些什么。但是能够确定是自己搞不懂的东西，既然是自己搞不懂的东西，那么他就让小宴先去忙吧。等小宴忙完之后在和小宴说话也没有什么。
这个图形如果做阿贝尔簇的话——
安宴想了想，开始在草稿纸上计算了起来。一边写，一边看着自己写下的草稿。没错，就是这样的，如果还能够精确一点儿的话……
等安宴做完之后，他自己都愣住了。
这就，解开了？
他这就把千禧年大奖难题之一的BSD猜想给做出来了？这……是不是太快了一点儿？不可能吧。
作者有话要说：①：摘自中国知网《希尔伯特空间广义分裂等式问题的强收敛定理》
②：摘自百度百科泰特猜想③：摘自中国知网《有限域上代数簇间多项式映射的一个注记》
第152章 拜访
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猜想，克雷促进会的奖金都是小事儿。主要是能够在数学史上拥有浓厚的一笔，并且阿贝尔簇在量子物理学和大统一理论中或许会起到一些作用。
