[論文レビュー] State sum models for quantum gravity

John W. Barrett|ArXiv.org|Oct 12, 2000

Noncommutative and Quantum Gravity Theories参考文献 35被引用数 14

ひとこと要約

本稿は、三角形分割された4次元多様体、群の表現、スピンネットワークを用いて状態和を定義する組合せ的枠組みとして、量子重力のための状態和モデルを提案する。これらのモデルが位相的不変量を生じることを示し、BF理論やレッジ計算と関連づけることができる。半古典的極限ではアインシュタイン作用が再現されるが、面積に基づく変数と4次元量子四面体における自由度の減少のため、幾何的解釈はまだ明確でない。

ABSTRACT

This paper reviews the construction of quantum field theory on a 4-dimensional spacetime by combinatorial methods, and discusses the recent developments in the direction of a combinatorial construction of quantum gravity.

研究の動機と目的

• 三角形分割された4次元多様体上で状態和モデルを用いた組合せ的量子重力のアプローチを開発すること。
• 群またはホップ代数に基づく位相的状態和モデルが、どのように量子重力を記述できるかを調査すること。
• 半古典的極限における状態和モデル、BF理論、レッジ計算の関係を調査すること。
• スピンフォームモデルにおける三角形分割の不変性の課題と、物理的状態を定義する制約の役割に取り組むこと。
• 量子4単体の幾何的解釈と、4次元量子四面体における自由度の減少がもたらす意味を検討すること。

提案手法

• n単体に状態を割り当て、境界写像∂iを介して接続される単体的集合を用いて状態和モデルを構築する。
• 各単体σに対して重みw(s(σ))を定義し、分割関数Z(M)を重みの積の配置の和として計算する。
• スピンネットワーク図を用いて、テンソル積の表現状態の内積とR行列による順序付けを組み合わせて4単体の振幅を計算する。
• 群の表現を余随伴軌道と同一視し、三角形上のB場の積分をカシミール不変量に対応させることで、モデルをBF理論に関連付ける。
• 四面体と4単体にそれぞれ運動項とポテンシャル項に対応させる行列モデルを定式化し、特異な4次元多様体上でのフェニマン的図を生成する。
• 特異な4次元多様体上の状態和配置を双対2複体上のスピンフォームに再定式化し、正準量子重力と接続可能にする。

実験結果

リサーチクエスチョン

• RQ1 三角形分割された4次元多様体上で、物理的分割関数をもつ量子重力のための状態和モデルをどのように構築できるか。
• RQ2 半古典的極限において、状態和モデルとBF理論の関係は何か。
• RQ3 なぜ4次元量子四面体は6つではなく4つの自由度しか持たないのか。これは量子幾何学にどのような意味を持つのか。
• RQ4 スピンフォームモデルにおける三角形分割の不変性はどのように達成できるのか。行列モデルは三角形分割の和にどのように寄与するのか。
• RQ5 制約付き状態和モデルは、より大きな位相的枠組みに埋め込めるか。物質場が理論を完成させる役割を果たすか。

主な発見

• SU(2)またはq変形ホップ代数に基づく状態和モデルは、有限な不変量を生成し、Dijkgraaf-Witten構成を高次元に一般化する。
• 4単体の振幅はS³上のスピンネットワーク評価により計算され、埋め込みに依存し、非自明なリンク構造を区別する。
• 4単体の重みの半古典的極限は、アインシュタイン＝ヒルベルト作用を再現し、古典的重力と整合性を確認する。
• 4次元量子四面体は、4次元量子幾何学における不確定性原理からの制約により、6つではなく4つの自由度しか持たない。
• 位相的モデルでは分割関数は内部の三角形分割に依存しないが、非位相的状況では依然として三角形分割依存性が課題である。
• 行列モデルは三角形分割の和を扱うフレームワークを提供し、制約を符号化する。配置は双対2複体上のスピンフォーム状態と等価である。