相对同伦群

玻尔百科

核心要点

相对同伦群 $\pi_n(X, A)$ 衡量空间 $X$ 的形状，同时约束该形状的边界位于指定的子空间 $A$ 内。
空间偶的长正合序列是一个基本工具，它在 $A$ 的同伦群、 $X$ 的同伦群以及相对同伦群 $\pi_n(X, A)$ 之间建立了一个正合的代数关系。
这些群充当了精确的“阻碍探测器”，它们的平凡性表明子空间到更大空间的包含映射是一个同伦等价。
相对同伦具有强大的应用，从逐个胞腔地构建复杂拓扑空间，到对液晶和超流体等物理系统中的缺陷进行分类。

引言

在代数拓扑领域，同伦群通过探测拓扑空间的多维“洞”，为分类和理解其“形状”提供了一种强有力的方法。然而，这些群孤立地分析一个空间。一个更微妙的问题经常出现：一个空间 $X$ 的结构如何与其内部包含的子空间 $A$ 的结构相关联？从这种特定关系中会涌现出哪些拓扑特征？本文通过引入相对同伦群的概念来填补这一空白。

在接下来的章节中，我们将踏上理解这些基本工具的旅程。我们将首先探索“原理与机制”，在那里我们将定义相对同伦群，并揭示支配其行为的长正合序列的精妙机制。之后，在“应用与跨学科联系”部分，我们将见证这些抽象概念的实际应用，展示它们在构建复杂空间以及为现代物理学中的对称性和缺陷提供深刻见解方面的关键作用。我们的探索始于定义相对于子空间来衡量拓扑意味着什么。

原理与机制

在我们理解空间形状的旅程中，我们已经遇到了同伦群 $\pi_n(X)$ ，它们像一套精密的工具包，用于探测各种维度的“洞”。 $\pi_n(X)$ 的一个元素本质上是一个从 $n$ 维球面 $S^n$ 到我们空间 $X$ 的映射，如果一个映射可以连续形变为另一个，那么这两个映射就被认为是相同的。但是，如果我们在游戏中加入一个约束会怎样？如果我们不关心整个空间 $X$ ，而是关心 $X$ 与其内部一个特殊区域 $A$ 之间的关系，那又会如何？相对同伦群的故事就从这里开始。

边界的游戏：什么是相对同伦群？

想象你是一位雕塑家。你的材料块是一个 $n$ 维超立方体，我们称之为 $I^n$ 。你的任务是使这个立方体变形并将其置于一个巨大的画廊，即我们的空间 $X$ 中。我们目前所见的同伦群 $\pi_n(X)$ ，就像是使一个 $n$ 维球面变形，而 $n$ 维球面在拓扑上等价于一个将其整个边界坍缩为一点的立方体。

现在，我们改变规则。假设画廊 $X$ 有一个用绳子隔开的特殊区域，即子空间 $A$ 。新规则是：当你将立方体 $I^n$ 映射到画廊 $X$ 中时，它的整个边界， $\partial I^n$ ，都必须落在特殊区域 $A$ 内。为了明确起见，我们还要求立方体的一个完整面被压缩到一个点，即我们的基点 $x_0$ ，该基点位于 $A$ 中。

在始终遵守这些边界条件的情况下，你可以通过连续摆动（同伦）制作出的不同形状，就是第 $n$ 相对同伦群的元素，记作 $\pi_n(X, A)$ 。它不仅描述 $X$ ，还描述 $X$ 与其子空间 $A$ 之间的相互作用。它捕捉了在 $X$ 中存在一种形状，而其“边缘”被限制在 $A$ 内的各种方式。

存在之巨链：空间偶的长正合序列

自然似乎钟爱相互关联。在数学中，对此最美的表达之一便是长正合序列。对于任何一对空间 $(X, A)$ ，都存在一个奇妙的、无限的链条，它将 $A$ 的同伦群、 $X$ 的同伦群以及我们刚刚定义的新相对群联系起来。它看起来像这样：

\cdots \to \pi_{n}(A) \xrightarrow{i_{*}} \pi_{n}(X) \xrightarrow{j_{*}} \pi_{n}(X,A) \xrightarrow{\partial} \pi_{n-1}(A) \to \cdots

这个序列是“正合的”，这是一个术语，其含义简洁而优美：在每个阶段，流入的内容恰好是下一个映射所湮没的内容。更形式化地说，一个同态的像恰好是下一个同态的核。它就像一系列完美设计的齿轮，一个齿轮的输出成为下一个齿轮的“中性”输入。没有信息丢失，也没有信息凭空产生。这是一个封闭的信息流系统。

让我们看看这个链条中的关键角色：

映射 $i_*: \pi_n(A) \to \pi_n(X)$ 是最直接的。它只是说，任何映射到子空间 $A$ 中的球面，当然也是一个映射到更大空间 $X$ 中的球面。我们只是将其“包含”进来。
映射 $j_*: \pi_n(X) \to \pi_n(X, A)$ 将 $X$ 中的一个球面视为一个相对映射。可以将该球面看作一个边界被压扁到一点的立方体。由于该基点在 $A$ 中，这个映射自动满足了成为 $\pi_n(X, A)$ 元素的要求。
映射 $\partial: \pi_n(X, A) \to \pi_{n-1}(A)$ 是所有映射中最神奇的一个。它被称为边界映射或连接同态。它取 $\pi_n(X, A)$ 的一个元素——我们那个在 $X$ 中且边界在 $A$ 内的立方体——并只关注其边界。那个边界是一个 $(n-1)$ 维球面，根据游戏规则，它必须完全位于 $A$ 内部。所以，这个边界本身就是 $\pi_{n-1}(A)$ 的一个元素！这个映射巧妙地将一个 $n$ 维的相对群与一个 $(n-1)$ 维的绝对群联系起来。

运行中的机器：揭示隐藏的对称性

长正合序列的真正威力不仅在于其存在，更在于当我们向其输入简单案例时它所揭示的内容。

如果我们的总空间 $X$ 在“拓扑上是乏味的”呢？也就是说，如果 $X$ 是可缩的，意味着它可以连续收缩到一个点？一个实心圆盘 $D^n$ 就是一个经典例子。一个可缩空间没有有趣的洞，因此当 $k \ge 1$ 时，其所有同伦群 $\pi_k(X)$ 都是平凡的（即零群 $\{0\}$ ）。

让我们看看我们的长正合序列会发生什么。围绕 $\pi_n(X,A)$ 的片段变成：

\cdots \to \pi_{n}(X) \to \pi_{n}(X,A) \to \pi_{n-1}(A) \to \pi_{n-1}(X) \to \cdots

\cdots \to \{0\} \to \pi_{n}(X,A) \xrightarrow{\partial} \pi_{n-1}(A) \to \{0\} \to \cdots

因为序列是正合的，映射 $\partial$ 必须既是单射（其核是零映射的像），又是满射（其像是下一个零映射的核）。一个既是单射又是满射的映射是同构！我们刚刚发现了一个深刻的关系：

\pi_n(X, A) \cong \pi_{n-1}(A) \quad (\text{if } X \text{ is contractible and } n \ge 2)

这是一个在问题中探讨的壮观结果。相对群，我们曾以为它同时依赖于 $X$ 和 $A$ ，实际上却让我们直接得到了子空间 $A$ 的同伦群，只是维度上移了一位。例如，考虑一个4维圆盘及其边界3维球面构成的空间偶 $(D^4, S^3)$ ，这个原理立刻告诉我们 $\pi_5(D^4, S^3) \cong \pi_4(S^3)$ 。既然我们知道 $\pi_4(S^3)$ 是二元群 $\mathbb{Z}_2$ ，我们便轻松地计算出了一个看起来相当奇特的相对群。

现在，我们反过来看看。如果子空间 $A$ 是可缩的呢？例如，设 $X$ 是一个球面 $S^2$ ，而 $A$ 是它的闭合北半球，这只是一个可变形的圆盘。长正合序列现在看起来是这样的：

\cdots \to \pi_{n}(A) \to \pi_{n}(X) \to \pi_{n}(X,A) \to \pi_{n-1}(A) \to \cdots

\cdots \to \{0\} \to \pi_{n}(X) \xrightarrow{j_*} \pi_{n}(X,A) \to \{0\} \to \cdots

再一次，正合性定律迫使我们得到一个同构： $\pi_n(X, A) \cong \pi_n(X)$ 。这个来自问题的结果表明，如果我们用作相对化的子空间在拓扑上是平凡的，那么相对群就只是更大空间的同伦群的镜像。将边界限制在 $A$ 内的约束根本算不上什么约束。

终极差异探测器

这些例子暗示了一个更深层次的真理：相对同伦群衡量了 $X$ 和 $A$ 之间的“差异”。它们是探测当我们将空间 $A$ 嵌入到更大空间 $X$ 中时会发生什么的完美工具。

想象一下，如果 $\pi_n(X, A)$ 是平凡的。这告诉我们什么？回顾我们的正合序列，如果 $\pi_n(X, A) = \{0\}$ ，那么片段

\pi_{n}(A) \xrightarrow{i_{n}} \pi_{n}(X) \to \{0\} \to \pi_{n-1}(A) \xrightarrow{i_{n-1}} \pi_{n-1}(X)

告诉我们两件事。首先，映射 $i_n$ 必须是满射（它的像是下一个映射的整个核，也就是 $\pi_n(X)$ 的全部）。其次，映射 $i_{n-1}$ 必须是单射（它的核是前一个映射的像，即 $\{0\}$ ）。

用通俗的话说，一个平凡的 $\pi_n(X, A)$ 意味着 $X$ 中的每个 $n$ 维洞都只是一个已存在于 $A$ 中的洞的像（满射性），并且当在 $X$ 中观察时， $A$ 中没有 $(n-1)$ 维的洞被“填补”或变得平凡（单射性）。

这个思想的最终表达是 Whitehead 定理。它连接了我们已经研究过的两种情况。如果对于所有 $k \ge 1$ ，所有相对同伦群 $\pi_k(X, A)$ 都是平凡的，那么长正合序列会迫使包含映射 $i_*: \pi_k(A) \to \pi_k(X)$ 对每个 $k$ 都成为同构。反之，如果包含映射 $A \hookrightarrow X$ 是一个同伦等价（意味着 $A$ 和 $X$ 具有“相同”的形状），那么它所有诱导的映射 $i_*$ 都是同构，而长正合序列立即意味着所有相对同伦群 $\pi_k(X, A)$ 都必须是平凡的。因此，相对同伦群正是阻碍 $A$ 和 $X$ 在拓扑上相同的阻碍。它们为零当且仅当 $A$ 已经是 $X$ 的一个“形变收缩核”。它们是终极的差异探测器。

连接世界：Hurewicz 定理与五引理

同伦群虽然强大，但计算起来却非常困难。幸运的是，有通往其他更易计算的世界的桥梁。相对 Hurewicz 定理就是这样一座桥梁。它将我们的相对同伦群与相对同调群 $H_n(X, A)$ 联系起来，后者通常更容易计算。该定理指出，如果空间偶 $(X, A)$ 满足某些连通性条件（具体来说，如果它是 $(n-1)$ -连通的，并且当 $n \ge 2$ 时 $A$ 是单连通的），那么第一个非平凡的相对同伦群就与相应的相对同调群同构： $\pi_n(X, A) \cong H_n(X, A)$ 。这使我们能够使用代数工具来计算拓扑不变量，正如在问题中所展示的，其中知道 $H_4(X, A)$ 就能免费得到 $\pi_4(X, A)$ 。

最后，我们揭示的结构不仅优美，而且稳健。五引理优雅地捕捉到了这一点。想象你有两对空间偶， $(X, A)$ 和 $(Y, B)$ ，以及它们之间的一个映射。这会产生两个长正合序列，每个空间偶一个，而该映射在它们之间诱导出垂直的箭头，形成一个梯子。五引理是一个强大的逻辑工具，它指出如果梯子上“绝对”横档的垂直映射（ $\pi_k(A) \to \pi_k(B)$ 和 $\pi_k(X) \to \pi_k(Y)$ ）都是同构，那么中间“相对”横档上的映射（ $\pi_k(X, A) \to \pi_k(Y, B)$ ）也必须是同构。

这是关于数学结构的统一性和刚性的深刻陈述。它保证了我们的空间和映射的性质以一种一致且可预测的方式通过这个错综复杂的机制进行传播。相对同伦群不仅仅是一个巧妙的定义；它们是一个深刻且相互关联的网络中不可或缺的一部分，帮助我们描绘形状的本质结构。

应用与跨学科联系

在我们迄今的旅程中，我们锻造了一个新工具：相对同伦群。我们已经看到，对于一个空间 $X$ 及其内部的子空间 $A$ ，群 $\pi_n(X, A)$ 就像一个精密的透镜，使我们能够精确地聚焦于 $X$ 拥有而 $A$ 缺乏的拓扑特征。这是一个极为抽象的概念，但它的实际价值是什么？这个数学工具在何处与现实世界、物理学以及其他数学分支的结构本身相连？

发明一个工具是一回事，用它来建造奇妙之物或理解新事物则是另一回事。在本章中，我们将看到相对同伦群绝非拓扑学家的奇思妙想。它们是一把万能钥匙，能解锁对空间构造、自然界深层对称性，乃至赋予我们世界纹理的种种不完美性的深刻见解。

创造的蓝图：逐个胞腔地构建空间

想象你是一位宇宙建筑师，用基本的拓扑砖块建造宇宙。构建复杂形状最简单也最强大的方法是从一个基础开始，然后附着上更高维度的“胞腔”——各种维度的圆盘。假设你有一个空间 $A$ ，你希望通过将其边界球面 $S^{n-1}$ 粘贴到 $A$ 上来附着一个 $n$ 维圆盘 $D^n$ 。从拓扑学上讲，你实际上添加了什么？

我们的直觉告诉我们，我们添加了某种“ $n$ 维的洞”。相对同伦群 $\pi_n(X, A)$ 使这个想法变得无比精确。在一个卓越而普适的结果中，事实证明这个群同构于无限循环群 $\mathbb{Z}$ 。

\pi_n(A \cup_f D^n, A) \cong \mathbb{Z}

这不仅仅是一个公式；它是创造的标志。它告诉我们，每当我们附着一个 $n$ -胞腔，我们就恰好引入了一个新的 $n$ 维相对同伦的“生成元”。这个群的元素——整数——本质上是计算一个映射环绕这个新胞腔的次数。这个原理是数学家构建和分析 CW 复形的核心，而 CW 复形几乎是你能想象到的任何空间的基本模型。

要以最纯粹的形式看到这一原理，考虑最简单的附着方式：从一个 $n$ 维圆盘 $D^n$ 自身的边界 $S^{n-1}$ 来创造它。相对群 $\pi_n(D^n, S^{n-1})$ 是什么？长正合序列的机制以惊人的优雅给出了答案。它建立了一个深刻的联系：

\pi_n(D^n, S^{n-1}) \cong \pi_{n-1}(S^{n-1})

我们已经知道 $\pi_{n-1}(S^{n-1}) \cong \mathbb{Z}$ 。因此，相对群 $\pi_n(D^n, S^{n-1})$ 也是 $\mathbb{Z}$ 。这告诉我们，从一个圆盘到自身的相对映射，由它们如何映射到边界球面上来分类——这个思想在整个拓扑学中回响。

探索现实的结构：物理学、几何学与李群

就物理学家所知，宇宙由对称性支配。这些对称性不仅仅是抽象的规则，而是由称为李群的数学对象描述的——它们是既是光滑空间又是群。相对同伦为理解这些群的结构以及建立在它们之上的物理理论提供了一种强大的语言。

考虑群 $SU(2)$ ，它是量子自旋的数学描述，也是标准模型中最基本的对象之一。在拓扑上，这个群等同于3维球面 $S^3$ 。在它内部有一个关键的子群 $U(1)$ ，它代表量子力学中的相转动，在拓扑上是一个圆周 $S^1$ 。人们可能会问：自旋态的全空间与这组受限的相转动之间存在什么样的拓扑关系？

这个问题可以由相对同伦群 $\pi_2(SU(2), U(1))$ 精确地描述。通过将这些空间与其球面对应物等同，我们试图计算 $\pi_2(S^3, S^1)$ 。长正合序列给出了一个迅速而决定性的答案： $\pi_2(S^3, S^1) \cong \mathbb{Z}$ 。这个非平凡的结果揭示了连接该群与其子群的丰富拓扑结构，这一结构对于由这些对称性描述的物理系统中某些态和构型的分类具有重要意义。

当我们考虑像纤维丛这样更奇特的结构时，几何与物理之间的这种相互作用变得更加引人注目。著名的 Hopf 纤维丛揭示了一个惊人的事实：3维球面可以被看作是由排列在2维球面（ $S^2$ 底空间）上的圆周（ $S^1$ 纤维）“构成”的。如果我们将整个3维球面作为我们的空间 $X$ ，并将其中一个纤维作为我们的子空间 $A=S^1$ ，我们可以再次探究其相对拓扑。通过巧妙地将空间偶 $(S^3, S^1)$ 的长正合序列与 Hopf 纤维丛本身的长正合序列结合起来，我们可以计算出那些原本难以处理的群。例如，这种方法表明第四相对同伦群 $\pi_4(S^3, S^1)$ 同构于 $\mathbb{Z}_2$ ，即具有两个元素的群。这个有限群指出了结构中一个微妙的“扭曲”，这是一个二阶的拓扑特征，用较粗糙的工具是无法看到的。

这些不仅仅是游戏。构成现代理论物理学基石的空间——例如复射影空间 $\mathbb{C}P^2$ ，它是弦论和量子场论中的一个关键角色——可以用这些工具进行分析。 $\mathbb{C}P^2$ 可以通过将一个 4-胞腔附着到一个 2-球面上来构建。因此，相对同伦群 $\pi_4(\mathbb{C}P^2, S^2)$ 告诉我们这个空间本质上的 4 维特性。无论是通过考虑该空间的胞腔结构，还是通过援引连接同伦与同调的强大相对 Hurewicz 定理，答案都是一样的： $\pi_4(\mathbb{C}P^2, S^2) \cong \mathbb{Z}$ ,。这个结果是构建该空间的基础 4 维胞腔的指纹。

不完美的剖析：探测缺陷与差异

完美往往是贫瘠的。正是那些不完美、瑕疵和差异赋予了世界以个性。在数学意义上，相对同伦群是这类“不完美”的精致探测器。

假设你有一个子空间 $A$ 位于一个更大的空间 $X$ 内部。你如何判断 $X$ 在拓扑上是否比 $A$ “更多”？包含映射 $i: A \to X$ 将 $A$ 嵌入 $X$ 中。如果这个映射是一个同伦等价，那将意味着 $A$ 和 $X$ 的形状本质上是相同的。相对同伦群 $\pi_n(X, A)$ 正是探测这个映射未能成为等价的工具。如果这些群中有任何一个非平凡，那就是一个明确的信号，表明 $X$ 包含了 $A$ 中不存在的拓扑特征。

考虑空间 $X = S^2 \times S^4$ 和子空间 $A$ （它就是 $S^2$ 因子）。 $X$ 仅仅是 $S^2$ 的一个“加厚”版本，还是有真正的新东西？长正合序列表明，虽然较低阶的相对同伦群是平凡的，但 $\pi_4(S^2 \times S^4, S^2)$ 却同构于 $\mathbb{Z}$ 。这个群就像一记响铃，宣告 4-球面因子为拓扑结构贡献了一个新的、本质的 4 维特征，这个特征无法被压缩或忽略。相对群探测到了这个差异。

作为“缺陷探测器”的这一角色在凝聚态物理学中找到了最引人注目的应用。想想显示屏中的液晶。它的分子以特定的方式排列，定义了一个“有序相”。所有可能取向的空间被称为序参量空间，通常是像 $SO(3)/H$ 这样的空间，其中 $H$ 是一个对称群。

有时，会形成一道“畴壁”——一个材料对称性与主体不同的薄区域。例如，对称性可能在主体中是群 $D_4$ ，而在畴壁内部则降为更小的群 $C_2$ 。现在，物理学家可能会问：稳定的、点状的缺陷（可以把它们想象成取向场中的拓扑纽结）能否仅存在于这道畴壁之内？

这不是一个模糊的问题；这是一个相对同伦天生就能回答的问题。主体状态构成一个空间 $X=SO(3)/D_4$ ，而畴壁内的状态构成一个子空间 $A=SO(3)/C_2$ 。被困在畴壁中的稳定点缺陷由第二相对同伦群 $\pi_2(X, A)$ 分类。利用这些对称空间的深层结构进行计算，可能会显示该群是平凡的，这意味着不存在这样的稳定缺陷。或者它也可能非平凡，从而为物理学家提供了寻找新现象的具体预测。同样宏伟的思想也适用于分类超流体、磁体中的缺陷，甚至适用于大爆炸后早期宇宙结构中的缺陷。

从球面和胞腔的抽象舞蹈，到对晶体缺陷的切实预测，相对同伦群展示了数学思维的统一力量。它们向我们表明，通过就整体与部分有何不同提出精确的问题，我们能够揭示我们世界最深层的结构。