Lecture Notes in Loop Quantum Gravity. LN4: Hamiltonian framework

本論文は、相対論的場の方程式におけるハミルトン形式のための共変的な枠組みを確立し、それをニュートン力学、相対論的力学、クライン・ゴルドン理論、電磁気学、およびアシュテカル・バルベロ・イミリ・重力学に適用して、ハミルトンの主汎関数（Hamilton principal functional）の性質を導出するものである。

要約

全体像：物理学の領域をマッピングする

複雑な機械がどのように動くかを説明しようとしている場面を想像してください。あなたには主に2つの方法があります。

1. 「どのように（How）」（ラグランジアン）： 歯車、バネ、レバーを見て、それらが互いにどのように押し合い、引き合っているかのルールを書き出します。これにより、運動方程式が得られます。
2. 「どこに（Where）」（ハミルトニアン）： 動いている部品を見る代わりに、その機械が取り得るすべての状態の「マップ」を見ます。「もし機械がこの特定の状態にあるなら、次はどこへ向かうのか？」と問いかけるのです。

この論文は、重力や電磁気学のような相対論的場（フィールド）理論のための、より優れた、より普遍的な「マップ」（ハミルトニアンの枠組み）を構築することについて述べています。著者らは、「どのように（ラグランジアン）」はルールを書き出すのには優れているが、「どこに（ハミルトニアン）」は宇宙の実際の解（ソリューション）や物理的状態を理解するのに適していると主張しています。

問題点：「無限」の機械と壊れた対称性

単純な力学（揺れる振り子など）では、数学は明快です。位置と速度を知っていれば、次に何が起こるかを正確に把握できます。

しかし、場の方程式（重力や光など）では、2つの理由から事態が複雑になります。

1. それは「無限」である： 振り子を記述する数個の数値とは異なり、場の方程式では、空間のあらゆる一点における場の値が存在します。これは、ある一つの都市の天候だけでなく、大気のあらゆる原子における天候を同時に記述しようとするようなものです。
2. それは「退化（デジェネレート）」している（混乱している）： 重力や電磁気学においては、ルールがあまりに左右対称であるため、現在を見るだけでは未来を必ずしも特定できません。これは、監督が「カメラが左に動いても右に動いても、シーンは同じである」と言う映画のようなものです。このため、一部の方程式は事象の「進化」を教えるのではなく、そもそも何が起こることを許容するかを制限する**制約（コンストレイント）**として機能します。

著者らはこう言います。「これらの複雑な場の方程式を、単純な力学で使う整った箱に無理やり押し込めるのはやめましょう。対称性を尊重し、これらの『混乱した』方程式を自然に扱う新しい枠組みを構築しましょう。」

道具： 「ポアンカレ・カルタン」形式

これを解決するために、著者らはポアンカレ・カルタン形式と呼ばれる数学的ツールを使用します。

比喩： あなたが山登りをしていると想像してください。

• ラグランジアンは、登山道の地図と、足元のすぐ前にある道の傾斜を見ているようなものです。
• ポアンカレ・カルタン形式は、単に北を指すだけでなく、ハイキングにおけるエネルギーと運動量のすべてを単一の幾何学的なオブジェクトへと凝縮した、特別なコンパスのようなものです。

この論文は、この「コンパス」が、「ラグランジアン」の側面（登山道）から見ても、「ハミルトニアン」の側面（あらゆる可能な状態のマップ）から見ても、完璧に機能することを示しています。これは、両方の視点が実は同じ物理的現実を記述していることを証明する架け橋となります。

「泡」と境界

この論文における重要な概念の一つは、相対論的な宇宙において「解」をどのように定義するかです。

比喩： あなたが宇宙空間に浮かぶ、巨大で透明な石鹸の泡の中にいると想像してください。

• 泡の中では物理現象が起きています。
• 著者らは、泡の内部で何が起きているかを知るために、内部のあらゆる詳細を知る必要はないと主張しています。あなたはただ、泡の表面にある石鹸膜の状態を知るだけでよいのです。

もし、この泡の**境界（境界条件）**における場の値（重力や電場など）を知っており、それらの値が特定の「境界方程式」を満たしているならば、数学的に泡の内部の全容を再構成することができます。

• 「量子前」の状態： 著者らは、この境界における場の構成を「量子前構成（pre-quantum configuration）」と呼んでいます。これは、量子力学を始める前の、物理的状態を定義する生のデータです。

具体例の検証

著者らは、自分たちの新しい枠組みが機能することを証明するために、4つの異なる「機械」でテストを行っています。

1. ニュートン力学（単純な振り子）：

   • 結果： 彼らの高度な新しいマップは、私たちがすでに知っている古く単純なマップと全く同じように機能します。これは彼らの手法が確かなものであることを裏付けています。

2. 相対論的力学（高速の粒子）：

   • 結果： ここでは「時間」のパラメータが厄介です。粒子の経路は、物理学を変えることなく引き伸ばされたり縮められたりします。著者らは、この「再パラメータ化」を自然に扱い、物理的一貫性を保つための制約を特定する方法を示しています。

3. クライン・ゴルドン場（スカラー波）：

   • 結果： これは単純な波動方程式です。枠組みはここでスムーズに機能し、「境界データ」が波の挙動を完璧に予測することを示しています。

4. 電磁気学（光と電荷）：

   • 結果： ここからが非常に興味深い部分です。電磁気学には「ゲージ対称性」（物理的な場を変えずに電位をシフトできる性質）があります。著者らは、境界を見るだけで、フレームワークが自然にガウスの法則の制約（電荷が保存されるというルール）を生み出すことを示しています。

5. アシュテカル・バロ・イミリ（ABI）重力（ループ量子重力モデル）：

   • 結果： これがループ量子重力（LQG）における「重量級」の検証です。著者らは、LQGで使用される特定の重力のバージョンに彼らの枠組みを適用しました。彼らは、有名なガウス制約と運動量制約を、境界の幾何学から直接導き出すことに成功しました。
   • なぜ重要か： これは、ループ量子重力の「ルール（制約）」が、単なる恣意的な追加ではなく、系の境界を見ることから生じる自然な幾何学的帰結であることを証明しています。

結論： 「物理的状態」とは何か？

この論文は、哲学的かつ実践的な結論で締めくくられています。

この枠組みにおいて、物理的状態とは、ある一時点における宇宙全体の「スナップショット」ではありません。代わりに、物理的状態は、ある領域の境界における場の値によって定義されます。

• 古典物理学において： もし境界を知っていれば、その内部のパズルを解くことができます。
• 量子物理学において： 著者らは、理論を「量子化（量子力学へ変換）」する場合、これらの境界構成を量子化すべきであると示唆しています。

一文での要約

この論文は、複雑で対称性を持つ場（重力など）を、ある領域の端におけるルールに焦点を当てることで記述することを可能にする、普遍的な幾何学的「コンパス」（ポアンカレ・カルタン形式）を構築しており、宇宙の「制約」とは、境界が成立するために必要な条件に過ぎないことを証明しています。

技術概要

技術要約：ループ量子重力講義ノート、LN4：ハミルトン形式

問題提起
本論文は、相対論的な場の方程式、特に退化的な動力学や大きな対称性を持つもの（一般相対性理論やループ量子重力など）に対して、共変なハミルトン形式を確立するという課題に取り組んでいる。ホルスト定式化による一般相対論のハミルトン・ヤコビ設定については前回のノート（LN3）で議論されたが、相対論的理論のハミルトン形式を定義するための一般的な共変的手法については、依然として議論の対象となっている。

著者らは、場の方程式におけるハミルトン形式における困難の主な要因として、以下の2点を挙げている：

1. 無限次元性： 物理的状態は離散的な数値ではなく、境界場（boundary fields）によってパラメータ化されるため、ハミルトン主汎関数は関数ではなく汎関数となる。
2. 退化性と対称性： 一般相対論や電磁気学のような理論におけるラグランジアンは、しばしば微分（曲率）の反対称部分に依存するため、標準的なルジャンドル変換が不可能となる。さらに、ゲージ対称性は「過剰決定」をもたらし、初期条件を特定の部分集合（制約）に制限しない限り、コーシー問題が不適切（ill-posed）となる。

目的は、異なる枠組みを比較し、共変性を維持しつつ、特定の関数空間に依存することなく、理論の解空間（位相空間）を特徴付けるために、基礎的な幾何学的観点からハミルトン形式をレビューすることである。

手法
著者らは、関数解析を避け、有限次元多様体（束）間の写像を用いることで、変分法に対する幾ック的な束論的アプローチを採用している。

1. 幾何学的設定：

   • 場の方程式は、構成束 $[C \to M]$ 上にモデル化される。
   • 動力学は、部分微分（場の微分）を考慮するジェット延長 $J^kC$ 上で定義される。
   • 変分原理は、グローバルな束写像、具体的にはオイラー＝ラグランジュ作用素 $E$ と、第1変分公式から導かれる境界項 $F$ を用いて定式化される。

2. ルジャンドル写像と位相束：

   • ルジャンドル写像 $F: J^1C \to P(C)$ は、ジェット束から位相束 $P(C) = V^*(C) \otimes \Lambda^{m-1}(M)$ への写像として定義され、そこには運動量が存在する。
   • 通常の力学とは異なり、この写像は逆写像を持つ必要はない。もしこれが一定のランクを持つならば、その像 $\Lambda \subset P(C)$ が主要制約（primary constraint）の部分多様体を定義する。

3. マルチシンプレクティック幾何学：

   • 著者らは、標準的なリウヴィル $m$ 形式 $\Theta$ と、閉じた非退化な $(m+1)$ 形式 $\omega = d\Theta$ を備えたマルチシンプレクティック束 $Z(C)$ を導入する。
   • ラグランジアン $L$ を通じて、ジェット束上のポアンカレ・カルタン形式 $\Theta_L$ を定義する。この形式は、写像 $\Phi_L$ を介した $Z(C)$ 上の標準的なリウヴィル形式のプルバックであることが示される。

4. ハミルトン定式化：

   • 動力学は、ハミルトニアン切断 $\tilde{\sigma}$ を用いて、制約部分多様体 $\Lambda$ 上で再定式化される。
   • ヘルムホルツ・ラグランジアン $L_H$ が $J^1(\Lambda)$ 上に構成され、これにより新しいラグランジアンのオイラー＝ラグランジュ方程式としてハミルトンの方程式を回収することが可能となる。これにより、退化が存在する場合でも、ラグランジュ記述とハミルトン記述の等価性が確立される。

5. ケーススタディ：
   制約と対称性の扱いを示すために、この枠組みを特定の理論に適用する：

   • ニュートン力学： ルジャンドル変換が可逆である正則なケース。位相空間は $R \times T^*Q$ である。
   • 相対論的な点粒子： 再パラメータ化不変性を持つ退化ケース。ハミルトニアンは恒等的にゼロとなり（$H \equiv 0$）、動力学は「エネルギー」パラメータを制約なしに残す。これはゲージ対称性を反映している。
   • クライン・ゴルドン場： 主要制約を持たない正則な場の理論。コーシー問題は適切である。
   • 電磁気学： 運動量が反対称な電場強度のみに依存する退化理論。ハミルトニアン汎関数は $A_0$ に依存せず、ガウスの制約（$D_a E^a = 0$）が境界条件として導かれる。
   • アシュテカール・バロ・イミジ（ABI）重力： 第一階形式のホルスト作用に対する枠組みの適用。作用の変分は、ポアンカレ・カルタン形式の境界項から直接、ガウス制約、微分同相写像（運動量）制約、およびハミルトン制約を導出する。

主要な貢献と結果

• 共変的ハミルトン形式： 本論文は、一般共変性を保持しつつ、場の理論のためのハミルトン形式に対する厳密な幾何学的定義を提供している。位相空間をマルチシンプレクティック束の部分多様体として定義することで、共変性を崩すことなく退化的な動力学を許容している。
• 定式化の統一： ポアンカレ・カルタン形式を利用することで、著者らはラグランジュ記述とハミルトン記述が同一の動力学の等価な定式化であることを示している。ハミルトン主汎関数は、ポアンカレ・カルタン形式の境界積分から直接導出される。
• 制約の導出： この手法は、ハミルトン主汎関数が定常であるための必要条件として、制約方程式（ガウス、運動量、およびハミルトン制約）を正常に導出する。これらは具体的には、ポアンカレ・カルタン形式の変分における境界項から生じる。
• 退化の処理： 本枠組みは、ルジャンドル変換の非可逆性を明示的に扱い、位相空間をルジャンドル写像の像（$\Lambda$）に制限することで、これを主要制約面として扱う。

意義と主張
著者らは、この分析は新しい物理的制約を導入したり、議論されている理論の基本方程式を変更したりするものではないと控えめに主張している（これはLN3と一致する）。その意義は以下の点にある：

1. 解空間の明確化： 物理的状態を、進化（履歴）を一意に決定する境界方程式を満たす境界場として、明確な幾何学的特性を与える。
2. 量子化スキーム： 量子論的な観点からは、この結果は「前量子構成（境界方程式に従う境界場）」を量子化の対象とする量子化スキームを支持している。
3. 比較ツール： この枠組みは、ADM的なアプローチで見られるような一般共変性の事前破壊を行うことなく、異なるハミルトン形式とその構造的特性を比較するための共変的な基準を提供する。
4. 今後の方向性： 論文は、これらの境界制約方程式と保存則（電流）との間の直接的な関連を、変分レベルで確立するためのさらなる調査が必要であることを示唆しており、それはおそらくビアンキ恒等式のような構造を境界方程式へと一般化することになる。

本論文は、ループ量子重力（LQG）において、この枠組みが接続（connections）とスピンネットワークの量子化に進む前の、古典的な位相空間の理解を強固にするものであると結論付けている。