本文讨论代数簇的(代数)德拉姆上同调,为了简单起见,本文只考虑仿射代数簇的情形,尽管本文很多结论对更一般的代数簇(概型)仍然是正确的.
仿射代数簇的定义
设
直观地说,仿射代数簇
代数德拉姆上同调
设
- 常数求导为零:对
有
.
- 加性:对
有
.
- 莱布尼茨法则:对
有
.
得到的
满足如下泛性:对任意的
例1:微分摸的计算
设
设
导子
直接验证可知为
并把这个复形的同调群称为
有时候简记为
例2:特征零的域上的仿射空间的代数德拉姆上同调
设
的形式,其中
让我们在这个例子验证一下
由于
由下面将要证明的代数庞加莱引理可知若
代数庞加莱引理:设
证明:对维数
现设
其中
这里“积分”
这里
由于
例3:正特征的域上的仿射空间的代数德拉姆上同调(万恶之源)
如果域
不是正合的. 设
例4:椭圆曲线的代数德拉姆上同调
设
![435b2a50fb0441d1acf0712830a0f903.png](https://img-blog.csdnimg.cn/img_convert/435b2a50fb0441d1acf0712830a0f903.png)
![b7bf4b8653c12242d8cf9d4c6eebb607.png](https://img-blog.csdnimg.cn/img_convert/b7bf4b8653c12242d8cf9d4c6eebb607.png)
![a54ddb82f0ee5d58c8edc6f43619f52e.png](https://img-blog.csdnimg.cn/img_convert/a54ddb82f0ee5d58c8edc6f43619f52e.png)
![3e6502c814ca56e559e946c1ea26d9d9.png](https://img-blog.csdnimg.cn/img_convert/3e6502c814ca56e559e946c1ea26d9d9.png)
下面定理表明在特征零的域上的光滑代数簇的情形,代数德拉姆上同调给出“正确”的德拉姆上同调!
定理 1(Grothendieck):设
其中
证明:见 A. Grohendieck. On the derham cohomology of algebraic varieties. Publications, mathematiques de l'I.H.E.S, 29, 1966. 尽管这个结论对一般的光滑代数簇都是对的,但是最难的一步恰好是仿射的情形!
下面的例子表明上述定理在奇异的代数簇情形不再正确.
例5:奇异曲线代数德拉姆上同调
设
![7639f07e6bfe1b134b3ae74e3e126004.png](https://img-blog.csdnimg.cn/img_convert/7639f07e6bfe1b134b3ae74e3e126004.png)
![e7fab357e71c013c3678d9f0dec6e950.png](https://img-blog.csdnimg.cn/img_convert/e7fab357e71c013c3678d9f0dec6e950.png)
![6929803138546329c56b87a9957035b9.png](https://img-blog.csdnimg.cn/img_convert/6929803138546329c56b87a9957035b9.png)
![45e206b97ee34ac58258700569d83184.png](https://img-blog.csdnimg.cn/img_convert/45e206b97ee34ac58258700569d83184.png)
总结一下:
- 当域
的特征为零,且
是光滑代数簇,那么它的代数德拉姆上同调
给出”正确“的德拉姆上同调, i.e.
, 其中
是代数簇
相应的复解析流形
的解析德拉姆上同调.
- 问题1:当域
的特征为零,且
是奇异代数簇,则代数德拉姆上同调不再给出“正确”的德拉姆上同调,见例5.
- 问题2:当域
为正特征,那么情况非常糟糕,就连仿射直线的
维代数德拉姆上同调都是无限维的!见例3.
那么如何修正上述问题1和2?
问题1的回答——奇异代数簇的德拉姆上同调
设
![8f73b24511cc6769eaf5899b879210ba.png](https://img-blog.csdnimg.cn/img_convert/8f73b24511cc6769eaf5899b879210ba.png)
设
它们作为拓扑空间是同一个东西,每个
定理 2(Deligne):在差一个典范同构的意义下,上同调
证明:见 Hartshorne, Robin. On the De Rham cohomology of algebraic varieties. Inst. Hautes ´Etudes Sci. Publ. Math. No. 45 (1975), 5–99.
问题2的回答
问题2的回答将我们引向波澜壮阔代数簇的
![a58cffcc0771d47367559545a6c3d978.png](https://img-blog.csdnimg.cn/img_convert/a58cffcc0771d47367559545a6c3d978.png)