万能数据 (鸿尘逍遥)

　　显然，方教授所提到的BSD猜想，自然也在此列。
　　面对方教授的询问，程诺点点头。
　　作为在数学界如此有名的七个千年大奖问题，程诺显然没有理由会不清楚。
　　“了解过一些，BSD猜想，全称是波奇和斯温纳顿-戴雅猜想。”
　　“猜想内容为：设 E 是定义在代数数域 K 上的椭圆曲线，E（K）是 E 上的有理点的集合，已经知道 E（K）是有限生成交换群。记 L（s，E）是 E 的Hasse-Weil L函数。猜想说E（K）的秩恰好等于L（E，s）在s=1处零点的阶。并且后者的Taylor展开的第一个非零系数可以由曲线的代数性质精确表出。”
　　BSD猜想是复杂的一个猜想，和数学界鼎鼎有名的哥德巴赫猜想的简洁易懂程度根本没法比。
　　但在程诺这样的数学人眼里，还是挺好理解的。
　　简单来说，BSD猜想就是描述了阿贝尔簇的算术性质与解析性质之间的联系。不过千百年来，并未有人将这一猜想，变成一个切实可用的定理。
　　“教授，您问我这个是？”程诺疑惑道。
　　方教授微微一笑，“如果我告诉你，我正在参与这个猜想的证明工作呢？”
　　“什……什么？！”程诺惊讶的张大了嘴。
　　方教授双手下压，笑着开口，“不要太惊讶。证明七大猜想有不是什么不得了的事。如果真的能把千年问题证出来，那才是了不起的成就。”
　　“更何况，我现在所做的工作，并非是证明广义上的BSD猜想，而是在解析秩为1的情况下的弱BSD猜想。”
　　“解析秩为1的情况下的弱BSD猜想？”程诺轻咦。
　　“对。”方教授点点头，开口解释道，“广义的BSD猜想，是指给定一个整体域上的阿贝尔簇，猜想它的……自由部分体积、所有素位的周期以及沙群有精确的等式关系。它的前半部分，指的就是弱BSD猜想。”
　　“早在四年前，就有瑛国和德古国的两位数学家，证明了当解析秩为0的情况下的弱BSD猜想，并且精确的BSD猜想在2以外均成立。”
　　“我也是在两年前，才开始这一猜想的研究，目前的进度……唉！”说到这，方教授扬扬手中的草稿纸，苦笑一下，“千年问题不愧为千年问题，虽然只是广义猜想的一个弱猜想，两年的时间，我能得出来的有用东西，只有这么一点。对于整个BSD猜想的证明工作，我恐怕连百分之一的路子都没走完。”
　　说完，方教授把草稿纸递给程诺。
　　程诺犹豫了一下，没有接过，“教授，这是您两年的心血，让我看……不合适吧？”
　　方教授哂然一笑，将草稿纸塞到程诺手中，“又不是什么机密文件的，你就拿去看吧。再说，我把你叫来的最后一件事，就是和这个BSD猜想有关。”
　　“我想让你，担任我关于解析秩为1的情况下的弱BSD猜想的助手，共同攻克弱BSD猜想！”
　　在程诺刚接过方教授递过来几张草稿的时候，耳边响起这如同惊雷般的消息。
　　我？BSD猜想？
　　程诺现在的脑子有点晕乎乎的。
　　实在是这个消息有点突然。
　　说实话，在之前得到异能的那段时间，程诺也曾尝试着利用异能去解决世界数学难题，结果发现，自己硬件设备实在是不够。
　　一个从新手村还没毕业的菜鸟，就妄想去挑战最后的世界大BOSS，即便手握一刀999的屠龙宝剑，那也是毫无还手之力。所以自那以后，程诺就很少去想着挑战世界数学难题的事情了，而是不断读书积累。
　　本来，按照打算，程诺是准备等他本科毕业，攻读研究生，或者硕士博士的时候，再去尝试一下。却没想到，方教授竟然主动邀请自己，加入到弱BSD猜想的证明工作中来。
　　之前程诺都是弄得普通的数学小课题，这突然来上一个千年数学难题。
　　步子太大，会不会扯到蛋啊？
　　“程诺同学，程诺同学？”
　　直到方教授在程诺耳边连连呼唤了几声，程诺的思绪才回到现实。
　　“哦，教授，您说。”程诺回过神来道。
　　方教授的嘴角噙着淡淡的笑意，“程诺同学，对于我的提议，你感觉怎么样？”
　　程诺沉吟几秒，最后狠狠点头，“干！”
　　“行。”方教授也相当开心，“那这几张草稿，你拿回去看看，然后我们再谈后续的事情。”
　　“世界难题的证明工作，并不是一朝一夕，因此不用像你上一个课题那样拼命的赶时间。循序渐渐就好。”
　　……………………


第三百二十一章 商讨

　　321章
　　从方教授公寓内回到宿舍后，程诺马上上网搜索了一些关于BSD猜想的有关消息。
　　果然，他查到，在四年前确实有一位叫做詹奇的瑛国数学家，和另一位叫做斯尔蒂的德古国数学家，合作攻克了关于在解析秩为零的情况下，证明了弱BSD猜想，算是对广义BSD猜想的一个突破性进展。
　　不过，在那以后，数学界便很少出现有人发表有助于BSD猜想证明工作的重要的成果，研究进度一度受阻。
　　方教授手中的这个“当解析秩为1的情况下，弱BSD猜想”的证明工作，可以勉强算是弱BSD猜想未被证明的另一半。
　　只要方教授能够证明“当解析秩为1的情况下，弱BSD猜想在2和导子以外均成立”，基本上就算是全部证明了弱BSD猜想。
　　不过……这并没有钱拿！
　　克雷数学研究所提出的悬赏条件，是彻底解决BSD猜想。而弱BSD猜想，只算是世界大BOSS旁边的一个小守卫BOSS而已，击败他，只能算是个开胃菜，奖励物品只有经验值，没有金币。
　　越是浏览着网上关于BSD猜想的消息，程诺的心里越有点发慌。
　　据上面说，自从当解析秩0的情况下弱BSD猜想成立的研究成果被发表出来之后，一些在世界范围内的数学大牛都企图想要攻克另一半的弱BSD猜想，并认为这并不是一件多么难以搞定的事情。
　　在他们看来，只需要延照詹奇和斯尔蒂的推断方法，把解析秩为1情况下代入进去再重新推导一遍就OK了。
　　但他们没有想到，要是詹奇和斯尔蒂能用同样的方法把另外一种情况推导证明出来的话，那为什么不直接等弱BSD猜想全部证明完毕后，再向外界声称。那样岂不是会得来更大的名气和关注度。
　　他们两人没有这么做，只能证明两种情况下的弱BSD猜想的证明工作，并不适合于同一套理论体系。
　　因此，四年的时间过去了，无人再在BSD的研究工作上翻起一次大浪花。
　　“还真是个麻烦的东西呢！”程诺合上电脑，坐在宿舍书桌前的座椅上，枕着双手，自语轻喃。
　　他瞥了一眼放在书桌上，那临走前方教授让他带回去的那几张草稿。
　　这东西，可以算是两年来方教授关于BSD猜想的研究心血了。
　　草稿纸一共十来页，不过程度看的却异常缓慢。
　　并不是因为程诺想慢工出细活，而是……特么的很多东西就根本看不懂的啊！
　　像是“椭圆曲线的L级函数”，“阿贝尔簇”，“莫代尔定理”……这一系列的知识，他虽然都有所涉猎，但要论及熟练应用和公式推导，他明显还差些火候。
　　书到用时方恨少！
　　程诺现在就是这样的感觉。
　　他泄气的将草稿放在书桌上，暂时并不准备看下去了。再看也是看不懂，除了浪费大量的脑细胞外别无益处。还不如多读读书，储存一些关于BSD猜想的专业知识。
　　反正，方教授说过，这个猜想的证明工作并不着急。
　　全世界恐怕有成千上百万的数学家在闷在小屋里苦思冥想着如何如何证明BSD猜想，拿到一百万美元的奖金。但说真正有实力的，终究只在少数，而即便是那几个少数人，也不是说谁研究的早，就就会率先将猜想解出来。
　　一切，都讲究个缘分。
　　缘分到了，你即便研究一年，恐怕也能比研究十年的人更早的想到证明方法。
　　…………
　　接下来的一周时间，程诺便成了清华大学图书馆的常客。
　　基本上像是什么《现代数学》、《整体域的数理分析》、《关于椭圆曲线的标注》这些凡是和BSD猜想有关的书籍和期刊，都被程诺接过来翻看了一遍。
　　以前是程诺没有特意系统的学习关于这一领域的相关知识，而一旦让他脑速全开，有一周的时间去充分的从书本中汲取知识，那进步足以用神速来形容。
　　一周后，程诺也已经能看懂方教授草稿上公式的绝大部分。同时，程诺手中另一个还未完结的课题，《基于三维Fokker-Planck方程的电子回旋波加热与电流驱动模拟》，也已经步入收尾工作。
　　这个和物院合作的电子回旋波的课题，研究进度只能用顺利两个字来形容。除了刚开始的一段时间遇到点小麻烦意外，剩下的都很顺利。
　　反正就是数院和物院分三次不停的轮换交替研究，哪边都不愿意落了各自学院的面子，一拿到任务，都是像是磕了药一样斗志昂扬的开始工作。
　　原本半年的研究期，也被缩短到四个月。