Postnikov 塔 | Codeboy's Blog

形式陈述

对道路连通且具有 CW 同伦型的空间 $X$ ，对 $n\ge1$ ，第 $n$ 个 Postnikov 截断 $P_nX$ 配有映射 $X\to P_nX$ ，满足

\pi_i(P_nX)\cong\pi_i(X)\quad(1\le i\le n), \qquad \pi_i(P_nX)=0\quad(i>n).

这些截断可组织成塔

\cdots\longrightarrow P_nX\xrightarrow{p_n}P_{n-1}X \longrightarrow\cdots\longrightarrow P_1X.

对 $n\ge2$ ，在标准纤维化模型中， $p_n$ 的同伦纤维是Eilenberg–Mac Lane 空间 $K(\pi_nX,n)$ ；第一层则是 $P_1X\simeq K(\pi_1X,1)$ 。粘合并不只由纤维群决定。若 $\pi_1X$ 对 $\pi_nX$ 的作用平凡——特别地，若 $X$ 单连通——该层可取为主纤维化；按本页编号约定，它由映射

k_n:P_{n-1}X\longrightarrow K(\pi_nX,n+1)

分类，而 $P_nX$ 可看作 $k_n$ 的同伦纤维。此时 $k_n$ 对应上同调类

[k_n]\in H^{n+1}(P_{n-1}X;\pi_nX).

一般非单连通情形必须把 $\pi_1X$ 对 $\pi_nX$ 的作用纳入局部系数，并用相应的扭曲 Eilenberg–Mac Lane 纤维分类；此时不能仍把 $P_nX$ 写成一张通往普通 $K(\pi_nX,n+1)$ 的无扭曲映射之同伦纤维。不同作者可能把同一层的类记作 $k_{n+1}$ ，使用时应先核对下标约定。

直觉

Postnikov 塔像逐步调高分辨率： $P_1X$ 只保留基本群， $P_2X$ 再恢复 $\pi_2$ ，以后每层增加恰好一组新的同伦数据。新增群并非直接与旧层做笛卡尔积，而是作为一根纤维扭着粘上去； $k$ -不变量就是这份扭法的坐标。

这解释了为何“知道所有同伦群”仍未必知道空间。同样的群序列可以采用不同的 $k$ -不变量组装，得到不同同伦型。塔同时把一个整体分类问题拆为两个可处理任务：先确定每层群，再计算允许的上同调粘合类。

S² 的 Postnikov 前三级、对应 Eilenberg–Mac Lane 纤维与非零 k₃ — S² 的 Postnikov 塔

例子与边界

对 $X=S^2$ ，有 $\pi_1X=0$ ，所以 $P_1X\simeq *$ ；又有 $\pi_2X\cong\mathbb Z$ ，故

P_2S^2\simeq K(\mathbb Z,2)\simeq\mathbb{CP}^{\infty}.

这个二阶截断已经正确保留 $\pi_1$ 、 $\pi_2$ ，却不是 $S^2$ ：它的 $\pi_3$ 为零，而 $\pi_3(S^2)\cong\mathbb Z$ 。下一层出现纤维化

K(\mathbb Z,3)\longrightarrow P_3S^2\longrightarrow K(\mathbb Z,2),

其 $k$ -不变量位于

H^4(K(\mathbb Z,2);\mathbb Z) \cong H^4(\mathbb{CP}^{\infty};\mathbb Z) \cong\mathbb Z\langle u^2\rangle

并且非零。若错误地取零类，所得总空间会同伦分裂成 $K(\mathbb Z,2)\times K(\mathbb Z,3)$ ，不能编码球面中的 Hopf 现象。

若 $X=K(G,m)$ ，塔则可直接复算： $P_nX\simeq *$ 对 $n<m$ ，而 $P_nX\simeq X$ 对 $n\ge m$ ，后续没有新群或新 $k$ -不变量。这是“单层校准器”的极端情形。

各级 $P_nX$ 具有与 $X$ 相同的有限范围同伦群，但单独任何有限级通常都不与 $X$ 同伦等价。若各层已相容地取成纤维化，连通 CW 复形到普通逆极限 $\varprojlim P_nX$ 是弱同伦等价；对未经纤维化替换的模型，稳妥对象是同伦逆极限。一般空间塔的极限同伦群可能含有 $\lim^1$ 修正；但本页 Postnikov 塔在每个固定次数的同伦群系统最终恒定，所以这项修正在这里消失。两种极限口径仍须使用相应的模型假设。

推论与应用

Postnikov 塔把映射分类转成逐层提升。已构造 $Y\to P_{n-1}X$ 后，提升到 $P_nX$ 的首要障碍是拉回 $k_n$ ；障碍消失时，不同提升通常由相应上同调群作用。障碍论、分类空间和有理同伦论都利用这条递归机制。

每层投影是Serre 纤维化的模型，因此可用长正合列核验它确实只新增 $\pi_nX$ 。Serre 谱序列又能从 $P_{n-1}X$ 与 $K(\pi_nX,n)$ 的同调推算新层，反过来约束可能的 $k$ -不变量。局部系数、基点与基本群作用必须从第一非单连通层开始持续保留。

该构造在同伦意义下具有函子性：映射 $f:X\to Y$ 逐层诱导 $P_nf:P_nX\to P_nY$ ，并与截断投影相容。点集模型中的具体提升可能依赖选择，真正不依赖选择的是同伦范畴里的塔。因而比较两个空间时，应比较群、作用和 $k$ -不变量组成的相容系统，而非要求两套所选 CW 模型逐胞腔相同。

参考资料

Allen Hatcher, Algebraic Topology, Cambridge University Press, 2002, §4.3 “Postnikov Towers”.
George W. Whitehead, Elements of Homotopy Theory, Springer GTM 61, 1978, Chapter IX “Postnikov Systems,” pp. 415–455.
J. Peter May, A Concise Course in Algebraic Topology, University of Chicago Press, 1999, Chapter 22, §4.

形式陈述 ​

形式陈述