# Breen–Deligne 的一般谱序列　`ex.bd-ss`
$E^{p,q}_{1} = \bigoplus_{i} H^{q}(M^{s_{p,i}},\ N) \implies \operatorname{Ext}^{p+q}_{\mathbb{Z}}(M, N)$
layer 17 · 例 · 凝聚态上同调 · 凝聚态数学+同调代数
[在星图里打开](../#n=ex.bd-ss)　·　[节点索引](../index.md)

设 $M, N$ 是拓扑斯中的阿贝尔群。由 Breen–Deligne 分解得到自然谱序列

$$E^{p,q}_{1} = \bigoplus_{i=1}^{r_{p}} H^{q}\bigl(M^{s_{p,i}},\ N\bigr) \implies \operatorname{Ext}^{p+q}_{\mathbb{Z}}(M, N).$$

## 为什么成立（入边，证明在 proofs/）
- [`def.spectral-sequence`](../nodes/def.spectral-sequence.md) 谱序列：用到了定义 谱序列　[proofs/def-dep.bdss2-spectral.md](../proofs/def-dep.bdss2-spectral.md)

refs: Le Stum, Exercise 8.14

> 说明见 `notes/ex.bd-ss.md`

引用：`ex.bd-ss`（内容 v0.9.0）· 条款见 [LICENSE.txt](../LICENSE.txt)