上光滑射影簇的范畴v(k)，分次 k 代数的范畴为 grvect(k)定义韦依上同调函子为反变函子 h*：v(k)grvect(k)，对所有 d 维射影簇 x，满足如下公理:
有限公理：hi(x)都是有限维k的线性空间。
消没公理：hi(x)0，除非0i2d。
定向公理：h2d(x)k。
庞加莱对偶：存在非退化配对hi(x)“*“h2d1(x)h2d(x)k。
kunnenth公式：有典范同构h*(x)“*“h*(y)h*(x*y)。
闭链映射：记 ci(x)余维数为 i 的代数闭链的有理等价类所张成的 k 线性空间要求存在闭链映射 clx:ci(x)h2i(x)满足函子性，与kunneth公式相容，并在x退化为单点时给出嵌入qk。
搞定！
头发乱糟糟的程诺在键盘上敲下最后一行字，愉悦的打了声响指。
在肾宝的加持下，程诺用了两天多的时间，终于搞定了下一项任务。
通过上一阶段的研究成果，推导出对所有d维射影簇，满足的六项公理。
没有过多的犹豫，程诺简单检查一遍后，就把文档上传聊天群。
还没等程诺打字不着痕迹的炫耀一番，三份文件，再次几乎是部分先后的上传进。
程诺那长时间因为熬夜略显肿胀的眼睛瞬间变得通红，盯着屏幕，眼中满是血丝。
那三个家伙，实在是太残暴了吧！
教授
第四百一十六章 一群残暴的家伙！(4/5)