Reconstructing the Goldberg-Palatini Action from Noether Identities

技术摘要：从诺特定理恒等式重构 Goldberg–Palatini 作用量

问题陈述
本文探讨了仅通过一个相互作用的无质量自旋-2 场的自洽性，在第一阶形式（first-order formalism）下恢复引力动力学的程度。虽然“自耦合”方法（Feynman, Descer）通过将场与其自身的能量-动量张量进行迭代耦合，成功地重构了广义相对论，但该方法在选择能量-动量张量时存在歧义，并且需要在度规表述中处理无限展开。作者寻求一种能够直接通过研究由规范对称性（微分同胚不变性）所施加的约束（通过 Noether 第二定理），从而唯一确定给定多项式相互作用类中作用量的表述方式，并避免显式构建能量-动量张量。

方法论
作者采用了一种逆向的标准计算策略：他们不是从已知的作用量导出诺特定理恒等式，而是利用与预设场变换相关的恒等式，来确定一个局部多项式作用量的未知相互作用系数。

1. 变量与变换： 独立场定义为：

   • $\phi_{\mu\nu}$：反变度规密度的对称扰动。
   • $G^\lambda_{\mu\nu}$：迹调整后的仿射联络（Palatini 变量），被视为独立场。
   • 在无穷小微分同胚下的变换律被预设，分为场无关部分 $\delta^{(0)}$ 和场线性部分 $\kappa \delta^{(1)}$。

2. 量纲分析与扇区限制：

   • 假设作用量是 $\phi$ 和 $G$ 的局部多项式，且引力耦合常数 $\kappa$ 是唯一的有量纲常数。
   • 应用了一种特定的微分同胚，即坐标膨胀（$x^\mu \to (1-\kappa\epsilon)x^\mu$）。通过分析场的标度权重和导数，作者证明了对于维度 $d > 2$，任何此类多项式作用量最多只能终止在三阶。
   • 至关重要的是，这一分析证明了唯一的允许的三阶项是形式为 $\phi GG$ 的无导数顶点。$\phi\phi\phi$ 或 $\phi\phi G$ 项因膨胀对称性而被排除。

3. 张量基底展开：

   • 作者构建了一个高达三阶的通用作用量假设，将相互作用核（$K_{\phi\phi}, K_{\phi G}, K_{GG}, K_{\phi GG}$）展开为由平直度规 $\eta_{\mu\nu}$ 和动量构成的张量基底。
   • 对于 $d \ge 4$，这导致了一个包含 31 个未知系数的系统。

4. 诺特定理恒等式约束：

   • 逐阶对场施加诺特定理恒等式（离壳）。这些恒等式联系了二次项和三次项的核。
   • 恒等式被分解到特定的场扇区（$\phi\phi, \phi G, GG, \phi GG$），并投影到张量基底上以生成线性代数方程组。
   • 通过符号运算求解该系统，逐步消除系数。

主要结果

• 作用量的唯一性： 施加诺特定理恒等式将 31 个自由系数减少到了仅剩一个整体归一化常数。在指定的这类多项式作用量中，解是唯一的。
• 恢复 Goldberg–Palatini 作用量： 所得作用量被识别为 Goldberg–Palatini 作用量（等价于第一阶 Einstein-Hilbert 作用量），写作：
  $$S = \int d^dx \left[ -G^\lambda_{\mu\nu}\partial_\lambda\phi^{\mu\nu} + (\eta + \kappa\phi)^{\mu\nu} \left( -\text{tr}(G_\mu G_\nu) + \frac{1}{d-1}g_\mu g_\nu \right) \right]$$
• $\phi\phi$ 核的消失： 恒等式强制要求纯度规二次项核（$K_{\phi\phi}$）为零。这意味着度规扰动的动力学完全由其与联络的耦合来承载，而非由独立的 Fierz-Pauli 动能项承载。
• 度规表述的简化： 由于关于联络 $G$ 的运动方程是代数的，因此可以精确地消去 $G$。这恢复了关于度规密度的完整的二阶 Einstein-Hilbert 作用量，包括无限个引力子顶点。通过展示其二次项和三次项的展开与文献中（Capper, Leibbrandt, 以及 Ramón Medrano）的结果在全导数意义下一致。

意义与主张
本文声称提供了一种直接推导第一阶引力作用量的方法，避免了与自耦合方法相关的歧义（特别是能量-动量张量的选择）。其意义在于：

1. 直接对称性强制： 该构造依赖于预设变换的离壳诺特定理恒等式，将几何输入保持在变换律本身之中。
2. 有限确定性： 通过使用第一阶变量，重构非线性作用量的过程被简化为对张量系数的有限线性约束系统，避免了度规表述中典型的无限展开。
3. 终止性的推导： 作用量终止于三阶被证明是多项式性质和膨胀对称性的必然结果，而非一个假设。
4. 范围与局限性： 唯一性结果对于 $d \ge 4$ 且具有特定耦合幂次分配的多项式作用量成立。作者明确指出，该结果并不主张微分同胚不变性本身在所有局部引力理论（例如具有高阶导数项或不同耦合分配的理论）中选择了爱因斯坦引力，而是证明了在定义的此类多项式类中，它唯一地选择了 Goldberg–Palatini 作用量。该构造是经典的；并未讨论树图层级以上的量子等价性。