[論文レビュー] Presheaves, Sheaves and their Topoi in Quantum Gravity and Quantum Logic

I. Raptis|ArXiv.org|Oct 15, 2001

Homotopy and Cohomology in Algebraic Topology参考文献 61被引用数 7

ひとこと要約

本稿は、量子因果集合の層と前層を用いて、量子論理と因果構造を統合することで、トポス論的枠組みを量子重力に提案する。有限的で非可換な位相を導入するためのqausetsのfinsheafを用い、動的な量子論理と、古典的多様体の特異性を回避する離散的・代数的微分幾何学を可能にする。

ABSTRACT

A brief synopsis of recent conceptions and results, the current status and future outlook of our research program of applying sheaf and topos-theoretic ideas to quantum gravity and quantum logic is presented.

研究の動機と目的

• 量子重力における論理を動的で観測可能な実体として扱うことで、一般相対性理論における時空幾何学に類似した形で、量子論理と量子時空因果性を統合すること。
• 古典的時空多様体の代わりに、量子重力に適した有限的で代数的かつ非可換な構造を導入すること。
• 量子もつれと離散的因果ダイナミクスをモデル化できる非可換層理論および位相を構築すること。
• 曲がったqausetsのfinsheaf上に、古典的無限を避ける離散的で代数的な微分幾何学を定式化すること。
• アブストラクト微分幾何学（Mallios）、合成的微分幾何学（Kock-Lawvere）、およびトポス論的量子重力の間の関係を探索すること。

提案手法

• 有限時空領域の順序集合上の前層と層を用いて、局所的量子論理と因果構造をモデル化する。
• qausetsのfinsheafを、古典的時空多様体の代わりに非可換的かつ有限的な構造として構築する。
• トポス論を用いて幾何学と論理学を統合し、finsheafのトポスを『量子トポス』の候補とみなす。
• 曲がったfinsheaf上で、離散的設定におけるスピン・ローレンツ接続の分類を可能にする、有限的Čech-de Rhamコホモロジーを実装する。
• 量子論的もつれを古典的時空点への同一視なしにモデル化するため、quantalesと非可換層理論を用いて非可換位相を統合する。
• カテゴリカル代数を通じて、Malliosのアブストラクト微分幾何学とKock-Lawvereの合成的微分幾何学を、トポス論的量子重力と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 量子論理は、一般相対性理論における時空幾何学に類似して、量子重力において動的で観測可能な構造として扱えるか？
• RQ2 非可換位相と層理論は、古典的時空点への収縮を避けて、量子もつれをモデル化できるようにどのように定式化できるか？
• RQ3 qausetsのfinsheafのトポスが、量子重力の基礎的構造を提供する役割を果たすか？
• RQ4 曲がったqausetsのfinsheaf上に、古典的滑らかな多様体に代わる離散的で代数的な微分幾何学を構築できるか？
• RQ5 カテゴリカル手法を通じて、アブストラクト微分幾何学と合成的微分幾何学を、トポス論的量子重力と統合できるか？

主な発見

• qausetsのfinsheafのトポスは、量子論理と量子因果性を統合する強力な『量子トポス』の候補であると提唱される。
• 曲がったqausetsのfinsheaf上に、有限的Čech-de Rhamコホモロジーが成功裏に実行され、離散的スピン・ローレンツ接続のコホモロジー的分類が可能となった。
• 古典的時空上のヒルベルト空間の層は、テンソル積によるスターフォームの収縮のため、非自明な量子もつれをモデル化できない。これにより、『量子層』形式主義の導入が不可避となった。
• 滑らかな微分幾何学の代わりに、前層と層に基づく代数的で有限的かつ非可換な構造を採用することで、古典的多様体の病理的性質を回避した。
• 非可換層理論が、量子もつれをモデル化するために不可欠であることが示された。古典的層構成では、テンソル積の際に時空点が同一視されるためである。
• Malliosのアブストラクト微分幾何学とKock-Lawvereの合成的微分幾何学を、トポス論的量子重力と統合するアプローチは、有望で継続的な研究分野であると特定された。