Reconstructing the Goldberg-Palatini Action from Noether Identities

技術要約：ネーター恒等式からのゴールドバーグ・パラティー作用の再構成

問題提起
本論文は、相互作用する質量ゼロのスピン2場が、第一形式（first-order formalism）において、その一貫性のみからどの程度まで重力力学を復元できるかという問題に取り組んでいる。「自己結合（self-coupling）」アプローチ（Feynman, Desaser）は、場を自身のエネルギー・運動量テンソルに反復的に結合させることで一般相対性理論を再構成することに成功しているが、この手法はエネルギー・運動量テンソルの選択に関する曖昧さを導入し、計量定式化における無限展開の処理を必要とする。著者らは、エネルギー・運動量テンソルの明示的な構築を避け、指定された多項式相互作用のクラス内で作用を一意に決定するために、ゲージ対称性（微分同相写像不変性）によって課される制約を、ネーターの第二定理を通じて直接検証する手法を求めている。

手法
著者らは標準的な計算を逆転させた戦略を採用している。すなわち、既知の作用からネーター恒等式を導出するのではなく、規定された場の変換に関連する恒等式を用いて、未知の相互作用係数を決定する。

1. 変数と変換： 独立な場は以下のように定義される：

   • $\phi_{\mu\nu}$：反変計量密度の対称な摂動。
   • $G^\lambda_{\mu\nu}$：トレース調整されたアフィン接続（パラティー変数）であり、独立な場として扱われる。
   • 無限小微分同相写像の下での変換則は、場に依存しない部分 $\delta^{(0)}$ と、場に線形な部分 $\kappa \delta^{(1)}$ に分割される。

2. 次元解析とセクターの制限：

   • 作用は $\phi$ と $G$ の局所的な多項式であり、重力結合 $\kappa$ が唯一の次元を持つ定数であると仮定される。
   • 座標の膨張（coordinate dilatation, $x^\mu \to (1-\kappa\epsilon)x^\mu$）という特定の微分同相写像が適用される。場のスケーリング重みと微分の解析を通じて、次元 $d > 2$ において、このような多項式作用は高々3次の項で終了することを著者らは証明している。
   • 決定的なことに、この解析は、唯一許容される3次の項が $\phi GG$ 型の微分を含まない頂点であることを示している。$\phi\phi\phi$ や $\phi\phi G$ といった項は、膨張対称性によって排除される。

3. テンソル基底展開：

   • 著者らは、最大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個の自由係数が単一の全体的な規格化定数へと減少する。解は、指定された多項式作用のクラス内において一意的である。
• ゴールドバーグ・パラティーの復元： 得られた作用は、ゴールドバーグ・パラティー作用（第一形式のアインシュタイン・ヒルベルト作用と同等）として特定される：
  $$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}$）が消失することを強制する。これは、計量摂動の動力学が、独立したフィエルツ・パウリ運動項ではなく、接続との結合によって完全に担われていることを意味する。
• 計量定式化への還元： 接続 $G$ に関する運動方程式は代数的なものであるため、これを正確に消去することができる。これにより、計量密度の関数として完全な二次のアインシュタイン・ヒルベルト作用が復元され、これには無限のグラビトン頂点が含まれる。この展開の二次および三次項は、全微分項を除いて、既存の文献（Capper, Leibbrandt, および Ramón Medrano）の結果と一致することが示されている。

意義と主張
本論文は、自己結合アプローチに伴う曖昧さ（具体的にはエネルギー・運動量テンソルの選択）なしに、第一形式の重力作用を直接導出できることを主張している。その意義は以下の点にある：

1. 直接的な対称性の強制： 構成は、規定された変換のオフシェル・ネーター恒等式のみに基づいており、幾何学的な入力は変換則の中に保持されている。
2. 有限の決定： 第一形式の変数を用いることで、非線形作用を再構成する問題は、テンソル係数に関する有限の線形制約の問題へと還元され、計量定式化に特有の無限展開を回避している。
3. 終了の導出： 作用が3次の項で終了することは、仮定ではなく、多項式性と膨張対称性の必然的な帰結として示されている。
4. 範囲と限界： 一意性の結果は、$d \ge 4$ かつ特定の結合冪の割り当てを持つ多項式作用に対して成立する。著者らは、この結果が、微分同相不変性のみによって（例えば、高次微分項や異なる結合割り当てを持つ）あらゆる局所的な重力理論の中からアインシュタイン重力を選択することを主張しているのではないことを明示している。むしろ、定義された多項式クラス内において、ゴールドバーグ・パラティー作用を一意に選択することを主張している。本構成は古典的なものであり、ツリーレベルを超えた量子的な同値性については言及していない。