第四遍八十四章 我们结婚吧！ (第2/3页)

道难关。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

“完美！”

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

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

这种成长是肉眼可见的。

程诺可以肯定的说，如果让现在的他来推导椭圆

（本章未完，请点击下一页继续阅读）