关于层的核（ker）与茎（stalk）的两个证明的形式化推导疑问

云上老周

2026-4-22

嗨，我完全懂你的困惑——手动验证层公理虽然能解决问题，但用范畴论的形式化工具（伴随函子、极限交换）推导，更能抓住层论的本质，但中间的逻辑链容易卡壳。我来帮你把这两个问题的范畴论推导理清楚：

一、用伴随函子证明 $\ker \phi$ 是层

先明确几个核心范畴论前提：

Abel群预层范畴 $\text{Psh}(X, \text{Ab})$ 是完备范畴，所有极限都存在。这里的预层 $\ker \phi$ 就是图 $F \rightrightarrows G$（两个态射分别是 $\phi$ 和零态射）的等化子（equalizer）——这是有限极限的一种。
包含函子 $i: \text{Sh}(X, \text{Ab}) \to \text{Psh}(X, \text{Ab})$ 有左伴随：层化函子 $\tilde{(-)}: \text{Psh}(X, \text{Ab}) \to \text{Sh}(X, \text{Ab})$。伴随函子的核心性质是：右伴随函子保持所有极限。

你之前的卡点是不知道怎么把“$i$ 保持极限”和“$\ker \phi$ 是层”关联起来，我们可以通过泛性质+Yoneda引理打通逻辑：

预层范畴中等化子的泛性质：对任意预层 $P$，$\text{Hom}_{\text{Psh}}(P, \ker \phi)$ 恰好是所有满足 $\phi \circ f = 0$ 的态射 $f: P \to F$ 的集合。
取 $P$ 为任意层 $H$，此时 $\text{Hom}{\text{Psh}}(H, F) = \text{Hom}{\text{Sh}}(H, F)$，$\text{Hom}{\text{Psh}}(H, G) = \text{Hom}{\text{Sh}}(H, G)$——因为从层到层的预层态射自动满足层的粘合性（定义域是层，截面的相容性会被态射保持），所以预层态射就是层态射。
因此，$\text{Hom}{\text{Psh}}(H, \ker \phi) = { f \in \text{Hom}{\text{Sh}}(H, F) \mid \phi \circ f = 0 }$，而这个集合正好对应层范畴中 $F \to G$ 的等化子 $K$ 的泛性质：$\text{Hom}{\text{Sh}}(H, K) = { f \in \text{Hom}{\text{Sh}}(H, F) \mid \phi \circ f = 0 }$。
再结合伴随函子的同构：$\text{Hom}{\text{Psh}}(H, \ker \phi) = \text{Hom}{\text{Sh}}(H, (\ker \phi)^\sim)$（层化是左伴随，预层到层的态射等价于层化后的层态射）。
联立上面两步，得到 $\text{Hom}{\text{Sh}}(H, K) = \text{Hom}{\text{Sh}}(H, (\ker \phi)^\sim)$ 对所有层 $H$ 成立。根据Yoneda引理，这意味着 $K \cong (\ker \phi)^\sim$。
最后，因为 $i$ 是右伴随保持极限，所以 $iK$ 是预层范畴中 $iF \rightrightarrows iG$ 的等化子——而 $iF=F$、$iG=G$（因为 $F,G$ 是层），所以 $iK = \ker \phi$。又因为 $K$ 是层，所以 $\ker \phi = iK$ 自然也是层。

这样就完全用伴随函子和极限性质推导出结论，不用再手动验证层的公理。

这个问题的核心是理解茎函子的本质是滤过余极限：

对任意预层 $F$，茎 $F_p = \varinjlim_{U \ni p} F(U)$，其中定向集是包含 $p$ 的开集按包含关系排序（这是滤过范畴，因为任意两个包含 $p$ 的开集的交集也包含 $p$）。

范畴论中有个关键结论：在Abel群范畴中，滤过余极限与所有极限交换（更一般地，Grothendieck abelian范畴中滤过余极限是正合的，而核是有限极限的一种）。我们把这个结论落地到具体推导：

对每个包含 $p$ 的开集 $U$，Abel群范畴中有正合序列：
$$0 \to (\ker \phi)(U) \to F(U) \xrightarrow{\phi_U} G(U)$$
茎函子 $\varinjlim_{U \ni p} (-)$ 是滤过余极限函子，它保持正合性（Ab是Grothendieck范畴）。对上面的正合序列取滤过余极限，得到：
$$0 \to \varinjlim_{U \ni p} (\ker \phi)(U) \to \varinjlim_{U \ni p} F(U) \xrightarrow{\varinjlim \phi_U} \varinjlim_{U \ni p} G(U)$$
左边的 $\varinjlim (\ker \phi)(U)$ 就是 $(\ker \phi)_p$，中间是 $F_p$，右边是 $G_p$，而 $\varinjlim \phi_U$ 就是茎态射 $\phi_p$。根据正合序列的定义，$\varinjlim (\ker \phi)(U)$ 恰好是 $\ker(\phi_p)$，因此 $(\ker \phi)_p \cong \ker(\phi_p)$。

如果用抽象范畴论语言描述：核是极限（等化子），茎是滤过余极限，滤过余极限与极限交换，所以 $\varinjlim \ker(\phi_U) = \ker(\varinjlim \phi_U)$，直接得到同构。

备注：内容来源于stack exchange，提问作者t_kln