阿贝尔层即拓扑斯里的阿贝尔群

定理： $\widetilde{\mathcal{C}}(\mathbf{Ab}) \simeq \mathbf{Ab}(\widetilde{\mathcal{C}})$

定理
依赖深度 layer 18
同调代数
阿贝尔层

thm.abelian-sheaf-equiv · 定理 · 阿贝尔层 · 拓扑斯 · 阿贝尔群对象 · 范畴等价

又称Exercise 5.15

陈述

设 $\mathcal{C}$ 是 site。则「site 上的阿贝尔层」与「拓扑斯 $\widetilde{\mathcal{C}}$ 里的阿贝尔群对象」是同一个范畴：

\widetilde{\mathcal{C}}(\mathbf{Ab}) \;\simeq\; \mathbf{Ab}\bigl(\widetilde{\mathcal{C}}\bigr).

说明

证明的思路。 两个方向都是「逐点取值」：

$\to$ ：拓扑斯里的阿贝尔群对象 $M$ 在 $X \in \mathcal{C}$ 上取值，用的是整体截面函子保积（群的运算、 $0$ 、逆元逐点读出来）✓，于是 $X \mapsto M(X)$ 给出一个阿贝尔预层，而且它是层 ✓；

$\leftarrow$ ：反过来给阿贝尔层 $M$ ，在每个 $X$ 处的取值自动带阿贝尔群结构，而层范畴里的群结构由这些值逐点决定（预层范畴里的群对象就是逐点的群）✓。

两个方向互逆，因为都是「取遍每个 $X$ 的值」✓。∎

谁指向它（入边）

推出 1

截面函子保极限余极限 ⟹ 本页推出

整体截面函子保积 $\implies$ 阿贝尔层即拓扑斯里的阿贝尔群

整体截面函子保积 ✓，所以拓扑斯里的阿贝尔群对象 $M$ 在每个对象 $X$ 处的取值 $M(X)$ 自然带阿贝尔群结构、且随 $X$ 函子化 ✓，得到一侧的函子。反过来，阿贝尔层 $M$ 的每个取值都是阿贝尔群，而层范畴里的群结构由逐点取值决定 ✓，得到另一侧的函子。两个方向都是「取遍每个 $X$ 的值」，互为逆 ✓。∎

定义引用 1

阿贝尔层 → 本页定义引用

等价的一边就是阿贝尔层。

参考

Le Stum, An introduction to condensed mathematics, Exercise 5.15

同一星团的其他概念 13 个

继续

在星图里打开「阿贝尔层即拓扑斯里的阿贝尔群」　·　全部 709 个概念　·　 Markdown 原文　·　读图指南与记号表