第四遍八十四章 我们结婚吧!(1 / 2)

484章

丁院长自从那次检查完程诺的研究进度后,便程诺这个项目最坚定的支持者。

那篇论文,虽然只能勉强算是一个半成品。

甚至说连论文都算不上,因为那只是一些推导公式的叠加,没有任何的文字修饰。

但丁院士是何许人物,能混上清华大学数学院的院长,最起码还是识货的。

别的不说,单是程诺在椭圆曲线部分提出的“椭圆阿贝尔群定理”,还有在莫代尔交换群部分发现的“程氏虚点”,这两个拿出来,都能引起整个数学界的震动。

更不用提,丁院士用了将近半个月的时间,理解了程诺给那一摞纸上公式的推导过程后,发现事实确实如程诺所说的一般。

关于BSD猜想的证明进度,程诺和张伟已经达到了60%以上。

按照这样的速度,或许不出半年,BSD猜想就能被两人彻底证明。

而且,这种可能性还不小!

若是半个月前,丁院长还不敢如此笃定的这样说,但见识到程诺的真本事后,丁院士就开始对此深信不疑。

那可是证明世界七大猜想之一啊!

这种事,丁院长想过会发生在他们清华大学身上,不过那是在梦中。

但现在,它即将成为现实。

丁院长知道帮不了程诺太多,只能尽可能的为程诺提供一个心无旁骛的环境,然后,就是慢慢的等待。

…………

2025年12月25日。

严冬的燕京天气冷到一种极致。

就在刚刚,程诺从校门口路上走过的时候,见两辆车追尾了,司机下来加了微信,回到车里开语音对骂。

这种天气,除非必要,程诺一半是很少出门。

裹得严严实实的程诺打着冷颤来到研究所的办公室,才感觉浑身的血液才重新开始流通。

脱掉外套,泡了杯热茶,程诺便开始了一天的工作。

BSD猜想的第三块拼图,阿尔贝簇,在程诺和张伟两人长达五个月的艰苦奋战下,终于到了最后的收尾阶段。

当然,离第三块拼图的完成,仍具有最后一道难关。

程诺最近半个月时间,都在解决这道难关。

现在,程诺总算是有了一些灵感。

最后一道难关,是如何用计算的不变量描述各种代数周期?

代数周期意味着子变量的有限线性组合,所以一个等价的陈述是WG的每个元素都是V上具有Q?系数的代数周期的类。

刚开始,程诺打算是利用由上世纪数学家泰特提出的一个泰特定理,来解决此类问题。

但经过几天的推导后,程诺发现这个方式行不通。

因为泰特定理是由Galois群G固定的W的子空间WG,作为Q?-向量空间跨越V的余维i子类的类别。

不过针对于阿贝尔簇来讲,研究对象实际上是曲向场上的平滑投射变量。

前人无法借鉴,程诺只能使用老办法,那就是,创造一个新的!

这个说起来简单,但实际做起来,也确实是挺简单的。

加入书签