无挠联络

玻尔百科

核心要点

如果一个联络的 Christoffel 符号在其下标记上是对称的，那么该联络就是无挠的。这意味着联络的不对称性完美地反映了空间的内蕴几何。
无挠（没有额外的扭曲）和度规兼容（保持长度和角度）这两个性质在数学上是相互独立的概念。
黎曼几何基本定理指出，对于任意给定的度规，存在一个唯一的联络，它既是无挠的又是度规兼容的，这个联络就是 Levi-Civita 联络。
无挠条件是广义相对论的基石，它确保了能量-动量守恒的物理定律是时空几何的自然推论。

引言

在欧几里得几何的平直世界里，“直线”和“平行”等概念是直观的。但我们如何在一个弯曲的空间中导航，例如地球表面或时空本身的构造？为了在弯曲的流形上定义运动、微分和平行，数学家引入了一种称为联络的结构。它提供了在不同点比较向量的规则，作为在弯曲几何的迂回曲折中导航的指南。

然而，并非所有联络都是生而平等的。有些联络会引入其自身的内蕴“扭曲”，从而在很大程度上使几何变得复杂。这就引出了一个根本问题：是什么让一个联络显得“自然”或“简单”？答案在于一种称为挠率的性质。不存在挠率——即无挠联络——被证明是一个具有深远优雅和力量的条件。本文深入探讨微分几何的这一核心概念，解释其原理和深远影响。

第一部分原理与机制将阐释联络、挠率张量的形式化定义，以及联络无挠的含义。我们将看到这个抽象概念如何简化为其分量中一个优美的对称性，并探讨其与空间度规结构的关系，最终引出唯一且至关重要的 Levi-Civita 联络。接下来的部分应用与跨学科联系将展示为何这个条件不仅仅是数学上的便利，更是一个深刻的结构性原理，在物理学中有关键应用，它将广义相对论中的时空几何与宇宙的基本守恒定律联系起来。

原理与机制

想象你是一只生活在一个巨大、起伏不平的气球表面的蚂蚁。你想沿着“直线”行走。这到底意味着什么？如果你让自己的触角一直指向感觉上相同的方向，从外部观察者的角度看，你可能会画出一条弯曲的路径。为了理解在这样一个弯曲世界中的运动和变化，我们需要一套规则。我们需要一种方法来比较某一点的方向向量和邻近点的方向向量。这套规则就是数学家所说的联络，它是我们在弯曲空间的迂回曲折中导航的指南。

什么是联络？弯曲世界中的方向

联络，形式上记为 $\nabla$ ，为我们提供了协变导数。如果你有两个分布在曲面上的向量场 $X$ 和 $Y$ ，协变导数 $\nabla_X Y$ 告诉你向量场 $Y$ 在你沿着向量场 $X$ 指定的方向移动时是如何变化的。它是方向导数从简单的平直空间到流形复杂地形的推广。

联络必须遵守一些合理的规则。例如，沿着一条路径， $Y$ 的变化应该与你沿着该路径移动的速度成正比，并且在对乘以函数的向量场进行微分时，它应遵循乘积法则（Leibniz 法则）。这些规则确保联络的行为像一种恰当的微分形式。

现在，一个有趣的问题出现了。在普通微积分中，对于光滑函数，偏微分的次序无关紧要。但向量场更为复杂。如果你有两个方向 $X$ 和 $Y$ ，沿着 $X$ 移动一小步，然后再沿着 $Y$ 移动一小步，是否等同于先沿着 $Y$ 移动，再沿着 $X$ 移动？不一定！这种无穷小路径无法形成闭合平行四边形的现象是向量场几何的一个基本特征。这是一种内蕴的“扭曲”，可以通过一种称为 Lie 括号 的运算 $[X, Y]$ 来捕捉。

测量扭曲：挠率张量

所以，我们有两种方式来思考流形上微分的不对称性。一种来自我们发明的联络 $\nabla_X Y - \nabla_Y X$ 。另一种是始终存在的内蕴几何扭曲，即 Lie 括号 $[X, Y]$ 。

如果我们比较它们会怎样？我们选择的联络的不对称性与空间的自然不对称性之间有何区别？这个区别正是挠率张量， $T$ ：

T(X, Y) = \nabla_X Y - \nabla_Y X - [X, Y]

从本质上讲，挠率衡量了我们的联络微分法则“扭曲”空间的方式，与空间的内蕴几何扭曲不同步的程度。如果你使用联络将一个向量围绕由方向 $X$ 和 $Y$ 定义的无穷小平行四边形进行平行移动，挠率衡量了该向量旋转了多少。非零的挠率意味着你的几何规则手册中有一个内建的扭曲。

无挠世界：对称之美

如果我们选择一个挠率为零的联络会发生什么？这被称为无挠联络。其定义方程变得异常简单：

\nabla_X Y - \nabla_Y X = [X, Y]

这意味着我们联络的不对称性完美地反映了向量场的自然不对称性。这是一种特殊的、和谐的状态。但在实践中它是什么样的呢？

让我们选择一个局部坐标系，比如地球上一小块区域的经纬度。坐标系中的基向量，我们可以称之为 $\partial_i = \frac{\partial}{\partial x^i}$ ，有一个奇妙的性质：它们的 Lie 括号恒为零，即 $[\partial_i, \partial_j] = 0$ 。这是因为坐标线至少在无穷小尺度上形成了一个完美的网格。

对于此坐标系中的无挠联络，我们的条件变为 $\nabla_{\partial_i} \partial_j - \nabla_{\partial_j} \partial_i = 0$ 。我们用称为 Christoffel 符号 的系数 $\Gamma^k_{ij}$ 来刻画我们的联络，其定义为 $\nabla_{\partial_i} \partial_j = \Gamma^k_{ij} \partial_k$ 。将其代入，我们得到一个优美的结果：

\Gamma^k_{ij} \partial_k = \Gamma^k_{ji} \partial_k \implies \Gamma^k_{ij} = \Gamma^k_{ji}

这是该理论的基石：一个联络是无挠的，当且仅当在任何坐标基下，其 Christoffel 符号在下面两个指标上是对称的。 “无额外扭曲”这个抽象概念归结为其分量的一个简单而优雅的对称性。任何联络都可以唯一地分解为一个无挠部分和一个代表其挠率的张量。无挠部分就是其 Christoffel 符号的对称化版本： $\mathring{\Gamma}^k_{ij} = \frac{1}{2}(\Gamma^k_{ij} + \Gamma^k_{ji})$ 。

但要小心！这种对称性只对*坐标基*成立。如果你选择一组不来自坐标系的任意基向量 $\{e_i\}$ （即所谓的非完整基），它们的 Lie 括号 $[e_i, e_j]$ 可能不为零。在这种情况下，无挠条件反而规定联络系数的反对称部分必须正好抵消 Lie 括号项。这一细微之处揭示了坐标系的特殊性。

挠率与距离：两个独立的概念

到目前为止，我们只讨论了方向。但在我们关心的大多数曲面上，比如地球，我们也有距离、角度和长度的概念。这由一个度规张量 $g$ 来捕捉。它是我们弯曲空间的尺子和量角器。

要求我们的联络尊重这个度规似乎很自然。如果我们将两个向量沿一条路径移动，它们的长度和它们之间的夹角应该保持不变。这个性质称为度规兼容性，记作 $\nabla g = 0$ 。

这就引出了一个关键问题：“无扭曲”条件（无挠）和“保持距离”条件（度规兼容）有关联吗？一个是否能推导出另一个？

答案可能令人惊讶，是一个坚定的否定。这两个概念是完全独立的。

你可以很容易地构造一个无挠但非度规兼容的联络。想象一下平直平面 $\mathbb{R}^3$ 。我们可以定义一个 Christoffel 符号对称（因此是无挠的）的联络，但它会导致向量在移动时长度发生变化。
你也可以拥有一个度规兼容但有挠的联络。从一个同时满足这两种性质的联络出发，可以给它加上一种特定的张量，引入“扭曲”（非零挠率），同时巧妙地保持所有距离和角度不变。

主题：在 Levi-Civita 联络中统一挠率和度规

我们已经分离出一个在有度规的空间上联络可能拥有的两个最理想的性质：

无挠：没有不必要的扭曲。无穷小平四边形如期闭合。
度规兼容：它尊重我们的尺子和量角器。在平行移动过程中保持长度和角度。

现在，高潮来临。黎曼几何基本定理作出了一个深刻而优美的陈述：对于流形 $M$ 上的任意给定度规 $g$ ，存在一个且仅有一个联络 $\nabla$ ，它同时是无挠的和度规兼容的。

这个唯一的、完美的联络就是Levi-Civita 联络。

这是一个惊人的结果。它意味着，一旦你在一个空间上定义了测量距离的方式（即度规），你就会自动且明确地得到一个单一、自然的微分向量场和定义“直线”（测地线）的方法。不再有自由度，不再有歧义。在 Albert Einstein 的广义相对论背景下，度规张量代表引力场。Levi-Civita 联络则决定了物体在引力影响下的运动方式。这个联络的唯一性至关重要——它意味着运动定律完全由时空本身的几何结构决定。

其唯一性可以用一个优美的代数论证来证明，该论证表明，如果你假设两个联络都具有这两种性质，那么它们的差必定恒为零。此外，我们可以写下这个联络的一个显式公式，即 Koszul 公式，它直接从度规及其导数构造出该联络，从而为其存在性提供了一个构造性证明。

一个更简单的宇宙

为什么物理学家和数学家如此钟爱 Levi-Civita 联络和无挠假设？因为它让事情变得简洁。空间曲率的基本度量是黎曼曲率张量 $R(X,Y)Z$ 。它的定义可能有点冗长。然而，当联络是无挠时，其定义会大大简化。类似地，协变导数的对易子公式 $[\nabla_k, \nabla_l]$ ，它将二阶导数与曲率联系起来，在无挠条件下会去掉一个涉及挠率的复杂项，从而变得更加优雅。

通过选择无挠的路径，我们选择了与我们的度规相容的最简单、最自然的几何。这是一个没有任何多余扭曲的世界，在这里，微分法则与空间的内蕴结构完美契合，揭示了距离、方向和曲率之间深刻而优雅的统一。

应用与跨学科联系

现在我们已经理解了无挠联络的定义，你可能会忍不住问：“所以呢？”这仅仅是数学家为了整洁而发明的术语吗？一个为了让他们的方程看起来更漂亮的技术细节？答案，我希望你会和我一样觉得它很美，是一个响亮的“不”。“无挠”这个条件不仅仅是一种简化，它是一个深刻的结构性原理，在几何学中产生共鸣，与其他数学领域建立深厚的联系，而且最令人惊讶的是，它似乎是我们宇宙物理定律的基石。

让我们踏上一段旅程，看看这一个条件——一个张量的消失——如何引发一系列深远的影响。

几何之魂：无挠的意义

在其最基本的层面上，无挠条件是关于对称性的陈述。在任何局部坐标系中，联络都由一组数字，即 Christoffel 符号 $\Gamma^i_{jk}$ 来描述。联络无挠的条件完全等价于说这些符号在下面两个指标上是对称的： $\Gamma^i_{jk} = \Gamma^i_{kj}$ 。这看似一个微小的细节，但它对“直线”（或测地线）的概念有着至关重要的影响。

测地线的方程——一条平行移动自身切向量的曲线——只涉及联络系数的对称部分。这意味着一条测地线的路径对挠率的存在是“视而不见”的！那么我们为什么要在意呢？当我们不再只看一条路径，而是开始研究路径之间如何相互关联，以及成为“最短”路径意味着什么时，答案就显现出来了。事实证明，在度规可能拥有的所有联络中，有且仅有一个，既与度规兼容又无挠。这就是著名的 Levi-Civita 联络。而它的测地线恰好是实现两邻近点间最短距离的曲线。无挠条件选出的联络，其“直线”也正是“最短路径”，这是空间微分性质和度规性质的美好结合。

但是，当我们用它来分离曲率概念时，无挠条件的真正几何之美才最耀眼。想象我们流形表面一个微小的、近乎平坦的三角形，其边是测地线路径。现在，取一个顶点上的向量，并将其沿此三角形的周长平行移动。当你回到起点时，向量会和原来一样吗？

通常情况下，它不会。它会发生旋转或以某种方式改变。这种变化就是失真（anholonomy），或称和乐（holonomy），它是曲率的本质所在。奇妙之处在于：对于一个无挠联络，这种变化的主导项与曲率张量以及三角形尺寸的平方成正比。无挠条件清理了门户。它确保没有干扰性的一阶效应；向量无法回到自身是一个完全由曲率决定的纯二阶现象。如果存在挠率，情况就会变得混乱。挠率本身会引起一种“扭曲”，从而掩盖曲率的这种纯粹表现。因此，通过要求一个无挠的世界，我们为曲率得到了一个清晰、明确的几何意义：它就是围绕一个无穷小回路的和乐。在二维曲面上，这导致了一个奇妙的结果：一个向量被旋转的角度就等于该点的高斯曲率乘以它所遍历的微小三角形的面积。无挠条件为我们提供了一个测量空间本身几何的干净工具。

通往其他世界的桥梁：跨学科联系

无挠的重要性并不仅限于黎曼几何的世界。它也是通往其他数学学科，特别是复几何的重要桥梁。

复流形是一个局部看起来像 $\mathbb{C}^n$ 的空间，它配备了一个特殊的算子 $J$ ，可以将切向量旋转 $90^\circ$ 。如果你再赋予它一个与这个复结构良好配合的度规，你就得到了一个 Hermitian 流形。在这样的空间上，有一个称为 Chern 联络的自然联络，它是由其与度规和复结构的兼容性来定义的。

这些空间中一个非常特殊且重要的一类是 Kähler 流形。Kähler 条件可以用几种方式陈述，但其中一种是 Levi-Civita 联络（它总是无挠的）也必须尊重复结构。因此，在 Kähler 流形上，我们有这个唯一的联络，它（1）与度规兼容，（2）无挠，以及（3）与复结构兼容。但是等等，Chern 联络也被定义为与度规和复结构兼容。Kähler 条件迫使 Chern 联络也必须是无挠的。而且由于无挠的度规联络是唯一的，这两者必须是同一个！。这是一个统一的美丽实例。来自实几何世界中的“最自然”联络（Levi-Civita）和来自复几何世界中的“最自然”联络（Chern）被迫重合。这恰恰是因为底层的几何结构对两者都施加了无挠条件。

无挠条件的这种结构性作用甚至更深。当挠率不存在时，曲率张量的代数性质被极大地简化了。著名的第一 Bianchi 恒等式，一个关于曲率张量的循环和等于零，之所以成立，就是因为联络是无挠的。这个恒等式以及其他类似的恒等式，对流形可能具有的形状施加了强大的约束。事实上，几何学中的一项里程碑式成就——Berger 对和乐群的分类——它提供了一个向量在空间中绕所有可能闭路移动时可能经历的变换群的完整列表，其根本上依赖于由 Levi-Civita 联络保证的曲率张量的代数对称性。如果你允许挠率存在，这些对称性将会改变，整个分类也会不同。

现实的引擎：无挠宇宙

也许无挠联络最惊人的应用不在纯数学，而在于物理学。它是驱动 Albert Einstein 的广义相对论的引擎。

为什么 Einstein 坚持时空的联络必须是 Levi-Civita 联络？这是一个随意的选择吗？远非如此。在广义相对论中，时空几何告诉物质如何运动，物质告诉时空如何弯曲。其间的联系是 Einstein 场方程： $G_{\mu\nu} = \kappa T_{\mu\nu}$ 。右边是应力-能量张量 $T_{\mu\nu}$ ，它描述了物质和能量的分布。左边是 Einstein 张量 $G_{\mu\nu}$ ，一个纯粹由时空曲率构成的几何对象。

现在，整个物理学中最基本的原理之一是能量和动量的守恒。在广义相对论的弯曲时空中，这表现为应力-能量张量的协变散度为零的定律： $\nabla^\mu T_{\mu\nu} = 0$ 。奇迹就在这里：对于由 Levi-Civita 联络描述的几何，Einstein 张量的协变散度作为纯粹的数学事实恒等于零，即 $\nabla^\mu G_{\mu\nu} = 0$ ！。这个“缩并的 Bianchi 恒等式”是联络既度规兼容又无挠的直接后果。

想一想这意味着什么。通过将他的理论建立在 Levi-Civita 联络之上，Einstein 构建了一个理论，其中能量和动量守恒不是一个额外的假设，而是几何的自动推论。Ricci 张量和 Einstein 张量的对称性也源于这个特殊联络的性质。该理论具有优美的内部一致性，其中守恒的物理要求被硬编码到几何框架中。

我们甚至可以从一个更基本的立场，利用最小作用量原理来为无挠选择辩护。在引力的 Palatini 表述中，人们将度规和联络视为独立的场。对作用量进行变分可以得到一个联系它们的方程，而施加联络无挠这个额外的简单要求，恰恰是迫使该联络成为 Levi-Civita 联络所必需的。这似乎是最优雅和必要的选择。

这种无挠几何的后果是可以观测的。引力透镜现象——来自遥远星系的光线经过大质量天体时发生弯曲——就是对这种几何的直接探测。邻近光线的相对加速度由测地线偏离方程控制，该方程表明，正是时空的曲率，而非其他任何东西，导致光路会聚和剪切，从而创造出我们用望远镜看到的扭曲图像。

如果……？超越一瞥

那么，一个无挠的宇宙是唯一的可能性吗？物理学家和数学家当然也探索了其他选择。人们可以构建一个自洽的引力理论，比如 Einstein-Cartan 理论，其中挠率不为零。在这样的框架中，联络不再是 Levi-Civita 联络，而是被一个由挠率张量代数构造的“挠扭张量”(contorsion tensor)所修正。在这些理论中，挠率通常源于基本粒子的内禀自旋。尽管广义相对论已经通过了所有对其进行的实验检验，但这些替代理论提醒我们，无挠条件是一个选择，尽管是一个非常成功和优雅的选择。

最后，我们看到，听起来简单的“无挠”性质是一个深刻而强大的概念。它是一个对称性原理，阐明了曲率的意义，在不同数学领域之间搭建了桥梁，并处于我们最成功的引力理论的核心，将时空的宏伟结构与物理学最基本的守恒定律联系在一起。它证明了数学世界和物理世界之间惊人而美丽的统一性。