覆盖给出的自由复形零调

引理： $X = (X_{i} \to X)$ 是覆盖 $\implies$ $\mathbb{Z}\cdot X_{\bullet}$ 零调

引理
依赖深度 layer 19
同调代数
层上同调

lem.covering-free-acyclic · 引理 · 覆盖 · 自由复形 · 零调 · Čech 脉 · 层化

又称Lemma 7.3.2

陈述

设 $\mathcal{T}$ 是拓扑斯， $X = (X_{i} \to X)_{i \in I}$ 是 $\mathcal{T}$ 中的一个覆盖（即 $\coprod_{i} X_{i} \to X$ 是满态射）。记它的 Čech 脉为

X_{n} \;:=\; \coprod_{i_{0}, \ldots, i_{n}} X_{i_{0}} \times_{X} \cdots \times_{X} X_{i_{n}},

则增广复形 $\mathbb{Z}\cdot X_{\bullet} \to \mathbb{Z}\cdot X$ 零调：

H^{n}\bigl(\mathbb{Z}\cdot X_{\bullet}\bigr) = 0 \qquad (n \ge 0).

这里 $\mathbb{Z}\cdot X$ 是 $X$ 生成的自由阿贝尔群层。

说明

⭐ 用处：它说 $\mathbb{Z}\cdot X_{\bullet} \to \mathbb{Z}\cdot X$ 是一条自由（因而是投射）消解。于是「用 Čech 复形算上同调」有了依据 —— $\check{C}^{\bullet}(X, M) = \operatorname{Hom}_{\mathbb{Z}}(\mathbb{Z}\cdot X_{\bullet}, M)$ 确实是在拿一条投射消解算 $\operatorname{RHom}$ ✓（见「Čech 上同调是沿覆盖筛的余极限」）。

⚠️ 注意「覆盖」在这里是整族 $(X_{i} \to X)$ ：零调说的是整条 Čech 脉，而不只是某一个 $X_{i}$ 。

📌 这条与「带截面的覆盖上 Čech 零调」的关系是：后者是前者证明里最硬的那一步（有截面时能写出显式同伦），前者再靠「逐点 + 层化」把截面推广成任意覆盖。

谁指向它（入边）

推出 1

带截面的覆盖上 Čech 零调、层化 ⟹ 本页推出

有截面的 Čech 同伦 $\implies$ 任意覆盖上自由复形零调

（一）化到单个满态射。 令 $X_{0} := \coprod_{i} X_{i}$ 。满态射 $X_{0} \to X$ 的 Čech 脉的第 $n$ 项正是 $\coprod_{i_{0},\ldots,i_{n}} X_{i_{0}} \times_{X} \cdots \times_{X} X_{i_{n}} = X_{n}$ ✓，所以只需证明 $X_{0} \twoheadrightarrow X$ 的情形。 （二） $\mathcal{T} = \mathbf{Set}$ 。 满射有截面 $s$ （选择公理）✓。沿截面取
$s^{n} := s \times_{X} 1_{X_{n}} : X_{n} \longrightarrow X_{n+1},$
它满足收缩同伦的恒等式 $1_{X_{n}} = s^{n+1} d_{n} + d_{n+1} s^{n}$ ✓（逐面展开即得），于是增广复形同伦平凡，特别地零调 ✓。这正是「带截面的覆盖上 Čech 零调」那条命题。 （三） $\mathcal{T} = \widehat{\mathcal{C}}$ （预层）。 由上一条定理，预层范畴里的极限与余极限逐点算，而零调是「逐点取同调为零」，于是在每个 $X \in \mathcal{C}$ 处化回 (二) ✓。 （四） $\mathcal{T} = \widehat{\mathcal{C}}^{\#}$ （site 上的层）。 任意满态射都是 $\widehat{\mathcal{C}}$ 中某个满态射的层化 ✓。层化正合（既保有限极限、又保余极限），所以它把预层版本的 Čech 脉逐项送过来、并保持复形的正合性；再由层化的正合性，预层版本的零调直接给出层版本的零调 ✓。∎

定义引用 1

Čech 函子 → 本页定义引用

这条引理是 Čech 那套机器能开工的前提。

参考

Le Stum, An introduction to condensed mathematics, Lemma 7.3.2

同一星团的其他概念 30 个

继续

在星图里打开「覆盖给出的自由复形零调」　·　全部 709 个概念　·　 Markdown 原文　·　读图指南与记号表