如果把"层"比作一张全息底片，那么上同调（cohomology）就是测量"底片拼接失败程度"的仪器。日常生活中，你试过把几张拼图碎片从局部对齐拼成完整图画吗？有时局部完美吻合，全局却死活拼不起来——这种"局部→全局的障碍"就是上同调捕捉的信息。
1. 上同调的动机
回忆一下：给定空间 $X$ 上的层 $\mathcal{F}$，全局截面函子（global sections functor） $$ \Gamma(X, -) : \mathbf{Sh}(X) \to \mathbf{Ab}, \quad \mathcal{F} \mapsto \mathcal{F}(X) $$ 把一个层映射到它的全局截面。
左正合性
$\Gamma(X, -)$ 是左正合函子（left exact functor）：对短正合列 $0 \to \mathcal{F}' \to \mathcal{F} \to \mathcal{F}'' \to 0$， 序列 $0 \to \Gamma(X, \mathcal{F}') \to \Gamma(X, \mathcal{F}) \to \Gamma(X, \mathcal{F}'')$ 正合——但右端不一定满射。
这个"满射缺陷"正是关键信号：右端的失败量恰好被右导出函子（right derived functor）$R^i\Gamma = H^i(X, -)$ 精确度量。
层上同调（Sheaf Cohomology）
对阿贝尔层 $\mathcal{F}$ 在空间 $X$ 上的第 $i$ 阶上同调群定义为： $$ H^i(X, \mathcal{F}) := R^i\Gamma(X, \mathcal{F}) $$ 其中 $R^i\Gamma$ 是全局截面函子 $\Gamma$ 的第 $i$ 个右导出函子。
直觉：$H^0 = \Gamma$（全局截面本身），$H^1$ 衡量"局部截面能否粘合为全局截面的障碍"，更高的 $H^i$ 刻画更深层的拓扑/代数复杂性。
2. Čech 上同调——具体的计算方法
抽象定义是用内射分解构造的，但实际计算中我们更常使用 Čech 上同调（Čech cohomology）——一种完全可操作的"开覆盖"方法。
Čech 上链复形
设 $\mathfrak{U} = \{U_i\}_{i \in I}$ 为 $X$ 的开覆盖。定义 Čech 上链群： $$ \check{C}^p(\mathfrak{U}, \mathcal{F}) = \prod_{i_0 < \cdots \lt i_p} \mathcal{F}(U_{i_0} \cap \cdots \cap U_{i_p}) $$ 配合微分（coboundary map）$\delta^p : \check{C}^p \to \check{C}^{p+1}$： $$ (\delta^p \sigma)_{i_0 \cdots i_{p+1}} = \sum_{k=0}^{p+1} (-1)^k \, \sigma_{i_0 \cdots \hat{i}_k \cdots i_{p+1}} \big|_{U_{i_0} \cap \cdots \cap U_{i_{p+1}}} $$
想象"局部→全局"的侦查过程：$\check{C}^0$ 收集每个开集上的截面，$\check{C}^1$ 检查相邻开集上截面是否"对得上"，$\check{C}^2$ 检查三重交上的相容性……如此递推。
Čech 上同调计算流程
3. Čech 计算全过程：$\mathbb{P}^1$ 上的 $\mathcal{O}(n)$
让我们用最经典的开覆盖来完整计算 $H^i(\mathbb{P}^1, \mathcal{O}(n))$。
标准覆盖
取 $\mathbb{P}^1 = U_0 \cup U_1$，其中 $U_0 = \{[1:t]\} \cong \mathbb{A}^1$, $U_1 = \{[s:1]\} \cong \mathbb{A}^1$， 交集 $U_{01} = U_0 \cap U_1 \cong \mathbb{A}^1 \setminus \{0\}$，坐标变换 $s = t^{-1}$。
Step 1：写出截面空间。
在 $\mathcal{O}(n)$ 下：
- $\mathcal{O}(n)(U_0) = k[t]$（多项式）中"degree ≤ 自由"，实际为 $k[t]$ 全体。
- $\mathcal{O}(n)(U_1) = k[s]$ 全体。
- $\mathcal{O}(n)(U_{01}) = k[t, t^{-1}]$（Laurent 多项式）。
更精确地，转换函数为 $t^n$，因此在 $U_{01}$ 上，$\mathcal{O}(n)$ 的截面为 $t^n \cdot k[t, t^{-1}]$。
Step 2：Čech 复形。
$$ \check{C}^0 = \mathcal{O}(n)(U_0) \oplus \mathcal{O}(n)(U_1) = k[t] \oplus k[s] $$ $$ \check{C}^1 = \mathcal{O}(n)(U_{01}) = k[t, t^{-1}] $$ 微分 $\delta^0(f, g) = g|_{U_{01}} - f|_{U_{01}}$。
Step 3：计算核与余核。
- $H^0 = \ker \delta^0$：要求 $f(t) = g(s)$ 在 $U_{01}$ 上重合 → 次数 $\leq n$ 的多项式 → $\dim H^0 = \max(n+1, 0)$。
- $H^1 = \operatorname{coker} \delta^0 = k[t, t^{-1}] / (k[t] + t^n k[s])$。当 $n \geq 0$ 时 $H^1 = 0$；当 $n < 0$ 时 $\dim H^1 = -n-1$。
$\mathbb{P}^1$ 上线丛上同调
$$ H^0(\mathbb{P}^1, \mathcal{O}(n)) = \begin{cases} k^{n+1} & n \geq 0 \\ 0 & n < 0 \end{cases} $$ $$ H^1(\mathbb{P}^1, \mathcal{O}(n)) = \begin{cases} 0 & n \geq -1 \\ k^{-n-1} & n \leq -2 \end{cases} $$
注意神奇的对称性：$\dim H^0(\mathcal{O}(n)) = \dim H^1(\mathcal{O}(-n-2))$——这就是后面要学的 Serre 对偶的伏笔！
4. 长正合列——上同调的核心工具
层的短正合列会"诱导"上同调的长正合列——这是最强大的计算/推理工具。
上同调长正合列
若 $0 \to \mathcal{F}' \to \mathcal{F} \to \mathcal{F}'' \to 0$ 在 $X$ 上正合，则有长正合列： $$ 0 \to H^0(X, \mathcal{F}') \to H^0(X, \mathcal{F}) \to H^0(X, \mathcal{F}'') \xrightarrow{\delta} H^1(X, \mathcal{F}') \to H^1(X, \mathcal{F}) \to H^1(X, \mathcal{F}'') \xrightarrow{\delta} H^2(X, \mathcal{F}') \to \cdots $$ 其中 $\delta$ 称为连接同态（connecting homomorphism）。
长正合列的"蛇形"结构
5. $H^0$ = 全局截面，$H^1$ = 粘合障碍
让我们把低阶上同调的意义讲透：
$H^0$ 的意义
$H^0(X, \mathcal{F}) = \Gamma(X, \mathcal{F})$ 就是全局截面。问"有多少全局正则函数/微分形式"就是在问 $H^0$。
$H^1$ 的意义——粘合障碍
$H^1(X, \mathcal{F})$ 度量"相容的局部截面拼不成全局截面的障碍"。具体地：给定覆盖 $\{U_i\}$ 和截面 $s_i \in \mathcal{F}(U_i)$ 满足相容条件（在交集上"差"为 coboundary），如果 $H^1 = 0$ 则总能粘合；$H^1 \neq 0$ 则存在粘不起来的情况。
$H^1$："粘不起来"的直观图景
生活化类比：想象你在拼一张全息照片——每一小片记录了一部分光场信息，且相邻碎片在重叠区域完美匹配。但全局拼起来时，可能因为"莫比乌斯式"的扭转导致首尾矛盾。$H^1$ 精确量化了这种"全息拼接障碍"。
6. 范畴论视角回顾
上同调的存在性依赖于阿贝尔范畴中的导出函子（derived functor）理论——这正是 Phase 8 同调代数中构建的机器。让我们回顾联系：
- $\mathbf{Sh}(X)$ 是一个阿贝尔范畴（有足够多的内射对象）
- $\Gamma(X, -)$ 是左正合函子 → 有右导出函子 $R^i\Gamma$
- $H^i(X, \mathcal{F}) = R^i\Gamma(X, \mathcal{F})$——通过内射分解计算
- Čech 上同调给出同一个不变量的组合学/计算版本（Leray 定理保证合理覆盖下两者一致）
练习
- 验证 $H^0(\mathbb{P}^1, \mathcal{O}(-1)) = 0$（"度为负的线丛没有全局截面"）。
- 用长正合列和 $0 \to \mathcal{O}(-1) \to \mathcal{O} \to \mathcal{O}_p \to 0$ 计算 $H^1(\mathbb{P}^1, \mathcal{O}(-1))$。
- 思考：为什么 $H^2(\mathbb{P}^1, \mathcal{F}) = 0$ 对所有拟凝聚层成立？（提示：覆盖只有两个开集！）