Skip to content

同伦长正合列

Long exact sequence of homotopy groups · Homotopy exact sequence

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

条目类型
定理

形式陈述

对带基点空间对 x0AX相对同伦群与绝对群组成自然长正合列

πn(A,x0)iπn(X,x0)jπn(X,A,x0)πn1(A,x0).

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

p:(E,e0)(B,b0)Serre 纤维化F=p1(b0)e0F,则有

πn(F,e0)iπn(E,e0)pπn(B,b0)πn1(F,e0).

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

直觉

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

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

例子与边界

Hopf 纤维化

S1S3S2

给出片段

π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 纤维化恰恰不是平凡乘积。

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

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

推论与应用

当序列相邻若干项已知为零时,剩余映射立即成为单射、满射或同构,这使纤维化成为计算同伦群的主要机器。路径—环路纤维化把 π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. 后续三跳
文字版关系按与当前条目的最短距离分组
类型化关系

使用的工具