一面镜子把左手变成右手，把"上"变成"下"。Serre 对偶（Serre duality）是代数几何中最优美的"镜子"：它揭示了 $H^i$ 和 $H^{n-i}$ 之间隐藏的完美配对。就好比一栋 $n$ 层楼——第 $i$ 层的信息量和第 $n-i$ 层有精确的对偶关系，而这面"镜子"就是典范层（canonical sheaf）$\omega_X$。
1. 典范层 $\omega_X$
典范层（Canonical Sheaf / Dualizing Sheaf）
设 $X$ 为 $n$ 维光滑射影簇。典范层定义为最高阶微分形式的层： $$ \omega_X = \Omega^n_X = \bigwedge^n \Omega^1_X $$ 其中 $\Omega^1_X$ 是 Kähler 微分形式层（cotangent sheaf）。
直觉：在曲线 $C$（$n=1$）上，$\omega_C = \Omega^1_C$ 就是"一次微分形式的层"——即形如 $f(z)\,dz$ 的对象。在曲面（$n=2$）上则是 $f(z_1, z_2)\,dz_1 \wedge dz_2$。
射影空间的典范层
$\omega_{\mathbb{P}^n} = \mathcal{O}_{\mathbb{P}^n}(-n-1)$。例如：
- $\omega_{\mathbb{P}^1} = \mathcal{O}(-2)$
- $\omega_{\mathbb{P}^2} = \mathcal{O}(-3)$
典范层：微分形式在曲线上
2. Serre 对偶定理
Serre 对偶（Serre Duality）
设 $X$ 为 $n$ 维光滑射影簇（over 代数闭域 $k$），$\mathcal{F}$ 为 $X$ 上的局部自由层。则存在自然同构： $$ H^i(X, \mathcal{F}) \;\cong\; H^{n-i}(X, \mathcal{F}^{\vee} \otimes \omega_X)^{\ast} $$ 其中 $\mathcal{F}^{\vee} = \mathcal{H}om(\mathcal{F}, \mathcal{O}_X)$ 为对偶层，$(-)^*$ 为 $k$-向量空间对偶。
翻译：$H^i$ 的维数 = "对偶版本"的 $H^{n-i}$ 的维数。信息守恒，只是换了个角度看。
3. 曲线情况的简化
对光滑射影曲线 $C$（$n = 1$），Serre 对偶变得特别清晰：
曲线上的 Serre 对偶
设 $\mathcal{L}$ 为曲线 $C$ 上的线丛，则： $$ H^0(C, \mathcal{L}) \;\cong\; H^1(C, \mathcal{L}^{-1} \otimes \omega_C)^* $$ $$ H^1(C, \mathcal{L}) \;\cong\; H^0(C, \mathcal{L}^{-1} \otimes \omega_C)^* $$ 特别地，$\dim H^0(C, \mathcal{L}) = \dim H^1(C, \mathcal{L}^{-1} \otimes \omega_C)$。
验证：$\mathbb{P}^1$ 上的对偶
取 $\mathcal{L} = \mathcal{O}(n)$，$\omega_{\mathbb{P}^1} = \mathcal{O}(-2)$，则： $$ H^0(\mathbb{P}^1, \mathcal{O}(n)) \cong H^1(\mathbb{P}^1, \mathcal{O}(-n) \otimes \mathcal{O}(-2))^* = H^1(\mathbb{P}^1, \mathcal{O}(-n-2))^* $$ 验证维数：$\dim H^0(\mathcal{O}(n)) = n+1$（$n \geq 0$），$\dim H^1(\mathcal{O}(-n-2)) = n+1$ ✓
4. 对偶的几何意义
Serre 对偶不仅是代数恒等式——它有深刻的几何含义：
- 配对：存在完美配对 $H^i(X, \mathcal{F}) \times H^{n-i}(X, \mathcal{F}^{\vee} \otimes \omega_X) \to H^n(X, \omega_X) \cong k$
- 迹映射：$\mathrm{tr}: H^n(X, \omega_X) \xrightarrow{\sim} k$ 是"积分"的代数几何版本
- 类比 Poincaré 对偶：拓扑中 $H^i(M) \cong H^{n-i}(M)^*$（紧定向流形），Serre 对偶是其代数几何翻版
Serre 对偶的结构
镜像对称：$H^i$ 与 $H^{n-i}$
5. 应用：计算上同调维数
Serre 对偶的实用价值巨大——当 $H^i$ 难以直接计算时，往往 $H^{n-i}$ 的对偶版本更容易入手。
应用举例：曲线上的 $H^1$
要计算 $h^1(C, \mathcal{L})$（$\mathcal{L}$ 为线丛），可转而计算： $$ h^1(C, \mathcal{L}) = h^0(C, \mathcal{L}^{-1} \otimes \omega_C) $$ 后者是"全局截面数"——往往可通过具体构造得到。
亏格的两种计算
曲线 $C$ 的算术亏格 $g$ 可以等价定义为： $$ g = \dim H^1(C, \mathcal{O}_C) = \dim H^0(C, \omega_C) $$ （由 Serre 对偶，取 $\mathcal{L} = \mathcal{O}_C$）。$H^0(C, \omega_C)$ 就是全局正则微分形式的空间。
生活化比喻：Serre 对偶就像照镜子——你不用转过身去就能看到自己背后的信息。$H^i$ 和 $H^{n-i}$ 互相是对方的"镜像"，而 $\omega_X$ 就是那面镜子本身。
练习
- 用 Serre 对偶验证 $h^1(\mathbb{P}^1, \mathcal{O}(n)) = h^0(\mathbb{P}^1, \mathcal{O}(-n-2))$，并对 $n = -3$ 具体计算。
- 设 $C$ 为亏格 $g = 2$ 的曲线。利用 $\deg \omega_C = 2g - 2 = 2$，计算 $h^0(C, \omega_C)$。
- 思考：为什么 Serre 对偶要求 $X$ 光滑？在奇异簇上，$\omega_X$ 的替代物是什么？（提示：对偶化层 $\omega_X^\bullet$）