第521章（2 / 4）
【给定域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维射影簇，满足的六项公理。
没有过多的犹豫，程诺简单检查一遍后，就把文档上传聊天群。
还没等程诺打字不着痕迹的炫耀一番，三份文件，再次几乎是部分先后的上传进来。
程诺那长时间因为熬夜略显肿胀的眼睛瞬间变得通红，盯着屏幕，眼中满是血丝。
那三个家伙，实在是太残暴了吧！
↑返回顶部↑
【有限公理：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维射影簇，满足的六项公理。
没有过多的犹豫，程诺简单检查一遍后，就把文档上传聊天群。
还没等程诺打字不着痕迹的炫耀一番，三份文件，再次几乎是部分先后的上传进来。
程诺那长时间因为熬夜略显肿胀的眼睛瞬间变得通红，盯着屏幕，眼中满是血丝。
那三个家伙，实在是太残暴了吧！
↑返回顶部↑