第四遍八十四章 我们结婚吧!-《万能数据》


    第(2/3)页

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

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

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

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

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

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

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

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

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

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

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

    这次新定理的推导并非像上次那样被框定在一个固定的范围,让程诺又许多发挥的空间。

    况且,这属于几何方向,程诺最为擅长的领域。

    【设V是在场k上的平滑投射变量,其在其素场上有限地产生。令ks为k的可分离闭包,并且令G为k的绝对伽罗瓦群Gal(ks  /  k)。】

    【……修正一个在k中可逆的素数?。考虑l-adic上同调群(l-adic整数Z  l中的系数,标量然后扩展到l-adic数Q?),V的基数范围为ks。这些组是G的表示。对于任何i≥0,V的一个codimension-i子变量(理解为在k上定义)决定了上同调群的一个元素……】

    上午程诺才有了灵感,但到下午快下班的时候,程诺就把这个新定理推导出来。

    坐在电脑前,程诺满意的看着自己的“杰作”,赞叹了一声,

    “完美!”

    这一年多时间,程诺可以清晰的感觉到自己的进步。

    越是在这种高压的环境下,就是越能获得更加迅速的成长。

    这种成长是肉眼可见的。

    程诺可以肯定的说,如果让现在的他来推导椭圆阿尔贝群定理,绝对用不了三个月的时间。

    晚上,程诺再次忍受着寒冬走在回公寓的路上。
    第(2/3)页