流形上的张量

玻尔百科

核心要点

张量是流形上的局部数学工具，用于测量距离（度规张量）和曲率（Riemann 张量）等几何性质。
Riemann 曲率张量可以分解为描述体积变化的 Ricci 张量和描述形状变化（潮汐力）的 Weyl 张量。
张量和曲率的语言不仅是 Einstein 广义相对论的基础，也对材料科学、粒子物理学和信息几何等不同领域至关重要。
曲率均匀的特殊几何结构，如 Einstein 流形和常截面曲率空间，代表了在现代物理学中至关重要的高度对称解。

引言

我们如何能在没有外部参考点的情况下，描述一个空间的内在形状或物理学的基本定律？答案在于一个强大的数学框架：流形上的张量语言。这种语言使我们能够纯粹从局部视角来定义和测量距离、角度和曲率等几何性质。本文是这一重要主题的概念性指南，旨在将抽象数学与其深刻的物理含义联系起来。首先，在“原理与机制”一节中，我们将揭示张量的本质，探索至关重要的 Riemann 曲率张量及其分解为 Ricci 张量和 Weyl 张量，并理解这些对象如何量化曲率的本质。随后，“应用与跨学科联系”一节将揭示这一框架惊人的普遍性，展示它如何构成广义相对论的基石，为材料科学和粒子物理学提供洞见，甚至构建了统计信息的抽象世界。让我们从探索使这种语言如此强大的基本原理开始。

原理与机制

想象你是一只生活在广阔起伏表面上的、极度聪明的小虫子。你无法看到你所处世界的整体形状，不知道它是一个球面、一个马鞍面，还是一个延伸至无穷远的平面。你所能做的，只是在你紧邻的周围进行测量。你该如何弄清楚你所在宇宙的几何形状呢？这正是微分几何的核心问题，而答案就在张量的语言之中。

张量：局域测量的机器

张量本质上是在我们所处的表面（或更一般地说，在流形上）某一点进行操作的机器。它是一个定义明确的程序，接收局部信息——特别是我们称为切向量的方向——并输出一个数字。例如，一个名为度规张量的简单张量，记作 $g$ ，它接收两个向量并给出一个数字，告诉我们它们之间的“点积”，从而揭示它们的长度和它们之间的夹角。它是局部测量距离和角度的基本工具。

现在，如果我们有两个不同的流形，比如说你的世界 $M$ 和一个朋友的世界 $N$ ，并且有一个映射 $F: M \to N$ 告诉你如何从你的世界中的一个点到达你朋友世界中的一个点。你可能想从你朋友的世界里拿一个测量工具——一个张量——并在你自己的世界里使用。这个操作被称为拉回。这是一种将张量场从 $N$ 系统地“翻译”回 $M$ 的方法。其定义非常简洁：要在你的世界 $M$ 中用拉回的张量 $(F^*T)$ 测量一些向量 $w$ ，你首先使用映射 $F$ 将你的向量“前推”到你朋友的世界中，然后用他们原来的张量 $T$ 对这些前推的向量进行操作。

这个过程有一个非常清晰和合乎逻辑的结论。假设你朋友的张量是“零张量”——一个无论你输入什么向量都输出零的无用机器。如果你把这个张量拉回到你的世界，你会得到什么？你当然会得到你世界中的零张量！无论映射 $F$ 多么复杂，如果原始机器总是输出零，那么新的复合机器也总是会输出零。这看似微不足道，但它向我们保证了拉回是一个合理的、保持结构的操作。它不会无中生有。

Riemann 张量：曲率的剖析

我们这场秀的主角是 Riemann 曲率张量， $R_{abcd}$ 。这个看起来令人生畏的对象是小虫子能用来探测曲率的终极工具。它的任务是量化当你试图将一个向量沿着一个微小的闭合回路移动，同时保持它与自身“平行”时会发生什么。在一个平坦的世界里，向量会以完全相同的方向返回。在一个弯曲的世界里，它回来时会略有旋转。Riemann 张量就是那台精确告诉你它旋转了多少以及以何种方式旋转的机器。

乍一看，这个张量似乎复杂得可怕。在一个 $n$ 维世界里，它有 $n^4$ 个分量！一个四维时空似乎在每一点都需要 $4^4=256$ 个数字来描述其曲率。但自然界很少如此混乱。Riemann 张量拥有一种深刻而优美的内部结构，一组对称性极大地减少了其独立分量的数量。它：

在其前两个指标上是反对称的（ $R_{abcd} = -R_{bacd}$ ）。
在其后两个指标上是反对称的（ $R_{abcd} = -R_{abdc}$ ）。
当你交换前一对指标和后一对指标时是对称的（ $R_{abcd} = R_{cdab}$ ）。
它满足一个称为第一 Bianchi 恒等式的循环关系（ $R_{abcd} + R_{acdb} + R_{adbc} = 0$ ）。

这些不仅仅是随意的数学规则；它们是对曲率本质的基本约束。通过仔细计算在施加所有这些对称性后还剩下多少分量，人们得出了一个惊人简洁的公式，用于计算 $n$ 维空间中 Riemann 张量的独立分量数量： $\text{分量数量} = \frac{n^2(n^2-1)}{12}$ 让我们看看这告诉我们什么。在一维（ $n=1$ ）中，有 0 个分量。一条线不可能有内蕴曲率。在二维（ $n=2$ ）中，我们得到 $\frac{2^2(2^2-1)}{12} = 1$ 。一个面上某点曲率的所有信息都包含在一个单一的数字里！这个数字就是著名的Gauss 曲率。在三维中，我们得到 6 个分量，而在广义相对论的四维时空中，我们得到 20 个。这个数字 20 代表了引力场在一点的真实自由度。

解构曲率：Ricci、Weyl 和形状的意义

一个有 20 个分量的对象仍然很难处理。下一步，物理学和数学中的经典策略，是将其分解为更简单、更具物理意义的部分。我们通过以不同方式“缩并”或平均 Riemann 张量来做到这一点。

Ricci 张量：体积的曲率

我们可以提取的第一个也是最重要的部分是 Ricci 张量， $R_{ab}$ 。我们通过缩并 Riemann 张量的一个指标来得到它。你可以把它看作是对所有可能方向的一种特定平均。虽然完整的 Riemann 张量描述了向量如何旋转，但 Ricci 张量有一个更直观的意义：它测量一小球自由下落粒子的体积如何随时间变化。正的 Ricci 曲率意味着球体开始收缩，好像被聚焦一样。负的 Ricci 曲率意味着它开始膨胀。

这种分解的力量在低维空间中变得清晰。在二维空间中，曲率只有一个分量，Ricci 张量包含了所有信息。其关系非常直接：Ricci 张量就是 Gauss 曲率 $K$ 乘以度规张量， $R_{ij} = K g_{ij}$ 。这告诉我们，在一个面上，“体积”（面积）曲率与总曲率成正比。

根据其从 Riemann 张量的构造方式，Ricci 张量是一个对称张量： $R_{ij} = R_{ji}$ 。在大多数维度中，这是 Bianchi 恒等式的一个非平凡推论。但在一个维度中，原因则更加有趣和深刻。一维空间中的任何二阶张量都只有一个分量， $T_{11}$ 。对称性条件 $T_{11} = T_{11}$ 总是成立的！所以，Ricci 张量在一维中当然是对称的——它不可能是别的样子。这是一个绝佳的例子，说明了退一步思考维度的意义，可以使一个复杂的性质显得完全显而易见。

Weyl 张量：形状的曲率

如果 Ricci 张量描述了体积的变化，那么还剩下什么呢？Riemann 张量的剩余部分被称为 Weyl 张量。它是完全“无迹”的部分。它描述了一个粒子球如何在形状上被扭曲——在一个方向上被拉伸，在另一个方向上被挤压，就像月球引起的海洋潮汐一样——同时保持其体积不变。Weyl 张量负责引力的潮汐力。

这些张量的各种对称性不仅仅是抽象的分类；它们是正交的性质。具有一种对称性的张量与具有相反对称性的张量是“垂直”的。想象一下，试图描述一个类似 Riemann 张量的张量，它由于某种原因由一个对称部分 $g_{ij}$ 和一个反对称部分 $F_{kl}$ 构成。由于 Riemann 张量在其前两个指标上必须是反对称的，而你的构建块 $g_{ij}$ 是对称的，你就产生了一个不可调和的矛盾。你的张量在有效 Riemann 张量空间上的投影就是零。它没有“类似 Riemann”的部分，因此它的 Weyl 分量也必须为零。这种基于对称性对张量进行清晰分离是整个领域的基石。

特殊几何：均匀的世界

物理学和数学中一些最重要的空间是那些曲率在某种程度上是均匀的空间。

Einstein 流形是一个 Ricci 曲率在所有方向上都相同的空间。这意味着 Ricci 张量尽可能地简单：它只是度规的一个常数倍， $R_{ab} = \lambda g_{ab}$ 。用我们分解的语言来说，这等同于说Ricci 张量的无迹部分为零。我们之前看到的二维情况（ $R_{ij} = K g_{ij}$ ）表明，任何二维流形都是 Einstein 流形！

这些流形是 Einstein 广义相对论中的明星。当我们构造Einstein 张量 $G_{\mu\nu} = R_{\mu\nu} - \frac{1}{2} R g_{\mu\nu}$ （著名的方程 $G_{\mu\nu} = 8\pi G T_{\mu\nu}$ 的几何侧）时，我们发现在一个四维 Einstein 流形上，它也变得与度规成比例： $G_{\mu\nu} = -\Lambda g_{\mu\nu}$ 。这些代表了带有宇宙学常数的真空时空——没有物质但充满了均匀能量密度的宇宙，导致它们在各处和各个方向上以相同的方式膨胀或收缩。

一个更严格、更纯粹的条件是常截面曲率。这意味着你在任何一点可以切出的任何二维平面的 Gauss 曲率都是同一个常数 $K$ 。这些是可能的最对称的空间：球面（常正曲率）、双曲空间（常负曲率）和欧几里得空间（零曲率）。如此强的均匀性条件意味着该流形也必须是 Einstein 流形，并具有一个非常特定的 Einstein 常数 $\lambda = (n-1)K$ 。然而，反过来不成立。一个 Einstein 流形具有均匀的 Ricci 曲率，但其 Weyl 张量仍然可以非常不为零，这意味着它的形状可以在不同方向上以不同方式被扭曲。

曲率的局域性

最后，至关重要的是要记住，曲率是一个局域属性。我们的小虫子可以在不知道其世界整体形状的情况下测量它。要理解这一点，一个强有力的方法是考虑泛覆叠空间。想象一个圆柱体。你可以把它展开成一个无限的平面。这个平面就是圆柱体的泛覆叠空间。现在，如果你通过从圆柱体“拉回”距离来定义平面上的距离，你就创建了一个在局部上与圆柱体完全相同的新空间。圆柱体上的一个小片与平面上的一个小片是完全等距的——几何上完全相同。

因为曲率是从这些局部性质计算出来的，所以覆叠空间上的 Ricci 张量将与原始流形在相应点上的 Ricci 张量完全相同。圆柱体是平的（曲率为零），它的覆叠空间——平面——也是平的。球面具有正曲率，它本身就是自己的泛覆叠空间。环面（甜甜圈的表面），可以是平的，其覆叠空间是平面。这个深刻的思想将局部性质（几何、曲率）与全局性质（拓扑、连通性）分离开来。曲率告诉你脚下织物的伸展和弯曲，而不是那块织物是被缝成一个球体、一个甜甜圈，还是一根无限长的管子。然而，在数学最深刻的成果之一——Gauss-Bonnet 定理中——结果表明，如果你把整个流形上的所有局部曲率加起来，得到的结果是一个只依赖于其全局拓扑的数字，比如它有多少个洞。归根结底，局部几何还是知道全局形状的。

应用与跨学科联系

所以，我们花了一些时间学习一种新语言的规则——张量和流形的语言。我们学习了测量距离的度规，告诉我们如何比较向量的联络，以及描述空间本身形状的曲率张量。这可能感觉像是一种相当抽象的练习，一场数学家用指标和符号玩的游戏。但惊人的事实是，这不仅仅是一场游戏。这种语言，以其完整而辉煌的细节，似乎正是宇宙用来书写其定律的语法。

现在我们已经有了一些熟练度，让我们开始一段旅程。我们将走出教室，看看这种语言在哪里被使用。我们会发现，它揭示了时空结构中、最基本粒子行为中、钢梁拉伸中，甚至在信息与概率的抽象世界中的秘密。这是一段揭示科学深刻而常常令人惊讶的统一性的旅程。

时空的织物：广义相对论

微分几何最著名的应用当然是 Einstein 的广义相对论。在这里，流形的概念不仅仅是一个抽象概念；它就是时空。而度规张量也不仅仅是测量间隔的工具；它就是引力场。物质和能量告诉时空如何弯曲，而时空的曲率告诉物质和能量如何运动。这场宇宙对话是用张量的语言写成的。

Ricci 张量，我们已经看到它是完整 Riemann 曲率张量的一种“平均”，扮演着主角。它捕捉了一小球测试粒子在运动时体积变化的方式，而 Einstein 发现这种变化直接由能动量张量所描述的物质和能量含量决定。在有物质存在的情况下作为 Einstein 方程解的时空通常并不简单。

但是在真空中，远离任何恒星或行星的地方呢？人们可能会猜测几何形状必须是平坦的。但事实并非如此！真空的 Einstein 方程 $R_{\mu\nu}=0$ 并不意味着全部曲率都为零。这告诉我们，引力在某种意义上可以没有源而存在，靠自身在空间中传播。即使在真空中也能“自由”存在的那部分曲率，是由另一个张量，即Weyl 张量捕获的。这个张量描述了作用在物体上的潮汐力——拉伸和挤压——并且它是携带引力波穿越宇宙的那部分曲率。

一些特殊的时空，称为Einstein 流形，其 Ricci 张量在各处都与度规成正比： $R_{\mu\nu} = \lambda g_{\mu\nu}$ 。这些是几何学中的贵族——高度对称和均匀。它们代表了物理学中的基本解，比如最大对称的 de Sitter（正 $\lambda$ ）或 anti-de Sitter（负 $\lambda$ ）宇宙，这些是宇宙学和弦理论中的基础模型。

物质的内部运作：从固体到粒子

有人可能会认为弯曲空间是天文学家的专属领域。但同样的数学工具对于理解我们地球上的物质也是必不可少的，从宏观的材料世界到量子的粒子领域。

想象一下拉伸一块橡胶。物理学家或工程师想要一种精确的方法来描述这种形变。这种变化由一个张量，即形变梯度 F 来捕捉。我们可以将其分解为一个旋转部分和一个纯“拉伸”部分，即右拉伸张量 U。但我们如何定义应变，一个在没有形变时应为零，并且对于连续形变应能很好地相加的量度？一个极其优雅的答案来自于将张量空间本身视为一个流形。Hencky 应变被定义为张量对数，E = log U。这个看似抽象的定义具有深刻的物理依据，并为分析现代材料科学和工程中至关重要的大形变提供了稳健的方法。

现在，让我们缩小到粒子物理学的世界。许多物理理论具有对称性，但有时系统的基态——真空——并不共享支配它的定律的完全对称性。这被称为自发对称性破缺。想象一支铅笔完美地立在笔尖上；定律是围绕垂直轴对称的，但任何真实世界的状态都会让铅笔向某个特定方向倒下，从而打破对称性。这种系统的低能激发，表现为称为 Goldstone 玻色子的粒子，并不能自由地移动到任何地方。它们的场被约束在可能的真空态流形上。

令人惊讶的是，这些粒子的动力学——它们如何相互作用和散射——是由这个真空流形的几何形状决定的。在一些与标准模型之外的物理学相关的理论中，一个群 $SO(5)$ 对其子群 $SO(4)$ 的对称性破缺模式意味着 Goldstone 玻色子生活在陪集空间 $SO(5)/SO(4)$ 上，这在几何上与一个四维球面 $S^4$ 完全相同。这个球面的曲率，我们可以用我们的张量工具计算出来，直接转化为粒子之间的相互作用强度。

这种联系甚至更深。在量子场论中，一个理论的“常数”，比如耦合强度，并非真正的常数；它们随着我们探测系统的能量标度而变化。这种演化被称为重整化群 (RG) 流。对于一类称为非线性 sigma 模型的理论，其中场是到目标流形 $M$ 的映射，“耦合常数”不过是 $M$ 的度规张量 $G_{IJ}$ 。单圈 RG 流方程惊人地简洁而深刻：度规的变化与 Ricci 张量成正比， $\beta_{IJ} \propto R_{IJ}$ 。这意味着理论流向 Ricci 张量为零的几何结构——流向 Ricci 平坦的 Einstein 流形！一个物理理论的不动点对应于特殊的几何结构。

我们构建的世界的几何

物理学家和数学家经常用更简单的部分构建复杂的空间，就像孩子用乐高积木一样。最简单的方法是取流形积。例如，一个圆柱体是一条直线和一个圆的积， $\mathbb{R} \times S^1$ 。我们能对这样一个复合世界的几何说些什么呢？

一个美妙而简单的规则出现了：积流形的标量曲率就是其组成部分标量曲率的总和， $R = R^{(1)} + R^{(2)}$ 。我们可以通过考虑一个简化的“圆柱形”宇宙，模型化为平坦时间方向和二维球面的乘积， $M = \mathbb{R} \times S^2$ 来看到这一点。这个空间的 Ricci 张量只在球面的“方向”上非零，反映了所有曲率都来自球面部分的事实。

这种简单的构造具有深远的意义。在 1920 年代，Kaluza 和 Klein 设想我们的四维时空本身可能是一个积流形，形式为 $M_4 \times K$ ，其中 $K$ 是一个微小的、紧致的流形，也许是一个圆，卷曲得如此之小以至于我们无法看到它。在这种图景中，我们在四维空间中感知的电磁力实际上只是额外维度几何的一种表现。利用额外维度的几何来解释自然界力的思想仍然是现代物理学，特别是弦理论中的一个驱动力。

如果我们希望我们的积空间是一个 Einstein 流形，一个具有均匀 Ricci 曲率的空间，会发生什么？对于两个球面的积， $S^2 \times S^2$ ，这只有在两个球面具有完全相同的半径时才可能。这说明了一个普遍原则：要达到 Einstein 空间的高度对称性，其构建块本身必须经过精细的调整。

信息的形状

到目前为止，我们的流形都是物理空间。但这些思想最令人费解的应用可能是在一个看似完全不相关的领域：统计学。这是信息几何的领域。

考虑一个简单的统计模型，比如描述可能带有偏见的硬币投掷结果的伯努利分布，由正面朝上的概率 $p$ 参数化。所有可能的伯努利分布的集合（对于所有在 0 和 1 之间的 $p$ ）形成一个一维流形。我们可以问： $p=0.5$ 和 $p=0.51$ 的分布之间的“距离”是多少？一个自然的方法是通过它们在统计上可区分的程度来衡量。这种距离的概念由分布流形上的一个度规张量捕获，称为Fisher 信息度规。

这个统计流形的几何形状告诉我们关于统计推断的性质。流形的曲率与估计量的性能有关。甚至更奇异的对象，如三次的Amari-Chentsov 张量，也具有统计意义，量化了我们应该如何进行预测的不对称性。谁会想到关于掷硬币的讨论会把我们引向用于描述黑洞的相同几何工具呢？这表明几何不仅关乎物理空间，还关乎信息本身的结构。

演化的景观

旅程并未在此结束。我们一直将流形视为静态的背景。但现代数学中最强大的思想之一是，几何本身可以是动态和演化的。我们可以写下张量场的演化方程，最著名的是热方程。人们可以定义一个作用于任何类型张量场的联络拉普拉斯算子 $\nabla^*\nabla$ ，并研究流 $\partial_t T = - \nabla^*\nabla T$ 。这个流具有非凡的性质；它能瞬间平滑任何粗糙的初始张量场，寻求一个更均匀的状态。

这个线性方程是理解更复杂的非线性几何流的基础，比如 Ricci 流，Grigori Perelman 曾用它来证明 Poincaré 猜想。在这些理论中，流形的度规本身会演化，就好像它是一种在其自身内部曲率作用下流动和变形的物质。

从钢的拉伸到量子场的舞蹈，从宇宙的形状到概率的景观，流形上的张量语言提供了一个深刻、统一而优美的框架。这是对 Eugene Wigner 所说的“数学在自然科学中不可思议的有效性”的壮观证明，一种语言，让我们能够阅读自然界的许多不同书籍，并欣喜地发现，它们都是同一个故事的不同章节。