Serre 谱序列 | Codeboy's Blog

形式陈述

设 $F\hookrightarrow E\xrightarrow{p}B$ 是Serre 纤维化， $B$ 为道路连通 CW 复形，取系数环 $R$ 。沿底空间骨架过滤 $E$ 可得第一象限同调谱序列，其第二页为

E^2_{p,q}\cong H_p\bigl(B;\mathcal H_q(F;R)\bigr),

其中 $\mathcal H_q(F;R)$ 是由 $\pi_1(B)$ 的纤维传输作用产生的局部系数系统。微分具有双次数

d_r:E^r_{p,q}\longrightarrow E^r_{p-r,q+r-1}.

在标准收敛假设下，它收敛到奇异同调 $H_{p+q}(E;R)$ 的一个过滤：

0\subseteq F_0H_n(E)\subseteq\cdots\subseteq F_nH_n(E)=H_n(E), \qquad E^{\infty}_{p,n-p}\cong F_pH_n/F_{p-1}H_n.

因此 $E^{\infty}$ 是相关分次对象，不自动等于总同调的直和分解。若 $\pi_1(B)$ 作用平凡且 $R$ 为域，第二页才简化为

E^2_{p,q}\cong H_p(B;R)\otimes_R H_q(F;R).

上同调版本为

E_2^{p,q}=H^p\bigl(B;\mathcal H^q(F;R)\bigr) \Longrightarrow H^{p+q}(E;R), \qquad d_r:E_r^{p,q}\to E_r^{p+r,q-r+1}.

在乘法条件下，它与杯积相容。

直觉

若纤维化是平凡乘积，底空间的 $p$ 维类与纤维的 $q$ 维类会组合成总次数 $p+q$ 的类。一般纤维化沿底空间绕行时会扭转纤维，局部系数先记录这种搬运；随后各页微分检测哪些局部乘积类无法在总空间中闭合，或其实是更高过滤层的边界。

每翻一页，已确认存活的近似类再接受更长距离的微分检验。最终页只告诉我们总同调在过滤相邻层之间的商，因此还可能留下扩张问题。谱序列不是“无限次近似后把表格直接相加”，而是一套带来源、去向和装配规则的记账过程。

例子与边界

对 Hopf 纤维化

S^1\longrightarrow S^3\longrightarrow S^2

底空间单连通，整数局部系数平凡。 $E^2$ 只有四个非零格：

E^2_{0,0}=E^2_{2,0}=E^2_{0,1}=E^2_{2,1}=\mathbb Z.

若 $d_2:E^2_{2,0}\to E^2_{0,1}$ 为零， $(0,1)$ 会在总次数 $1$ 留下 $\mathbb Z$ ，与 $H_1(S^3)=0$ 矛盾；正因 Hopf 丛非平凡，该 $d_2$ 是同构。它同时杀掉总次数 $2$ 的 $(2,0)$ 与总次数 $1$ 的 $(0,1)$ ，剩余 $(0,0)$ 和 $(2,1)$ ，于是恢复

H_0(S^3)=\mathbb Z, \qquad H_3(S^3)=\mathbb Z,

其余同调为零。微分的方向 $(-2,+1)$ 在这个计算中不可反写。

局部系数并非可选细节。把圆周反射 $z\mapsto\bar z$ 的映射环面投影到 $S^1$ ，总空间是 Klein 瓶，纤维 $S^1$ 的 $H_1\cong\mathbb Z$ 被 monodromy 作用为 $-1$ 。于是

H_0(S^1;\mathbb Z_{-}) \cong\mathbb Z/(a-(-a))\cong\mathbb Z/2,

最终贡献 Klein 瓶的 $H_1\cong\mathbb Z\oplus\mathbb Z/2$ 。若错误地忽略作用并使用张量积，会预测环面的 $\mathbb Z^2$ ，连挠元都看不见。

即使所有微分都算完，扩张仍可能未定：两个相关分次层都是 $\mathbb Z/2$ 时，总群可能是 $\mathbb Z/4$ ，也可能是 $\mathbb Z/2\oplus\mathbb Z/2$ 。必须借助乘法、边缘同态或外部几何信息解决，不能把 $E^{\infty}$ 机械抄成答案。

推论与应用

Serre 谱序列把纤维化的局部数据转成总空间同调，可计算球面丛、经典群、路径—环路纤维化和 Postnikov 层。边缘同态连接底空间、总空间与纤维的同调；横截（transgression）把纤维类送到底空间高一阶类，特征类和 Postnikov 的 $k$ -不变量常由此出现。

上同调乘法结构、Steenrod 运算与微分的相容性会强迫许多未知微分，常比逐链计算有效。可靠使用流程是先确定作用和系数，再画出可能非零格，按双次数列出唯一可能的微分，最后单独解决过滤扩张。若底空间不道路连通、过滤不穷尽或对象缺乏适当 CW 型，还需改写收敛陈述而不能照搬第二页公式。

参考资料

Allen Hatcher, Spectral Sequences in Algebraic Topology, preliminary notes, 2004, Chapter 1, §§1.1–1.2.
John McCleary, A User’s Guide to Spectral Sequences, 2nd ed., Cambridge University Press, 2001, Chapter 5, “The Leray–Serre Spectral Sequence”.
Jean-Pierre Serre, “Homologie singulière des espaces fibrés. Applications,” Annals of Mathematics 54(3), 1951, pp. 425–505, §§4–7.

形式陈述 ​

形式陈述