[論文レビュー] On the Classification of Topological Field Theories

Jacob Lurie|ArXiv.org|May 4, 2009

Homotopy and Cohomology in Algebraic Topology参考文献 11被引用数 89

ひとこと要約

この論文は、cobordism仮説を用いたトポロジカル場の理論（TFT）の分類について包括的な解説を提供しており、n次元における拡張型トポロジカル場の理論が、(∞,n)-圏内の完全双対的対象によって分類されることを確立している。高階圏論および完全セガール空間の理論を用いて、接構造を備えた多様体のcobordism圏が、このような圏への普遍的対称モノイド関手を許容することを証明しており、高階圏的構造を通じて量子場理論と代数的トポロジーを統合している。

ABSTRACT

This paper provides an informal sketch of a proof of the Baez-Dolan cobordism hypothesis, which provides a classification for extended topological quantum field theories.

研究の動機と目的

• 高階圏論を用いた拡張型トポロジカル場の理論の分類についての解説的記述を提供すること。
• (∞,n)-圏におけるBaez-Dolanのcobordism仮説のバージョンを定式化し、証明すること。
• フレーミングや向き付けなどの接構造を備えた多様体への分類の一般化。
• トゥーリングや特異的多様体を含める枠組みの拡張を通じて、関連する(∞,n)-圏の普遍的性質を明らかにすること。
• 対称モノイド(∞,n)-圏内の完全双対的対象を通じたトポロジカル場の理論の普遍的特徴付けを確立すること。

提案手法

• 接構造を備えた多様体のcobordism圏を完全セガール空間として形式化し、多様体の(∞,n)-圏をモデル化すること。
• 拡張型TFTを分類する主要なデータとして、(∞,n)-圏内の完全双対的対象を定義すること。
• 障害理論とインデックスフィルトレーションを用いて、分類問題を低次元のケースに還元すること。
• cobordism仮説の帰納的定式化を用いて、cobordism圏から(∞,n)-圏への関手を構成すること。
• アドジョイントを備えた高階圏論の理論を活用し、cobordism圏からの対称モノイド関手をモデル化すること。
• トゥーリング仮説を一般化として用い、フレーム付きトゥーリングが自由なリボン(∞,1)-圏を生成することを示すこと。

実験結果

リサーチクエスチョン

• RQ1 どのようにして高階圏論およびcobordism仮説を用いて拡張型トポロジカル場の理論を分類できるか？
• RQ2 cobordism圏からの対称モノイド関手を分類する際に、完全双対的対象が果たす役割は何か？
• RQ3 フレーミングや向き付けなどの追加の接構造を備えた多様体へとcobordism仮説がどのように一般化されるか？
• RQ4 高階圏における普遍的性質を通じて、トゥーリング仮説はcobordism仮説から導出可能か？
• RQ5 フレーミングまたは向き付けデータを備えたトゥーリングの(∞,n)-圏の普遍的性質は何か？

主な発見

• cobordism仮説が証明された：拡張型トポロジカル場の理論は、アドジョイントを備えた(∞,n)-圏内の完全双対的対象によって分類される。
• 接構造を備えたn次元多様体のcobordism圏は完全セガール空間としてモデル化され、TFTの普遍的性質が可能になった。
• フレーム付きcobordism圏から(∞,n)-圏への対称モノイド関手は、完全双対的対象と双対化データの選択によって一意に定まる。
• トゥーリング仮説は結果として得られた：フレーム付きトゥーリングの(∞,n)-圏は、単一の生成元をもつ自由な対称モノイド(∞,n)-圏と双対を持つ。
• obstruction理論的リフトを通じて、特異的多様体やより一般的な接構造を備えた場合にも、cobordism仮説によるTFTの構成が拡張され、普遍関手が生じる。
• O(n)が(∞,n)-圏の双対を持つ∞-群体に作用することにより、リボン構造がSO(n)-固定点として特徴付けられ、1-圏の切断では古典的リボン圏が回復される。