[論文レビュー] Model theory and the AdS/CFT correspondence

Jerzy Król|ArXiv.org|Jun 1, 2005

Noncommutative and Quantum Gravity Theories被引用数 6

ひとこと要約

本稿では、モデル理論およびトポス理論を用いて形式化されたR⁴上の特異な滑らかさ構造が、量子重力およびAdS/CFT対応において根本的な役割を果たすと提唱する。古典論理を直観論理に置き換え、非標準的モデルを用いて時空を解釈することで、この枠組みは、特異なR⁴を用いて、正規化と二重に特別な相対性理論を再解釈し、形式的モデルのレベルで標準的でない滑らかさ構造と区別がつかないことを示唆している。

ABSTRACT

We give arguments that exotic smooth structures on compact and noncompact 4-manifolds are essential for some approaches to quantum gravity. We rely on the recently developed model-theoretic approach to exotic smoothness in dimension four. It is possible to conjecture that exotic $R^4$'s play fundamental role in quantum gravity similarily as standard local 4-spacetime patches do for classical general relativity. Renormalization in gravity--field theory limit of AdS/CFT correspondence is reformulated in terms of exotic $R^4$'s. We show how doubly special relativity program can be related to some model-theoretic self-dual $R^4$'s. The relevance of the structures for the Maldacena conjecture is discussed, though explicit calculations refer to the would be noncompact smooth 4-invariants based on the intuitionistic logic.

研究の動機と目的

• 特異なR⁴上の滑らかさ構造が、古典的一般相対性理論における標準的時空パッチが果たすのと同様に、量子重力において不可欠であると主張すること。
• 直観論理と非標準的モデルを導入することで、メタ理論的レベルでの古典論理への依存を弱めること。
• AdS/CFTの重力・ゲージ理論極限における正規化を、特異なR⁴構造を用いて再形式化すること。
• 二重に特別な相対性理論と、モデル論的自己双対的特異なR⁴構造との間の関係を調査すること。
• 数学の形式的モデル、特に非標準的実数やトポス内の層の構造が、量子重力において物理的に関連していると提唱すること。

提案手法

• モデル理論とトポス理論を用いて、特に特異なR⁴を含む滑らかな多様体を、古典的論理と直観論理のメタ理論の違いを明確にする論理的枠組みで解釈する。
• 超フィルター構成を用いて、実数および自然数の非標準的モデルを生成し、トポスB内での内部論理を可能にする。
• 変数、項、論理式を、Sh(L)またはトポスB内の層として定義された型として解釈する。
• トポスの内部言語を用いて物理理論を形式化し、排中律や選択公理に依存しないことで、直観論理的推論を支援する。
• PAおよび実数体の標準的・非標準的モデルを比較し、内部論理における高階の性質によって区別できないことを示す。
• 特異なR⁴構造が、標準的R⁴に存在しない特異な微分同相写像を介して、論理的シフトの下でも古典的対象として存続しうると提唱する。

実験結果

リサーチクエスチョン

• RQ1 特異なR⁴構造は、古典的相対性理論における標準的時空パッチと同様に、量子重力における基本的構成要素として機能しうるか？
• RQ2 古典論理を直観論理に置き換えることで、特にAdS/CFTの文脈において物理理論の形式化にどのような影響が生じるか？
• RQ3 トポス内部論理における高階論理的量化の下で、実数または自然数の標準的・非標準的モデルはどの程度区別できないか？
• RQ4 AdS/CFT対応における正規化手続きは、特異なR⁴構造から導かれる非標準的モデルを用いて再形式化可能か？
• RQ5 トポス論的モデルと層型解釈は、モデル論的滑らかさ構造を通じて、量子重力とゲージ理論を統合する役割を果たすか？

主な発見

• 特異なR⁴構造は、古典的一般相対性理論における標準的R⁴と同様に、量子重力における基本的時空構造として形式的に妥当な候補である。
• トポス内部論理における高階の性質による量化の下で、実数および自然数の標準的・非標準的モデルは区別できない。
• 集合論から直観論理的トポスBへのシフトは、一般相対性理論における微分同相不変性から重力が出現するのと同様に、特異なR⁴の出現をもたらす。
• トポスの内部論理は、物理理論を古典論理や選択公理に依存せずに表現可能な形式的枠組みを提供する。
• R⁴上の特異な微分同相写像は、古典的モデルと非標準的モデルを結ぶメカニズムを提供し得る。論理的シフトの下でも滑らかさ構造を保存する。
• 標準的・非標準的モデルの区別不能性は、物理理論が、自然数対象を持つすべてのトポスに共通して有効な不変的数学的言語で形式化されるべきであるという考えを支持する。