[論文レビュー] Categories and the Foundations of Classical Field Theories

James Owen Weatherall|arXiv (Cornell University)|May 26, 2015

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

ひとこと要約

この論文は、微分幾何学的構造と等価関係を分析するために圏論を適用し、アインシュタイン代数や相対的時空といった形式的枠組みが圏論的に同値であることを示している。これにより、どの理論が「余剰構造」を有するかを明確にし、一般相対性理論やヤン・ミルズ理論における解釈的パズルを圏的双対性によって解消する。

ABSTRACT

I review some recent work on applications of category theory to questions concerning theoretical structure and theoretical equivalence of classical field theories, including Newtonian gravitation, general relativity, and Yang-Mills theories.

研究の動機と目的

• 物理的理論の基礎的問題、特に構造、対称性、理論的同値性に関する問題を、圏論を用いて解決すること。
• アインシュタイン代数のような形式的枠組みが、相対的時空と比較して時空的構造を本当に排除しているかどうかを明確にすること。
• 一般相対性理論（例：穴のパラドックス）やヤン・ミルズ理論における解釈的パズルを、圏的ツールを用いて解消すること。
• 圏論的同値性が、特にゲージ理論において直感的な理論的同値性の概念を的確に捉えていることを示すこと。
• 物理的理論をモデルの圏として扱うことで、構造的内容と冗長性を精密に分析できる形式的枠組みを提供すること。

提案手法

• 物理的理論をモデルの圏として表現し、対象として相対的時空やアインシュタイン代数のような構造、射として構造を保全する写像（例：等長写像や代数同型）を定義する。
• 相対的時空の圏（GR₁）からアインシュタイン代数の圏（EA）への反変関手Fを用い、時空を滑らかな関数の代数へ、等長写像を引き戻し代数同型へ写す。
• 関手が全射的、忠実かつ本質的に全射的（したがって圏同値）であることを用いて、GR₁とEAが圏的に同値であることを示す。
• 関手Fによる「何も忘れない」という概念を用い、時空からアインシュタイン代数への移行において、構造的情報が失われないことを示す。
• 電磁気学やヤン・ミルズ理論におけるゲージ構造を、見た目上の構造に差があるが圏的に同値である形式的枠組みの比較によって分析する。
• 滑らかな代数上の微分作用素と計量の代数的特徴づけを用い、アインシュタイン代数を（A, g）の対として定義する。ここでAは滑らかな4次元代数であり、gは微分作用素のモジュール上に定義されたローレンツ符号型計量である。

実験結果

リサーチクエスチョン

• RQ1 一般相対性理論の異なる形式的枠組み（例：相対的時空とアインシュタイン代数）は、その根本的な構造的内容においてどの程度異なっているのか。
• RQ2 圏論を用いて、ある物理的理論が別の理論と比較して「余剰構造」を有しているかどうかをどのように特定できるか。
• RQ3 電磁気学やヤン・ミルズ理論といった古典的場の理論が、異なる数学的言語で記述された場合、どのような意味で同値と見なせるか。
• RQ4 圏的同値性は、一般相対性理論における穴のパラドックスや時空構造に関する関連問題の解釈をどのように明確にするか。
• RQ5 圏論の使用は、場の理論におけるゲージ対称性の形而上学的含意に関する議論をどのように解決するのを助けるか。

主な発見

• 関手F: GR₁ → EAは全射的、忠実かつ本質的に全射的であり、相対的時空とアインシュタイン代数の間の圏的同値性を確立する。
• この同値性は、アインシュタイン代数が時空的構造を排除しているのではなく、代わりにそれを異なる代数的形で表現していることを示し、このプロセスにおいて「何も忘れない」ことになる。
• 古典的電磁気学とニュートン重力は、圏的比較によって物理的内容に対して余剰構造を有していることが明らかになった。
• 形式的枠組みは、ヤン・ミルズ理論と一般相対性理論が外見上は異なっていても、核心的な理論的構造において圏的に同値であることを示している。
• 圏論的枠組みは、理論を精密に比較し、基礎物理学における長年の解釈的問題を解消するための明確で形式的な方法を提供する。
• 結果として、圏論が単なる形式的道具ではないことが示され、古典的場の理論における理論的同値性と構造的内容に関する実質的な洞察をもたらしている。