第四遍八十四章 我们结婚吧!-《万能数据》
第(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)页