[論文レビュー] The geometric cobordism hypothesis

Daniel Grady, Д. А. Павлов|arXiv (Cornell University)|Nov 1, 2021

Homotopy and Cohomology in Algebraic Topology被引用数 6

ひとこと要約

この論文は、滑らかな多様体の境界とユークリッド空間への埋め込みを備えた∞-圏が、特定の分類空間によって分類される幾何構造の∞-圏と同値であることを確立する幾何的コボルディズム仮説を提示する。この結果は、分層空間と高階圏を用いて、幾何的設定へのコボルディズム仮説の一般化を達成する。

ABSTRACT

We prove a generalization of the cobordism hypothesis of Baez--Dolan and Hopkins--Lurie for bordisms with arbitrary geometric structures, such as Riemannian metrics, complex and symplectic structures, principal bundles with connections, or geometric string structures. Our methods rely on the locality property for fully extended functorial field theories established in arXiv:2011.01208, reducing the problem to the special case of geometrically framed bordism categories. As an application, we upgrade the classification of invertible fully extended topological field theories by Bökstedt--Madsen and Schommer-Pries to nontopological field theories, generalizing the work of Galatius--Madsen--Tillmann--Weiss to arbitrary geometric structures.

研究の動機と目的

• ユークリッド空間への埋め込みを含む多様体を対象とするコボルディズム仮説を幾何的設定に拡張すること。
• 分層空間と埋め込みを用いて、多様体上の幾何構造の高階圏的分類を定式化すること。
• 埋め込みを伴う多様体の∞-圏と、幾何データの分類∞-圏との同値性を確立すること。
• 埋め込みと分層構造に符号化された幾何データを通じて、位相的不変量を理解するための枠組みを提供すること。
• 高階圏論を用いて、古典的コボルディズム仮説をベクトル束や接続構造などの幾何構造を含む形に一般化すること。

提案手法

• 滑らかな多様体とR^dへの埋め込みを高階圏の対象としてモデル化するため、∞-圏の理論を用いる。
• 埋め込みと分層構造のデータを用いて、多様体上の幾何構造の分類空間を構成する。
• 幾何データを多様体上に符号化するために、因子化代数とフレーム付き埋め込みの理論を適用する。
• 幾何構造を多様体の圏から分類∞-圏への関手として定義する。
• ユークリッド空間への埋め込みを伴うコボルディズム圏を、幾何的コボルディズム∞-圏のモデルとして用いる。
• 分層空間のホモトピー理論と関手の微積分法を用いて、幾何構造の分類を分析する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、ベクトル束や接続構造といった幾何構造を含む形にコボルディズム仮説を拡張できるか？
• RQ2 ユークリッド空間への埋め込みが、多様体上の幾何構造の分類において果たす役割は何か？
• RQ3 埋め込みを伴う多様体の∞-圏と、幾何データの分類空間との関係は何か？
• RQ4 分層空間と因子化代数は、幾何構造の分類にどのように寄与するか？
• RQ5 幾何的コボルディズム仮説の正確な高階圏的定式化は何か？

主な発見

• R^dへの埋め込みを伴う滑らかな多様体の∞-圏は、特定の分類空間によって分類される幾何構造の∞-圏と同値である。
• 幾何的コボルディズム仮説は、古典的コボルディズム仮説を幾何データに拡張する高階圏的同値性によって確立される。
• 幾何構造の分類は、因子化代数とユークリッド空間への埋め込みの両方を用いて達成される。
• 理論は、埋め込みと分層構造に符号化された幾何データを用いて、多様体に不変量を一貫して割り当てる方法を提供する。
• 結果として得られる一般化は、高階圏論を用いて、接続構造やベクトル束を含む古典的コボルディズム仮説を拡張する。
• この枠組みにより、∞-圏と分類空間の観点から、位相的および幾何的不変量を一様に取り扱うことが可能になる。