“简朴的来概括的话,就是说如果存在 E 是Q 上椭圆曲线,以L表示具有好约化的素数的调集,此时可定义整数数列(αζ)ζ∈L,也就是椭圆曲线的DNA序列,满足E的全部Ft有理点即是方程解的个数+1!”
台下,第一次哗然出声。
本来,证明八个猜想他们就力有未逮了,现在又加上一个,的确就是硬生生给他们这个“洗濯打算”进步难度。
谷山志村猜想和程氏复环猜想二者一体,一个建立,另一个必然会建立。
程诺摇点头,“不,并不是。因为我现在还没有想出证明它的体例。不过我操纵研讨所的超等计算机运转过,发明在这个公式在248000内皆建立。”
作为多少数学家,特别还是天下上算是比较顶尖的那一批,他们天然是识货的。
谷山志村猜想没证出来,这也就算了。更过分的是,特么的又提出来一个猜想!
台下一个头发有些秃顶的数学家恍然道,“也就是说,谷山志村猜想建立则程氏复环猜想建立,程氏复环猜想建立则谷山志村猜想建立?”
映照干系:E^p^(n+1)→E[p^n]
他们好不轻易把程诺请来的目标,是为了证明谷山志村猜想啊!
克雷数学研讨所的人都快哭出来了。
摸着下巴思考了几秒,程诺重重的在最后一行公式上面划了两行横线。
但另一边,过来主持进度陈述会的几位克雷数学研讨所的职员,就不晓得现在是该欢畅还是该哀痛。
仿佛很难信赖,为何俄然就莫名其妙的冒出如许一个猜想。
是以,程诺的事情,并非需求两个全数证明,只需求证明此中的一个。
程诺一指阿谁数学家,“没错,就是如许!”
而程氏复环猜想,则完美的将最为浅显的有限域方程话复数域椭圆操纵公式干系联络在一起。
现在呢?
“因为这个公式解释的是复环之间的干系,我临时将其定名为――程氏复环猜想!”程诺笑着解释。
“操纵弗雷命题,把其当作桥梁,便能够将谷山志村猜想和程氏复环猜想完美连络起来。插手谷山志村猜想不建立,程氏复环猜想中复数域椭圆的有理点就不成能即是有限域方程解个数加一。反之亦然!”
有一些年纪不大的数学家,看向的程诺的目光已经带有满满的敬佩。
本来,台下那群数学家们都是一个个抱着胳膊,目光淡淡的扫过那一行行公式,神采古井无波。
程氏复环猜想的提出,对于多少界,乃至对于全部数学界,都可谓是一个天大的功德。
“布莱克先生这个题目问的很好。”程诺神采稳定,朗声说道,“各位乍看,仿佛这两个猜想并无涓滴的联络,但我需求奉告各位的是,这两个猜想之间不但有联络,并且联络非常紧密。”
“这个公式诸位恐怕再也熟谙不过,当初怀尔斯先生在证明费马大定理时,此中便用到这串公式。它的学术名叫做‘弗雷命题’。”
但跟着时候的推移,数学家们脸上的神采变得不淡定起来。
程诺话音一落,上面的那群数学家交头接耳,相互之间小声的群情着。
他笑了笑,转过身,拿起一根粉笔,在舞台一侧挂着的小黑板上唰唰写下一串公式。
写到这,程诺搁笔。
这个“程氏复环猜想”,他们重新到尾再把程诺写在小黑板的上的公式几次看了几遍,皆是一脸的凝重。