第四百八十章 发现了什么不得了的东西

?

480章

程诺暂时把他这个新推导出来的定理命名为“椭圆阿贝尔群定理”。

有了椭圆阿尔贝群定理,BSD猜想的证明工作便又可以继续进行。

“师兄,接下来麻烦你了。”

“嗯。给我一周,哦不,四天的时间,我把结果交给你。”

椭圆阿尔贝群的出现,让张伟真切的看到了攻克BSD猜想的希望。

他已经决定,推掉自己的另一份工作,把全部的精力,放在BSD猜想上。

毕竟,一旦BSD猜想被证明,他能获得的收益,要比他的另一个项目要高上千倍百倍。

…………

BSD猜想的证明工作在有条不紊的进行着。

程诺和张伟师兄弟二人,除了日常带研究生的工作外,把剩余的精力全部扑在这上面。

每日泡在办公室里,没有必要甚至都不出门。

这种工作狂的态度,在无形之中,带给了清华大学内许多教授若有若无的压力。

一边,是程诺和张伟这对师兄弟,忙得连去食堂吃饭都是小跑着去。

而另一边,是他们这群教授悠闲的坐在办公室里美滋滋的喝茶聊天。

瞬间,高下立判!

因此,几乎是短短几天时间,许多教授在做项目时突然变得积极起来。

那种久违的拼劲,再次出现在他们身上。

而在学校的科研风气在程诺的影响下慢慢转变之际,程诺和张伟正在办公室内激烈的讨论着。

仔细算下来的话,距离BSD猜想证明项目开题,已经过去将近四个月的时间。

在这个四个月的时间内,程诺和张伟两人,总算搞定了BSD猜想的第一块拼图。

证明BSD猜想的终极目标,进度1/3。

差的两块拼图,分别是阿贝尔簇,和莫代尔群。

按照框架,下一块需要搞定的拼图是莫代尔群。

莫代尔群,在BSD猜想中是一个有限生成的交换群,和椭圆曲线一样,同样的存在于整体域上。

两人现在讨论的是,下阶段的切入方向是什么。

张伟认为应该从莫代尔群的模定理进行研究,理由是历代数学家在研究BSD猜想的这一部分时,便是以次进行深入研究。

而程诺的观点不一样。

对于历代针对BSD猜想展开研究数学家们的观点,程诺不否认,但也并不苟同。

既然没有真正证明出来,那就说前面的推理方案未必是正确的。

与其走前辈们的老路,还不如另辟蹊径,走出一条自己的康庄大道。

相比于模定理,程诺认为同余数问题,是一个更好的切入方向。

争论的最终结果,是程诺说服了张伟。

接下来几个月的时间,就是为了搞懂第二块拼图而努力。

…………

盛夏,一个再也平常不过的清晨。

清华北操场的塑胶跑道上,程诺戴着耳机,匀速慢跑。

“教授,早上好啊!”

一道声音响起,接着便是一道身影出现在程诺一侧的视线中。

这人不是别人,正是程诺那个喜欢拍他马屁的学生,张明华。

想起这个学生半年多来带给自己的印象,程诺只能用无语两个字来形容。

“嗯。”程诺点点头,算是打过招呼。

张明华可没有离开的样子,一边和程诺并排跑着,一边露出崇拜的表情说道,“教授,没想到您工作这么忙,还抽出时间来锻炼身体,怪不得能成为最年轻的维布伦奖得主。向您这样的老师,当为吾辈楷模!”

“呃……”程诺被舔的有些不好意思,笑笑道,“我听范熠说,你的毕业论文要完成了,挺不错的啊!”

“不不不,距离教授您还差的远!一篇毕业论文,在我们眼中是千难万难,但在您眼中,只不过是动动脑子的事情而已,这点小事在您们面前不值一提。”

“那你论文写完后,是准备去别的国家学习一下,还是留下来和我做项目?”

“当然是留下来和教授您在一起。”张明华毫不犹豫的回答,“在我看来,国外的那些数学家没有一个比教授您厉害的,在我眼中,您就是数学界最大的大佬,我不用去国外,跟在您身边就好!”

看着张明华那正气凛然的样子,程诺有些拿不准,那些话,张明华是在舔,还是真的发自肺腑?

“毕业论文写完后拿给我看看,如果连我这关都过不了的话,我是不会让你参加毕业答辩的。”程诺语气淡淡,“另外提醒你一句,我很严格!”

“教授您不知道,我就是喜欢严格的老师!”张明华露出一排整齐洁白的牙齿,“对待学生越严格,越说明对学生的重视态度!教授,您是一个值得敬佩的老师,我很荣幸能成为您的学生!”

程诺:“……”

被舔的有些实在是忍受不了,程诺低着头一言不发的跑了两圈,回到公寓洗个澡后,便直奔研究所办公室。

程诺到的时候,张伟师兄也刚到。

“师兄,早啊!”

“早!”

“对了。程诺,你要的平方因子的求和问题,我已经整理成文件,来,你看看有没有什么问题。”

程诺简单翻了一下,“张师兄,你做的很好。那边下面,就是在无穷阶曲线上构造有理点的问题了,这个交给我。”

“程诺,这个……”张伟有些犹豫。

程诺所说的这个无穷阶曲线上有理点构建问题,正是第二块拼图中最关键的那个部分,同样,也是最难的一部分。

程诺看出张伟的担忧,轻松的耸肩道,“师兄,交给我就好,我已经有了一些想法,实际推导一下,应该不成问题。”

“那就,麻烦程诺你了。”

…………

程诺拿笔在草稿纸上运算。

研究对象是莫代尔交换群的同余数,当它与无穷阶曲线上进行相交时,得到的有理点的表示方式。

这是一个相当复杂的问题,幸好,程诺早就有了些灵感。

这些灵感是程诺这几天早上在操场跑步时出现的。

所以他有了每天早上去操场逛两圈的习惯。

“假定D无平方因子,简单的初等考量显示D为同余数等价于椭圆曲线E_D:y^2=x^3-D^2x上有某个y\neq0的有理点。可以证明这样的点不属于T,于是D为同余数又等价于r_D>0,决定所有同余数D,使得r_D>0,然后……,再这样,就能确定这个有理点是……”

“唉,不,等等!”

忽然,程诺的笔停住,目光微凝。

他的嘴角一翘,喃喃自语,“我似乎,发现了一个什么了不得的东西。”

上一章目录+书架下一章