Skip to content

同伦长正合列

Long exact sequence of homotopy groups · Homotopy exact sequence

把空间对或纤维化中的提升障碍按维数连接起来的正合序列。

条目类型
定理

形式陈述 ​

对带基点空间对 x0∈A⊆X,相对同伦群与绝对群组成自然长正合列

⋯⟶πn(A,x0)→i∗πn(X,x0)→j∗πn(X,A,x0)→∂πn−1(A,x0)⟶⋯.

连接映射取相对圆盘代表的边界限制,故方向从 n 维相对群降到 A 的 (n−1) 维群。对群值部分,“正合”仍表示前一映射的像等于后一映射的核;序列进入 π1、π0 后,要改用带基点集合及群作用解释,不能继续套用阿贝尔群的核像公式。

若 p:(E,e0)→(B,b0) 是Serre 纤维化,F=p−1(b0) 且 e0∈F,则有

⋯→πn(F,e0)→i∗πn(E,e0)→p∗πn(B,b0)→∂πn−1(F,e0)→⋯.

给定 [f]∈πn(B),Serre 提升性质可把它提升为一个相对类 [f~]∈πn(E,F),而 p∗:πn(E,F)→πn(B) 是同构;连接元定义为相对边界 ∂[f~]∈πn−1(F)。这里不需要、也通常没有逐点唯一的提升;对代表元同伦再次使用相对提升性质,才说明所得边界类与选择无关。任意映射也可先替换为具有同伦等价总空间的路径空间纤维化,所得序列由同伦纤维表达。

直觉

长正合列是一套逐层故障诊断。底空间中的球面类若能整体提升到 E,其边界障碍就是零;若不能,∂ 精确记录沿球面提升一周后在纤维中留下的低一维扭结。下一箭头又判断这个扭结在总空间中是否消失。于是“前一项制造的”与“后一项看不见的”在每一层完全吻合。

空间对版本讲的是填充:A 中的球面先尝试在 X 中填圆盘。纤维化版本讲的是提升:B 中的球面尝试抬到 E。二者可通过映射柱或同伦纤维统一,但几何解释不同。记住箭头的可靠办法,是连接映射总把一个 n 维失败证据送到纤维或子空间里的 (n−1) 维边界。

例子与边界

Hopf 纤维化

S1⟶S3⟶S2

给出片段

π2(S3)=0⟶π2(S2)→∂π1(S1)⟶π1(S3)=0.

正合性迫使 ∂ 为同构,因此 π2(S2)≅Z,而生成球面被送到纤维圆周绕行一次的类。继续看

π3(S1)=0⟶π3(S3)⟶π3(S2)⟶π2(S1)=0,

又得 π3(S2)≅π3(S3)≅Z。这里没有凭“总空间等于底空间乘纤维”作推断;Hopf 纤维化恰恰不是平凡乘积。

对 m≠0 的覆叠 p:S1→S1,p(z)=zm,纤维离散,故 πk(F)=0 对 k≥1。序列说明 p∗:πk(S1)→πk(S1) 在 k≥2 是同构;在 k=1 它是乘 m,其余信息流入 π0(F)。若忽略低维的集合值尾部,就会错误地由“纤维高阶群全零”推出 p∗ 在基本群上也满射。

普通连续满射没有同伦提升性质,因而未必存在这条纤维长正合列。例如 {0}↪I 甚至不是满射,但更直接显示问题:底空间路径 t↦t 从 0 出发,却不能在单点总空间中提升。正合列依赖纤维化结构,不依赖“看起来有纤维”这一集合论事实。

推论与应用

当序列相邻若干项已知为零时,剩余映射立即成为单射、满射或同构,这使纤维化成为计算同伦群的主要机器。路径—环路纤维化把 πn(X) 降到环路空间;经典群作用纤维丛、Stiefel 纤维化与 Postnikov 层则把难空间分解为可控纤维。

序列还给出连通性传递:若纤维和底空间在一定范围内同伦群消失,可逐项确定总空间的消失范围。使用时必须记录基点、π1(B) 对纤维高阶群的作用以及低维尾部的类别;只有在这些数据对齐后,正合列中的群同构才是自然且可复用的。

参考资料
  • 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.
关系图谱7 个相邻概念 · 2 类关系

拖动节点调整位置。

显示关系

显示:依赖

  1. 前置三跳
  2. 前置二跳
  3. 前置一跳
  4. 当前条目
  5. 后续一跳
  6. 后续二跳
  7. 后续三跳
文字版关系按与当前条目的最短距离分组
类型化关系

使用的工具