第596章
程诺所做的推演定理,就是一个架桥的过程。
桥一旦架起来,那最后那一小段距离,很轻易就能够走完。
而现在,程诺把那座桥,架起来了!
办公室内,程诺舒展了一下身子,目光望着屏幕上的几行公式,心情无比舒畅。
“终于,让我给搞出来了啊!”
要不是怕影响研究所内的其他人,程诺现在真的很想长啸一声。
三个月,为了这个定理,程诺耗费了整整三个月的时间!
期间,程诺改稿多次,走岔路的次数不少于十次,一路磕磕绊绊,让程诺差点直接放弃。
程诺也是很难得的体验到了灵感枯竭的感觉。
但现在,一切都过去了。
桥被程诺架起来,那之前所有的努力就是值得的。
程诺直接打电话给张伟,“师兄,定理我已经推导出来了,来我办公室一趟吧。”
“好好好,我正好在数院大楼那边,五分钟内一定赶到。”对面那边张伟听闻了这个消息后,听语气也是异常激动。
五分钟后,张伟急匆匆的赶到。
连水都来不及喝,便急促的对程诺问道,“新定理呢?”
程诺笑眯眯的把一张A4纸递过去。
张伟接过来,低头看去。
【对数域K上的椭圆曲线,环面(R/Z)^2有自然的Abel群结构,如果将椭圆曲线δ嵌入到射影平面,则椭圆曲线符合如下几何定理:
①:δ与无穷远直线的交点O是Abel零元;
②:对R=(x,y),-R=(x,y);
③:对P、Q,过P,Q的直线与δ交于第三点P,则P+Q=-R
……】
张伟仔细读完后,抬起头,望向程诺的目光中,已经全是骇然。
“这,这个定理……”
张伟现在有一种,一打瞌睡就有人送枕头的感觉。
程诺这个新定理,和他们正在钻研的内容,简直再也合适不过。
如雪中送炭,原本前方被堵塞的死死道路,突然变得豁然开朗。
张伟一方面在喜悦的同时,同时也在惊讶。
当初,程诺虽然拍着胸脯保证,三个月内一定推演出一个新定理。
但随着时间的推移,张伟对BSD猜想的认知逐渐增加,同时也意识到,程诺的任务究竟是多么的艰巨。
张伟早就已经做好这个项目以失败告终的准备了。
但没想到,这个看似不可能的任务,程诺如他所说的一般,在三个月内把一个新的定理交到他手上。
并且这个新定理,也具有相当高的学术意义。
简单的说,就算是不考虑BSD猜想,单单把程诺推导出的这个新定理拿出来,起码也是第二梯队数学定理的水平。
外界盛传程诺妖孽,张伟并没有亲自感受过。
但如今,张伟终于意识到,坐在自己面前的这个青年,是多么恐怖的一个家伙!
第四百八十章 发现了什么不得了的东西
程诺暂时把他这个新推导出来的定理命名为“椭圆阿贝尔群定理”。
有了椭圆阿尔贝群定理,BSD猜想的证明工作便又可以继续进行。
“师兄,接下来麻烦你了。”
“嗯。给我一周,哦不,四天的时间,我把结果交给你。”
椭圆阿尔贝群的出现,让张伟真切的看到了攻克BSD猜想的希望。
他已经决定,推掉自己的另一份工作,把全部的精力,放在BSD猜想上。
毕竟,一旦BSD猜想被证明,他能获得的收益,要比他的另一个项目要高上千倍百倍。
……
BSD猜想的证明工作在有条不紊的进行着。
程诺和张伟师兄弟二人,除了日常带研究生的工作外,把剩余的精力全部扑在这上面。
每日泡在办公室里,没有必要甚至都不出门。
这种工作狂的态度,在无形之中,带给了清华大学内许多教授若有若无的压力。
一边,是程诺和张伟这对师兄弟,忙得连去食堂吃饭都是小跑着去。
而另一边,是他们这群教授悠闲的坐在办公室里美滋滋的喝茶聊天。
瞬间,高下立判!
因此,几乎是短短几天时间,许多教授在做项目时突然变得积极起来。
那种久违的拼劲,再次出现在他们身上。
而在学校的科研风气在程诺的影响下慢慢转变之际,程诺和张伟正在办公室内激烈的讨论着。
仔细算下来的话,距离BSD猜想证明项目开题,已经过去将近四个月的时间。
在这个四个月的时间内,程诺和张伟两人,总算搞定了BSD猜想的第一块拼图。
证明BSD猜想的终极目标,进度1/3。
差的两块拼图,分别是阿贝尔簇,和莫代尔群。
按照框架,下一块需要搞定的拼图是莫代尔群。
莫代尔群,在BSD猜想中是一个有限生成的交换群,和椭圆曲线一样,同样的存在于整体域上。
两人现在讨论的是,下阶段的切入方向是什么。
张伟认为应该从莫代尔群的模定理进行研究,理由是历代数学家在研究BSD猜想的这一部分时,便是以次进行深入研究。
而程诺的观点不一样。
对于历代针对BSD猜想展开研究数学家们的观点,程诺不否认,但也并不苟同。
桥一旦架起来,那最后那一小段距离,很轻易就能够走完。
而现在,程诺把那座桥,架起来了!
办公室内,程诺舒展了一下身子,目光望着屏幕上的几行公式,心情无比舒畅。
“终于,让我给搞出来了啊!”
要不是怕影响研究所内的其他人,程诺现在真的很想长啸一声。
三个月,为了这个定理,程诺耗费了整整三个月的时间!
期间,程诺改稿多次,走岔路的次数不少于十次,一路磕磕绊绊,让程诺差点直接放弃。
程诺也是很难得的体验到了灵感枯竭的感觉。
但现在,一切都过去了。
桥被程诺架起来,那之前所有的努力就是值得的。
程诺直接打电话给张伟,“师兄,定理我已经推导出来了,来我办公室一趟吧。”
“好好好,我正好在数院大楼那边,五分钟内一定赶到。”对面那边张伟听闻了这个消息后,听语气也是异常激动。
五分钟后,张伟急匆匆的赶到。
连水都来不及喝,便急促的对程诺问道,“新定理呢?”
程诺笑眯眯的把一张A4纸递过去。
张伟接过来,低头看去。
【对数域K上的椭圆曲线,环面(R/Z)^2有自然的Abel群结构,如果将椭圆曲线δ嵌入到射影平面,则椭圆曲线符合如下几何定理:
①:δ与无穷远直线的交点O是Abel零元;
②:对R=(x,y),-R=(x,y);
③:对P、Q,过P,Q的直线与δ交于第三点P,则P+Q=-R
……】
张伟仔细读完后,抬起头,望向程诺的目光中,已经全是骇然。
“这,这个定理……”
张伟现在有一种,一打瞌睡就有人送枕头的感觉。
程诺这个新定理,和他们正在钻研的内容,简直再也合适不过。
如雪中送炭,原本前方被堵塞的死死道路,突然变得豁然开朗。
张伟一方面在喜悦的同时,同时也在惊讶。
当初,程诺虽然拍着胸脯保证,三个月内一定推演出一个新定理。
但随着时间的推移,张伟对BSD猜想的认知逐渐增加,同时也意识到,程诺的任务究竟是多么的艰巨。
张伟早就已经做好这个项目以失败告终的准备了。
但没想到,这个看似不可能的任务,程诺如他所说的一般,在三个月内把一个新的定理交到他手上。
并且这个新定理,也具有相当高的学术意义。
简单的说,就算是不考虑BSD猜想,单单把程诺推导出的这个新定理拿出来,起码也是第二梯队数学定理的水平。
外界盛传程诺妖孽,张伟并没有亲自感受过。
但如今,张伟终于意识到,坐在自己面前的这个青年,是多么恐怖的一个家伙!
第四百八十章 发现了什么不得了的东西
程诺暂时把他这个新推导出来的定理命名为“椭圆阿贝尔群定理”。
有了椭圆阿尔贝群定理,BSD猜想的证明工作便又可以继续进行。
“师兄,接下来麻烦你了。”
“嗯。给我一周,哦不,四天的时间,我把结果交给你。”
椭圆阿尔贝群的出现,让张伟真切的看到了攻克BSD猜想的希望。
他已经决定,推掉自己的另一份工作,把全部的精力,放在BSD猜想上。
毕竟,一旦BSD猜想被证明,他能获得的收益,要比他的另一个项目要高上千倍百倍。
……
BSD猜想的证明工作在有条不紊的进行着。
程诺和张伟师兄弟二人,除了日常带研究生的工作外,把剩余的精力全部扑在这上面。
每日泡在办公室里,没有必要甚至都不出门。
这种工作狂的态度,在无形之中,带给了清华大学内许多教授若有若无的压力。
一边,是程诺和张伟这对师兄弟,忙得连去食堂吃饭都是小跑着去。
而另一边,是他们这群教授悠闲的坐在办公室里美滋滋的喝茶聊天。
瞬间,高下立判!
因此,几乎是短短几天时间,许多教授在做项目时突然变得积极起来。
那种久违的拼劲,再次出现在他们身上。
而在学校的科研风气在程诺的影响下慢慢转变之际,程诺和张伟正在办公室内激烈的讨论着。
仔细算下来的话,距离BSD猜想证明项目开题,已经过去将近四个月的时间。
在这个四个月的时间内,程诺和张伟两人,总算搞定了BSD猜想的第一块拼图。
证明BSD猜想的终极目标,进度1/3。
差的两块拼图,分别是阿贝尔簇,和莫代尔群。
按照框架,下一块需要搞定的拼图是莫代尔群。
莫代尔群,在BSD猜想中是一个有限生成的交换群,和椭圆曲线一样,同样的存在于整体域上。
两人现在讨论的是,下阶段的切入方向是什么。
张伟认为应该从莫代尔群的模定理进行研究,理由是历代数学家在研究BSD猜想的这一部分时,便是以次进行深入研究。
而程诺的观点不一样。
对于历代针对BSD猜想展开研究数学家们的观点,程诺不否认,但也并不苟同。