[論文レビュー] Finitary Cech-de Rham Cohomology: much ado without smoothness

Anastasios Mallios, I. Raptis|ArXiv.org|Oct 5, 2001

Black Holes and Theoretical Physics参考文献 37被引用数 15

ひとこと要約

本稿は、$ mathcal{C}^\infty$-滑らかでない滑らかな多様体に依存せずに、離散的で局所的に有限な代数的構造（特にインシデント代数として解釈される量子因果的集合）へと古典的微分幾何学を一般化する、有限的（finitary）なČech-de Rhamコホモロジー枠組みを提案する。Malliosの公理的微分幾何学からの層的および代数的手法を用いることで、重要なde Rham複体構成とコホモロジー的結果がこの有限的設定でも成立することを示し、滑らかさが微分幾何学に本質的でないことを示唆するとともに、重力における特異点は微分の仕組みそのものではなく、座標化の仮定に起因する可能性があることを示唆する。

ABSTRACT

The present paper is a continuation of our work on curved finitary spacetime sheaves of incidence algebras and treats the latter along Cech cohomological lines. In particular, we entertain the possibility of constructing a non-trivial de Rham complex on these finite dimensional algebra sheaves along the lines of the first author's axiomatic approach to differential geometry via the theory of vector and algebra sheaves. The upshot of this study is that important `classical' differential geometric constructions and results usually thought of as being intimately associated with smooth manifolds carry through, virtually unaltered, to the finitary-algebraic regime with the help of some quite universal, because abstract, ideas taken mainly from sheaf-cohomology as developed in the first author's Abstract Differential Geometry theory. At the end of the paper, and due to the fact that the incidence algebras involved have been previously interpreted as quantum causal sets, we discuss how these ideas may be used in certain aspects of current research on discrete Lorentzian quantum gravity.

研究の動機と目的

• 古典的微分幾何学的構成（特にde Rham複体）が、$ mathcal{C}^\infty$-滑らかさを仮定せずに、有限的で離散的な代数的構造へと一般化可能かどうかを調査すること。
• 重力や量子場理論における病理的現象が、微分のメカニズムそのものに起因するのではなく、時空を記述する際に用いられる$ mathcal{C}^\infty$-滑らかな関数代数に起因するという、従来の仮定に疑問を呈すること。
• 層的・代数的微分幾何学の定式化が、古典的特異点を回避し、離散的ミンコフスキー的量子重力の基礎を提供できるかどうかを検討すること。
• 時空を有限的層であるインシデント代数の族として再解釈することで、代数幾何学、層コホモロジー、量子重力の間の概念的・技術的橋渡しを確立すること。
• 連続性と微分可能性が滑らかさとは独立であるという考えを提唱し、量子重力研究においてより抽象的で代数的な枠組みを推奨すること。

提案手法

• Malliosのベクトルおよび代数層に関する公理的枠組みを用いて、完全に層的・代数的設定での微分幾何学を定義する。
• 離散的時空構造を表すインシデント代数の層にČechコホモロジーを適用し、滑らかな多様体を必要としないコホモロジー的解析を可能にする。
• 局所的に有限で離散的な代数層に倣った代数的微分形式を用いて、有限的de Rham複体を構築し、重要なコホモロジー的性質を保持する。
• 文献[38, 39]に由来する抽象的層的道具を用いて、de Rham定理および関連する同型写像を滑らかでない有限的設定へ一般化する。
• インシデント代数を量子因果的集合として解釈し、この代数的枠組みを現在の離散的量子重力の研究と一致させる。
• Regge計算や座標に依存しない単体的重力と類似性を示し、一般座標に依存しない任意の代数層に優位性を置くことの意義を強調する。

実験結果

リサーチクエスチョン

• RQ1 $ mathcal{C}^\infty$-滑らかさを仮定しない有限的で離散的な代数的設定において、de Rhamコホモロジー複体を意味的に定義でき、非自明な結果をもたらすことができるか？
• RQ2 古典的および量子場理論における特異点や無限大は、微分のメカニズムそのものに起因するのか、それとも時空を記述する際に用いられる$ mathcal{C}^\infty$-滑らかな関数代数に起因する人工的要因なのか？
• RQ3 閉形式・完全形式、コホモロジー群、de Rham同型写像といった、古典的微分幾何学の構成が、層的・代数的枠組みにおいてどの程度保持されるのか？
• RQ4 古典的微分幾何学の力を保ちつつ、離散的・非滑らかな時空モデル（例：量子因果的集合）と整合性を持つ一般化された微分計算を定式化できるか？
• RQ5 時空をインシデント代数の層として再解釈することで、離散的量子重力におけるアインシュタイン場方程式の有限的版の構築にどのような示唆が得られるか？

主な発見

• 層的・代数的手法を用いることで、$ mathcal{C}^\infty$-滑らかさを要件としない有限的・離散的設定においてもde Rham複体とそのコホモロジー的構造を構築でき、非自明なコホモロジー群が得られる。
• 古典的微分幾何学の主要な結果（de Rham同型写像など）が、代数的・層的枠組みにおいても成立しており、微分可能性が滑らかさに依存しないことを示唆する。
• 古典的重力や量子場理論における病理的現象（特異点・無限大）は、微分のメカニズムそのものに起因するのではなく、時空の座標構造として$ mathcal{C}^\infty$-滑らかな関数代数が使われていることに起因しているように見える。
• 本フレームワークで用いられるインシデント代数は、自然に量子因果的集合として解釈でき、現在の離散的ミンコフスキー的量子重力研究と直接的な接続を提供する。
• このフレームワークは、極端な代数的特異性に対しても頑健な一般化された抽象的微分計算を支持しており、このような構造が物理理論の構築を妨げるものではない可能性を示唆する。
• 結果として、滑らかな連続的枠組み（$ mathcal{C}^\infty$-滑らか）に代わって、完全に代数的で層的・代数的定式化された時空幾何学が、量子重力にとってより適切な基礎である可能性が示唆される。