Lecture Notes in Loop Quantum Gravity. LN3: Boundary equations for Ashtekar-Barbero-Immirzi model

技術的要約：Ashtekar-Barbero-Immirziモデルにおける境界方程式

問題提起
本論文は、ローレンツ群 $SL(2, \mathbb{C})$ から回転群 $SU(2)$ への束の簡約化に基づく重力の定式化である、Ashtekar-Barbero-Immirzi (ABI) モデルの正準解析を扱っている。主な目的は、アドホックな定義を課したり、Holstパラメータ（$\gamma$）とImmirziパラメータ（$\beta$）の関係を制限したりすることなく、時空作用から直接、制約方程式（ガウス、運動量、およびハミルトニアン）を導出することである。特定された具体的な課題は、$su(2)$値の1形式$k^i_\mu$とスピン接続の扱いであり、これらは伝統的に、共役対$(A^i_a, E^a_i)$ を定義するために、空間的な葉の上での特定のゲージ固定や正準変換を必要とする。著者らは、これらの関係が、共変的な枠組みの中で、時空の動力学の代数的な帰結として導かれ得ることを示すことを目的としている。

手法
著者らは、空間的なフォリエーション（層状化）への即時のハミルトニアン的枠組みの適用を避け、純粋にラグランジアン的かつ共変的なアプローチを採用している。手法は以下の通りである：

1. 共変的セットアップ： モデルは、スピンフレーム $e$、$SU(2)$接続$A^i$、および$su(2)$値の1形式$k^i$を含む束の簡約$\Sigma \to M$上で定義される。動力学は、曲率$F^i$、フレーム、およびパラメータ$\gamma$と$\beta$に依存する第一階のラグランジアン$L_H$ によって支配される。
2. 適応されたフォリエーション： 発展バブル（evolution bubble）が導入され、空間的なフォリエーション $S_t$ が設定される。場は、このフォリエーションに対して、空間的（接方向）成分と法線成分に分解される。著者らは、ラプスの関数 $N$、シフトベクトル $\beta^a$、および空間的なトライアド $\epsilon^i_a$ によってパラメータ化された適応されたテトラド（四脚）を定義する。
3. 代数的制約： 場の方程式を空間的な葉および法線方向に射影することにより、著者らは代数的な関係式を導出する。決定的なことに、彼らは誘導されたスピン接続の無捩ters（torsion-free）条件によって、$k^i$ の場と接続の法線成分が、独立した動力学的な変数としてではなく、トライアド（およびラプス/シフト）の関数として代数的に解けることを示している。
4. 制約の導出： 残りの射影された場の方程式は、標準的な制約方程式を与える。著者らは、導出の全過程を通じて $\beta$ と $\gamma$ への依存性を明示的に追跡している。
5. ハミルトン・ヤコビ定式化： 量子化スキームを動機付けるために、著者らはこの理論のハミルトン・ヤコビ (HJ) 方程式を導出している。これには、時空領域の境界における作用汎関数の変分を分析し、共役運動量を特定し、接続の汎関数としてのゲージ不変性（微分同相および$SU(2)$不変性）の条件を確立することが含まれる。

主要な貢献と結果

• フレームの関数としての $k^i$ の導出： 本論文は、$su(2)$値の1形式$k^i$（LQGにおいてしばしば補助変数として扱われるか、定義によって固定されるもの）が、場の方程式によって代数的に決定されることを証明している。具体的には、代数的制約によって、$k^i$（および接続の法線成分）が密度の高いトライアド $E^a_i$ の関数として固定される。これにより、$k^i$ をアドホックな定義として課す必要性が排除される。
• パラメータ $\beta$ と $\gamma$ の独立性： 重要な結果として、制約方程式は $\beta \neq \gamma$ である場合でも、Immirziパラメータ $\beta$ にのみ依存することが示された。Holstパラメータ $\gamma$ は作用には現れるが、最終的な制約方程式からは消去される。これは、二つのパラメータの異なる役割を明確にしている。すなわち、$\gamma$ は古典的に等価な作用原理をパラメータ化するものであり、$\beta$ は接続を定義するために用いられる運動学的簡約分割をパラメータ化するものである。
• 共役変数の特定： この解析は、空間的接続 $A^i_a$ と密度の高いトライアド $E^a_i$ が、時空作用から自然に現れる、独立した共役な場のペアを形成することを裏付けている。
• 制約方程式： 論文は、理論に必要な3つの制約セットを明示的に列挙している：
  1. ガウス制約： $D_a E^a_i = 0$ （$SU(2)$ ゲージ不変性を保証する）。
  2. 運動量制約： $F^k_{ab} E^b_k = 0$ （空間的微分同相不変性を保証する）。
  3. ハミルトニアン制約： 曲率 $F$、外積的部分（$k^i$ を通じて表現される）、および宇宙定数 $\Lambda$ を含む複雑な方程式であり、時間の発展を支配する。
• ハミルトン・ヤコビ対応： 著者らは、自己同型（ゲージ変換および微分同相）に対する汎関数 $\Psi[A]$ の不変条件が、制約方程式に直接対応することを示す。これは、古典的な変分原理と、量子理論における物理的状態が制約演算子によって消去されるという要求との間の理論的な架け橋を提供する。

意義と主張
本論文は、ループ量子重力（LQG）で使用される正準変数の厳密で共変的な基礎を提供すると主張している。代数的な関係と制約を時空作用から直接導出することで、著者らは、標準的なLQGの設定が単なる空間スライス上の特定の正準変換の結果ではなく、基礎となる時空の動力学の帰結であることを論じている。

著者らは、彼らのアプローチが、物理的状態をゲージ変換に対する切断（section）の同値類として扱うことを強調しており、これは一般相対性理論における「穴の議論（hole argument）」と一致している。彼らは、この共変的な視点が、スピンネットワークやスピンフォームの定義における、その後の量子化ステップにとって不可欠であると主張している。

論文は、これらの結果に基づく量子化スキームの概説で締めくくられている：

1. $SU(2)$ 接続の汎関数の運動学的ヒルベルト空間を構成する。
2. ガウス制約と運動量制約を課して、ゲージ不変および微分同相不変な状態（スピンネットワークおよびスピンノットへとつながる）を定義する。
3. スピンフォーム（共変的パスインテグラル・アプローチ）を通じてハミルトニアン制約に対処する。

著者らは、数学的枠組みは確立されているものの、物理的な理論には現在のところ実験的検証が欠けていることを控えめに述べている。彼らは、LQGを、「一般に共変な場がどのように量子化されるべきか」という提案として位置づけており、導出された制約の数学的一貫性と、$SU(2)$ 群の性質（特にそのコンパクト性とハイアー測度）に依拠して、量子幾何学のための可分なヒルベルト空間を定義している。