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}.

在这里的 CW 底空间与第一象限设置下，它收敛到奇异同调 $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}.

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

局部系数的具体含义

普通常系数奇异同调使用一个固定模；此处还要指定路径传输。局部系数系统 $\mathcal L$ 给每点 $b$ 一个 $R$ -模 $\mathcal L_b$ ，并给每条从 $b$ 到 $b'$ 的道路一个同构 $T_\gamma:\mathcal L_b\to\mathcal L_{b'}$ ，只依赖端点固定的同伦类，且保持路径复合与恒等道路。对同调， $C_p(B;\mathcal L)$ 是所有奇异 $p$ -单形 $\sigma$ 上 $\mathcal L_{\sigma(v_0)}$ 的直和。边界的第零面须把系数沿 $\sigma$ 的边 $v_0v_1$ 传到第一个新顶点，其余各面保留原首顶点并带通常交错符号。三角形内两段边路与直接边路同伦，使二次边界仍逐项相消。

上链则可写成这些首顶点纤维的直积；余边界的第零项先在第零面上取值，再沿同一条边的逆传输搬回 $v_0$ ，其余项照常交错相加。取核模像便定义上面的 $H_p(B;\mathcal L)$ 与 $H^p(B;\mathcal L)$ 。纤维化的路径搬运在纤维同调上给出前向传输，在纤维上同调上用逆搬运的拉回给出相同方向的局部系数。传输平凡时才退回常系数接口；Klein 瓶的反号系统正好不属于这个情形。

直觉

它是过滤链复形谱序列在纤维化中的特例：底空间骨架诱导总空间链复形的过滤，抽象构造给出每页微分与 $E^{r+1}=H(E^r,d_r)$ ，而纤维化的几何识别第二页为带局部系数的底空间同调。底空间有限维时过滤统一有界；一般 CW 情形的收敛使用第一象限条件，不能直接套用统一有限过滤的证明。

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

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

Hopf 纤维化 Serre 谱序列中 d₂ 从 (2,0) 到 (0,1)，以及 E∞ 的两个存活格 — Hopf 纤维化的 d₂

例子与边界

对 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.

这里先使用已知 $H_1(S^3)=0$ 来检查谱序列的相容性，而不是独立重算球面同调。唯一可能影响 $(0,1)$ 的微分是 $d_2:E^2_{2,0}\to E^2_{0,1}$ ；其余核对由次数排除。由于 $E^\infty_{0,1}=\operatorname{coker}d_2=0$ ， $d_2:\mathbb Z\to\mathbb Z$ 必须满射，因此是乘以 $\pm1$ 的同构。仅证明它非零还不够：乘以 $2$ 会留下 $\mathbb Z/2$ 。该同构同时消去 $(2,0)$ 与 $(0,1)$ ，剩余 $(0,0)$ 和 $(2,1)$ ，与已知结论

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

及其余同调为零相容。若要独立计算，须先从 Hopf 丛的几何或特征类确定该微分。微分方向 $(-2,+1)$ 也不可反写。

上同调版本还实际使用杯积。对这个 Hopf 纤维化，取 $E_2^{2,0}$ 的底空间生成元 $u$ 与 $E_2^{0,1}$ 的纤维生成元 $a$ ，可选定符号使 $d_2a=u$ 。乘法微分按总次数满足

d_r(xy)=d_r(x)y+(-1)^{|x|}x\,d_r(y).

因为 $d_2u=0$ 、 $u^2=0$ ，所以 $d_2(ua)=u^2=0$ ； $ua$ 在位置 $(2,1)$ 存活并给出三次类。 $u$ 本身虽是边界， $a$ 却不是循环，故不能错误地据此把乘积 $ua$ 也抹去。这个计算把杯积相容性变成了实际的微分约束。

局部系数并非可选细节。把圆周反射 $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,

底空间只有 $p=0,1$ 两列，所以所有 $r\ge2$ 的微分均为零。总次数 $1$ 的两层是 $E^\infty_{0,1}=\mathbb Z/2$ 与 $E^\infty_{1,0}=\mathbb Z$ ，给出 $0\to\mathbb Z/2\to H_1(E)\to\mathbb Z\to0$ 。选取商群生成元 $1$ 的一个原像，再作整数倍，就得到群同态截面，因此此列分裂，确实得到 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}$ 机械抄成答案。

射影丛给出扩张可以明确解决的情形：全局类 $u$ 的幂限制为纤维上同调基，既迫使微分消失，也实际构造从底空间若干移位副本到总空间的同构。仅说“谱序列退化”不足以得到这个自由模分解。

推论与应用

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

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

参考资料

Allen Hatcher, Spectral Sequences in Algebraic Topology, Chapter 1, preliminary notes, 2004，§§1.1–1.2：第一象限 Serre 构造、收敛、局部系数与乘法。
Allen Hatcher, Algebraic Topology, Additional Topics for Chapter 3, 2002，§3.H，pp. 330–334：群丛上的局部链与上链。给定首顶点值会唯一确定单形上的局部系数提升，本页用这种等价的首顶点记法写出面传输。
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.

形式陈述 ​

局部系数的具体含义 ​

反向链接

形式陈述

局部系数的具体含义