Breen–Deligne 分解

Breen–Deligne 分解：自由阿贝尔群的有限直和消解

thm.breen-deligne · 凝聚态数学 · Breen-Deligne · 分解 · 自由阿贝尔群

又称Breen-Deligne·Breen–Deligne 分解·Theorem 8.3.2·Exercise 8.13

陈述

设 $M$ 是拓扑斯中的阿贝尔群（例如 $M \in \mathrm{CondAb}$ ）。则存在自然的左消解

F(M)^{\bullet} \twoheadrightarrow M,

其中每一项是「自由阿贝尔群 $\mathbb{Z} \cdot M^{s}$ 」的有限直和：

F(M)_{n} = \bigoplus_{i=1}^{r_{n}} \mathbb{Z} \cdot M^{s_{n,i}}.

在说什么。 在一般的拓扑斯里，「自由对象」不是有限的（ $M^{s}$ 里的 $s$ 是集合，可以是任意大的基数）。这条定理说：不管怎样，总能把任意阿贝尔群 $M$ 用一个逐项自由的复形消解掉，而且这个消解是自然的（不依赖选择、对 $M$ 的映射函子性）。

$\mathbb{Z} \cdot X$ 是什么：集合 $X$ 生成的自由阿贝尔群（在拓扑斯里就是 $\mathbb{Z}[X]$ ）。 $M^{s}$ 是「 $s$ 个 $M$ 的积」—— 之所以要取幂集，是为了让「 $M$ 的元」能作为一个可数的组合被写出来。

为什么叫 Breen–Deligne 分解：这个构造由 Deligne 提出，但长期没有完整证明；Scholze 在它的凝聚态数学第四讲附录里补全了证明。所以它是一条现代定理。

⭐ 它是 $\mathrm{CondAb}$ 里一切 Ext 计算的引擎：有了这个逐项自由的消解，任意 $\operatorname{Ext}^{n}(M, N)$ 都能展开成自由项上的 Ext，而那些是能算的（见下面的谱序列）。

⚠️ 证明很重，且构造的显式公式（ $d_{0}, d_{1}, d_{2}$ 的组合公式）相当技术性 —— 使用时通常只需要知道它存在且自然。