自由阿贝尔群层

说明

怎么造。 先逐点自由化、再层化：把 $X$ 看成预层，取预层 $U \mapsto \mathbb{Z}\cdot X(U)$（逐点自由阿贝尔群），再层化：

为什么这就对。 预层那一层是逐点的：函子范畴里的伴随逐点造，而 $\mathbf{Ab} \to \mathbf{Set}$ 的遗忘函子有左伴随 $E \mapsto \mathbb{Z}\cdot E$（自由阿贝尔群）✓，于是 $\widehat{\mathcal{C}}(\mathbf{Ab}) \to \widehat{\mathcal{C}}$ 的左伴随即逐点自由 ✓。到层这一层，用「层化 $\dashv$ 含入」把伴随传下去 ✓：

（$M$ 本身是层，所以在预层那边的 Hom 与层这边的 Hom 一样）。∎

⭐ 用处：$\mathbb{Z}\cdot X$ 是「把一个空间/层当自由生成元看」的装置。Čech 复形就是 $\check{C}^{\bullet}(X, M) = \operatorname{Hom}_{\mathbb{Z}}(\mathbb{Z}\cdot X_{\bullet}, M)$；层上同调则是 $H^{n}(X, M) = \operatorname{Ext}^{n}_{\mathbb{Z}}(\mathbb{Z}\cdot X, M)$ ✓。

⚠️ 一般不是逐点算的：层化会改动取值，「逐点自由再层化」与「自由」只有在层条件不碍事的时候才重合。

📌 例：$\mathbb{Z}\cdot \mathbf{1} \cong \mathbb{Z}$（常层）；$\mathbb{Z}\cdot X$ 永远是投射对象的候选（它是自由的）。