同伦纤维 | Codeboy's Blog

形式陈述

给定带基点连续映射 $f:(X,x_0)\to(Y,y_0)$ ，其在 $y_0$ 上的同伦纤维可取模型

\operatorname{hofib}_{y_0}(f) =\{(x,\gamma)\mid x\in X,\ \gamma:I\to Y\text{ 连续}, \gamma(0)=f(x),\ \gamma(1)=y_0\}.

连续路径空间 $Y^I$ 取紧开拓扑：子基由 $[K,U]=\{\gamma:\gamma(K)\subseteq U\}$ 给出，其中 $K\subseteq I$ 紧、 $U\subseteq Y$ 开。同伦纤维取 $X\times Y^I$ 中满足端点约束的子空间拓扑；讨论一般映射空间及拉回时，采用紧生成空间，并对这些拓扑作相应紧生成化。它是图表 $X\xrightarrow{f}Y\xleftarrow{}\{y_0\}$ 的同伦拉回；点不必真的满足 $f(x)=y_0$ ，只需同时携带一条把 $f(x)$ 连到 $y_0$ 的路径。

把 $f$ 替换为映射路径空间

E_f=\{(x,\eta)\mid \eta(0)=f(x)\}, \qquad p(x,\eta)=\eta(1),

则 $X\to E_f, x\mapsto(x,c_{f(x)})$ 是同伦等价， $p:E_f\to Y$ 是 Hurewicz 纤维化，因而也满足Serre 纤维化条件，而 $p^{-1}(y_0)$ 正是上述同伦纤维。若原映射 $f$ 是 Hurewicz 纤维化，普通纤维 $f^{-1}(y_0)\to\operatorname{hofib}(f)$ 实为同伦等价；若只假设 Serre 纤维化，则该包含至少是弱同伦等价，在两边具有 CW 同伦型时再由 Whitehead 定理升级为同伦等价。

总空间的同伦等价可直接验证。投影 $r:E_f\to X$ 与常路径包含 $i:X\to E_f$ 满足 $ri=1_X$ ，而

K_s(x,\eta)=\bigl(x,\ t\mapsto\eta((1-s)t)\bigr)

从 $1_{E_f}$ 连续变到 $ir$ ，并始终固定常路径子空间。这里不要求 $K_s$ 保持端点评价 $p$ ；它证明的是总空间的同伦等价。

直觉

普通逆像只接受精确命中 $y_0$ 的点，因此对映射作同伦扰动时可能骤然改变。同伦纤维给每个 $x$ 附上一份“命中误差的连续证书”——从 $f(x)$ 走向 $y_0$ 的路径。映射变形时，证书也随之变形，所以对象记录的是映射的同伦类型，而不是某个坐标表达式的偶然截面。

这也解释了它为何比普通纤维大：每个真正位于纤维中的 $x$ 可以配常值路径，但还允许所有可沿路径抵达基点的像点。额外路径不是冗余装饰；它们正好把任意映射升级成纤维化，并制造环路空间到同伦纤维的作用。

例子与边界

取次数为 $m\ne0$ 的圆周映射

f_m:S^1\to S^1,\quad f_m(z)=z^m.

它是 $|m|$ 层覆叠，因而已是纤维化，普通纤维由 $|m|$ 个点组成。同伦纤维的同伦长正合列含有

0\to\pi_1(\operatorname{hofib}f_m)\to\mathbb Z \xrightarrow{\times m}\mathbb Z \to\pi_0(\operatorname{hofib}f_m)\to *.

乘 $m$ 的核为零、商集由 $\mathbb Z/m\mathbb Z$ 的剩余类标记，故同伦纤维有 $|m|$ 个道路分支。它们可缩还要使用真正的提升构造，而不能只由显示出的 $\pi_1=0$ 推出。对 $(x,\gamma)$ ，由覆叠的连续路径提升取从 $x$ 出发的唯一提升 $\widetilde\gamma$ 。令

H_s(x,\gamma)=\bigl(\widetilde\gamma(s),\ t\mapsto\gamma(s+(1-s)t)\bigr).

起点条件由 $f_m(\widetilde\gamma(s))=\gamma(s)$ 保证，路径终点始终为 $1$ ； $s=1$ 时得到真实纤维点配常值路径。有限局部覆叠图保证路径提升在紧开拓扑下连续，所以这是到真实离散纤维的形变收缩，并逐个收缩其对应分支。这个计算同时保留了“核控制高一阶群、商控制分支”的低维信息。

若 $f:X\to *$ 是到一点的映射，则 $\operatorname{hofib}(f)\simeq X$ ；若 $*\to Y$ 选取基点，则同伦纤维是 $\Omega Y$ 。若 $f$ 是同伦等价，其同伦纤维弱可缩；反向陈述需要空间类别和纤维序列的条件，不能对任意病态映射仅凭集合逆像下结论。

同伦纤维不等于映射锥，也不等于把定义域压成一点所得的同伦余纤维。前者组织提升并导出同伦群长正合列，后者组织延拓并导出约化同调长正合列；把二者混淆会把箭头方向整体反转。

推论与应用

同伦纤维把映射的“失败程度”对象化。若 $f$ 在某个维数范围诱导同伦群同构，则其同伦纤维在相应范围内连通；反过来，纤维的消失范围给出 $f$ 的连通度。这种翻译让弱等价、截面存在性与提升障碍都能用一个空间的同伦群陈述。

在 Postnikov 塔中，每层映射的同伦纤维是 Eilenberg–Mac Lane 空间；在同伦极限中，同伦纤维是最基本的同伦拉回；在参数族问题中，它又把“解的空间”与“约束映射”连接起来。实际计算必须固定目标基点；若 $Y$ 不道路连通，换到另一分支的基点甚至可能得到空的或完全不同的同伦纤维。

参考资料

J. Peter May, A Concise Course in Algebraic Topology, University of Chicago Press, 1999, Chapter 7, mapping-path fibrations.
Allen Hatcher, Algebraic Topology, Cambridge University Press, 2002, §4.3, Proposition 4.65 and the mapping-path construction.
Philip S. Hirschhorn, Model Categories and Their Localizations, American Mathematical Society, 2003, §13.3, homotopy pullbacks and fibers.

形式陈述 ​

反向链接

形式陈述