……

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

【有限公理：hi（x）都是有限维k的线性空间。】

【消没公理：hi（x）=0，除非0≤i≤2d。】

【定向公理：h2d（x）=k。】

【庞加莱对偶：存在非退化配对hi（x）““h2d-1（x）→h2d（x）=k。】

【kunnenth公式：有典范同构h（x）““h（y）→h（xy）。】

【闭链映射：记ci（x）余维数为i的代数闭链的有理等价类所张成的k-线性空间要求存在闭链映射clx：ci（x）→h2i（x）满足函子性，与kunh公式相容，并在x退化为单点时给出嵌入q→k。】

搞定！

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

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

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

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

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

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

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