Riemann-Roch 定理是代数几何中最核心的定量工具——它回答了一个朴素而深刻的问题：给定一组规定的零点和极点，到底有多少"好"函数满足这些约束？这就好比问：如果我规定一幅画中某些位置必须是山峰、某些位置必须是山谷，总共能画出多少幅本质不同的风景？
1. 除子：零点与极点的记账簿
除子（Divisor）
设 $C$ 为光滑射影曲线。除子是 $C$ 上点的形式整系数线性组合： $$ D = \sum_{i=1}^r n_i P_i, \quad n_i \in \mathbb{Z},\; P_i \in C $$ $n_i > 0$ 表示"在 $P_i$ 处有 $n_i$ 阶零点"，$n_i < 0$ 表示"$n_i$ 阶极点"。
度（degree）：$\deg D = \sum n_i$。
生活类比：除子就是一份"地形标注表"——每个点标注了高度（正=山峰，负=山谷），度数就是所有高度的总和。
例子
在 $\mathbb{P}^1$ 上，$D = 2 \cdot [0] - 1 \cdot [\infty]$：表示在 $0$ 处有二阶零点、在 $\infty$ 处有一阶极点。$\deg D = 2 - 1 = 1$。
2. 线丛与除子的对应
代数几何的一个基本主题：除子与线丛（可逆层）之间有精确的一一对应。
除子-线丛对应
对光滑射影曲线 $C$，有群同构： $$ \mathrm{Div}(C) / \mathrm{Princ}(C) \;\xrightarrow{\;\sim\;}\; \mathrm{Pic}(C) $$ $$ D \;\mapsto\; \mathcal{O}(D) $$ 其中 $\mathrm{Princ}(C)$ 是主除子（有理函数的零极除子），$\mathrm{Pic}(C)$ 是线丛的同构类群。
除子 → 线丛：零极信息的"编码"
$\mathcal{O}(D)$ 的全局截面 $H^0(C, \mathcal{O}(D))$ 就是"极点阶不超过 $D$ 的有理函数"： $$ L(D) := H^0(C, \mathcal{O}(D)) = \{f \in k(C)^{\times} \mid \mathrm{div}(f) + D \geq 0\} \cup \{0\} $$ 其维数记为 $\ell(D) = \dim L(D)$。
3. Riemann-Roch 定理（曲线版）
Riemann-Roch 定理
设 $C$ 为亏格 $g$ 的光滑射影曲线，$D$ 为 $C$ 上的除子，$K$ 为典范除子（即 $\mathcal{O}(K) = \omega_C$）。则： $$ \boxed{\;\ell(D) - \ell(K - D) = \deg D - g + 1\;} $$ 等价地，用上同调语言： $$ h^0(C, \mathcal{O}(D)) - h^1(C, \mathcal{O}(D)) = \deg D - g + 1 $$ 其中 $h^1(C, \mathcal{O}(D)) = h^0(C, \omega_C \otimes \mathcal{O}(-D))$（Serre 对偶）。
核心信息：Riemann-Roch 将三个量精确关联——
- $\ell(D)$：满足约束的函数个数（我们想要的）
- $\deg D$：除子的"总权重"（简单可算）
- $g$：曲线的拓扑复杂度（固定常数）
- $\ell(K-D)$：对偶方的修正项（通过 Serre 对偶理解）
Riemann-Roch 的"天平"直觉
4. R-R 的几何意义
Riemann-Roch 回答的问题极其自然：
"在曲线 $C$ 上，给定除子 $D$（即规定好哪些点可以有极点、极点阶多少），有多少个本质不同的有理函数满足这些约束？"
答案：$\ell(D) = \deg D - g + 1 + \ell(K-D)$。
- 当 $\deg D > 2g - 2$ 时，$\ell(K-D) = 0$（因为 $\deg(K-D) < 0$），于是 $\ell(D) = \deg D - g + 1$——完全确定！
- 当 $\deg D$ 较小时，修正项 $\ell(K-D)$ 为亏格带来的"额外自由度"。
5. 亏格公式
亏格（Genus）的多重面貌
光滑射影曲线 $C$ 的亏格 $g$ 等价地满足：
- $g = \dim H^1(C, \mathcal{O}_C)$（上同调定义）
- $g = \dim H^0(C, \omega_C)$（全局微分形式数，Serre 对偶）
- $\deg \omega_C = 2g - 2$（典范除子的度）
- $\chi(\mathcal{O}_C) = h^0 - h^1 = 1 - g$（Euler 特征）
6. 应用：椭圆曲线上的函数空间
椭圆曲线 ($g = 1$) 上的 R-R
设 $E$ 为椭圆曲线（$g = 1$），取 $D = n \cdot P$（$P$ 为一点，$n \geq 1$）。
由 R-R：$\ell(nP) - \ell(K - nP) = n - 1 + 1 = n$。
- $n = 1$：$\ell(P) = 1$（只有常函数）
- $n = 2$：$\ell(2P) = 2$（多一个函数 $x$，有二阶极点）
- $n = 3$：$\ell(3P) = 3$（再多 $y$，有三阶极点）
- $n = 4, 5, 6$：产生 $x^2, xy, x^3, y^2$ 等——导出 Weierstrass 方程 $y^2 = x^3 + ax + b$！
这就是 Riemann-Roch 的威力：它不仅告诉你"有多少函数"，还能帮你构造出具体的嵌入（embedding），将抽象曲线实现为具体的方程！
7. 范畴论视角：导出函子的角色回顾
让我们从范畴论的高度回望整个上同调-对偶-Riemann-Roch 的大厦：
导出函子如何支撑 Riemann-Roch
整个逻辑链条：
- Phase 8 同调代数→ 提供"导出函子"的抽象机器
- 层上同调→ 将机器应用于 $\Gamma(X, -)$，得 $H^i$
- Serre 对偶→ 揭示 $H^i$ 与 $H^{n-i}$ 的镜像关系
- Riemann-Roch→ 将 $h^0 - h^1$（Euler 特征）化为可计算的拓扑不变量
练习
- 设 $C$ 为亏格 $g = 3$ 的曲线，$D$ 为度 $5$ 的有效除子。计算 $\ell(D)$。（提示：$\deg D > 2g-2 = 4$）
- 在椭圆曲线上验证：$\ell(0) = 1$，$\ell(K) = 1$（$g = 1$ 时 $\deg K = 0$）。
- 为什么 Riemann-Roch 告诉我们"亏格 0 的曲线 $\cong \mathbb{P}^1$"？（提示：取 $D$ 为度 1 的除子，算 $\ell(D)$）
- 思考 Riemann-Roch 的高维推广（Hirzebruch-Riemann-Roch）与 Chern 特征类的关系。