黎曼－罗赫定理

黎曼–罗赫定理（Riemann–Roch theorem）是数学中的一个重要工具，在复分析和代数几何中的应用尤为广泛。利用该定理，可计算具有指定零点与极点的亚纯函数空间的维数。它将具有纯拓扑亏格 g 的连通紧黎曼曲面上的复分析以某种方式可转换为纯代数设置。
此定理最初是黎曼不等式，对黎曼曲面的确定形式由黎曼早逝的学生古斯塔·罗赫于1850年代证明。随后推广到代数曲面，高维代数簇，等等。

推广

曲线的黎曼–罗赫定理对黎曼曲面由黎曼与罗赫于1850年代证明，对代数曲线由施密特于1929年证明。它是基本的，曲线后续理论试图加细它的结论（比如布里尔–诺特理论）。
在更高维（适当的定义除子或线丛）此定理有多个版本。它们的一般表述取决于将定理分成两部分。其一，现在称为塞尔对偶性，将 l(K − D) 项解释为第一层同调群的维数，l(D) 为零次上同调群（或截面的空间）的维数，定理左边成为一个欧拉示性数，而右边给出它的计算，正好只与黎曼曲面的拓扑有关的一个度数。
在二维代数几何中这样一个公式由意大利几何学派找到；代数曲面的黎曼-罗赫定理证明了（有各种版本，最早可能属于马克斯·诺特。这样的问题大约在1950年前解决了。
n-维推广，希策布鲁赫–黎曼–罗赫定理，由弗里德里希·希策布鲁赫找到并证明，利用了代数拓扑学中的示性类；他深受小平邦彦的工作影响。大约在同一时间让-皮埃尔·塞尔给出了塞尔对偶性的一般形式，故我们冠以他的姓氏。
亚历山大·格罗滕迪克于1957年证明了一个深远的推广，现在叫做格罗滕迪克–黎曼–罗赫定理。他的工作将黎曼–罗赫重新解释为不仅是关于一个簇的定理，而是关于两个簇之间的一个态射的。证明的细节由博雷尔–塞尔于1958年发表。
最后在代数拓扑中也找到了一个一般版本。这些发展本质上在1950年至1960年完成。阿蒂亚–辛格指标定理开启了这一条推广的道路。
它导致的结论是一个凝聚层相当好计算。如果只对交错和中一项感兴趣，这是通常的情形，必需更进一步的讨论比如消灭定理。