Riemann-Roch(黎曼-洛赫)定理 是
代数几何理论中最重要的定理之一这个定理最早是建立在
代数曲线上的,后来被很多数学家都考虑过将它推广到高维的情形,最终是德国数学家Hirzebruch完成了一次推广,并由Grothendieck完成了最一般的结果。这个定理在
数论上也有相应的推广。
我们记上同调h^0(D)=dim |D| -1, 其中|D|是D的完全
线性系,它是一个射影空间, dim |D| 是它的射影
维数(即拓扑维数)。
特别的,我们有h^0(O)=h^1(K)=1,h^1(O)=h^0(K)=g, 从而χ(O)=1-g.
χ(D)=χ(O)+deg D.
这里D是曲面上的
除子,K是典范除子。 示性数 χ(D)=h^0(D)-h^1(D)+h^2(D), 特别地有,h^2(D)=h^0(K-D).
一般说来,曲面情形中h^1(D)是很难计算的。 如果一个定理可以告诉你什么时候h^1(D)=0,那么这样的定理就叫做消失定理(也成
消灭定理、淹没定理)。