484章
丁院长自从那次检查完程诺的研究进度后,便程诺这个项目最坚定的支持者。
那篇论文,虽然只能勉强算是一个半成品。
甚至说连论文都算不上,因为那只是一些推导公式的叠加,没有任何的文字修饰。
但丁院士是何许人物,能混上清华大学数学院的院长,最起码还是识货的。
别的不说,单是程诺在椭圆曲线部分提出的“椭圆阿贝尔群定理”,还有在莫代尔交换群部分发现的“程氏虚点”,这两个拿出来,都能引起整个数学界的震动。
更不用提,丁院士用了将近半个月的时间,理解了程诺给那一摞纸上公式的推导过程后,发现事实确实如程诺所说的一般。
关于BSD猜想的证明进度,程诺和张伟已经达到了60%以上。
按照这样的速度,或许不出半年,BSD猜想就能被两人彻底证明。
而且,这种可能性还不小!
若是半个月前,丁院长还不敢如此笃定的这样说,但见识到程诺的真本事后,丁院士就开始对此深信不疑。
那可是证明世界七大猜想之一啊!
这种事,丁院长想过会发生在他们清华大学身上,不过那是在梦中。
但现在,它即将成为现实。
丁院长知道帮不了程诺太多,只能尽可能的为程诺提供一个心无旁骛的环境,然后,就是慢慢的等待。
…………
2025年12月25日。
严冬的燕京天气冷到一种极致。
就在刚刚,程诺从校门口路上走过的时候,见两辆车追尾了,司机下来加了微信,回到车里开语音对骂。
这种天气,除非必要,程诺一半是很少出门。
裹得严严实实的程诺打着冷颤来到研究所的办公室,才感觉浑身的血液才重新开始流通。
脱掉外套,泡了杯热茶,程诺便开始了一天的工作。
BSD猜想的第三块拼图,阿尔贝簇,在程诺和张伟两人长达五个月的艰苦奋战下,终于到了最后的收尾阶段。
当然,离第三块拼图的完成,仍具有最后一道难关。
程诺最近半个月时间,都在解决这道难关。
现在,程诺总算是有了一些灵感。
最后一道难关,是如何用计算的不变量描述各种代数周期?
代数周期意味着子变量的有限线性组合,所以一个等价的陈述是WG的每个元素都是V上具有Q?系数的代数周期的类。
刚开始,程诺打算是利用由上世纪数学家泰特提出的一个泰特定理,来解决此类问题。
但经过几天的推导后,程诺发现这个方式行不通。
因为泰特定理是由Galois群G固定的W的子空间WG,作为Q?-向量空间跨越V的余维i子类的类别。
不过针对于阿贝尔簇来讲,研究对象实际上是曲向场上的平滑投射变量。
前人无法借鉴,程诺只能使用老办法,那就是,创造一个新的!
这个说起来简单,但实际做起来,也确实是挺简单的。
这次新定理的推导并非像上次那样被框定在一个固定的范围,让程诺又许多发挥的空间。
况且,这属于几何方向,程诺最为擅长的领域。
【设V是在场k上的平滑投射变量,其在其素场上有限地产生。令ks为k的可分离闭包,并且令G为k的绝对伽罗瓦群修正一个在k中可逆的素数?。考虑l-adic上同调群(l-adic整数Z l中的系数,标量然后扩展到l-adic数Q?),V的基数范围为ks。这些组是G的表示。对于任何i≥0,V的一个codimension-i子变量(理解为在k上定义)决定了上同调群的一个元素……】
上午程诺才有了灵感,但到下午快下班的时候,程诺就把这个新定理推导出来。
坐在电脑前,程诺满意的看着自己的“杰作”,赞叹了一声,
“完美!”
这一年多时间,程诺可以清晰的感觉到自己的进步。
越是在这种高压的环境下,就是越能获得更加迅速的成长。
这种成长是肉眼可见的。
程诺可以肯定的说,如果让现在的他来推导椭圆阿尔贝群定理,绝对用不了三个月的时间。
晚上,程诺再次忍受着寒冬走在回公寓的路上。
路上随时可见一对一对的情侣挽着胳膊亲昵的走在一起。
有的男生还会贴心用掌心的余热温暖着女友冰冷的小手,然后依偎在一起往学校附近的一家宾馆走去。
“今天是圣诞节啊!”
程诺扫过路边的一排店铺,发现有几家门前摆上了圣诞树,才意识到圣诞节已经到了。
一年多的忙碌,让程诺已经渐渐的不再关注外界,甚至,似乎已经忘记的时间的流逝……
“哇!下雪啦,真的下雪啦!!呜呜呜,终于见到雪了!”远处,传来几个小女生的尖叫。
程诺仰头,发现天上已经飘起了小雪花。
伸出手,雪花刚落到程诺掌心,便迅速融化。
掏出被冻成冰块的手机,程诺站在路边,打开微信,找到那个熟悉的名字,发过去一条消息:“圣诞快乐!”
许久,穆冷那边才回复,“难得啊,这次过了半个月就想起我来了。”
“你也知道,我这边很忙。”程诺弱弱的打字回复。
“知道,知道。程教授您是个大忙人。小女子可不敢打扰您工作。所以,你还是哪凉快哪呆着去吧!”
程诺有些尴尬,“别那么调侃我好吧。不过这次说真的,我的项目近期内应该就能结束了。等明年,我就可以拿出更多的时间陪你,然后,我打算下半年就结婚!”
又等了许久,那边穆冷才回消息,“哼,不要,我还在读研,结婚还早。”
“有没有规定说研究生不能结婚,反正不管你的意见怎样,明年这婚结定了。就算是强,我也要把你抢回去!”
“你……无赖!”
“你现在在哪,我马上过去找你。”
“我再宿舍,你要来干什么?”
“当然,是让你见识一下什么是真正的无赖啊!”
程诺把手机揣回兜里,健步如飞的跑向隔壁北大的研究生宿舍。
今晚,他想尝试一下,能否把穆冷拐到附近的一家小旅馆里去,然后开始一个伟大的计划!
丁院长自从那次检查完程诺的研究进度后,便程诺这个项目最坚定的支持者。
那篇论文,虽然只能勉强算是一个半成品。
甚至说连论文都算不上,因为那只是一些推导公式的叠加,没有任何的文字修饰。
但丁院士是何许人物,能混上清华大学数学院的院长,最起码还是识货的。
别的不说,单是程诺在椭圆曲线部分提出的“椭圆阿贝尔群定理”,还有在莫代尔交换群部分发现的“程氏虚点”,这两个拿出来,都能引起整个数学界的震动。
更不用提,丁院士用了将近半个月的时间,理解了程诺给那一摞纸上公式的推导过程后,发现事实确实如程诺所说的一般。
关于BSD猜想的证明进度,程诺和张伟已经达到了60%以上。
按照这样的速度,或许不出半年,BSD猜想就能被两人彻底证明。
而且,这种可能性还不小!
若是半个月前,丁院长还不敢如此笃定的这样说,但见识到程诺的真本事后,丁院士就开始对此深信不疑。
那可是证明世界七大猜想之一啊!
这种事,丁院长想过会发生在他们清华大学身上,不过那是在梦中。
但现在,它即将成为现实。
丁院长知道帮不了程诺太多,只能尽可能的为程诺提供一个心无旁骛的环境,然后,就是慢慢的等待。
…………
2025年12月25日。
严冬的燕京天气冷到一种极致。
就在刚刚,程诺从校门口路上走过的时候,见两辆车追尾了,司机下来加了微信,回到车里开语音对骂。
这种天气,除非必要,程诺一半是很少出门。
裹得严严实实的程诺打着冷颤来到研究所的办公室,才感觉浑身的血液才重新开始流通。
脱掉外套,泡了杯热茶,程诺便开始了一天的工作。
BSD猜想的第三块拼图,阿尔贝簇,在程诺和张伟两人长达五个月的艰苦奋战下,终于到了最后的收尾阶段。
当然,离第三块拼图的完成,仍具有最后一道难关。
程诺最近半个月时间,都在解决这道难关。
现在,程诺总算是有了一些灵感。
最后一道难关,是如何用计算的不变量描述各种代数周期?
代数周期意味着子变量的有限线性组合,所以一个等价的陈述是WG的每个元素都是V上具有Q?系数的代数周期的类。
刚开始,程诺打算是利用由上世纪数学家泰特提出的一个泰特定理,来解决此类问题。
但经过几天的推导后,程诺发现这个方式行不通。
因为泰特定理是由Galois群G固定的W的子空间WG,作为Q?-向量空间跨越V的余维i子类的类别。
不过针对于阿贝尔簇来讲,研究对象实际上是曲向场上的平滑投射变量。
前人无法借鉴,程诺只能使用老办法,那就是,创造一个新的!
这个说起来简单,但实际做起来,也确实是挺简单的。
这次新定理的推导并非像上次那样被框定在一个固定的范围,让程诺又许多发挥的空间。
况且,这属于几何方向,程诺最为擅长的领域。
【设V是在场k上的平滑投射变量,其在其素场上有限地产生。令ks为k的可分离闭包,并且令G为k的绝对伽罗瓦群修正一个在k中可逆的素数?。考虑l-adic上同调群(l-adic整数Z l中的系数,标量然后扩展到l-adic数Q?),V的基数范围为ks。这些组是G的表示。对于任何i≥0,V的一个codimension-i子变量(理解为在k上定义)决定了上同调群的一个元素……】
上午程诺才有了灵感,但到下午快下班的时候,程诺就把这个新定理推导出来。
坐在电脑前,程诺满意的看着自己的“杰作”,赞叹了一声,
“完美!”
这一年多时间,程诺可以清晰的感觉到自己的进步。
越是在这种高压的环境下,就是越能获得更加迅速的成长。
这种成长是肉眼可见的。
程诺可以肯定的说,如果让现在的他来推导椭圆阿尔贝群定理,绝对用不了三个月的时间。
晚上,程诺再次忍受着寒冬走在回公寓的路上。
路上随时可见一对一对的情侣挽着胳膊亲昵的走在一起。
有的男生还会贴心用掌心的余热温暖着女友冰冷的小手,然后依偎在一起往学校附近的一家宾馆走去。
“今天是圣诞节啊!”
程诺扫过路边的一排店铺,发现有几家门前摆上了圣诞树,才意识到圣诞节已经到了。
一年多的忙碌,让程诺已经渐渐的不再关注外界,甚至,似乎已经忘记的时间的流逝……
“哇!下雪啦,真的下雪啦!!呜呜呜,终于见到雪了!”远处,传来几个小女生的尖叫。
程诺仰头,发现天上已经飘起了小雪花。
伸出手,雪花刚落到程诺掌心,便迅速融化。
掏出被冻成冰块的手机,程诺站在路边,打开微信,找到那个熟悉的名字,发过去一条消息:“圣诞快乐!”
许久,穆冷那边才回复,“难得啊,这次过了半个月就想起我来了。”
“你也知道,我这边很忙。”程诺弱弱的打字回复。
“知道,知道。程教授您是个大忙人。小女子可不敢打扰您工作。所以,你还是哪凉快哪呆着去吧!”
程诺有些尴尬,“别那么调侃我好吧。不过这次说真的,我的项目近期内应该就能结束了。等明年,我就可以拿出更多的时间陪你,然后,我打算下半年就结婚!”
又等了许久,那边穆冷才回消息,“哼,不要,我还在读研,结婚还早。”
“有没有规定说研究生不能结婚,反正不管你的意见怎样,明年这婚结定了。就算是强,我也要把你抢回去!”
“你……无赖!”
“你现在在哪,我马上过去找你。”
“我再宿舍,你要来干什么?”
“当然,是让你见识一下什么是真正的无赖啊!”
程诺把手机揣回兜里,健步如飞的跑向隔壁北大的研究生宿舍。
今晚,他想尝试一下,能否把穆冷拐到附近的一家小旅馆里去,然后开始一个伟大的计划!