第三百二十一章 商讨
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方程的电子回旋波加热与电流驱动模拟》，也已经步入收尾工作。 这个和物院合作的电子回旋波的课题，研究进度只能用顺利两个字来形容。除了刚开始的一段时间遇到点小麻烦意外，剩下的都很顺利。 反正就是数院和物院分三次不停的轮换交替研究，哪边都不愿意落了各自学院的面子，一拿到任务，都是像是磕了药一样斗志昂扬的开始工作。 原本半年的研究期，也被缩短到四个月。 “合作愉快！” “合作愉快！” 庆功宴上，四人笑着握了手。 数理不分家，今后和物院合作的项目还有很多，难说四人不会再进入同一个课题组。通过这次合作，物院的两位学长算是对程诺和王根基的能力有了充分的认识。 尤其是程诺。他们可是知道，除了这个课题之外，程诺还在数学院的另一个课题组中担任的副组长的工作，而那个课题的内情，已经和加州大学伯克利分校的那场时间竞赛，他们多多少少也听到过一些。 佩服倒是算不上，但确确实实是认可程诺这位大一年级的学弟。如果还有下次合作的机会的话，他们并不会介意把程诺再拉进来。 而程诺也无时间再去言它。庆功宴后，程诺便去往方教授在数院大楼内的办公室，商讨起猜想具体证明工作的事宜。 商讨的过程，基本上是方教授在说，程诺在听。 以方教授如此大牛这这一领域沉浸两年所领会到的东西，显然不是程诺这个只钻研半个月不到的半吊子水平所能相比的。 从血肉到骨骼，方教授用一整个上午的时间，逐步就理的给程诺讲述了BSD证明工作的复杂性，以及，方教授所构想的，另一半BSD猜想的证明思路。 “依然是从有理数域的椭圆曲线入手，再结合Shafarevich-Tate群阶数的有限性，得出：如果E是一条具有复乘的椭圆曲线，那么就有L(E，1)≠0→r(E)=0，最后得到一个Bloch-Katoconjecture，理论上，就能推出弱BSD猜想在2以外均成立。” 方教授最后总结。