《万能数据》第四百六十章 程氏复环猜想

    460章
    有趣的东西？
    不少数学家都露出略显疑惑的表情。
    程诺并没有吊数学家们的胃口的意思。
    他笑了笑，转过身，拿起一根粉笔，在舞台一侧挂着的小黑板上唰唰写下一串公式。
    【设A是拓扑环，A是上的n维Galois表示的一个连续群同态。则：
    同态映射：Gq→GLn(A)
    映射关系：E^p^(n+1)→E[p^n]
    逆向极限：Tp(E):=li[p^n]
    设Kp∞/Q为对应于上面同态映射：ρp:Gq→GL2(Zp)的核Kerρp的扩域，也就是说……】
    本来，台下那群数学家们都是一个个抱着胳膊，目光淡淡的扫过那一行行公式，神色古井无波。
    他们只是想看看程诺究竟能搞出什么新花样。
    但随着时间的推移，数学家们脸上的表情变得不淡定起来。
    一个个身体前倾着，目光一丝不苟的扫过程诺写下的那一串串公式，同时嘴中念念有词，不知道在说些什么。
    【……绝对Galois群Gq作用在Tate模 Tp(E)上，满足αζ=ζ+1-|E(Ft)|.】
    写到这，程诺停笔。
    摸着下巴思索了几秒，程诺重重的在最后一行公式下面划了两行横线。
    咚咚！
    程诺敲敲黑板，把数学家们的思绪拉回来。
    他指着占满半块小黑板的公式，微笑着开口，“这就是我说的那个有趣的东西。”
    “简单的来概括的话，就是说如果存在 E 是Q 上椭圆曲线，以L表示具有好约化的素数的集合，此时可定义整数数列(αζ)ζ∈L，也就是椭圆曲线的DNA序列，满足E的全体Ft有理点等于方程解的个数+1！”
    程诺话音一落，下面的那群数学家交头接耳，相互之间小声的议论着。
    有一位数学家举手问道，“程诺先生，这是你新推导出的一个定理吗？”
    程诺摇摇头，“不，并不是。因为我现在还没有想出证明它的方法。不过我利用研究所的超级计算机运行过，发现在这个公式在240内皆成立。”
    “因为这个公式解释的是复环之间的关系，我暂时将其命名为——程氏复环猜想！”程诺笑着解释。
    程氏复环猜想！
    不少数学家都不由瞪大眼睛。
    似乎很难相信，为何突然就莫名其妙的冒出这样一个猜想。
    作为几何数学家，尤其还是世界上算是比较顶尖的那一批，他们自然是识货的。
    这个“程氏复环猜想”，他们从头到尾再把程诺写在小黑板的上的公式反复看了几遍，皆是一脸的凝重。
    程氏复环猜想，是利用Galois表示的方法，将有限域上的方程和复数域上的椭圆曲线紧密联系起来。
    要知道，复数域几何一直都属于几何领域的沙漠地带，虽然是一个大方向，但研究起来太过于复杂，出成果的难度太高，根本没人肯对这个方向苦心钻研。
    复数域几何的复杂性，就在于其表示单位复环面的复杂性。
    而程氏复环猜想，则完美的将最为普通的有限域方程话复数域椭圆利用公式关系联系在一起。
    就相当于是将汪洋大海引一条支流注入干涸的沙漠，让这片贫瘠的沙漠焕发生机与活力。
    他们就算脑子再迟钝，也明白这个猜想的意义所在。
    可以毫不夸张的说，这个程诺复环猜想的学术意义，甚至丝毫不弱于被列为七大数学猜想之一的霍奇猜想。
    毕竟，霍奇猜想只是证明难度高，学术意义比与其并列的几个猜想还是差点。
    台上，程诺神态悠然的站着。
    台下，数十位数学家表情各异。
    但另一边，过来主持进度报告会的几位克雷数学研究所的人员，就不知道现在是该高兴还是该悲伤。
    程氏复环猜想的提出，对于几何界，甚至对于整个数学界，都可谓是一个天大的好事。
    但是！
    他们好不容易把程诺请来的目的，是为了证明谷山志村猜想啊！
    现在呢？
    谷山志村猜想没证出来，这也就算了。更过分的是，特么的又提出来一个猜想！
    克雷数学研究所的人都快哭出来了。
    本来，证明八个猜想他们就力有未逮了，现在又加上一个，简直就是硬生生给他们这个“清洗计划”提高难度。
    …………
    布莱克教授面色现在是一阵青一阵紫。
    他发现，他真的大大的小觑了程诺。
    他们“几何化猜想”证明小组三个月来的研究成果，在程诺那个“程氏复环猜想”面前，根本就不值一提。
    但他又不想让这个年纪还没有他一半的小子把这场报告会的风头全占了，于是犹豫了几秒后，他对台上的程诺问道，“程诺先生，你的这个程氏复环猜想确实有很大的研究价值，但我想不通，这和你们研究的谷山志村猜想有什么联系？”
    “布莱克先生这个问题问的很好。”程诺神色不变，朗声说道，“各位乍看，似乎这两个猜想并无丝毫的联系，但我需要告诉各位的是，这两个猜想之间不仅有联系，而且联系异常紧密。”
    程诺在另一半空白的小黑板上唰唰几个公式。
    “这个公式诸位恐怕再也熟悉不过，当初怀尔斯先生在证明费马大定理时，其中便用到这串公式。它的学术名叫做‘弗雷命题’。”
    “利用弗雷命题，把其当作桥梁，便可以将谷山志村猜想和程氏复环猜想完美结合起来。加入谷山志村猜想不成立，程氏复环猜想中复数域椭圆的有理点就不可能等于有限域方程解个数加一。反之亦然！”
    台下一个头发有些秃顶的数学家恍然道，“也就是说，谷山志村猜想成立则程氏复环猜想成立，程氏复环猜想成立则谷山志村猜想成立？”
    程诺一指那个数学家，“没错，就是这样！”
    哗~！
    台下，第一次哗然出声。
    有一些年纪不大的数学家，看向的程诺的目光已经带有满满的钦佩。
    布莱克教授头也不抬，拿出一张草稿纸按照程诺讲述的方法迅速计算着，最后颓然发现，事实却是如程诺所出的那样。
    谷山志村猜想和程氏复环猜想两者一体，一个成立，另一个一定会成立。
    因此，程诺的工作，并非需要两个全部证明，只需要证明其中的一个。
    …………