[論文レビュー] Model Categories and Quantum Gravity

Louis Crane|ArXiv.org|Oct 24, 2008

Quantum Mechanics and Applications参考文献 6被引用数 3

ひとこと要約

本稿では、モデルカテゴリーフレームワーク内でのサリヴァン代数による量子重力のモデル化を提案し、可観測のレンズ効果データに基づく関係的・離散的近似によって時空を置き換える。このアプローチにより、微分的グレーディングホップ代数およびループ空間ホロノミーに基づく状態和による量子重力の構築に適した、有限で計算可能な構造としての幾何的実現が得られる。

ABSTRACT

We propose a mathematically concrete way of modelling the suggestion that in quantum gravity the spacetime disappears, replacing it with a discrete approximation to the causal path space described as an object in a model category. One of the versions of our models appears as a thickening of spacetime, which we interpret as a formulation of relational geometry. Avenues toward constructing an actual quantum theory of gravity on our models are given a preliminary exploration.

研究の動機と目的

• 量子重力における有限な情報と、古典的時空の無限の自由度の間の矛盾を解消すること。
• 観測者にアクセス可能なデータ（例：レンズ効果画像）のみを符号化する数学的に厳密で計算可能な時空のモデルを構築すること。
• 絶対的時空点を避ける関係幾何に基づく量子重力理論を構築すること。
• サリヴァン代数の幾何的実現上での状態和モデルを、有限な量子重力理論の候補として探ること。
• 物質場および重力ダイナミクスが、ホップ代数の表現およびループ空間構造からどのように生じるかを調査すること。

提案手法

• Quillenおよびサリヴァンモデルを用いて、時空領域 R の位相を有理ホモトピー論によって表現する。
• 特に、レンズ効果による光源の複数の像を、ループ空間 Ω(R) の有理コhomology類としてモデル化する。
• 「ブラックホール」と「銀河」のリー代数モデルから微分的グレーディングホップ代数を構築し、量子幾何的相関を符号化する。
• 縮小バー構成および幾何的実現を適用して、時空の厚化され、有限次元的な近似を生成する。
• 幾何的実現上での圏的状態和を探索し、単体が局所幾何ではなく関係的データを担うものとして扱う。
• ホロノミーの変動を用いてループ空間上にアインシュタイン＝ヒルベルト作用を定式化し、位相的状態和技法を用いて経路積分を近似する。

実験結果

リサーチクエスチョン

• RQ1 有界な時空領域の因果的経路空間は、モデルカテゴリの対象として、観測者にアクセス可能な情報のみを捉える形でモデル化可能か？
• RQ2 レンズ効果データ（光源の複数の像）は、時空領域の関係的幾何を完全に符号化可能か？
• RQ3 サリヴァン代数の幾何的実現は、量子レベルで時空の物理的に意味のある厚化を提供するか？
• RQ4 サリヴァン代数の幾何的実現上に、有限で位相的な状態和モデルを構築可能か、それが量子重力理論を記述するか？
• RQ5 物質場は、最小ホップ代数モデルの表現またはリー代数構造の量子変形からどのように生じるか？

主な発見

• 光源の複数の像が、時空領域の観測可能な状態を完全に記述するというレンズ仮説は、物理的に妥当であり、ループ空間の有理コhomology類を用いた数学的実現が可能である。
• サリヴァン代数の幾何的実現は、自然に時空の厚化を生じさせ、古典的時空の関係的・量子レベルの近似として解釈可能である。
• このモデルは、「ブラックホール」と「銀河」間の高次元の量子幾何的相関を複数の括弧を用いて符号化する、微分的グレーディングホップ代数構造をもたらす。
• サリヴァンモデルの構造により、部分複体を跨いで一貫性を持ってグループ化される形式の族が可能であり、幾何的実現上での状態和モデルの有限性に潜在的根拠を示唆する。
• 幾何的実現に大きなゲージ自由度が存在することは、有限な状態和モデルの構築可能性を支持する。
• ホップ代数モデルの表現論は、ループ群の表現を近似し、表現のテンソルカテゴリを用いて物質場を記述する道筋を提供する。