[論文レビュー] The cobordism hypothesis

David Ayala, John Francis|arXiv (Cornell University)|May 5, 2017

Homotopy and Cohomology in Algebraic Topology参考文献 9被引用数 8

ひとこと要約

この論文は、随伴を伴う因子化ホモロジーを用いて、完全拡張型トポロジカル量子場理論を分類するコボルディズム仮説を証明する。随伴構造に関する予想を仮定することで、双対を持つ対称モノイダル$(\infty,n)$-圏とコボルディズム圏の幾何的豊かみの間の同値性を確立し、トゥーリング圏の極限構成によってコボルディズム仮説を実現する。

ABSTRACT

Assuming a conjecture about factorization homology with adjoints, we prove the cobordism hypothesis, after Baez-Dolan, Costello, Hopkins-Lurie, and Lurie.

研究の動機と目的

• 随伴を伴う因子化ホモロジーを用いて、完全拡張型トポロジカル量子場理論におけるコボルディズム仮説の完全な証明を確立すること。
• ハンドル分解の選択に依存しないTQFT構成のwell-definedness問題を解消すること。
• トゥーリング圏の極限を通じて、コボルディズム仮説の幾何的豊かみを提供すること。
• $(\infty,n)$-圏の$k$重ループを用いた随伴構造を用いて、トゥーリング仮説を幾何的に豊かみの枠組みに拡張すること。
• 因子化ホモロジーを通じて、代数的トポロジーにおけるセルハモロジーの類似とTQFTにおけるハンドル体分解を統一すること。

提案手法

• 著者たちは、随伴を伴う因子化ホモロジーに関する予想を用いて、$\mathcal{T}{\sf ang}_{n\subset n+k}^{\operatorname{\sf fr}}$ としてのトゥーリング圏の幾何的豊かみを、$(\infty,n)$-圏の$k$重デロープの極限として定義する。
• 彼らは、フレームドコボルディズム圏 $\mathcal{B}{\sf ord}_{n}^{\operatorname{\sf fr}}$ を、トゥーリング圏 $\mathcal{T}{\sf ang}_{n\subset n+k}^{\operatorname{\sf fr}}(\mathfrak{B}^{k}\mathfrak{X})$ の逐次極限として構成する。
• 主な技術的道具は、$\Omega^{k}\mathfrak{B}^{k}\mathfrak{X}$ が $\mathfrak{X}$ の$k$重ループ空間に同値であると識別することであり、これにより極限が $\mathfrak{X}$ 自身を回復できる。
• 彼らは、幾何的豊かみの形でのトゥーリング仮説を適用し、予想のもとで $\mathcal{T}{\sf ang}_{n\subset n+k}^{\operatorname{\sf fr}}(\mathfrak{B}^{k}\mathfrak{X}) \simeq \Omega^{k}\mathfrak{B}^{k}\mathfrak{X}$ を示す。
• 証明は、極限構造と随伴の整合性を用いて、点での評価により $\operatorname{\mathcal{B}{\sf ord}}_{n}^{\operatorname{\sf fr}}(\mathfrak{X})$ と $\mathfrak{X}$ の同値性に依存している。
• この枠組みは、セル近似とモース理論を高次の圏へ一般化し、分解の選択に依存しない不変性を保証する。

実験結果

リサーチクエスチョン

• RQ1 随伴構造に関する重要な予想を仮定したもとで、随伴を伴う因子化ホモロジーを用いてコボルディズム仮説をどのように証明できるか？
• RQ2 $(\infty,n)$-圏の$k$重ループを用いた場合、トゥーリング仮説の正確な幾何的豊かみは何か？
• RQ3 点での評価のもとで、$\mathcal{B}{\sf Ord}_{n}^{\operatorname{\sf fr}}$ の極限構成が元の圏 $\mathfrak{X}$ をどのように回復するか？
• RQ4 幾何的豊かみのコボルディズム仮説は、ホモロジーの古典的Eilenberg–Steenrod公理をどのように一般化するか？
• RQ5 随伴の使用は、ハンドル分解から構成されたTQFTにおけるwell-definedness問題をどのように解消するか？

主な発見

• 随伴を伴う因子化ホモロジーが予想される整合性条件を満たすものと仮定すれば、コボルディズム仮説は証明される。
• 予想のもとで、幾何的豊かみのトゥーリング仮説は同値性 $\mathcal{T}{\sf ang}_{n\subset n+k}^{\operatorname{\sf fr}}(\mathfrak{B}^{k}\mathfrak{X}) \simeq \Omega^{k}\mathfrak{B}^{k}\mathfrak{X}$ を通じて確立される。
• コボルディズム圏 $\mathcal{B}{\sf Ord}_{n}^{\operatorname{\sf fr}}$ は逐次極限 $\underset{k\to\infty}{\operatorname{{\sf lim}}}\mathcal{T}{\sf ang}_{n\subset n+k}^{\operatorname{\sf fr}}(\mathfrak{B}^{k}\mathfrak{X})$ として実現され、フレームド$n$-コボルディズムの圏の新しいモデルを提供する。
• 評価写像 $\operatorname{\mathsf{ev}}_{\ast} : \mathcal{B}{\sf Ord}_{n}^{\operatorname{\sf fr}}(\mathfrak{X}) \xrightarrow{\simeq} \mathfrak{X}$ は同値であり、幾何的に豊かみのコボルディズム仮説を証明する。
• 予想のもとで、$k$重ループ空間 $\Omega^{k}\mathfrak{B}^{k}\mathfrak{X}$ と $k$-トゥーリング圏 $\mathcal{T}{\sf ang}_{n\subset n+k}^{\operatorname{\sf fr}}(\mathfrak{B}^{k}\mathfrak{X})$ の間の標準的同型が得られる。
• この枠組みは、因子化ホモロジーを通じてセルハモロジーとTQFTの類似を実現し、分配関数がトゥーリング不変量の極限として生じることを示す。