[論文レビュー] Models for $(\infty, n)$-categories and the cobordism hypothesis

Julia E. Bergner|arXiv (Cornell University)|Oct 30, 2010

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

ひとこと要約

この論文は、$(\infty,n)$-圏のモデルを概説し、Lurieによるコボルディズム予想の証明におけるそれらの役割に焦点を当てる。対称モノイダル関手 $Bord_n^{fr} \to \mathcal{C}$ が、$\mathcal{C}$ 内の完全双対的対象とちょうど一対一対応することを確立し、ホモトピー的高次圏論を用いて拡張されたトポロジカル量子場理論を分類する。

ABSTRACT

In this paper we introduce the models for $(\infty, n)$-categories which have been developed to date, as well as the comparisons between them that are known and conjectured. We review the role of $(\infty, n)$-categories in the proof of the Cobordism Hypothesis.

研究の動機と目的

• Segal空間、完全セガール空間、$\Theta_n$-空間を含む、既知の$(\infty,n)$-圏のモデルを体系的かつ比較的に整理すること。
• $(\infty,n)$-圏がコボルディズム予想の定式化と証明において果たす役割を明確化すること。
• ホモトピー的高次圏論が、弱い$n$-圏に内在する整合性問題をどのように解消するかを説明すること。
• $(\infty,n)$-圏的構造を通じて、拡張されたトポロジカル量子場理論を理解する基盤を提供すること。
• $(\infty,1)$-圏のさまざまなモデルの同値性と、$(\infty,n)$-圏における予想される同値性を強調すること。

提案手法

• フレームドコボルディズムの$(\infty,n)$-圏 $Bord_n^{fr}$ をモデル化するための$n$-重完全セガール空間の使用。
• 有限次元ベクトル空間$V$におけるフレームドコボルディズムのプレシャーフ $PBord_n^{fr,V}$ の構成、その後 $V \to \mathbb{R}^\infty$ における余極限を取って $PBord_n^{fr}$ を得る。
• $PBord_n^{fr}$ が$n$-重セガール空間であることを前提とし、$(\infty,n)$-圏的意味での完全性を保証するように $Bord_n^{fr}$ を完成させること。
• Quillenのモデル圏論を用いて、単体圏、セガール圏、完全セガール空間といった$(\infty,1)$-圏のモデルを比較すること。
• $(\infty,n)$-圏のホモトピー的性質を活用し、明示的な整合性公理を避けて、整合性データを自然に統合すること。
• Lurieのアプローチ：$(\infty,n)$-設定でコボルディズム予想を証明し、切断により古典的バージョンを導出すること。

実験結果

リサーチクエスチョン

• RQ1 $n$-重セガール空間や$\Theta_n$-空間といった、$(\infty,n)$-圏のさまざまなモデルは、どのように比較可能か。それらの間には既知の同値性と予想される同値性があるか。
• RQ2 $(\infty,n)$-圏がコボルディズム予想の証明において果たす正確な役割は何か。この枠組みは、高次圏論における整合性問題をどのように解消するか。
• RQ3 フレームドコボルディズムの$(\infty,n)$-圏 $Bord_n^{fr}$ はどのように構成されるのか。その完成化がコボルディズム予想にとってなぜ不可欠なのか。
• RQ4 対称モノイダル$(\infty,n)$-圏内の対象が完全双対的であるとは、具体的に何を意味するのか。この条件がトポロジカル量子場理論の分類において中心的役割を果たす理由は何か。
• RQ5 コボルディズム予想を証明するにあたり、$(\infty,n)$-圏のホモトピー的アプローチが、厳密または弱い$n$-圏のアプローチよりもなぜ効果的なのか。

主な発見

• $PBord_n^{fr}$ は$n$-重単体的空間としての$n$-重セガール空間であり、その完成化 $Bord_n^{fr}$ はフレームドコボルディズムの$(\infty,n)$-圏をモデル化する完全な$n$-重セガール空間である。
• コボルディズム予想は$(\infty,n)$-圏的設定で証明された：対称モノイダル関手 $Bord_n^{fr} \to \mathcal{C}$ と $\mathcal{C}$ 内の完全双対的対象の間にはちょうど一対一対応がある。
• 弱い$n$-圏を定義する困難を避けるために、整合性データを本質的に包摂するホモトピー的モデルを用いることで、$(\infty,n)$-設定でのコボルディズム予想の証明が可能になった。
• $(\infty,1)$-圏においては、単体圏、セガール圏、完全セガール空間といった複数のモデルがQuillen同値であり、高次圏論の堅固な基盤を確立している。
• この枠組みにより、完全双対的対象を通じて、拡張されたトポロジカル量子場理論が分類可能となり、古典的なBaez-Dolan予想が一般化された。
• $(\infty,n)$-圏の使用により、すべてのレベルで双対性と合成が洗練され、理論の証明や応用に適した明快で整合性のある取り扱いが可能になった。