形式陈述
对带基点空间对 ,相对同伦群公理库相对同伦群Relative homotopy group用边界落在子空间中的圆盘映射,度量空间对在同伦延拓上的差异。与绝对群组成自然长正合列
连接映射取相对圆盘代表的边界限制,故方向从 维相对群降到 的 维群。对群值部分,“正合”仍表示前一映射的像等于后一映射的核;序列进入 、 后,要改用带基点集合及群作用解释,不能继续套用阿贝尔群的核像公式。
若 是Serre 纤维化公理库Serre 纤维化Serre fibration对圆盘参数族具有同伦提升性质,从而支持纤维同伦与长正合列的映射。, 且 ,则有
给定 ,Serre 提升性质可把它提升为一个相对类 ,而 是同构;连接元定义为相对边界 。这里不需要、也通常没有逐点唯一的提升;对代表元同伦再次使用相对提升性质,才说明所得边界类与选择无关。任意映射也可先替换为具有同伦等价总空间的路径空间纤维化,所得序列由同伦纤维公理库同伦纤维Homotopy fiber · Homotopy fibre用通往指定基点的路径修正普通纤维,使任意映射都具有同伦不变的纤维对象。表达。
直觉
长正合列是一套逐层故障诊断。底空间中的球面类若能整体提升到 ,其边界障碍就是零;若不能, 精确记录沿球面提升一周后在纤维中留下的低一维扭结。下一箭头又判断这个扭结在总空间中是否消失。于是“前一项制造的”与“后一项看不见的”在每一层完全吻合。
空间对版本讲的是填充: 中的球面先尝试在 中填圆盘。纤维化版本讲的是提升: 中的球面尝试抬到 。二者可通过映射柱或同伦纤维统一,但几何解释不同。记住箭头的可靠办法,是连接映射总把一个 维失败证据送到纤维或子空间里的 维边界。
例子与边界
Hopf 纤维化
给出片段
正合性迫使 为同构,因此 ,而生成球面被送到纤维圆周绕行一次的类。继续看
又得 。这里没有凭“总空间等于底空间乘纤维”作推断;Hopf 纤维化恰恰不是平凡乘积。
对 的覆叠 ,纤维离散,故 对 。序列说明 在 是同构;在 它是乘 ,其余信息流入 。若忽略低维的集合值尾部,就会错误地由“纤维高阶群全零”推出 在基本群上也满射。
普通连续满射没有同伦提升性质,因而未必存在这条纤维长正合列。例如 甚至不是满射,但更直接显示问题:底空间路径 从 出发,却不能在单点总空间中提升。正合列依赖纤维化结构,不依赖“看起来有纤维”这一集合论事实。
推论与应用
当序列相邻若干项已知为零时,剩余映射立即成为单射、满射或同构,这使纤维化成为计算同伦群的主要机器。路径—环路纤维化把 降到环路空间;经典群作用纤维丛、Stiefel 纤维化与 Postnikov 层则把难空间分解为可控纤维。
序列还给出连通性传递:若纤维和底空间在一定范围内同伦群消失,可逐项确定总空间的消失范围。使用时必须记录基点、 对纤维高阶群的作用以及低维尾部的类别;只有在这些数据对齐后,正合列中的群同构才是自然且可复用的。
参考资料
- Allen Hatcher, Algebraic Topology, Cambridge University Press, 2002, §§4.1–4.2, Theorems 4.3 and 4.41.
- J. Peter May, A Concise Course in Algebraic Topology, University of Chicago Press, 1999, Chapter 9, §§2–3.
- George W. Whitehead, Elements of Homotopy Theory, Springer GTM 61, 1978, Chapter IV “Homotopy Groups,” pp. 157–208.