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

本論文は、$D+1$ 次元における vielbein 変数を用いた一般相対性理論のハミルトニアン定式化の自己完結的な導出を提示し、拘束条件代数を確立し、それを計量定式化と関連付け、$\mathrm{SO}(D)$ 共変的な枠組み内で完全な局所ローレンツ対称性を回復するためのブースト生成子を構築する。

要約

宇宙を巨大で柔軟な布だと想像してください。長年、物理学者はこの布を「計量」と呼ばれる単一の滑らかな地図を用いて記述してきました。この地図は、任意の2点間の距離を教えてくれます。しかし、電子（スピノール）のような微小な粒子を取り扱う場合など、この滑らかな地図は硬すぎる場合があります。物理学者は、布を記述する際、各点に置かれた局所的な「定規」と「コンパス」のセットを用いることを好みます。これらは「vielbein（フレーム場）」と呼ばれます。これらを単一の地図ではなく、空間のあらゆる場所で独立して回転したり傾いたりできる、微小で移動可能な座標系の格子と考えるのです。

この論文は、重力の法則（一般相対性理論）を、これらの局所的な定規とコンパスを用いて完全に書き換える方法、特に宇宙を「空間」と「時間」に分割する（「D+1 分割」）方法に関する詳細な取扱説明書です。

以下に、著者が行ったことを簡単な比喩を用いて解説します。

1. 設定：ケーキを切る

重力が時間とともにどのように進化するかを研究するには、4 次元時空というケーキを 3 次元の層に切り分ける必要があります（パンの loaf をスライスするようなものです）。

• 計量アプローチ: 伝統的に、物理学者はケーキを切り分け、各スライスの形状を測定します。
• Vielbein アプローチ: 著者らはケーキを切り分けるだけでなく、各スライス上の局所的な定規の向きも追跡します。彼らは、スライスの「形状」をこれらの定規の言語へと翻訳する方法を示します。

2. 定規を切る 2 つの方法

著者らは、これらの局所的な定規を整理する 2 つの異なる方法を探索しました。これは、回転するコマを 2 つの異なる角度から見るようなものです。

• アプローチ A: 「完全なスピン」の視点（ローレンツ共変）
  定規が 4 次元空間（時間を含む）のあらゆる方向に回転したり傾いたりできると想像してください。著者らは、あらゆる方向に回転させる能力を維持しつつ、これらの定規がどのように移動するかを記述する規則を導き出しました。彼らは、「ゲームの規則（拘束条件）」を特定しました。それは次のようなものです。「定規を任意に回転させることはできない。その運動は空間の形状と結びついている」というものです。

  • 結果: 彼らは宇宙のエネルギーと運動量を記述する一連の方程式を見つけました。これにより、定規を回転させても物理が同じままであることが保証されます。

• アプローチ B: 「平坦な床」の視点（SO(D) 共変）
  定規を各時間スライスの床に真っ直ぐ立たせ、垂直軸の周りを回転させること（傾くことのできない回転するコマ）のみを許可すると想像してください。これは「時間ゲージ」と呼ばれます。

  • 問題: 真っ直ぐ立たせることで、自然に傾き（ブースト）を記述する能力を失ってしまいます。これは、車がバンクしたカーブで傾くことも無視して、前進の仕方だけで車を記述するようなものです。
  • 解決策: 著者らは、たとえこの「平坦な床」の視点から始めても、数学的に「傾く」能力を再構築できることを示しました。彼らは特別な「ブースト生成子」を構築しました。これは、定規を 4 次元の傾きに戻すためのレバーのように働く数学的な道具です。これにより、宇宙の完全な対称性が回復されます。

3. 「ゴースト」の規則（拘束条件）

このシステムでは、定規のすべての部分が自由に動くわけではありません。一部の部分は「ゴースト」です。これらは独自の独立したエネルギーを持たず、他の部分と結びついています。

• 著者らはこれらの「ゴースト」の規則（主要な拘束条件）を特定しました。彼らは、これらの規則が時計の歯車のようなものであることを示しました。ある歯車（回転）が動けば、時計が機能し続けるために他の歯車も特定の方法で動く必要があります。
• 彼らは、これらの規則すべてが「第一級代数」の中で完璧に調和していることを証明しました。平易な言葉で言えば、これは規則が矛盾していないことを意味します。一つの規則に従えば、偶然にも別の規則を破ることはありません。システムは安定しており、自己矛盾がありません。

4. 「並進」の問題

この論文の重要な洞察の一つは、「並進」に関するものです。

• 宇宙全体を左に移動させよう（空間的なシフト）とすると、「平坦な床」の定規は単に移動するだけでなく、新しい位置に合わせて整列するためにわずかに回転する必要があります。
• 著者らは、数学における標準的な「移動」ボタンに「回転」の指示が欠落していたことを示しました。彼らは、「空間を移動するときは、局所的な定規も回転させる」という項を追加することでこれを修正しました。これにより、移動する視点から見た宇宙の姿を数学が正しく記述することが保証されます。

5. 全体像

この論文は、本質的に以下のことを厳密に証明したものです。

1. 滑らかな地図（計量）を使用するのと同様に、局所的な定規（vielbein）を用いて重力を記述できる。
2. 宇宙の進化を研究するために、時間と空間を切り離すことができる。
3. 定規が回転のみ（傾きはしない）という単純化された視点から始めても、数学的にそれらを「凍結解除」して、4 次元空間で完全に傾き回転する能力を回復できる。
4. これらの運動を支配するすべての数学的規則は、矛盾なく調和している。

要約すると: 著者らは、重力を記述する複雑で抽象的な方法（グローバルな地図の代わりに局所的なフレームを使用するもの）を取り、それを時間と空間に分割し、これらの局所的なフレームがどのように移動、回転、傾くかについての完全で自己矛盾のない規則書を書き上げました。彼らは、空間を移動することが必要な回転を自動的に含むように、数学のいくつかの欠落した「指示」を修正しました。また、単純化された 3 次元の視点から始めても、完全な 4 次元対称性を回復できることを証明しました。

技術概要

問題の提示
本論文は、$d = D + 1$ 次元における、vielbein（フレーム場）変数を用いた一般相対性理論のハミルトニアン定式化の、自己完結かつ詳細な導出の必要性に焦点を当てている。計量に基づく Arnowitt-Deser-Misner (ADM) 分解は確立されているが、vielbein 定式化はスピノルとの結合に不可欠であり、独特の幾何学的洞察を提供する。著者らは、既存の文献における vielbein $D+1$ 分解（Schwinger、Kibble、Isham、Deser などの業績など）は、往々にして簡潔すぎて不完全であったり、中間段階の詳細が欠けていたり、誤りを含まれたりしていることを指摘している。さらに、拘束条件代数や対称性生成子に関する技術的な微妙な点は、 largely 見過ごされてきた。具体的な課題は、非動的なローレンツ自由度に関連する主要拘束条件を正しく特定し、内部ローレンツ指標を含む完全な位相空間に対して正しく作用する生成子を構築することにある。

手法
著者らは、教育的な明瞭さを保つために微分形式やフレーム束の言語を避け、素直な場の理論の視点を採用している。単位は $c = \hbar = 1$、符号規則は mostly-plus として、$d = D + 1$ 次元で作業を行う。手法は以下の 2 つの並行した経路で進行する。

1. ローレンツ共変定式化: アインシュタイン・ヒルベルト作用から出発し、時空を $D+1$ 葉状分解する。著者らは、vielbein $e^A_\mu$ をラプス $N$、シフト $N^i$、空間的 vielbein $E^A_i$、および空間超曲面に直交する単位時間的ローレンツベクトル $X^A$ に分解する。共役運動量 $\pi^i_A$ を導出し、局所ローレンツ不変性に起因する主要拘束条件を特定する。ハミルトニアンを構築し、Dirac-Bergmann アルゴリズムを用いて拘束条件代数を計算する。
2. SO(D) 共変定式化: 著者らは、内部ローレンツ空間を時間方向と空間的 SO(D) セクターに分割する「時間ゲージ」分解を導入する。これは、下三角行列（ADM）の vielbein にローレンツ・ブーストを作用させることで一般の vielbein をパラメータ化することを含む。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$ は、vielbein 上の純粋な微分同相写像を生成しないことを示す。内部指標を正しく変換するためには、ローレンツ生成子に比例する項 $R_i = \tilde{R}_i + {}^{(D)}\omega_{iAB}J^{AB}$ によって修正する必要がある。
• ブースト生成子の構築: SO(D) 定式化において、著者らは位相空間を拡張することで、ブースト生成子 $K[\vec{\zeta}]$ を明示的に構築する。完全な SO(1, D) 対称性を回復するには、ブースト生成子が Thomas-Wigner 回転に依存する項を含み、ブースト下での空間的 vielbein の変換を正しく行う必要があることを実証する。
• 代数の閉鎖: 本論文は、回転生成子とブースト生成子の代数が主要拘束条件面上でのみ、2 つのブーストの交換子が回転を生成するという条件で弱く閉じることを検証する。

意義と主張
著者らは、vielbein ハミルトニアン定式化に関する一般的な混乱の源を明確にする、詳細な段階的な導出を提供することで、既存の文献のギャップを埋めると主張している。具体的には、以下の点を強調している。

• 完全な vielbein 位相空間に対して正しく作用するために、空間微分同相写像生成子をローレンツ回転項を含むように修正する必要性。
• 内部自由度の正しい変換のために異なる拘束条件代表が必要となる理由を明確にする、計量定式化と vielbein 定式化の明示的な関係。
• 他の業績ではしばしば省略されたり不完全に扱われたりしているステップである、ブースト生成子の構築を通じた SO(D) 定式化における完全な局所ローレンツ対称性の回復。

本論文は、導出された第一類代数が、質量ゼロのスピン 2 場に対する物理的位相空間の期待される $d(d-3)$ 次元に対応し、一般相対性理論との vielbein 定式化の整合性を確認していると結論付けている。この研究は、新しい物理的応用や実験的提案を導入することなく、形式論に明瞭さをもたらすことを意図した教育的かつ技術的な参照資料として提示されている。