“给哈奇也送去一些吧，接下来一段时间，我们可不能掉链子！”伯恩教授补充。
…………
课题组群聊天内，在安静了一两分钟后，伯恩教授冒出来说道，“我们先把这四份文档检查一遍吧，避免后面使用的时候出了问题。”
程诺打了个“OK”，便下载好另外三份文档，粗略的检查起来。
半个小时后，程诺打字道，“没问题！”
过了段时间，另外三人也先后打了句“没问题”。
“既然都没发现问题，那我们继续工作吧，争取早日结束课题研究，加油！”
“加油！！”
“加油！”
“Fighting！”
屏幕前，四个顶着黑眼圈的人相互加油打气！
程诺关了手机，抬头望望窗外那明媚的阳光，重重的叹口气。
本想着忙完第一项任务就睡一会儿的，但现在的情况……
还睡个毛线的睡，爆肝工作吧！
程诺打开一瓶肾宝，咕咚咕咚喝了半瓶，瞬间再次精神抖擞。
千万，千万不要弱了麻省的气势！
心中告诫自己一句，程诺打开电脑，新建一份文档。
不就是三位世界Top5高校的教授嘛，我搞的定！
…………
【给定域 k （任意特征）和 K(特征为 0 ），记 k 上光滑射影簇的范畴V(k)，分次 K 代数的范畴为 GrVect(K).定义韦依上同调函子为反变函子 H*：V(k)→GrVect(K)，对所有 d 维射影簇 X，满足如下公理:】
【有限公理：H^i(X)都是有限维K的线性空间。】
【消没公理：H^i(X)=0，除非0≤i≤2d。】
【定向公理：H^2d(X)=K。】
【庞加莱对偶：存在非退化配对H^i(X)“*“H^2d-1(X)→H^2d(X)=K。】
【Kunnenth公式：有典范同构H*(X)“*“H*(Y)→H*(X*Y)。】
【闭链映射：记 C^i(X)余维数为 i 的代数闭链的有理等价类所张成的 K -线性空间.要求存在闭链映射 clx:C^i(X)→H^2i(X)满足函子性，与Kunneth公式相容，并在X退化为单点时给出嵌入Q→K。】
搞定！
头发乱糟糟的程诺在键盘上敲下最后一行字，愉悦的打了声响指。
在肾宝的加持下，程诺用了两天多的时间，终于搞定了下一项任务。
通过上一阶段的研究成果，推导出对所有d维射影簇，满足的六项公理。
没有过多的犹豫，程诺简单检查一遍后，就把文档上传聊天群。
还没等程诺打字不着痕迹的炫耀一番，三份文件，再次几乎是部分先后的上传进来。
程诺那长时间因为熬夜略显肿胀的眼睛瞬间变得通红，盯着屏幕，眼中满是血丝。
那三个家伙，实在是太残暴了吧！
教授，你们可是教授啊！呆在办公室里泡着茶悠闲的工作才不应该是常态嘛，用得着和我这么拼命吗？
我只不过是想帮学校挣份面子而已？！
程诺望着群里那排成一列的四份文件，有种想哭的冲动。