[論文レビュー] Non-Commutative Topology for Curved Quantum Causality

I. Raptis|ArXiv.org|Jan 19, 2001

Noncommutative and Quantum Gravity Theories参考文献 44被引用数 8

ひとこと要約

本稿は、非可換インシデントRota代数とスキーム理論的構造を用いて、曲がった量子因果関係の非可換位相的枠組みを提案する。これは、有限的時空を量子因果集合としてモデル化するものである。本稿では、ゲージ不変で動的変化可能な量子因果位相を符号化する量子トポスを導入し、時間非対称な量子重力の運動論的基盤を提供する。量子論理と量子重力をカテゴリカルかつトポス理論的形式主義によって統合する。

ABSTRACT

A quantum causal topology is presented. This is modeled after a non-commutative scheme type of theory for the curved finitary spacetime sheaves of the non-abelian incidence Rota algebras that represent `gravitational quantum causal sets'. The finitary spacetime primitive algebra scheme structures for quantum causal sets proposed here are interpreted as the kinematics of a curved and reticular local quantum causality. Dynamics for quantum causal sets is then represented by appropriate scheme morphisms, thus it has a purely categorical description that is manifestly `gauge-independent'. Hence, a schematic version of the Principle of General Covariance of General Relativity is formulated for the dynamically variable quantum causal sets. We compare our non-commutative scheme-theoretic curved quantum causal topology with some recent $C^{*}$-quantale models for non-abelian generalizations of classical commutative topological spaces or locales, as well as with some relevant recent results obtained from applying sheaf and topos-theoretic ideas to quantum logic proper. Motivated by the latter, we organize our finitary spacetime primitive algebra schemes of curved quantum causal sets into a topos-like structure, coined `quantum topos', and argue that it is a sound model of a structure that Selesnick has anticipated to underlie Finkelstein's reticular and curved quantum causal net. At the end we conjecture that the fundamental quantum time-asymmetry that Penrose has expected to be the main characteristic of the elusive `true quantum gravity' is possibly of a kinematical or structural rather than of a dynamical character, and we also discuss the possibility of a unified description of quantum logic and quantum gravity in quantum topos-theoretic terms.

研究の動機と目的

• 時空位相を固定された背景構造ではなく、動的で観測可能な実体として扱う量子因果位相を構築すること。
• 一般相対性理論における古典的時空位相の限界を克服し、量子時空を有限的・格子的・非可換代数的構造としてモデル化すること。
• スキームの同型写像を用いて、量子因果集合に対する一般共変性のスケーマ的バージョンを定式化し、ゲージ不変性を保証すること。
• 量子因果集合をトポスに類似した構造に埋め込むことにより、量子論理と量子重力を統合すること。これを「量子トポス」と呼ぶ。
• ペトリッセンの提唱するように、根本的な量子時間非対称性が動的進化ではなく、運動論的構造に起因するのかを検討すること。

提案手法

• 非可換インシデントRota代数の有限的時空シェーヴィングを用いて、量子因果集合を非可換スキームとしてモデル化する。
• スキーム理論的手法を適用し、原始的代数スキームを用いて、曲がった局所的量子因果関係の運動論的枠組みを定義する。
• カテゴリー理論とスキーム間の同型写像を用いて動的を表現し、明示的なゲージ不変性を保証する。
• バターフィールドとイシャムの量子論理的トポスにインspiredして、有限的量子因果集合スキームをシーヴィング理論的トポスとして整理することで、トポスに類似した構造「量子トポス」を構築する。
• 非可換スキームモデルを $C^*$-quantale モデルやシェーヴィング／トポス的手法による量子論理と比較し、概念的・構造的類似性を強調する。
• 局所化、シェーヴィングコホーマロジー、トポス理論などの代数的・カテゴリカルな道具を用いて、代数的幾何学と論理学に根ざした量子重力フレームワークを形式化する。

実験結果

リサーチクエスチョン

• RQ1 一般相対性理論の特異性と背景依存性を回避しつつ、時空位相を量子的動的変数としてどのようにモデル化できるか？
• RQ2 非可換スキーム理論的枠組みが、曲がった量子因果関係の運動論的記述をどのように提供するのか？
• RQ3 提案された量子トポス構造が、量子論理と量子重力をどのように統合するのか。また、既存のトポス理論的量子論理モデルとはどのような関係にあるのか？
• RQ4 量子重力における根本的な時間非対称性が、動的要因ではなく運動論的または構造的特徴として理解できるか？
• RQ5 非可換インシデント代数とRota代数的構造は、有限的量子時空における因果的および幾何的情報をどのように符号化するのか？

主な発見

• 本稿は、フィンケルシュタインの格子的かつ曲がった量子因果ネットを数学的に整合したモデルとして提供する量子トポス $\mathrm{Qauset}^{\vec{\mathfrak{P}}^{\mathrm{opp}}}$ を構築した。
• 量子因果集合の動的性質は、スキームの同型写像を用いてカテゴリカルに記述され、スケーマ的一般共変性原理の明示的ゲージ不変な定式化が得られた。
• 本フレームワークは、古典的多様体から導かれない運動論的非可換位相を実現し、一般相対性理論の特異性と背景依存性を回避する。
• 量子トポスは、バターフィールドとイシャムの量子論理的トポス $\mathrm{Set}^{W^{\mathrm{opp}}}$ と密接に関係しており、量子論理と量子重力の深い相互作用を示唆する。
• 本稿は、ペトリッセンが真の量子重力の特徴として提唱した量子時間非対称性が、動的進化ではなく、量子因果トポスの内生的運動論的構造に起因する可能性を仮説立てる。
• 代数的およびトポス理論的形式主義は、フィンケルシュタインのビジョン「論理は力学から生じる」を支持する。量子論理は、時空の因果的かつ非可換構造から生じる。