Teleparallel gravity from the principal bundle viewpoint

以下是论文《从主丛视角看 Teleparallel 引力》的解释，已用通俗语言和类比进行翻译。

大局观：这篇论文是关于什么的？

想象一下，你正在尝试描述引力是如何工作的。大多数物理学家使用广义相对论（GR），它将引力描述为橡胶片（时空）的弯曲。

然而，有一个“表亲”理论叫做广义相对论的 Teleparallel 等价理论（TEGR）。它将引力描述为不是弯曲，而是扭转。在这个理论中，时空是平坦的（像一个刚性网格），但它内部具有“扭转”或“挠率”。在数学上，TEGR 预测的结果与广义相对论完全相同，但在底层机制上看起来非常不同。

这篇论文的作者提出了一个具体问题：我们能否使用描述其他力（如电力或磁力）的相同数学语言来描述这种“扭转”的引力（TEGR）？

在物理学中，我们通常将力描述为“规范理论”。把规范理论想象成一种游戏，其中的规则可以在局部发生变化而不改变结果。例如，在电磁学中，你可以以特定方式改变空间中每一点的电压，而物理规律保持不变。作者想知道：TEGR 的游戏规则是什么？它的“规范群”（允许的规则变化集合）是什么？

工具箱：主丛与“绝对”对象

为了回答这个问题，作者使用了一种名为主丛理论的复杂数学框架（由一位名叫 Trautman 的数学家开发）。

地图与指南针的类比：
想象你正在探索一片广阔未知的领土（时空）。

领土： 这就是你的时空流形。
地图： 这就是“主丛”。它是一张覆盖领土的巨大、多层地图。
指南针： 在这张地图的每一点上，都有一个指南针（一个“标架”）。这个指南针告诉你哪边是北、东、上等。
联络： 这是一本规则书，告诉你当你从一点走到另一点时，如何旋转你的指南针。

在这个框架中，作者寻找**“绝对元素”**。

绝对元素： 这些是理论中固定、不可改变且没有自身规则（方程）的对象。它们是戏剧发生的“舞台”。
动力学变量： 这些是移动和变化的演员。它们有自己的规则（运动方程）。

在标准电磁学中，“舞台”是一个平坦、空旷的空间（闵可夫斯基空间）。在引力中，“舞台”通常是规范 1-形式。你可以把它想象成一个普遍、不可改变的通用方向网格，无论引力场如何表现，它都无处不在。

问题：“扭转”的联络

作者试图将 TEGR 纳入这个框架。他们在处理Teleparallel 联络（关于如何旋转指南针的规则书）时遇到了一个具体的麻烦。

在广义相对论中，联络是动力学的。它根据周围的质量和能量而变化。它有自己的方程。
在 TEGR 中，联络很特殊。联络的方程是“平凡的”。这意味着任何Teleparallel 联络都自动满足规则。它不会“挣扎”着成为某种特定的形状；它只是存在。

这引发了一个两难困境：联络是一个演员（动力学的），还是舞台的一部分（绝对的）？

探讨的三种情景

作者测试了处理这种联络的三种不同方法，以查看哪一种讲得通。

1. “仅平移”的想法（失败的尝试）

一些物理学家曾试图说 TEGR 是平移（将物体从点 A 移动到点 B）的规范理论。

类比： 想象试图仅用“向前移动”这条规则来描述一场舞蹈。
结果： 作者表明这行不通。你无法仅用平移规则来描述引力的“扭转”（挠率）。这就像试图仅用二维阴影来描述三维雕塑。数学之所以崩溃，是因为“平移”对象和“标架”对象在本质上具有不同的形状。

2. “庞加莱”的想法（成功的途径）

作者建议使用庞加莱群。这个群既包括平移（移动），也包括洛伦兹变换（旋转/倾斜）。

类比： 不再只是说“向前移动”，规则允许你“向前移动”并且“转动头部”。
结果： 这非常有效。它符合 TEGR 的几何结构。结构群是庞加莱群，它是所有可能线性变换的更大群的一个子群。

3. “动力学与绝对”的联络（核心争论）

既然他们有了正确的群（庞加莱群），他们必须决定联络是演员还是舞台的一部分。

情景 A：联络是演员（动力学的）
- 如果我们把联络视为一个会变化的变量（即使它的方程是平凡的），那么剩下的唯一“绝对”事物就是通用网格（规范 1-形式）。
- 结果： 规范群（允许的规则变化集合）变成了全微分同胚群。
- 翻译： 这意味着该理论等价于广义相对论。“规则”是你可以随意拉伸、扭曲和弯曲整张地图，只要保持通用网格完整即可。
情景 B：联络是舞台的一部分（绝对的）
- 如果我们把联络视为舞台的一个固定、不可改变的部分（因为它没有方程），那么我们就有了两个绝对事物：网格和联络。
- 结果： 这会导致混乱。作者表明，如果你固定了联络，允许的规则变化（规范群）就会变成一个微小的、未定义的子群。这就变得无法确切地说出规则是什么。这就像试图玩一个游戏，棋盘是固定的，但你不确定哪些棋子被允许移动。
- 结论： 这条路径导致困惑和不确定性。
情景 C：联络是非动力学的，但不是绝对的
- 这是一个中间地带。联络没有自己的方程（它不是演员），但它也不是舞台的固定部分。
- 结果： 我们回到了情景 A。规范群是全微分同胚群。

最终裁决

论文得出结论：TEGR 确实是一种经典规范理论，但有一个特定的转折：

结构群： 它使用庞加莱群（旋转 + 平移），而不仅仅是平移。
规范群： 对称群是全时空微分同胚群。这与广义相对论的对称群相同。
“平移”的误解： 作者认为，虽然 TEGR 常被描述为“局部平移”理论，但这是一种误解。在丛的严谨数学语言中，“局部平移”实际上只是微分同胚（扭曲地图）。庞加莱群中的“平移”部分实际上只是丛构建方式的数学产物，而不是你可以隔离的物理力。

简单来说：
作者成功地将“扭转”引力理论（TEGR）映射到了用于其他力的标准数学框架上。他们证明，为了让数学成立，必须将该理论视为具有与广义相对论相同的基本对称性（你可以自由地扭曲地图）。他们还驳斥了 TEGR 仅关于“移动”（平移）的观点；它实际上关乎地图的完整几何结构，包括旋转和扭曲。

关键要点是：Teleparallel 引力在数学上等价于广义相对论，而试图将其强行塞入“仅平移”的框框中，造成的问题比解决的问题更多。

技术摘要：从主丛视角看 Teleparallel 引力

问题陈述
本文探讨了关于 Teleparallel 广义相对论等价理论（TEGR）能否在主纤维丛的严格数学框架内被一致地表述为经典规范理论的持续争论。虽然规范理论范式通过主丛上的杨 - 米尔斯理论成功统一了非引力相互作用（电磁力、弱力和强力），但将该框架应用于引力仍存在争议。具体而言，作者利用 Trautman 关于经典规范理论的定义来考察 TEGR 的规范结构，该定义依赖于识别“绝对元素”（即没有场方程的几何对象）以确定规范群。

TEGR 中存在一个核心张力：与连接是动力学变量的标准引力理论不同，TEGR 中度规 Teleparallel 连接的场方程是平凡的（恒成立）。这引发了一个问题：连接应被视为动力学变量还是绝对元素？这一选择如何影响对该理论规范群和结构群的识别？此外，本文还审视了 TEGR 的“仅平移”方法，该方法试图将平移规范场与正交余标架等同起来，作者认为这一建议在几何上是不一致的。

方法论
作者采用了主丛和连接的几何框架，主要遵循 Trautman 确立的方法。方法论包括：

定义框架：利用 Trautman 的定义，即经典规范理论由时空上的主 $G$ -丛、一组动力学变量（包括连接）以及绝对元素组成。规范群被定义为保持这些绝对元素的丛自同构群。
比较分析：对比杨 - 米尔斯理论（定义在具有平凡丛的闵可夫斯基空间上）与引力理论（定义在具有 soldered 标架丛的洛伦兹流形上）的几何结构。作者强调了规范 1-形式 $\theta$ 作为引力理论中绝对元素的作用。
评估结构群：本文测试了 TEGR 结构群的两种候选者：
- 平移群 $T(4)$ （即“仅平移”方法）。
- 庞加莱群 $P = SO(1,3) \ltimes T(4)$ （或等价地，正交标架丛上的洛伦兹群 $SO(1,3)$）。
分析动力学状态：作者分析了关于度规 Teleparallel 连接（ $\hat{\omega}_{mT}$ $\overset{ω}{^}_{m T}$ ）的两种情形：
- 情形 A：将连接视为动力学变量（尽管其场方程是平凡的）。
- 情形 B：将连接视为非动力学变量，随后确定其是否应被归类为绝对元素。

主要贡献与结果

驳斥“仅平移”方法：
作者证明，将 TEGR 表述为具有结构群 $T(4)$ 的规范理论在几何上是不一致的。他们指出，平移连接 $\omega_T$ 定义在一个 8 维主丛上，而 TEGR 必不可少的挠率张量定义在 10 维正交标架丛 $OM $上。因此，平移规范场不能与正交余标架场$ e_a$ 等同，因为前者对于特定截面可以为零，而后者（作为标架）不能为零。这使得在该特定丛语境下将平移等同于广义坐标变换的识别无效。
验证庞加莱/洛伦兹方法：
本文论证，TEGR 最好使用以庞加莱群为结构群的仿射丛，或等价地，使用以洛伦兹群 $SO(1,3) $为结构群的正交标架丛$ OM$ 来表述。通过丛同态的使用，作者表明仿射丛上的仿射连接分解为标架丛上的线性连接和规范 1-形式。这种表述与 TEGR 的几何结构完全一致。
解决规范群歧义：
本文根据对连接的处理方式解决了关于 TEGR 规范群的歧义：
- 如果连接是动力学的：唯一的绝对元素是规范 1-形式 $\theta$ 。规范群是时空微分同胚群 $Diff(M)$，纯规范群是平凡的。在此观点下，TEGR 符合 Trautman 框架，作为一个经典规范理论。
- 如果连接是非动力学的且被视为绝对元素：要求同时保持 $\theta$ 和连接 $\omega_{mT}$ 将规范群限制为 $Diff(M)$ 的一个子群。然而，由于度规 Teleparallel 连接并非由场方程唯一确定，该子群无法被明确确定，且可能不唯一。这导致规范结构中存在有问题的不确定性。
- 如果连接是非动力学的但不是绝对元素：作者提出对 Trautman 框架的修改，即连接是非动力学的，但被排除在绝对元素集合之外。在此情形下，唯一的绝对元素仍然是 $\theta$ ，从而恢复了完整的微分同胚群 $Diff(M)$ 作为规范群。

意义与主张
本文主张，TEGR 可以被一致地理解为引力的经典规范理论，但前提是必须在以洛伦兹群（或庞加莱群）为结构群的正交标架丛上进行表述。作者断言，“仅平移”解释在几何上是错误的，因为无法在适当的丛上将平移连接与余标架等同。

至关重要的是，本文得出结论：TEGR 的规范结构与广义相对论等价：规范群是时空微分同胚群（$Diff(M)$），不存在非平凡的“内部”规范对称性（纯规范群是平凡的）。在此框架下，TEGR 与广义相对论的区别不在于规范群，而在于所使用的具体几何变量（挠率与曲率）以及连接的动力学状态。

作者强调，常见的“物理学家”关于局域化全局对称性（特别是平移）的观点并不能直接映射到引力的主丛形式体系。相反，在此语境下的“局域平移”实际上是微分同胚。本文指出，平移的作用很微妙；虽然庞加莱群包含平移，但在正交标架丛上的几何实现依赖于规范 1-形式 $\theta$ ，该形式产生挠率，但在丛的纤维结构中独立于平移对称性而存在。

这项工作旨在澄清 TEGR 的数学基础，解决结构群与规范群之间的术语混淆，并为将 TEGR 视为等效于广义相对论的规范理论提供严格的几何理由，前提是连接不被视为限制规范群至不确定子群的绝对元素。