……

    给定域 k （任意特征）和 k(特征为 0 ），记 k 上光滑射影簇的范畴v(k)，分次 k 代数的范畴为 grvet(k).定义韦依上同调函子为反变函子 h*：v(k)→grvet(k)，对所有 d 维射影簇 ，满足如下公理:

    有限公理：h^i()都是有限维k的线性空间。

    消没公理：h^i()=0，除非0≤i≤2d。

    定向公理：h^2d()=k。

    庞加莱对偶：存在非退化配对h^i()“*“h^2d-1()→h^2d()=k。

    kuh公式：有典范同构h*()“*“h*(y)→h*(*y)。

    闭链映射：记 ^i()余维数为 i 的代数闭链的有理等价类所张成的 k -线性空间.要求存在闭链映射 l:^i()→h^2i()满足函子性，与kuh公式相容，并在退化为单点时给出嵌入q→k。

    搞定！

    头发乱糟糟的程诺在键盘上敲下最后一行字，愉悦的打了声响指。

    在肾宝的加持下，程诺用了两天多的时间，终于搞定了下一项任务。

    通过上一阶段的研究成果，推导出对所有d维射影簇，满足的六项公理。

    没有过多的犹豫，程诺简单检查一遍后，就把文档上传聊天群。

    还没等程诺打字不着痕迹的炫耀一番，三份文件，再次几乎是部分先后的上传进来。

    程诺那长时间因为熬夜略显肿胀的眼睛瞬间变得通红，盯着屏幕，眼中满是血丝。

    那三个家伙，实在是太残暴了吧！

    教授，你们可是教授啊！呆在办公室里泡着茶悠闲的工作才不应该是常态嘛，用得着和我这么拼命吗？

    我只不过是想帮学校挣份面子而已？！

    程诺望着群里那排成一列的四份文件，有种想哭的冲动。