Skip to content

定理Theorem

同伦长正合列

施工中 · 内容逐步修订

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 项仍是群,只是通常不交换;相邻群同态的正合性仍可按像等于核解释。空间对中的 π1(X,A) 以及 π0 项才一般只是带基点集合,末端还须用基点的逆像和群作用解释,不能把它们强行当作 Abel 群。

若 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) 在 n≥2 时是群同构,在 n=1 时是相应的带基点集合双射;连接元定义为相对边界 ∂[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∗ 在基本群上也满射。

普通连续满射没有同伦提升性质,因而未必存在这条纤维长正合列。例如满射 q:[0,1]→S1、q(t)=e2πit 就失败:底空间路径 γ(s)=e4πis 从 1=q(0) 出发,却不能从 0 提升到区间中。若存在提升 u(s),连续整数值函数 u(s)−2s 必恒为零,因而 u(1)=2,超出 [0,1]。正合列依赖纤维化结构,不依赖“看起来有纤维”这一集合论事实。

推论与应用

当序列相邻若干项已知为零时,剩余映射立即成为单射、满射或同构,这使纤维化成为计算同伦群的主要机器。路径—环路纤维化把 π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.
关系图谱12 个相邻概念 · 2 类关系

拖动节点调整位置。

显示关系

显示:依赖

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