按键盘上方向键 ← 或 → 可快速上下翻页，按键盘上的 Enter 键可回到本书目录页，按键盘上方向键 ↑ 可回到本页顶部！
————未阅读完？加入书签已便下次继续阅读！
当代很多职业数学家最推崇的古代数学家是欧几里得，欧几里得用五个常识性的公理推导出了浩瀚而严谨的欧氏几何体系。
伯奇和斯温纳顿·戴尔在20世纪，利用计算机提出了BSD猜想。
他俩对这个猜想的证明，其实没有做出多少有效的贡献。
我猜你证，你证出来你牛批，你证出来我也牛批……大概就是这种套路。
当然了，这也有历史原因。
1995年之前，即安德鲁·怀尔斯证明费马大定理之前，国际数学界连BSD猜想是否有意义都没整明白。
关于BSD猜想证明的有效贡献，大多诞生于1995年之后。
当代国际数学界对BSD猜想的数学意义乃至哲学意义已认识的很深刻了，这个猜想肯定是有意义的，意义深远，星辰大海。
国际数学界十分期待能有一位或几位牛批的数学家，完成对BSD猜想的证明。
被国际数学界公认最有希望证明BSD猜想的数学家是沈奇，然而沈奇一直没有正式向BSD猜想发起冲击。
沈奇的老婆在这个猜想上倒是做出了实质性的研究成绩。
与伯奇、斯温纳顿·戴尔最早提出BSD猜想那会儿类似，欧叶的三个学生采取上机操作的方法，首先通过暴力穷举法排除掉不具备Kolyvagin定理、Gross…Zagier定理、Shafarevich…Tate群阶数特征的椭圆曲线。
这个操作并不难，就是挺耗时间的。
在加入哈塞·韦伊L函数特征条件后，赵天不禁身子一抖：“多加一个基础条件，运算量增加了10的12次方倍……好在周老师借给我们使用这组高性能计算机啊，否则我博士毕业了，也不可能算完叶子姐的手稿……”
第655章 安排
计算机处理器高速运转，L（E，s）在s=1处泰勒展开，其展开的阶等同于椭圆曲线E的哈塞·韦伊rank r（E）。
椭圆曲线上的有理点在计算机的指挥下跳起神秘舞蹈，看似杂乱无章，实则踏着节拍。
形如y^2=x^3＋ax＋b的简单椭圆曲线亦有无穷多个有理点，而这样的椭圆曲线无穷多。
模曲线的条件被赵天等三个学生限定死，因为在1999年，加藤和也证明了有理数域上所有的椭圆曲线都是模曲线。
这是一场数字与符号间的盛大舞会，素数p登场了，它们在数据海洋中旋转跳跃，对某些椭圆曲线上的有理点的个数进行计数，转化为对以素数p为模的解的个数进行计数。
计算机屏幕的背景色是黑色，深邃的如同宇宙深处。黑暗中的舞者是一群白色精灵，在ordp（L'（E，1）/CE）=ordp（#Sha（E））的威压下，p们快要控几不住它们计几，它们的呼吸变的急促，舞步缭乱接近疯狂。
看着屏幕上不断变化的数字与符号，小云颇为着迷：“这就是数学的美，这就是数学的力量，宇宙中的奥秘隐藏于此。”
“嗯。”曾寒赞同的点点头。
验算进度2％。
即便是高性能计算机，对于欧叶构筑的理论假设也需验证一个礼拜。
在小云和曾寒看来，海量的椭圆曲线、方程所组成的数学世界具有无与伦比的美感和力量感。
也许是前额叶皮层神经没有学弟学妹那么发达，赵天只感受到有限的美和力量，更多的是繁杂的数据处理所造成的脑阔疼。
“你们不觉得有些奇怪吗，给予叶子姐帮助和支持的，居然不是沈教授，而是周雨安周老师。”等待数据处理的时间，赵天扯起了题外话。
小云想了想说到：“或许是沈教授暗中安排周老师这么做？”
赵天摇摇头：“这不合乎逻辑吧，沈教授干嘛不自己出面？试想，如果沈教授和叶子姐联合证明BSD猜想，那么获得菲尔兹奖的人是叶子姐，因为沈教授拿过菲奖了。菲奖规则和诺奖不同，菲奖只能拿一次。”
曾寒反驳道：“你这个逻辑不对，你认为叶子姐需要沈教授带躺？”
赵天连连摆手：“叶子姐当然不需要沈教授带躺！我就是好奇嘛，沈教授为啥如此不关心BSD猜想？”
小云说到：“大佬的心思你别猜，等你当大佬了，你可能才会明白。我个人觉得吧，沈教授其实非常关心叶子姐的BSD课题项目，他之所以刻意回避BSD猜想，是不想让他的影子过多出现在叶子姐身上。他们夫妻间的事情，咱们就别瞎猜了。菲奖设定了40岁的年龄上限，除非再次出现安德鲁·怀尔斯超龄获奖的特殊情况，否则叶子姐只剩两次机会冲击菲奖了，她嘴上不说什么，心中却是对菲奖特别渴望。”
赵天貌似悟出了什么了不得的东西：“菲奖的评审具有不确定性，沈教授可能是在布局吧，他让周老师也介入BSD猜想项目，是做双保险？一旦BSD猜想被咱们证明了，叶子姐、周老师携手冲击菲奖，那就是保一争二。”
小云不敢苟同：“根据菲奖评审惯例，同一个猜想如果被多人证明，也只有一个人能获得菲奖。比如说费马大定理其实是安德鲁·怀尔斯和理查德·泰勒这对学术伙伴一起证明的，菲奖最终颁给了安德鲁·怀尔斯，而理查德·泰勒想要获得菲奖，只能依靠新的项目、新的研究成果去争取。”
赵天面色变的飘忽不定：“这么说的话，周老师不应该介入咱们的BSD课题啊，万一他把叶子姐的菲奖抢走了咋整？”
“如果周老师是得到了沈教授的授意介入叶子姐的BSD猜想项目，那么我觉得，很有可能周老师才是沈教授的真爱。”小云忽然兴奋，她觉得自己的猜测不一定不靠谱，周老师有车有房有地位有身份，他三十几岁了还不结婚，这是为什么呢？
“真爱个鬼，你们这些女生搞基文看多了吧？周老师怎么可能是基佬？就算周老师是基佬，正直的沈教授也绝不可能是基佬，国家和人民不允许他是基佬。到饭点了，曾寒你守着，我跟小云出去吃饭，跟你打个包回来。”赵天拉着小云离开了中心去外面吃饭。
天气越来越炎热，热的不正常。
首都连续几天的最高温度达到40摄氏度，赵天、小云、曾寒三人没了出去吃饭的欲望，他们三餐叫外卖，除了睡觉，三人的其他时间都泡在沈奇科研中心的计算机房里。
计算机连续不停的运转，配合着空调风嗡嗡作响。
BSD猜想证明方案的上机验算进入了关键节点，周雨安偶尔来计算机房问问情况，而沈奇科研中心的主任沈奇、以及这个项目的学术带头人欧叶从未来过计算机房。
欧叶不来计算机房是因为她在住院，她的心牵挂着计算机验算结果，她每天都会在手机上和三位学生交流。
沈奇不来计算机房，是因为他最近一段时间连中心都没来过。沈院士别墅、燕大人民医院、幼儿园，这是沈奇近期出没的地点。
首都的户外最高气温历史性的抵达41摄氏度，这是天气预报给出的数据，气象台发出红色高温预警，提醒广大市民注意降温。
沈奇科研中心物理团队测定的室外最高温是44摄氏度，这特么可是北方啊，44度是什么概念？热成狗了，狗都热死了。
在这种反常的热死狗的日子里，外卖小哥送一个单子，至少要多加15块钱。
赵天、小云、曾寒三条数学狗连下楼取外卖的功夫都省了，计算机房里堆满了各种食品，敞开的食品包装袋散发出复杂的气味，各种牌子的速溶咖啡以每小时消耗一包的速度迅速减少。
这天午时，骄阳似火的天空忽然乌云密布，五米多宽的闪电不断刷新，随之而来的是滚滚雷声。
电闪雷鸣，暴雨倾泻，地狱般难熬的酷暑一周终于结束。
雨点啪啪击打计算机房的玻璃，连续工作了一个星期的计算机终于给出了计算结果。
“这是……”赵天、小云、曾寒三人瞪大眼盯着屏幕，心情激动，却又疑惑。
第656章 有限群！
椭圆曲线在现代数学里到处出现，主攻其他分支的数学家纷纷研究起椭圆曲线，先行者是算君庞加莱，这位百年一出的全能型天才学者在1901年最先观察到：对于每条椭圆曲线，都有一个特定群与之联系。
不少数学家结合群论手段研究椭圆曲线，并取得了卓有成效的战果。
椭圆曲线理论引起数学家们的重视得益于天才算君庞加莱，它的兴盛则得益于另一位勤奋型的天才怀尔斯。
安德鲁·怀尔斯采用椭圆曲线手段证明了费马大定理，他应该感谢谷山丰和志村五郎在更早之前作出的猜想。
谷山·志村猜想提供了一条有效的途径，这是费马大定理证明方案的重要步骤。
怀尔斯先证明了谷山·志村猜想，不久之后费马大定理被他和理查德·泰勒顺利搞定。
而谷山·志村猜想的提出者之一谷山丰，他虽然比怀尔斯更早洞察到天机，却苦于无法证明他自己提出的猜想。
年仅31岁的谷山丰在婚礼前夜跳海自杀，一个月后，与他订了婚的新娘自杀殉情。这或许是数学史上最惨痛的悲剧。
椭圆曲线带来的不仅是成功和喜悦，亦有失败和悲伤。
经过一百多年的发展，当代研究椭圆曲线的学者们，同样是悲喜交加。
BSD猜想这个数论问题，实际上转化为椭圆曲线的问题。
欧叶并不是第一个想到运用群论＋椭圆曲线的方法去证明BSD猜想的人。
早就有人这么做了，只不过没有成功。
计算机屏幕上显示：
L（E，1）≠0→r（E）=0，#Sha（E）＜∞……r（E）=1，#Sha（E）＜∞→ords=1L（E，1）=1……
#Sha（E）表示椭圆曲线E的Shafarevich…Tate群的阶数，这个群十分神秘，包括此群的提出者沙法列维奇、约翰·泰特在内，数学家们连这个群是不是有限群都没整明白。
当然了，如果你先承认BSD猜想，那么Shafarevich…Tate群则必然是有限群。
赵天、小云、曾寒三人非常激动，计算机验算结果很有信服力的显示：基于欧叶算法，Shafarevich…Tate群是有限群！
这无疑是证明BSD猜想的一个有力证据，是一个重要的前置步骤！
“这是我们的一小步，这是人类的一大步！”
“叶子姐牛批！”
“啊哈哈哈，真的牛批！”
赵天和小云相拥庆祝，一向沉默寡言的曾寒亦热血沸腾。
他们为啥这么激动，因为在他们看来，他们团队此刻所取得的研究成果，非常接近于安德鲁·怀尔斯在证明费马大定理之前，先证明了谷山·志村猜想。
“沙法列维奇、约翰·泰特两位大神没有搞定的问题，被我们搞定了！叶子姐万岁！小曾弟弟，把验算结果保存一下，然后发给叶子姐。”赵天迫不及待想把这个好消息告诉欧叶。
沙法列维奇，前苏联著名数学家，他编写的代数几何、代数数论、代数学教材，是新中国成立后最早被引入国内的高校数学专业的数学教材之一。欧叶本科阶段的老师，都是学的沙法列维奇版教材。
约翰·泰特，美国数学家，此人也是沈奇、欧叶、周雨安的普林斯顿校友。约翰·泰特是沃尔夫奖、阿贝尔奖的双料得主，他是代数数论领域的大师级人物，他缺的只是一枚菲奖奖章。
沙法列维奇、约翰·泰特两位大神前辈没有论证明白的Shafarevich…Tate群问题，被欧叶的几张手稿论证的清清楚楚。
但是，伯奇、斯温�