[論文レビュー] Poisson Structure Induced Field Theories and Models of 1+1 Dimensional Gravity

Thomas Strobl|ArXiv.org|Nov 28, 2000

Black Holes and Theoretical Physics参考文献 14被引用数 3

ひとこと要約

本稿では、時空からポアソン多様体への写像を含む1次形式作用を用いて、1+1次元重力モデルの統一的枠組みを提示する。ジャッキーフ・タイベルボイム、カタナエフ＝ヴォロジーチ、およびストリングに由来するモデルを含む多様な重力作用は、すべて同一の1次形式作用から導出可能である。主な貢献は、これらの理論を生成する普遍的なポアソン構造の同定であり、これにより一貫性のある量子化手順が可能となり、ゲージ固定とディラック可観測量を用いて量子重力における時間の問題が解決される。

ABSTRACT

PhD thesis TU-Vienna, May 1994. Table of Contents: 1. Introduction, 2. Poisson Structure Induced Two Dimensional Field Theories, 3. Models of Gravity in 1+1 Dimensions

研究の動機と目的

• ジャッキーフ・タイベルボイム、カタナエフ＝ヴォロジーチ、およびストリングに由来する作用を含む、多様な1+1次元重力モデルを、ポアソン多様体に基づく統一的な幾何的枠組みで統合すること。
• これらの重力モデルの力学を生成する、ターゲット空間における根本的なポアソン構造の同定。
• これらのモデルをポアソン構造誘導型場理論として定式化することで、一貫性のある量子化手順の開発。
• 微分同相不変性を破るゲージ条件を導入することで、量子重力における「時間の問題」を解決すること。物理的整合性を保ちながら。
• 量子波動関数がフーリエ変換および演算子順序付けを用いて構成可能であり、時間に依存するハミルトニアンと物理的状態が得られることの示唆。

提案手法

• 一般化された1次形式作用を定式化：∫(Aᵢ ∧ dXⁱ + ½Pⁱʲ(X)Aᵢ ∧ Aⱼ)，ここでXⁱは時空からポアソンテンソルPを持つポアソン多様体への写像。
• 線形ポアソン構造はヤン・ミルズ型理論を、二次的構造はカタナエフ＝ヴォロジーチモデルを含む既知の2次元重力作用を再現することを示す。
• 微分同相不変性を破り、物理的時間発展を定義するために、X₊ = 1、X₃ = τ、および∂e₁⁻ = 0などのゲージ条件を導入。
• 制約のフーリエ変換を用いてB極化における量子波動関数を導出し、ディラック可観測量と整合することを保証。
• フーリエ変換から導かれる演算子順序付けを適用し、量子異常を回避するとともに、制約の非自明な核を保証。
• 有効ハミルトニアンによる時間発展を構成し、−(γ²/2)∫trE²dx¹ − β²π²τ²/p₂²などの項を含むことで、量子理論における時間依存性を示す。

実験結果

リサーチクエスチョン

• RQ1 多様な1+1次元重力モデルは、ポアソン構造に基づく統一的幾何的枠組みで統合可能か？
• RQ2 ターゲット空間におけるポアソンテンソルは、異なる2次元重力作用の力学をどのように決定するか？
• RQ3 ゲージ固定は、量子重力における時間の問題をどのように解決するか？
• RQ4 制約と微分同相不変性の下で、一貫性のある量子波動関数はどのように構成可能か？
• RQ5 量子ハミルトニアンの構造は何か？また、固定背景が存在しない状況で時間に依存する時間発展はどのように実現されるか？

主な発見

• 一般作用∫(Aᵢ ∧ dXⁱ + ½Pⁱʲ(X)Aᵢ ∧ Aⱼ)は、ポアソンテンソルPの異なる選択により、ジャッキーフ・タイベルボイムやカタナエフ＝ヴォロジーチモデルを含む多数の2次元重力モデルを統一する。
• 制約のフーリエ変換により導かれる量子波動関数Ψ ∝ exp[i/ℏ ∫(E₃∂φ + ...)]は、すべての量子制約と整合し、非自明な物理的状態を生成する。
• 波動関数に作用する有効ハミルトニアンには、β²π²τ²/p₂²に比例する時間依存項が含まれており、量子理論における明示的な時間発展を示唆する。
• フーリエ変換から導かれる演算子順序付けは、制約代数を保存し、量子異常を回避する。これに対して、他の順序付けは核が空になってしまう。
• ゲージ条件∂e₁⁻ = 0はB極化において演算子的条件として実装可能であるが、∮e₁⁻ = constはこの表現では不適切である。
• β → 0の極限では、円筒面上の標準ヤン・ミルズ理論が回復され、重力がない状況における既知の結果と整合性が確認される。