玻尔百科当一个向量在弯曲空间中沿着一条闭合回路被输运时，它返回时常常会发生旋转，这种现象被称为和乐，它直接衡量了空间的内蕴曲率。尽管这个直观的概念捕捉到了一个基本的几何属性，但它引出了一个更深层次的问题：我们如何利用这种效应来对空间本身的结构进行分类？答案在于将这些变换组织成一个代数对象——和乐群，更具体地说，在于分离出纯粹由局部曲率产生的部分，即所谓的限制和乐群。
本文对这一强大概念进行了全面的探索。其结构旨在引导您从基本原理走向其在数学和物理学中最深刻的应用。
在“原理与机制”一章中，我们将建立和乐的精确定义，区分限制和乐群，并探索由 Ambrose-Singer、de Rham 和 Marcel Berger 提出的里程碑式定理，这些定理构成了该理论的基石。
在此之后，“应用与跨学科联系”一章将揭示为何这种分类如此关键。我们将看到一个流形的和乐群如何充当其几何“DNA”，决定了像凯勒流形和卡拉比-丘流形这类特殊结构的存在，并与弦理论的前沿以及对超对称的探索建立了深刻而出人意料的联系。
想象一下，你正站在一个完美光滑、如玻璃般球体的表面上。你手持一根矛，沿着一条经线直指正北方。你开始行走，并始终让矛尖指向你感觉上的“直线”方向——相对于你的路径从未向左或向右转动。你向南走到赤道，向右转九十度，沿着赤道走了地球周长的四分之一，最后再次向右转九十度，径直走回北极。你回到了确切的出发点。但看看你的矛！它已不再指向原来的方向，而是旋转了九十度。
这个优美而又略带不安的现象，正是数学家们所称的和乐 (holonomy) 的核心。它是物体在弯曲空间中沿闭合回路进行“平行输运”后所累积的净旋转。这种旋转并非任意的；它是空间内蕴曲率直接且可测量的结果。和乐是曲率所言说的语言，通过学习解读它，我们能揭示一个空间最深层的几何秘密。
让我们说得更精确一些。在我们的几何空间（一个流形 (manifold)）上的任意一点 ，所有可能的移动方向构成了一个平坦的向量空间，称为切空间 (tangent space) 。对于我们的球体，你可以把它想象成在点 处刚好接触球体的那个平面。当我们“平行输运”一个向量——我们的矛——沿着一条路径时，我们是在沿着曲线将其从一个切空间滑动到下一个切空间，始终保持其在流形曲率允许的范围内尽可能“直”。
对于任何以 为起点和终点的闭合回路，这个过程都给我们带来一个变换： 中的初始向量被映射到同一空间中的一个最终向量。所有可能变换的集合，对应于你所能走过的所有可能的闭合回路，在复合运算下构成一个群，称为和乐群 (holonomy group)，记作 。这个群是流形在点 处的一个基本特征。
现在，在黎曼几何的世界里——即拥有距离概念的空间的几何，如我们的球体——平行输运事物的自然方式是使用 Levi-Civita 联络。其定义性特征是它保持向量的长度和向量间的角度。这意味着和乐群中的每一个变换都必须是等距变换。因此，和乐群 不仅仅是任意的线性变换群；它必须是正交群 (orthogonal group) 的一个子群，后者是 维空间中所有旋转和反射的群。和乐群是一本精确的“词典”，将抽象的曲率概念转化为具体的旋转语言。
这里有一个关键的微妙之处。有些回路在某种意义上是平凡的。想象在一张平坦的纸上画一个小圆圈，然后带着你的矛绕它走一圈；矛会原封不动地回来。这个回路可以平滑地收缩为无。而另一些回路，比如绕着甜甜圈（环面）中心孔洞的回路，则不能。这种区别属于拓扑学的范畴。
这引导我们定义限制和乐群 (restricted holonomy group)，记作 。这是你仅考虑“零伦 (null-homotopic)”回路——即那些可以连续收缩到起点 的回路——所得到的变换子群。这个群捕捉了纯粹局部曲率的效应，即那种你可以通过探索流形的一小块区域来探测到的曲率。事实证明，这个子群恰好是完整和乐群的单位连通分支 (identity component)；它是与什么都不做（单位变换）连续相连的那部分。
完整和乐群与其限制部分之间的差异完全由流形的全局拓扑所决定——具体来说，是其“不可收缩的”回路，这些回路由基本群 分类。如果一个流形是单连通的 (simply connected)，意味着每个回路都可以收缩到一点（像球体，但不同于甜甜圈），那么二者就没有区别：限制和乐群与完整和乐群是同一个，即 。因此，几何学家通常关注限制和乐群，因为它将纯粹曲率的效应与全局拓扑的效应分离开来。
如果和乐是向量从一段旅程中获得的旋转，那么在无穷小的层面上，这种旋转的来源是什么？答案是黎曼曲率张量 (Riemann curvature tensor) 。你可以把这个张量想象成一台机器，它在一点接收两个方向，比如东和北，然后输出一个无穷小的旋转。这个旋转就是你沿着这些方向描绘一个无穷小矩形时会体验到的“扭曲”。
宏伟的 Ambrose-Singer 和乐定理 在这种微观的曲率图像和宏观的和乐图像之间架起了一座桥梁。它指出，限制和乐群的李代数 ——你可以将其视为生成该群的所有无穷小旋转的集合——是由流形上所有其他点 处的曲率张量 平行输运回我们的起点 后构造出来的。
其含义是深远的。局部几何并非由单一点的曲率决定，而是由曲率在整个空间中的行为方式决定。这种关系是双向的。 如果一个流形是平坦的 (flat)（处处 ），Ambrose-Singer 定理告诉我们和乐李代数必定为零，这意味着限制和乐群是平凡的。这表明平行输运完全与路径无关。一个源于工程学的思想实验清楚地说明了这一点：如果你为一个二维曲面构建一个惯性导航系统，它只有在该曲面是平坦的情况下才能完美可靠，无需外部校准，因为只有那时，被输运的参考向量的方向才与所取路径无关。 反之，如果我们知道限制和乐群是平凡的，它就迫使曲率张量为零。没有曲率，就没有和乐。没有和乐，就没有曲率。它们是同一枚几何硬币的两面。
有了这个强大的工具，我们可以问一个宏大的问题：一个黎曼流形可能拥有的所有和乐群是什么？这就像是要求一张基本几何结构的“元素周期表”。
任何宏大分类的第一步都是处理复合情况。如果和乐表示是可约的 (reducible) 该怎么办？这意味着切空间 分裂成两个或多个子空间，而和乐变换从不将它们混合。例如，在一个三维空间中，也许水平面中的向量总是保持水平，垂直向量总是保持垂直，无论我们走过什么回路 [@problem_-id:2968932]。
de Rham 分解定理揭示了这背后美妙的几何意义：如果和乐是可约的，那么流形本身也会分解为一个乘积！。一个具有可约和乐的空间，至少在局部上，等距于低维流形的笛卡尔积，比如 。乘积空间的和乐群就是其因子和乐群的乘积。这意味着，如果我们想分类所有可能的和乐群，我们只需要找到那些“原子的”——即不可约的 (irreducible) 和乐群。其他所有几何都只是这些基本构建模块的乘积。
这正是 Marcel Berger 在 20 世纪几何学最辉煌的成就之一中所完成的任务。通过假设和乐表示是不可约的，并利用曲率张量施加的约束，他证明了可能性的列表惊人地简短。对于一个不是高度结构化的“对称空间”的单连通黎曼流形，其限制和乐群必须是以下之一：
：这是一个 维流形的“泛型”情况。它没有特殊的几何结构。
()：该流形是一个凯勒流形 (Kähler manifold)。它拥有一个与其度量兼容的复结构，允许使用复分析的方法。
()：该流形是一个卡拉比-丘流形 (Calabi-Yau manifold)。这些是特殊的、里奇平坦的凯勒流形，在弦理论中扮演着核心角色，作为时空额外维度的可能形状。
()：该流形是一个超凯勒流形 (hyper-Kähler manifold)。它不仅有一个，而是三个兼容的复结构，反映了四元数的代数。
()：该流形是一个四元数-凯勒流形 (quaternionic-Kähler manifold)。这是一种与四元数相关的、但又有所区别的结构。
() 和 ()：这些是例外和乐 (exceptional holonomies)。它们对应于稀有而优美的几何，具有非凡的性质，仅在这些特定维度中存在。
Berger 列表远不止是一个分类。它是几何学深刻内在逻辑的明证。它告诉我们，一个空间可以弯曲的方式并非无限和混乱。相反，它们被限制在一个小而优雅的结构集合中。发现一个流形拥有这些“特殊和乐”之一，就像发现一种新元素；它立刻告诉我们大量关于其性质及其在数学宇宙中位置的信息。和乐的研究将几何学从一系列奇特的例子转变为一门结构化、可预测的科学，揭示了空间形状中隐藏的统一性。
既然我们已经掌握了和乐的定义和 Marcel Berger 优美的分类定理，你可能会问自己：“这有什么大不了的？” 这是一个合理的问题。我们为什么要关心这个看似抽象的李群目录？答案是深刻的：一个流形的和乐群就像其几何的遗传标记。它揭示了流形最深层、最内在的属性。如果度量是一个空间的“物理定律”，告诉我们如何测量距离，那么和乐群就是支配这些定律允许何种结构和对称性的“宪法”。
了解和乐群不仅仅是一种分类；它是一把钥匙，能解锁一系列几何和物理上的推论。让我们踏上这段应用的旅程，看看这一个代数思想如何照亮数学和物理学中一些最深刻的联系。
想象你有一张揉皱的纸。其几何是混乱的，点与点之间各不相同。如果你要在这张纸上让一个小箭头沿一个回路平行输运，你大概会预料它回来时会指向某个新的、看似随机的方向。这就是“泛型”几何的本质。对于一个典型的弯曲 维空间，一个向量可能经历的所有变换构成的群是保持长度和定向的最大可能旋转群：特殊正交群 。即使像球面或双曲空间这样均匀的流形，尽管它们具有对称性，但仍然以所有可能的方式扭转向量，导致其完整的和乐群为 。对于一个维度 的流形上随机选择的度量，其和乐几乎可以肯定是 。这是默认状态，是曲率的原始混沌。
真正的激动人心之处在于当和乐群小于 时。Berger 定理告诉我们，这是一种罕见而特殊的情况。但为什么呢？核心思想是和乐原理 (Holonomy Principle)：我们流形上的一个张量场是平行的（即在平行输运下保持不变）当且仅当它在每一点都受到和乐群作用而不变。
可以这样想：如果和乐群是完整的 ，那么一个箭头唯一“看不到”变化的东西是它自己的长度（由度量 编码）和一块空间的整体体积（由定向编码）。但如果和乐群是一个更小、更特殊的俱乐部，那一定是因为它保持了某种额外的结构。一个更小的和乐群是一个隐藏对称性的足迹，是一块使流形非泛型的特殊几何。和乐群成为“特殊几何”的试金石。如果 ，测试结果为阴性。如果 ，测试结果为阳性，我们就必须去寻找那个被保持的特殊结构。
在我们寻找这些奇异结构之前，让我们考虑和乐群变小的最简单方式：它可以“分崩离析”。de Rham 分解定理告诉我们，如果一个单连通流形的和乐群是可约的——意味着它保持了切空间到两个或多个正交子空间的一个分裂——那么流形本身就确实分解成了更小流形的笛卡尔积。例如，两个球面的乘积 的和乐群不是 ，而是更小的群 。一个始于“第一个 方向”的箭头将只在该方向内旋转，从不与“第二个 方向”混合。和乐揭示了这个空间不是一个不可分割的 4-维流形，而是两个并存的 2-维流形。这个美丽的定理使我们能够将对特殊几何的探索集中在基本的、不可约的构建模块上。
特殊几何最重要的例子之一源于一个简单的问题：我们能否在我们的流形上定义一个一致的虚数单位 的概念？也就是说，我们能否在每个切空间上找到一个算子 ，使得 （其中 是单位算子），就像 一样？如果存在这样一个 并且它是平行的——即在平行输运下不变——那么和乐群就不可能是整个 。它必须是与 交换的线性变换的子群。这个群恰好是酉群 (unitary group) 。
一个和乐群包含在 中的黎曼流形就是一个凯勒流形 (Kähler manifold)。这不仅仅是一个定义；它是一扇通往一个极其丰富世界的大门，在这个世界里，黎曼几何（度量、曲率）与复分析（全纯函数）无缝融合。一个时空模型要成为凯勒流形，其和乐群必须是 （在 4 维情况下）的一个子群，而不是泛型的 。
我们可以更进一步。 群由行列式模为 1 的矩阵组成。如果我们要求行列式恰好为 1 呢？这将和乐群限制在一个更小的群，即特殊酉群 (special unitary group) 。一个具有 和乐的流形是一种特殊的凯勒流形，被称为卡拉比-丘流形 (Calabi-Yau manifold)。
为什么这个微小的额外约束如此重要？和乐群在 内的条件等价于该流形是里奇平坦的，意味着它是广义相对论中爱因斯坦方程的真空解。它也等价于存在一个平行的、非零的全纯“体积形式”。这将和乐群的代数直接与物理学中基本微分方程的解联系起来。
也许最为著名的是，这些卡拉比-丘流形是弦理论中时空“额外维度”的主要候选者。在一个 10 维的宇宙中，弦理论认为其中 4 维是我们所看到的时空，而另外 6 维则卷曲成一个微小的、紧致的卡拉比-丘三维流形（一个具有 和乐的 6-维流形）。这个内部空间的精确几何——由其和乐群所支配——将决定基本物理定律、基本粒子谱以及我们在宏观世界中观察到的自然常数。
这不仅仅是一种哲学上的联系。 和乐的约束使得该 6-维流形的拓扑结构变得极其刚性。例如，我们可以直接从描述卡拉比-丘空间“形状”的数字计算出拓扑不变量，如欧拉示性数 。对于一个卡拉比-丘三维流形，这个关系惊人地简单：，其中 和 是计算其基本几何性质的霍奇数。对于一个 和 的特定模型，其欧拉示性数必须恰好是 。关于平行输运的抽象代数条件决定了空间本身的拓扑性质。
复数并非几何体可以拥有的唯一特殊结构。Berger 的列表包含了其他更奇异的可能性。
超凯勒流形 (Hyperkähler Manifolds)：如果一个流形拥有三个不同的平行复结构 ，它们遵循四元数的代数（）呢？这迫使和乐群成为紧辛群 (compact symplectic group) 的一个子群。这些就是超凯勒流形。令人惊奇的是，人们可以用一个极其简单的配方——Gibbons-Hawking ansatz——明确地构造出这些奇异的 4 维空间，该 ansatz 从普通 3 维欧几里得空间上的一个调和函数（拉普拉斯方程的解）构建 4 维的度量。
四元数-凯勒流形 (Quaternionic-Kähler Manifolds)：一个稍弱的条件导致和乐群在 中，这是 Berger 的另一个特殊情况，描述了四元数-凯勒流形这一类。
例外和乐 (Exceptional Holonomy)：然后是真正的异类，即“例外”和乐群 （在 7 维）和 （在 8 维）。它们对应的几何结构不是由复数或四元数构成，而是由非结合的八元数构成。这些流形在 M-理论（弦理论的延伸）中至关重要，其角色类似于卡拉比-丘流形。
我们将探讨的最后一个联系或许是最深刻的。在物理学中，基本粒子被分为玻色子（力载体）或费米子（物质粒子）。费米子，如电子，不是由向量描述，而是由更奇特的对象，称为旋量 (spinors) 描述。一个假设玻色子和费米子之间存在对称性的理论是超对称理论 (supersymmetric theory)。
几何问题是：一个旋量场何时可以是平行的？一个平行旋量的存在，就像任何平行张量的存在一样，是一个极其严格的条件。事实证明，一个单连通、不可约的流形承认一个平行旋量当且仅当其和乐群是特殊和乐群之一：、、 或 ！
这是一个惊人的启示。一个物理理论只有当其所在的时空具有特殊几何时才能是超对称的。时空的和乐群决定了超对称是否可能，如果可能，其程度如何（“超对称的数量”对应于平行旋量的数量）。从几何学的角度来看，在粒子加速器中寻找超对称，就是在寻找证据，证明我们宇宙的几何并非泛型，其和乐是特殊的。
从一个关于携带箭头沿闭路移动的简单问题出发，我们已经踏上了一段深入现代理论物理学核心的旅程。和乐群提供了一种统一的语言，连接了曲率、拓扑、复几何以及自然界的基本对称性。Berger 的分类不仅仅是数学对象的列表；它是一份可选世界的菜单，每一个世界都拥有其独特而优美的几何结构。