[論文レビュー] Categorical Geometry and the Mathematical Foundations of Quantum General Relativity

Louis Crane|ArXiv.org|Feb 28, 2006

Homotopy and Cohomology in Algebraic Topology参考文献 13被引用数 4

ひとこと要約

本稿は、点集合位相をカテゴリー理論に置き換えることで、量子重力における無限大と基礎的問題を解消する、カテゴリー的かつトポス理論的基盤を提案する。時空をグローテンディーク・サイト上の層のトポスとしてモデル化し、フェ Feynman 的な振幅を高階カテゴリで形式化することで、関係的でバックグラウンド独立な枠組みを提供する。量子的時空はカテゴリカル構造から出現し、グローテンディークの数学的洞察を通じて、量子力学と重力の統一が可能になる可能性がある。

ABSTRACT

We explore the possibility of replacing point set topology by higher category theory and topos theory as the foundation for quantum general relativity. We discuss the BC model and problems of its interpretation, and connect with the construction of causal sites.

研究の動機と目的

• 点集合位相の時空における古典的連続体仮定が引き起こす量子一般相対性理論の基礎的危機を解消すること。
• 滑らかな多様体をカテゴリカルおよびトポス理論的構造に置き換えることで、量子力学と一般相対性理論の不整合を克服すること。
• カテゴリー理論とトポス理論を用いて、数学的に厳密でバックグラウンド独立な量子重力の枠組みを提供すること。
• テンソルカテゴリーや高階カテゴリカル構造が、量子場の過程と時空力学をどのようにモデル化できるかを検討すること。
• グローテンディークのトポス理論とカテゴリカル位相を用いてアインシュタインの関係的時空の視点を実現すること。

提案手法

• 開集合の代わりに領域の圏としてグローテンディーク・サイトを用い、点集合への依存を排除する。
• トポス理論を用いてサイト上のヒルベルト空間の層を構成し、点を含まない量子幾何的時空記述を可能にする。
• テンソルカテゴリで量子過程をモデル化し、射がフェ Feynman 図と粒子相互作用を表す。
• 高階カテゴリと 2-スタックを導入し、量子的時空の力学と関係的観測量を形式化する。
• 単体的複体とホモトピー論（単体的集合とモデル圏を介して）を用い、連続極限をカテゴリカルに近似する。
• バーレット＝クラインモデルを、4-単体が頂点、3-単体が粒子としての役割を果たすトポス理論的設定におけるカテゴリカルな量子重力モデルとして再解釈する。

実験結果

リサーチクエスチョン

• RQ1 点集合位相をカテゴリー理論に置き換えることで、量子一般相対性理論における無限大をどのように解消できるか？
• RQ2 トポス理論が、バックグラウンド独立で関係的な量子的時空の記述を可能にするか？
• RQ3 テンソルカテゴリーや高階カテゴリカル構造が、自然に量子場理論および重力の振幅をどのように符号化するか？
• RQ4 バーレット＝クラインモデルを、トポス理論的量子重力モデルとして再解釈できるか？
• RQ5 単体的複体のカテゴリカル極限を用いて、離散的時空モデルの連続極限を数学的に厳密に定義できるか？

主な発見

• グローテンディーク・サイトの使用により、点集合に依存せずに位相的および幾何的構造を再構成でき、量子重力の基盤を提供する。
• 単体的複体のトポスは、カテゴリカル極限として見なされ、連続体を離散的構造の極限として厳密に解釈する方法を提供する。
• テンソルカテゴリは自然にフェ Feynman 図と粒子相互作用を符号化しており、量子場理論がすでに本質的にカテゴリカルであることを示している。
• バーレット＝クラインモデルは、4-単体が量子的時空の頂点を表し、3-単体が量子粒子を表すトポス理論的構成として再解釈できる。
• BCモデルのトポス理論的版は、デコherence 歴史を介して観測者依存幾何を符号化することで、アインシュタインの関係的時空を実現する可能性がある。
• 本稿は、2-スタック構成が高階カテゴリ理論とトポス理論を一つの枠組みに統合し、量子重力のための統一的枠組みを提供する可能性を示唆している。