Canonical Vielbeins for General Relativity: D + 1 Decomposition and Constraint Analysis

本文在$D+1$维空间中，利用标架变量给出了广义相对论哈密顿表述的自洽推导，确立了约束代数，将其与度规表述相联系，并构造了提升生成元，从而在$\mathrm{SO}(D)$协变框架内恢复了完整的局域洛伦兹对称性。

要点

想象宇宙是一块巨大而柔韧的织物。长期以来，物理学家使用一张单一、平滑的“地图”——即度规——来描述这块织物。这张地图告诉你任意两点之间的距离。然而，有时，特别是在处理像电子（旋量）这样的微小粒子时，这种平滑的地图显得过于僵化。物理学家更倾向于使用一组放置在每一点的局部“尺子”和“罗盘”来描述这块织物。这些被称为** Vielbeins**（或标架场）。不要把它们想象成一张单一的地图，而要想象成由无数微小的、可移动的坐标系组成的网格，这些坐标系可以在空间中的每一点独立地旋转和倾斜。

本文是一份详细的操作手册，指导如何将引力定律（广义相对论）完全用这些局部尺子和罗盘重新表述，特别是将宇宙分解为空间和时间（即"D+1"分解）。

以下是作者所做工作的分解，使用了简单的类比：

1. 设定：切蛋糕

为了研究引力如何随时间演化，你必须将四维时空蛋糕切成三维的层（就像切一条面包）。

• 度规方法：传统上，物理学家切蛋糕并测量每一层的形状。
• Vielbein 方法：作者切蛋糕，同时也追踪每一层上局部尺子的朝向。他们展示了如何将切片的“形状”翻译成这些尺子的语言。

2. 排列尺子的两种方式

作者探索了组织这些局部尺子的两种不同方式，这就像从两个不同的角度观察一个旋转的陀螺：

• 方法 A：“全旋转”视角（洛伦兹协变）
  想象尺子可以在四维空间（包括时间）的任何方向上旋转和倾斜。作者推导出了这些尺子运动的规则，同时保持它们可以在任何方向上旋转的能力。他们确定了“游戏规则”（约束），指出：“你不能随意旋转尺子；它们的运动与空间的形状相关联。”

  • 结果：他们找到了一组方程，描述了宇宙的能量和动量，确保如果你旋转尺子，物理定律保持不变。

• 方法 B：“平地”视角（SO(D) 协变）
  想象你迫使尺子在每一时间切片的“地板”上直立，只允许它们绕垂直轴旋转（就像一个不能倾斜的旋转陀螺）。这被称为“时间规范”。

  • 问题：通过迫使它们直立，你失去了自然描述倾斜（boost）的能力。这就像只通过汽车如何向前行驶来描述它，而忽略了它在倾斜转弯时也会倾斜。
  • 修正：作者表明，即使从这种“平地”视角开始，你也可以在数学上重建“倾斜”能力。他们构建了一个特殊的"boost 生成元”——一种像杠杆一样的数学工具，可以将尺子重新倾斜回四维空间，从而恢复宇宙的全部对称性。

3. “幽灵”规则（约束）

在这个系统中，并非尺子的每一部分都能自由移动。有些部分是“幽灵”——它们没有独立的能量，而是与其他部分绑定。

• 作者确定了这些“幽灵”规则（初级约束）。他们表明，这些规则就像时钟里的齿轮：如果一个齿轮（旋转）移动，其他齿轮必须按特定方式移动，以保持时钟运转。
• 他们证明了所有这些规则在一个“第一类代数”中完美契合。用通俗的话说，这意味着规则是一致的。如果你遵循一条规则，就不会意外破坏另一条。系统是稳定且自洽的。

4. “平移”问题

本文的一个关键见解是关于平移。

• 如果你试图将整个宇宙向左移动（空间平移），“平地”尺子不仅会移动，还必须稍微旋转以保持与新位置对齐。
• 作者表明，数学中标准的“移动”按钮缺少了一个“旋转”指令。他们通过添加一项来修正这一点，该项指出：“当你移动空间时，也要旋转局部尺子。”这确保了数学能正确描述从移动视角看到的宇宙。

5. 大局观

本文本质上是一个严谨的证明，表明：

1. 你可以像使用平滑地图（度规）一样，使用局部尺子（vielbeins）来描述引力。
2. 你可以将时间和空间分开，以研究宇宙如何演化。
3. 即使你从一个简化的视角开始，其中尺子只旋转（不倾斜），你也可以在数学上“解冻”它们，恢复在四维空间中完全倾斜和旋转的能力。
4. 所有支配这些运动的数学规则都相互契合，没有矛盾。

总结：作者采用了一种复杂、抽象的方式来描述引力（使用局部标架而非全局地图），将其切分为时间和空间，并编写了一本完整、自洽的规则手册，说明这些局部标架如何移动、旋转和倾斜。他们修正了数学中缺失的一些“指令”，以确保在空间中移动自动包含必要的旋转，并证明了即使从简化的三维视角开始，你也能恢复完整的四维对称性。

技术摘要

问题陈述
本文旨在针对 $d = D + 1$ 维时空中，利用标架场（vielbein）变量推导广义相对论哈密顿形式的需求，提供一份自洽且详尽的推导。尽管基于度规的阿诺维特 - 德塞 - 米斯纳（ADM）分解已确立，但标架场形式对于与旋量耦合至关重要，并能提供独特的几何见解。作者指出，现有的关于标架场 $D+1$ 分解的文献（例如 Schwinger、Kibble、Isham 和 Deser 的工作）往往过于简略、不完整，或包含缺乏细节甚至错误的中间步骤。此外，关于约束代数和对称性生成元的细微技术细节在很大程度上被忽视了。具体的挑战在于正确识别与非动力学洛伦兹自由度相关的一级约束，并构建能在包含内部洛伦兹指数的完整相空间上正确作用的生成元。

方法论
作者采用直观的场论视角，为避免微分形式和标架丛的语言以保持教学清晰度，特意避开了这些术语。他们在 $d = D + 1$ 维中工作，采用单位制 $c = \hbar = 1$ 及“大多正”号差约定。方法论沿两条并行路径展开：

1. 洛伦兹协变形式：从爱因斯坦 - 希尔伯特作用量出发，作者对时空进行 $D+1$ 维叶状分解。他们将标架场 $e^A_\mu$ 分解为时移 $N$、空移 $N^i$、空间标架场 $E^A_i$ 以及正交于空间超曲面的单位类时洛伦兹矢量 $X^A$。他们推导了共轭动量 $\pi^i_A$，并识别出源于局域洛伦兹不变性的一级约束。随后构建哈密顿量，并利用狄拉克 - 伯格曼（Dirac-Bergmann）算法计算约束代数。
2. **$SO(D)$协变形式**：作者引入“时间规范”分解，将内部洛伦兹空间分裂为一个时间方向和一个空间$SO(D)$ 扇区。这涉及通过作用于下三角（ADM）标架场的洛伦兹提升来参数化一般标架场。他们推导了显式在 $SO(D)$旋转下不变的作用量。关键在于，他们通过将提升参数作为正则变量重新引入，扩展了这一相空间，从而恢复了完整的局域洛伦兹对称性（$SO(1, D)$）。

在整个推导过程中，作者利用莫尔 - 彭罗斯（Moore-Penrose）伪逆来处理因约束而奇异的速度 - 动量关系的反演。他们还显式构建了卡斯塔尼（Castellani）生成元，以确保规范变换不仅作用于空间场，也能正确作用于时移和空移变量。

主要贡献与结果

• 相空间作用量的推导：本文提供了洛伦兹协变和 $SO(D)$ 协变相空间作用量的显式推导。作者证明，虽然这些作用量在约束面上与标准的度规相空间作用量等价，但它们在壳外结构及其对内部洛伦兹自由度的作用上存在差异。
• 约束识别：一级约束 $J^{AB} = \pi^i_{[A}E^B_{i]} = 0$（洛伦兹协变）和 $J^{ab} = \pi^i_{[a}E^b_{i]} = 0$（$SO(D)$协变）被识别为与非动力学洛伦兹/旋转场共轭的动量。二级约束被识别为哈密顿约束$R \approx 0$和动量约束$R_i \approx 0$。
• 约束代数：作者计算了完整的一级约束代数。他们表明该代数弱闭合，重现了局域洛伦兹协变的微分同胚代数。一个关键结果是空间微分同胚生成元 $R_i$ 的显式构建。作者指出，直接从作用量导出的朴素生成元 $\tilde{R}_i$ 无法在标架场上生成纯微分同胚；必须通过一项正比于洛伦兹生成元的项进行修正，即 $R_i = \tilde{R}_i + {}^{(D)}\omega_{iAB}J^{AB}$，才能正确变换内部指标。
• 提升生成元的构建：在 $SO(D)$形式中，作者通过扩展相空间显式构建了提升生成元$K[\vec{\zeta}]$。他们证明，恢复完整的$SO(1, D)$ 对称性要求提升生成元包含一个依赖于托马斯 - 维格纳（Thomas-Wigner）旋转的项，以确保空间标架场在提升下的正确变换。
• 代数闭合：本文验证了旋转和提升生成元的代数弱闭合，其中两个提升的对易子仅在一级约束面上产生旋转。

意义与主张
作者声称，他们的工作通过提供详尽的逐步推导，澄清了关于标架场哈密顿形式常见混淆源，填补了现有文献的空白。具体而言，他们强调：

• 必须修改空间微分同胚生成元以包含洛伦兹旋转项，以便在完整的标架场相空间上正确作用。
• 度规形式与标架场形式之间的显式关系，阐明了为何需要不同的约束代表来实现内部自由度的正确变换。
• 在 $SO(D)$ 形式中通过构建提升生成元恢复完整的局域洛伦兹对称性，这一步骤在其他工作中常被省略或处理得不够完整。

本文得出结论，所推导的一级代数对应于无质量自旋 -2 场物理相空间预期的 $d(d-3)$ 维，证实了标架场形式与广义相对论的一致性。该工作被呈现为一篇教学和技术的参考文献，旨在阐明该形式体系，而不引入新的物理应用或实验提案。