层

它指向谁（出边）

推出 3

• 本页 ⟹ 层的下降条件推出
  预拓扑下的层 $\iff$ 正合列

  设覆盖族 $(X_{i} \to X)_{i \in I}$ 生成的筛是 $R$。按定义，$R$ 的截面是那些能「穿过某个 $X_{i}$」的映射：

  $$R(Y) = \{\, f : Y \to X \ \mid\ \exists i,\ \exists h : Y \to X_{i},\ f = f_{i} \circ h \,\}$$

  而 $R$ 作为预层，是那些 $h_{Y}$ 沿 $(Y \to X_{i})_{i}$ 的余极限 —— 换句话说

  $$R \;\cong\; \varinjlim_{i} h_{X_{i}}$$

  （指标是这个覆盖族，余极限在预层范畴里取。）于是：

  $$\operatorname{Hom}(R, F) \;\cong\; \operatorname{Hom}\Bigl(\varinjlim_{i} h_{X_{i}},\ F\Bigr) \;\cong\; \varprojlim_{i} \operatorname{Hom}(h_{X_{i}}, F) \;\cong\; \varprojlim_{i} F(X_{i})$$

  最后一步是米田引理。在 $\mathbf{Set}$ 里，这个极限就是「每个 $F(X_{i})$ 里取一个元素」，即 $\operatorname{Hom}(R, F) = \prod_{i} F(X_{i})$。

  但这样只用到「$F$ 限制到每一块上」的信息，还没有把「两块在交叠处一致」写进来。要做这件事，就看 $R$ 的两条「投影」：把每个 $f_{i}$ 沿两条腿拉到 $X_{i} \times_{X} X_{j}$ 上，得到两个映射

  $$\prod_{i} F(X_{i}) \overset{\alpha}{\underset{\beta}{\rightrightarrows}} \prod_{i,j} F(X_{i} \times_{X} X_{j}), \qquad \alpha((s_{i})_{i}) = (s_{i}|_{X_{i}\times_{X}X_{j}}),\quad \beta((s_{i})_{i}) = (s_{j}|_{X_{i}\times_{X}X_{j}})$$

  相容族恰好是 $\ker(\alpha - \beta)$ —— 即「$i$ 限制到交叠」与「$j$ 限制到交叠」结果一样。于是「层的双射条件」变成

  $$F(X) \;\cong\; \ker(\alpha - \beta)$$

  （$\implies$） 层给出 $\operatorname{Hom}(h_{X}, F) \cong \operatorname{Hom}(R, F)$，两边用米田与上面的计算展开就是所要的正合。（$\Longleftarrow$） 反过来，正合序列给出的那个 $\ker$ 与 $F(X)$ 的同构，对所有由覆盖族生成的筛 $R$ 成立；而每个 $R \in J(X)$ 都由某个覆盖族生成，所以对一切 $R \in J(X)$ 都有 $F(X) \cong \operatorname{Hom}(R, F)$，即 $F$ 是层。∎

  ⚠️ 细看上面 $\alpha, \beta$ 的定义：$\operatorname{Hom}(R, F)$ 里的相容性条件要通过 $R$ 的态射结构（两个投影 $X_{i} \times_{X} X_{j} \rightrightarrows X_{i}$）才能写下来，这正是为什么必须用纤维积而不是「交」。

  这条把「层」这个抽象定义落到可以逐项验证的形状：一串截面、两个限制映射、取核。实际验层时走的都是这一条。

• 本页 ⟹ 拓扑斯上的层即保极限的预层推出
  拓扑斯上的层 $\iff$ 保极限

  (层 $\implies$ 保极限) 设 $F$ 是层，$R$ 是 $X$ 的覆盖筛。按标准拓扑的定义，$R \in J(X)$ 恰好意味着

  $$X \;\cong\; \varinjlim_{X' \to X \in R} X'$$

  （每个从 $X$ 出发的箭头都能被 $R$ 里的箭头穿过。）把 $F$ 作用上去：

  $$F(X) \;\cong\; \varprojlim_{X' \to X \in R} F(X')$$

  左边是 $\operatorname{Hom}(h_{X}, F)$、右边是 $\operatorname{Hom}(R, F)$，这正是层的双射条件。∎

  (保极限 $\implies$ 层) 反过来，若 $F$ 保所有极限，把上式倒过来读：对每个 $R \in J(X)$，$F(X) \cong \varprojlim_{X' \in \mathcal{C}/R} F(X')$，而右边与 $\operatorname{Hom}(R, F)$ 同构（前面的计算），所以 $F$ 是层。∎

  证明短得出奇 —— 因为标准拓扑对覆盖筛的规定，本来就是「$X$ 是这些 $X'$ 的余极限」。所以「层」在拓扑斯上等于「把余极限送回极限」，几何与范畴在这里合成一句话。

• 本页 ⟹ 凝聚态集满态射的判据推出
  满态射在自由空间上逐点检验

  （$\Longleftarrow$） 显然：若每个 $X(F) \to Y(F)$ 都满，则层之间的这个态射在每个自由对象上满，由「生成元集判定满态射」的一般道理即得它在 $\mathrm{Cond}$ 里是满态射。∎

  （$\Longrightarrow$） 设 $p : X \to Y$ 是满态射，先证它「局部满」。取像

  $$\operatorname{Im}(p)(S) := \{\, y \in Y(S) \ :\ \exists \text{ 覆盖 } (S_{i} \to S),\ \exists x \in X(S_{i}),\ p(x) = y|_{S_{i}} \,\}$$

  它是 $Y$ 的一个子层。由定义，$p$ 的每个值都落在 $\operatorname{Im}(p)$ 里，即 $\operatorname{Im}(p) \hookrightarrow Y$ 是满态射；而它同时是单态射，故（层里单满即同构）$\operatorname{Im}(p) = Y$。也就是说：$p$ 局部满。

  现在取 $F \in \mathbf{FCHaus}$ 与 $y \in Y(F)$。由局部满，存在 $F$ 的覆盖，在其每一块 $F_{i}$ 上有 $x_{i} \in X(F_{i})$ 使 $p(x_{i}) = y|_{F_{i}}$。$\mathbf{FCHaus}$ 上的覆盖由有限不交并给出，而 $F$ 是自由的、余积在它上面就是无交并，所以可以直接把有限块上的 $x_{i}$ 拼起来（这正是「保有限积」那一条）：

  $$x := (x_{i})_{i} \in \prod_{i} X(F_{i}) \;\cong\; X\Bigl(\coprod_{i} F_{i}\Bigr) \;=\; X(F)$$

  并且 $p(x) = y$。所以 $X(F) \to Y(F)$ 是满射。∎

  「满 = 局部满 = 局部可提升」是层论里的通用逻辑；而 $\mathbf{FCHaus}$ 上的覆盖是有限不交并，所以局部终于能拼成整体 —— 这就是为什么探针只需要自由对象。

定义引用 23

• 常层函子保极限 用到 本页定义引用

  常层是常预层的层化。

• 茎与分离预层 用到 本页定义引用

  命题讨论的是层（与分离预层）以及它们之间的态射。

• 关联层 用到 本页定义引用

  关联层是层范畴里的一个对象，用它的 Hom 集刻画。

• 层化与像交换 用到 本页定义引用

  像在层范畴里取。

• 层化不改变茎 用到 本页定义引用

  层化之后取茎。

• 常层的伴随 用到 本页定义引用

  伴随的另一边是层。

• 晶体层 用到 本页定义引用

  晶体层首先是一个层。

• 晶体层就是 X 上的层 用到 本页定义引用

  等价的两边一边是层、一边是 étale 空间。

• 层的下降条件 用到 本页定义引用

  定理给「是层」一个可以逐项验证的正合列判据。

• 满态射的局部判据 用到 本页定义引用

  命题说的是层之间的态射什么时候是满的。

• 预标准拓扑下的层 用到 本页定义引用

  命题给出预标准拓扑下「是层」的两条可验等式。

• 单满在层化后不变 用到 本页定义引用

  命题比较的是 $\mathcal{C}$ 里的单满与它在层范畴里的像。

• 拓扑斯上的层即保极限的预层 用到 本页定义引用

  命题把「是层」与「保所有极限」说成一回事。

• Cond 即 FCHaus 上的层 用到 本页定义引用

  定理说两边的层范畴是同一个。

• 凝聚态集满态射的判据 用到 本页定义引用

  命题说的是凝聚态集（层）之间满态射的判据。

• Čech 函子 用到 本页定义引用

  Čech 函子是把预层朝层的方向推一把的那个构造。

• 凝聚态集 用到 本页定义引用

  「层」这个词就来自层与拓扑那一段。

• 凝聚态阿贝尔群 用到 本页定义引用

  它是阿贝尔群值层。

• 阿贝尔层 用到 本页定义引用

  「是不是层」这一条按底集合预层判。

• 覆盖筛的四条等价 用到 本页定义引用

  第 2 至 4 条都只提到层与层化。

• 截面函子 用到 本页定义引用

  截面函子定义在层范畴上。

• 连续函子（site 之间） 用到 本页定义引用

  「连续」的定义就是层沿它拉回还是层。

• 余连续函子 用到 本页定义引用

  余连续说的是层能不能推出去。

谁指向它（入边）

定义引用 3

• Grothendieck 拓扑 → 本页定义引用

  层的定义里那个 $J(X)$ 就是覆盖筛的族 —— 没有拓扑就不知道什么叫「覆盖」。

• 预层 → 本页定义引用

  层是一个满足额外条件的预层。

• 极限 → 本页定义引用

  「$F(X) \cong \varprojlim_{Y \in \mathcal{C}/R} F(Y)$」用到了极限。