凝聚层与拟凝聚层 — 从高中数学到代数几何

在概形上做几何，光有结构层 $\mathcal{O}_X$ 还不够——我们需要"结构层上的模"来描述向量丛、理想层、微分形式等对象。拟凝聚层（quasi-coherent sheaf）和凝聚层（coherent sheaf）正是"概形上的模的层化"，它们是代数几何计算的核心工具。

"拟凝聚层 ≈ 概形上的'模'；凝聚层 ≈ '有限生成模'；向量丛 ≈ '自由模'。"

1. 从模到层：$\widetilde{M}$ 构造

模的层化 $\widetilde{M}$ 设 $R$ 为环，$M$ 为 $R$-模。在仿射概形 $X = \mathrm{Spec}(R)$ 上定义层 $\widetilde{M}$： $$ \widetilde{M}(D(f)) \;=\; M_f \;=\; M \otimes_R R_f, $$ 茎 $\widetilde{M}_\mathfrak{p} = M_\mathfrak{p}$。$\widetilde{M}$ 是 $\mathcal{O}_X$-模的层。 这建立了模 ↔ 仿射概形上的层的对应，即等价： $$ R\text{-}\mathbf{Mod} \;\xrightarrow[\sim]{\widetilde{(-)}}\; \mathrm{QCoh}(\mathrm{Spec}(R)). $$

拟凝聚层 概形 $(X, \mathcal{O}_X)$ 上的 $\mathcal{O}_X$-模 $\mathcal{F}$ 是拟凝聚的，若 $X$ 有一个仿射开覆盖 $\{U_i = \mathrm{Spec}(R_i)\}$，使得每个 $\mathcal{F}|_{U_i} \cong \widetilde{M_i}$（某 $R_i$-模 $M_i$）。 等价描述：$\mathcal{F}$ 在每个仿射开集上的截面完全由对应的模决定——"局部是模的层化"。

凝聚层 $\mathcal{O}_X$-模 $\mathcal{F}$ 是凝聚的，若： $\mathcal{F}$ 是有限型的（locally finitely generated）：$X$ 有开覆盖使每个 $\mathcal{F}|_U$ 有有限生成模的层化。 对任意开集 $U$ 和任何 $\mathcal{O}_U$-模同态 $\mathcal{O}_U^n \to \mathcal{F}|_U$，其核也是有限型的。 在 Noetherian 概形上（实际最常用的情况），凝聚 ⟺ 局部为有限生成模的层化。

Noetherian 情形的简化 若 $X$ 是 Noetherian 概形，则 $\mathcal{F}$ 凝聚 ⟺ 存在仿射覆盖 $\{U_i = \mathrm{Spec}(R_i)\}$ 使得 $\mathcal{F}|_{U_i} \cong \widetilde{M_i}$，其中 $M_i$ 是有限生成 $R_i$-模。

局部自由层（向量丛） $\mathcal{O}_X$-模 $\mathcal{E}$ 是局部自由的（rank $r$），若 $X$ 有开覆盖 $\{U_i\}$ 使得 $\mathcal{E}|_{U_i} \cong \mathcal{O}_{U_i}^r$。这对应几何上的秩 $r$ 向量丛。 特别地，rank 1 的局部自由层 = 可逆层（invertible sheaf）= 线丛（line bundle）。

包含关系：局部自由层 ⊂ 凝聚层 ⊂ 拟凝聚层 ⊂ $\mathcal{O}_X$-模层。

凝聚层范畴是 Abel 范畴 Noetherian 概形 $X$ 上凝聚层的范畴 $\mathrm{Coh}(X)$ 是Abel 范畴：具有核、余核、像、余像，且正合列有意义。这允许我们进行同调代数运算。

例：理想层短正合列 设 $Y \hookrightarrow X$ 是闭子概形，由理想层 $\mathcal{I}_Y \subseteq \mathcal{O}_X$ 定义。则有短正合列： $$ 0 \to \mathcal{I}_Y \to \mathcal{O}_X \to \mathcal{O}_Y \to 0. $$ 这把"$Y$ 的方程"（$\mathcal{I}_Y$）、"$X$ 的函数"（$\mathcal{O}_X$）、"$Y$ 的函数"（$\mathcal{O}_Y$）联系起来。

并非所有向量丛（局部自由层）在全局都是平凡的。最经典的例子是Möbius 带——它是圆 $S^1$ 上的一个 rank 1 实向量丛，局部看起来像"$U \times \mathbb{R}$"，但全局有一个"扭转"。

Serre 的 FAC（Faisceaux Algébriques Cohérents, 1955） 设 $X = \mathrm{Proj}(S)$ 为射影概形（$S$ 为分次 Noether 环）。则： $X$ 上每个凝聚层 $\mathcal{F}$ 可以表示为某个分次 $S$-模 $M$ 的层化 $\widetilde{M}$（模掉有限生成部分）。 $\mathcal{F}$ 的上同调群 $H^i(X, \mathcal{F})$ 对 $i > \dim X$ 消失。 Serre 对偶：$H^i(X, \mathcal{F}) \cong H^{n-i}(X, \mathcal{F}^\vee \otimes \omega_X)^\vee$。 FAC 建立了凝聚层理论的基础，为之后 Grothendieck 的 EGA/SGA 开辟了道路。

练习 1：模的层化 设 $R = k[x]$, $M = k[x]/(x^2)$。描述 $\widetilde{M}$ 在 $\mathrm{Spec}(k[x])$ 上的行为：它在 $(x)$ 以外的茎是什么？在 $(x)$ 处的茎是什么？ 提示 $(x)$ 以外的点 $\mathfrak{p} \neq (x)$：$M_\mathfrak{p} = 0$（因为 $x \notin \mathfrak{p}$，故 $x$ 可逆，$x^2 = 0$ 蕴含 $1 = 0$）。在 $(x)$ 处：$M_{(x)} = k[x]_{(x)}/(x^2) \cong k[\varepsilon]/(\varepsilon^2)$。所以 $\widetilde{M}$ 是一个"集中在原点的层"——摩天楼层（skyscraper sheaf）的推广。

练习 2：$\mathcal{O}(1)$ 在 $\mathbb{P}^1$ 上 描述 $\mathbb{P}^1_k$ 上的可逆层 $\mathcal{O}(1)$（Serre 扭曲层）。它在两个标准仿射开集 $U_0, U_1$ 上的截面是什么？全局截面 $\Gamma(\mathbb{P}^1, \mathcal{O}(1))$ 的维数？ 答案 $\mathcal{O}(1)|_{U_0} \cong k[t]$（自由 rank 1），$\mathcal{O}(1)|_{U_1} \cong k[s]$，转移函数为 $t$ 的乘法。全局截面 $\Gamma(\mathbb{P}^1, \mathcal{O}(1)) \cong k^2$（由次数 $\le 1$ 的齐次多项式 $\{ax_0 + bx_1\}$ 给出）。

练习 3：向量丛与投射模 证明：仿射概形 $\mathrm{Spec}(R)$ 上的局部自由层 ↔ 有限生成投射 $R$-模。（Swan 定理的代数版本）

练习 4：正合列与长正合序列 给定 $\mathbb{P}^1$ 上的短正合列 $0 \to \mathcal{O}(-1) \to \mathcal{O}^2 \to \mathcal{O}(1) \to 0$（Euler 序列的特殊情形），计算全局截面的长正合列。